test/CodeGen/volatile.c

   1 // RUN: %clang_cc1 -triple=%itanium_abi_triple -emit-llvm < %s | FileCheck %s -check-prefix CHECK -check-prefix CHECK-IT
   2 // RUN: %clang_cc1 -triple=%ms_abi_triple -emit-llvm < %s | FileCheck %s -check-prefix CHECK -check-prefix CHECK-MS
   3
   4 int S;
   5 volatile int vS;
   6
   7 int* pS;
   8 volatile int* pvS;
   9
  10 int A[10];
  11 volatile int vA[10];
  12
  13 struct { int x; } F;
  14 struct { volatile int x; } vF;
  15
  16 struct { int x; } F2;
  17 volatile struct { int x; } vF2;
  18 volatile struct { int x; } *vpF2;
  19
  20 struct { struct { int y; } x; } F3;
  21 volatile struct { struct { int y; } x; } vF3;
  22
  23 struct { int x:3; } BF;
  24 struct { volatile int x:3; } vBF;
  25
  26 typedef int v4si __attribute__ ((vector_size (16)));
  27 v4si V;
  28 volatile v4si vV;
  29
  30 typedef __attribute__(( ext_vector_type(4) )) int extv4;
  31 extv4 VE;
  32 volatile extv4 vVE;
  33
  34 volatile struct {int x;} aggFct(void);
  35
  36 typedef volatile int volatile_int;
  37 volatile_int vtS;
  38
  39 int main() {
  40   int i;
  41 // CHECK: [[I:%[a-zA-Z0-9_.]+]] = alloca i32
  42   // load
  43   i=S;
  44 // CHECK: load i32, i32* @S
  45 // CHECK: store i32 {{.*}}, i32* [[I]]
  46   i=vS;
  47 // CHECK: load volatile i32, i32* @vS
  48 // CHECK: store i32 {{.*}}, i32* [[I]]
  49   i=*pS;
  50 // CHECK: [[PS_VAL:%[a-zA-Z0-9_.]+]] = load i32*, i32** @pS
  51 // CHECK: load i32, i32* [[PS_VAL]]
  52 // CHECK: store i32 {{.*}}, i32* [[I]]
  53   i=*pvS;
  54 // CHECK: [[PVS_VAL:%[a-zA-Z0-9_.]+]] = load i32*, i32** @pvS
  55 // CHECK: load volatile i32, i32* [[PVS_VAL]]
  56 // CHECK: store i32 {{.*}}, i32* [[I]]
  57   i=A[2];
  58 // CHECK: load i32, i32* getelementptr {{.*}} @A
  59 // CHECK: store i32 {{.*}}, i32* [[I]]
  60   i=vA[2];
  61 // CHECK: load volatile i32, i32* getelementptr {{.*}} @vA
  62 // CHECK: store i32 {{.*}}, i32* [[I]]
  63   i=F.x;
  64 // CHECK: load i32, i32* getelementptr {{.*}} @F
  65 // CHECK: store i32 {{.*}}, i32* [[I]]
  66   i=vF.x;
  67 // CHECK: load volatile i32, i32* getelementptr {{.*}} @vF
  68 // CHECK: store i32 {{.*}}, i32* [[I]]
  69   i=F2.x;
  70 // CHECK: load i32, i32* getelementptr {{.*}} @F2
  71 // CHECK: store i32 {{.*}}, i32* [[I]]
  72   i=vF2.x;
  73 // CHECK: load volatile i32, i32* getelementptr {{.*}} @vF2
  74 // CHECK: store i32 {{.*}}, i32* [[I]]
  75   i=vpF2->x;
  76 // CHECK: [[VPF2_VAL:%[a-zA-Z0-9_.]+]] = load {{%[a-zA-Z0-9_.]+}}*, {{%[a-zA-Z0-9_.]+}}** @vpF2
  77 // CHECK: [[ELT:%[a-zA-Z0-9_.]+]] = getelementptr {{.*}} [[VPF2_VAL]]
  78 // CHECK: load volatile i32, i32* [[ELT]]
  79 // CHECK: store i32 {{.*}}, i32* [[I]]
  80   i=F3.x.y;
  81 // CHECK: load i32, i32* getelementptr {{.*}} @F3
  82 // CHECK: store i32 {{.*}}, i32* [[I]]
  83   i=vF3.x.y;
  84 // CHECK: load volatile i32, i32* getelementptr {{.*}} @vF3
  85 // CHECK: store i32 {{.*}}, i32* [[I]]
  86   i=BF.x;
  87 // CHECK-IT: load i8, i8* getelementptr {{.*}} @BF
  88 // CHECK-MS: load i32, i32* getelementptr {{.*}} @BF
  89 // CHECK: store i32 {{.*}}, i32* [[I]]
  90   i=vBF.x;
  91 // CHECK-IT: load volatile i8, i8* getelementptr {{.*}} @vBF
  92 // CHECK-MS: load volatile i32, i32* getelementptr {{.*}} @vBF
  93 // CHECK: store i32 {{.*}}, i32* [[I]]
  94   i=V[3];
  95 // CHECK: load <4 x i32>, <4 x i32>* @V
  96 // CHECK: store i32 {{.*}}, i32* [[I]]
  97   i=vV[3];
  98 // CHECK: load volatile <4 x i32>, <4 x i32>* @vV
  99 // CHECK: store i32 {{.*}}, i32* [[I]]
 100   i=VE.yx[1];
 101 // CHECK: load <4 x i32>, <4 x i32>* @VE
 102 // CHECK: store i32 {{.*}}, i32* [[I]]
 103   i=vVE.zy[1];
 104 // CHECK: load volatile <4 x i32>, <4 x i32>* @vVE
 105 // CHECK: store i32 {{.*}}, i32* [[I]]
 106   i = aggFct().x; // Note: not volatile
 107   // N.b. Aggregate return is extremely target specific, all we can
 108   // really say here is that there probably shouldn't be a volatile
 109   // load.
 110 // CHECK-NOT: load volatile
 111 // CHECK: store i32 {{.*}}, i32* [[I]]
 112   i=vtS;
 113 // CHECK: load volatile i32, i32* @vtS
 114 // CHECK: store i32 {{.*}}, i32* [[I]]
 115
 116
 117   // store
 118   S=i;
 119 // CHECK: load i32, i32* [[I]]
 120 // CHECK: store i32 {{.*}}, i32* @S
 121   vS=i;
 122 // CHECK: load i32, i32* [[I]]
 123 // CHECK: store volatile i32 {{.*}}, i32* @vS
 124   *pS=i;
 125 // CHECK: load i32, i32* [[I]]
 126 // CHECK: [[PS_VAL:%[a-zA-Z0-9_.]+]] = load i32*, i32** @pS
 127 // CHECK: store i32 {{.*}}, i32* [[PS_VAL]]
 128   *pvS=i;
 129 // CHECK: load i32, i32* [[I]]
 130 // CHECK: [[PVS_VAL:%[a-zA-Z0-9_.]+]] = load i32*, i32** @pvS
 131 // CHECK: store volatile i32 {{.*}}, i32* [[PVS_VAL]]
 132   A[2]=i;
 133 // CHECK: load i32, i32* [[I]]
 134 // CHECK: store i32 {{.*}}, i32* getelementptr {{.*}} @A
 135   vA[2]=i;
 136 // CHECK: load i32, i32* [[I]]
 137 // CHECK: store volatile i32 {{.*}}, i32* getelementptr {{.*}} @vA
 138   F.x=i;
 139 // CHECK: load i32, i32* [[I]]
 140 // CHECK: store i32 {{.*}}, i32* getelementptr {{.*}} @F
 141   vF.x=i;
 142 // CHECK: load i32, i32* [[I]]
 143 // CHECK: store volatile i32 {{.*}}, i32* getelementptr {{.*}} @vF
 144   F2.x=i;
 145 // CHECK: load i32, i32* [[I]]
 146 // CHECK: store i32 {{.*}}, i32* getelementptr {{.*}} @F2
 147   vF2.x=i;
 148 // CHECK: load i32, i32* [[I]]
 149 // CHECK: store volatile i32 {{.*}}, i32* getelementptr {{.*}} @vF2
 150   vpF2->x=i;
 151 // CHECK: load i32, i32* [[I]]
 152 // CHECK: [[VPF2_VAL:%[a-zA-Z0-9_.]+]] = load {{%[a-zA-Z0-9._]+}}*, {{%[a-zA-Z0-9._]+}}** @vpF2
 153 // CHECK: [[ELT:%[a-zA-Z0-9_.]+]] = getelementptr {{.*}} [[VPF2_VAL]]
 154 // CHECK: store volatile i32 {{.*}}, i32* [[ELT]]
 155   vF3.x.y=i;
 156 // CHECK: load i32, i32* [[I]]
 157 // CHECK: store volatile i32 {{.*}}, i32* getelementptr {{.*}} @vF3
 158   BF.x=i;
 159 // CHECK: load i32, i32* [[I]]
 160 // CHECK-IT: load i8, i8* getelementptr {{.*}} @BF
 161 // CHECK-MS: load i32, i32* getelementptr {{.*}} @BF
 162 // CHECK-IT: store i8 {{.*}}, i8* getelementptr {{.*}} @BF
 163 // CHECK-MS: store i32 {{.*}}, i32* getelementptr {{.*}} @BF
 164   vBF.x=i;
 165 // CHECK: load i32, i32* [[I]]
 166 // CHECK-IT: load volatile i8, i8* getelementptr {{.*}} @vBF
 167 // CHECK-MS: load volatile i32, i32* getelementptr {{.*}} @vBF
 168 // CHECK-IT: store volatile i8 {{.*}}, i8* getelementptr {{.*}} @vBF
 169 // CHECK-MS: store volatile i32 {{.*}}, i32* getelementptr {{.*}} @vBF
 170   V[3]=i;
 171 // CHECK: load i32, i32* [[I]]
 172 // CHECK: load <4 x i32>, <4 x i32>* @V
 173 // CHECK: store <4 x i32> {{.*}}, <4 x i32>* @V
 174   vV[3]=i;
 175 // CHECK: load i32, i32* [[I]]
 176 // CHECK: load volatile <4 x i32>, <4 x i32>* @vV
 177 // CHECK: store volatile <4 x i32> {{.*}}, <4 x i32>* @vV
 178   vtS=i;
 179 // CHECK: load i32, i32* [[I]]
 180 // CHECK: store volatile i32 {{.*}}, i32* @vtS
 181
 182   // other ops:
 183   ++S;
 184 // CHECK: load i32, i32* @S
 185 // CHECK: store i32 {{.*}}, i32* @S
 186   ++vS;
 187 // CHECK: load volatile i32, i32* @vS
 188 // CHECK: store volatile i32 {{.*}}, i32* @vS
 189   i+=S;
 190 // CHECK: load i32, i32* @S
 191 // CHECK: load i32, i32* [[I]]
 192 // CHECK: store i32 {{.*}}, i32* [[I]]
 193   i+=vS;
 194 // CHECK: load volatile i32, i32* @vS
 195 // CHECK: load i32, i32* [[I]]
 196 // CHECK: store i32 {{.*}}, i32* [[I]]
 197   ++vtS;
 198 // CHECK: load volatile i32, i32* @vtS
 199 // CHECK: store volatile i32 {{.*}}, i32* @vtS
 200   (void)vF2;
 201   // From vF2 to a temporary
 202 // CHECK: call void @llvm.memcpy.{{.*}}(i8* %{{.*}}, i8* {{.*}} @vF2 {{.*}}, i1 true)
 203   vF2 = vF2;
 204   // vF2 to itself
 205 // CHECK: call void @llvm.memcpy.{{.*}}(i8* {{.*@vF2.*}}, i8* {{.*@vF2.*}}, i1 true)
 206   vF2 = vF2 = vF2;
 207   // vF2 to itself twice
 208 // CHECK: call void @llvm.memcpy.{{.*}}(i8* {{.*@vF2.*}}, i8* {{.*@vF2.*}}, i1 true)
 209 // CHECK: call void @llvm.memcpy.{{.*}}(i8* {{.*@vF2.*}}, i8* {{.*@vF2.*}}, i1 true)
 210   vF2 = (vF2, vF2);
 211   // vF2 to a temporary, then vF2 to itself
 212 // CHECK: call void @llvm.memcpy.{{.*}}(i8* %{{.*}}, i8* {{.*@vF2.*}}, i1 true)
 213 // CHECK: call void @llvm.memcpy.{{.*}}(i8* {{.*@vF2.*}}, i8* {{.*@vF2.*}}, i1 true)
 214 }