Home | History | Annotate | Download | only in Bitcode
      1 ; RUN: llvm-dis < %s.bc| FileCheck %s
      2 ; RUN: verify-uselistorder < %s.bc
      3 
      4 ; memOperations.3.2.ll.bc was generated by passing this file to llvm-as-3.2.
      5 ; The test checks that LLVM does not misread memory related instructions of
      6 ; older bitcode files.
      7 
      8 define void @alloca(){
      9 entry:
     10 ; CHECK: %res1 = alloca i8
     11   %res1 = alloca i8
     12 
     13 ; CHECK-NEXT: %res2 = alloca i8, i32 2
     14   %res2 = alloca i8, i32 2
     15 
     16 ; CHECK-NEXT: %res3 = alloca i8, i32 2, align 4
     17   %res3 = alloca i8, i32 2, align 4
     18 
     19 ; CHECK-NEXT: %res4 = alloca i8, align 4
     20   %res4 = alloca i8, align 4
     21 
     22   ret void
     23 }
     24 
     25 define void @load(){
     26 entry:
     27   %ptr1 = alloca i8
     28   store i8 2, i8* %ptr1
     29 
     30 ; CHECK: %res1 = load i8, i8* %ptr1
     31   %res1 = load i8, i8* %ptr1
     32 
     33 ; CHECK-NEXT: %res2 = load volatile i8, i8* %ptr1
     34   %res2 = load volatile i8, i8* %ptr1
     35 
     36 ; CHECK-NEXT: %res3 = load i8, i8* %ptr1, align 1
     37   %res3 = load i8, i8* %ptr1, align 1
     38 
     39 ; CHECK-NEXT: %res4 = load volatile i8, i8* %ptr1, align 1
     40   %res4 = load volatile i8, i8* %ptr1, align 1
     41 
     42 ; CHECK-NEXT: %res5 = load i8, i8* %ptr1, !nontemporal !0
     43   %res5 = load i8, i8* %ptr1, !nontemporal !0
     44 
     45 ; CHECK-NEXT: %res6 = load volatile i8, i8* %ptr1, !nontemporal !0
     46   %res6 = load volatile i8, i8* %ptr1, !nontemporal !0
     47 
     48 ; CHECK-NEXT: %res7 = load i8, i8* %ptr1, align 1, !nontemporal !0
     49   %res7 = load i8, i8* %ptr1, align 1, !nontemporal !0
     50 
     51 ; CHECK-NEXT: %res8 = load volatile i8, i8* %ptr1, align 1, !nontemporal !0
     52   %res8 = load volatile i8, i8* %ptr1, align 1, !nontemporal !0
     53 
     54 ; CHECK-NEXT: %res9 = load i8, i8* %ptr1, !invariant.load !1
     55   %res9 = load i8, i8* %ptr1, !invariant.load !1
     56 
     57 ; CHECK-NEXT: %res10 = load volatile i8, i8* %ptr1, !invariant.load !1
     58   %res10 = load volatile i8, i8* %ptr1, !invariant.load !1
     59 
     60 ; CHECK-NEXT: %res11 = load i8, i8* %ptr1, align 1, !invariant.load !1
     61   %res11 = load i8, i8* %ptr1, align 1, !invariant.load !1
     62 
     63 ; CHECK-NEXT: %res12 = load volatile i8, i8* %ptr1, align 1, !invariant.load !1
     64   %res12 = load volatile i8, i8* %ptr1, align 1, !invariant.load !1
     65 
     66 ; CHECK-NEXT: %res13 = load i8, i8* %ptr1, {{[(!nontemporal !0, !invariant.load !1) | (!invariant.load !1, !nontemporal !0)]}}
     67   %res13 = load i8, i8* %ptr1, !nontemporal !0, !invariant.load !1
     68 
     69 ; CHECK-NEXT: %res14 = load volatile i8, i8* %ptr1, {{[(!nontemporal !0, !invariant.load !1) | (!invariant.load !1, !nontemporal !0)]}}
     70   %res14 = load volatile i8, i8* %ptr1, !nontemporal !0, !invariant.load !1
     71 
     72 ; CHECK-NEXT: %res15 = load i8, i8* %ptr1, align 1, {{[(!nontemporal !0, !invariant.load !1) | (!invariant.load !1, !nontemporal !0)]}}
     73   %res15 = load i8, i8* %ptr1, align 1, !nontemporal !0, !invariant.load !1
     74 
     75 ; CHECK-NEXT: %res16 = load volatile i8, i8* %ptr1, align 1, {{[(!nontemporal !0, !invariant.load !1) | (!invariant.load !1, !nontemporal !0)]}}
     76   %res16 = load volatile i8, i8* %ptr1, align 1, !nontemporal !0, !invariant.load !1
     77 
     78   ret void
     79 }
     80 
     81 define void @loadAtomic(){
     82 entry:
     83   %ptr1 = alloca i8
     84   store i8 2, i8* %ptr1
     85 
     86 ; CHECK: %res1 = load atomic i8, i8* %ptr1 unordered, align 1
     87   %res1 = load atomic i8, i8* %ptr1 unordered, align 1
     88 
     89 ; CHECK-NEXT: %res2 = load atomic i8, i8* %ptr1 monotonic, align 1
     90   %res2 = load atomic i8, i8* %ptr1 monotonic, align 1
     91 
     92 ; CHECK-NEXT: %res3 = load atomic i8, i8* %ptr1 acquire, align 1
     93   %res3 = load atomic i8, i8* %ptr1 acquire, align 1
     94 
     95 ; CHECK-NEXT: %res4 = load atomic i8, i8* %ptr1 seq_cst, align 1
     96   %res4 = load atomic i8, i8* %ptr1 seq_cst, align 1
     97 
     98 ; CHECK-NEXT: %res5 = load atomic volatile i8, i8* %ptr1 unordered, align 1
     99   %res5 = load atomic volatile i8, i8* %ptr1 unordered, align 1
    100 
    101 ; CHECK-NEXT: %res6 = load atomic volatile i8, i8* %ptr1 monotonic, align 1
    102   %res6 = load atomic volatile i8, i8* %ptr1 monotonic, align 1
    103 
    104 ; CHECK-NEXT: %res7 = load atomic volatile i8, i8* %ptr1 acquire, align 1
    105   %res7 = load atomic volatile i8, i8* %ptr1 acquire, align 1
    106 
    107 ; CHECK-NEXT: %res8 = load atomic volatile i8, i8* %ptr1 seq_cst, align 1
    108   %res8 = load atomic volatile i8, i8* %ptr1 seq_cst, align 1
    109 
    110 ; CHECK-NEXT: %res9 = load atomic i8, i8* %ptr1 singlethread unordered, align 1
    111   %res9 = load atomic i8, i8* %ptr1 singlethread unordered, align 1
    112 
    113 ; CHECK-NEXT: %res10 = load atomic i8, i8* %ptr1 singlethread monotonic, align 1
    114   %res10 = load atomic i8, i8* %ptr1 singlethread monotonic, align 1
    115 
    116 ; CHECK-NEXT: %res11 = load atomic i8, i8* %ptr1 singlethread acquire, align 1
    117   %res11 = load atomic i8, i8* %ptr1 singlethread acquire, align 1
    118 
    119 ; CHECK-NEXT: %res12 = load atomic i8, i8* %ptr1 singlethread seq_cst, align 1
    120   %res12 = load atomic i8, i8* %ptr1 singlethread seq_cst, align 1
    121 
    122 ; CHECK-NEXT: %res13 = load atomic volatile i8, i8* %ptr1 singlethread unordered, align 1
    123   %res13 = load atomic volatile i8, i8* %ptr1 singlethread unordered, align 1
    124 
    125 ; CHECK-NEXT: %res14 = load atomic volatile i8, i8* %ptr1 singlethread monotonic, align 1
    126   %res14 = load atomic volatile i8, i8* %ptr1 singlethread monotonic, align 1
    127 
    128 ; CHECK-NEXT: %res15 = load atomic volatile i8, i8* %ptr1 singlethread acquire, align 1
    129   %res15 = load atomic volatile i8, i8* %ptr1 singlethread acquire, align 1
    130 
    131 ; CHECK-NEXT: %res16 = load atomic volatile i8, i8* %ptr1 singlethread seq_cst, align 1
    132   %res16 = load atomic volatile i8, i8* %ptr1 singlethread seq_cst, align 1
    133 
    134   ret void
    135 }
    136 
    137 define void @store(){
    138 entry:
    139   %ptr1 = alloca i8
    140 
    141 ; CHECK: store i8 2, i8* %ptr1
    142   store i8 2, i8* %ptr1
    143 
    144 ; CHECK-NEXT: store volatile i8 2, i8* %ptr1
    145   store volatile i8 2, i8* %ptr1
    146 
    147 ; CHECK-NEXT: store i8 2, i8* %ptr1, align 1
    148   store i8 2, i8* %ptr1, align 1
    149 
    150 ; CHECK-NEXT: store volatile i8 2, i8* %ptr1, align 1
    151   store volatile i8 2, i8* %ptr1, align 1
    152 
    153 ; CHECK-NEXT: store i8 2, i8* %ptr1, !nontemporal !0
    154   store i8 2, i8* %ptr1, !nontemporal !0
    155 
    156 ; CHECK-NEXT: store volatile i8 2, i8* %ptr1, !nontemporal !0
    157   store volatile i8 2, i8* %ptr1, !nontemporal !0
    158 
    159 ; CHECK-NEXT: store i8 2, i8* %ptr1, align 1, !nontemporal !0
    160   store i8 2, i8* %ptr1, align 1, !nontemporal !0
    161 
    162 ; CHECK-NEXT: store volatile i8 2, i8* %ptr1, align 1, !nontemporal !0
    163   store volatile i8 2, i8* %ptr1, align 1, !nontemporal !0
    164 
    165   ret void
    166 }
    167 
    168 define void @storeAtomic(){
    169 entry:
    170   %ptr1 = alloca i8
    171 
    172 ; CHECK: store atomic i8 2, i8* %ptr1 unordered, align 1
    173   store atomic i8 2, i8* %ptr1 unordered, align 1
    174 
    175 ; CHECK-NEXT: store atomic i8 2, i8* %ptr1 monotonic, align 1
    176   store atomic i8 2, i8* %ptr1 monotonic, align 1
    177 
    178 ; CHECK-NEXT: store atomic i8 2, i8* %ptr1 release, align 1
    179   store atomic i8 2, i8* %ptr1 release, align 1
    180 
    181 ; CHECK-NEXT: store atomic i8 2, i8* %ptr1 seq_cst, align 1
    182   store atomic i8 2, i8* %ptr1 seq_cst, align 1
    183 
    184 ; CHECK-NEXT: store atomic volatile i8 2, i8* %ptr1 unordered, align 1
    185   store atomic volatile i8 2, i8* %ptr1 unordered, align 1
    186 
    187 ; CHECK-NEXT: store atomic volatile i8 2, i8* %ptr1 monotonic, align 1
    188   store atomic volatile i8 2, i8* %ptr1 monotonic, align 1
    189 
    190 ; CHECK-NEXT: store atomic volatile i8 2, i8* %ptr1 release, align 1
    191   store atomic volatile i8 2, i8* %ptr1 release, align 1
    192 
    193 ; CHECK-NEXT: store atomic volatile i8 2, i8* %ptr1 seq_cst, align 1
    194   store atomic volatile i8 2, i8* %ptr1 seq_cst, align 1
    195 
    196 ; CHECK-NEXT: store atomic i8 2, i8* %ptr1 singlethread unordered, align 1
    197   store atomic i8 2, i8* %ptr1 singlethread unordered, align 1
    198 
    199 ; CHECK-NEXT: store atomic i8 2, i8* %ptr1 singlethread monotonic, align 1
    200   store atomic i8 2, i8* %ptr1 singlethread monotonic, align 1
    201 
    202 ; CHECK-NEXT: store atomic i8 2, i8* %ptr1 singlethread release, align 1
    203   store atomic i8 2, i8* %ptr1 singlethread release, align 1
    204 
    205 ; CHECK-NEXT: store atomic i8 2, i8* %ptr1 singlethread seq_cst, align 1
    206   store atomic i8 2, i8* %ptr1 singlethread seq_cst, align 1
    207 
    208 ; CHECK-NEXT: store atomic volatile i8 2, i8* %ptr1 singlethread unordered, align 1
    209   store atomic volatile i8 2, i8* %ptr1 singlethread unordered, align 1
    210 
    211 ; CHECK-NEXT: store atomic volatile i8 2, i8* %ptr1 singlethread monotonic, align 1
    212   store atomic volatile i8 2, i8* %ptr1 singlethread monotonic, align 1
    213 
    214 ; CHECK-NEXT: store atomic volatile i8 2, i8* %ptr1 singlethread release, align 1
    215   store atomic volatile i8 2, i8* %ptr1 singlethread release, align 1
    216 
    217 ; CHECK-NEXT: store atomic volatile i8 2, i8* %ptr1 singlethread seq_cst, align 1
    218   store atomic volatile i8 2, i8* %ptr1 singlethread seq_cst, align 1
    219 
    220   ret void
    221 }
    222 
    223 define void @cmpxchg(i32* %ptr,i32 %cmp,i32 %new){
    224 entry:
    225   ;cmpxchg [volatile] <ty>* <pointer>, <ty> <cmp>, <ty> <new> [singlethread] <ordering>
    226 
    227 ; CHECK: [[TMP:%[a-z0-9]+]] = cmpxchg i32* %ptr, i32 %cmp, i32 %new monotonic monotonic
    228 ; CHECK-NEXT: %res1 = extractvalue { i32, i1 } [[TMP]], 0
    229   %res1 = cmpxchg i32* %ptr, i32 %cmp, i32 %new monotonic monotonic
    230 
    231 ; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new monotonic monotonic
    232 ; CHECK-NEXT: %res2 = extractvalue { i32, i1 } [[TMP]], 0
    233   %res2 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new monotonic monotonic
    234 
    235 ; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg i32* %ptr, i32 %cmp, i32 %new singlethread monotonic monotonic
    236 ; CHECK-NEXT: %res3 = extractvalue { i32, i1 } [[TMP]], 0
    237   %res3 = cmpxchg i32* %ptr, i32 %cmp, i32 %new singlethread monotonic monotonic
    238 
    239 ; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new singlethread monotonic monotonic
    240 ; CHECK-NEXT: %res4 = extractvalue { i32, i1 } [[TMP]], 0
    241   %res4 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new singlethread monotonic monotonic
    242 
    243 
    244 ; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg i32* %ptr, i32 %cmp, i32 %new acquire acquire
    245 ; CHECK-NEXT: %res5 = extractvalue { i32, i1 } [[TMP]], 0
    246   %res5 = cmpxchg i32* %ptr, i32 %cmp, i32 %new acquire acquire
    247 
    248 ; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new acquire acquire
    249 ; CHECK-NEXT: %res6 = extractvalue { i32, i1 } [[TMP]], 0
    250   %res6 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new acquire acquire
    251 
    252 ; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg i32* %ptr, i32 %cmp, i32 %new singlethread acquire acquire
    253 ; CHECK-NEXT: %res7 = extractvalue { i32, i1 } [[TMP]], 0
    254   %res7 = cmpxchg i32* %ptr, i32 %cmp, i32 %new singlethread acquire acquire
    255 
    256 ; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new singlethread acquire acquire
    257 ; CHECK-NEXT: %res8 = extractvalue { i32, i1 } [[TMP]], 0
    258   %res8 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new singlethread acquire acquire
    259 
    260 
    261 ; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg i32* %ptr, i32 %cmp, i32 %new release monotonic
    262 ; CHECK-NEXT: %res9 = extractvalue { i32, i1 } [[TMP]], 0
    263   %res9 = cmpxchg i32* %ptr, i32 %cmp, i32 %new release monotonic
    264 
    265 ; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new release monotonic
    266 ; CHECK-NEXT: %res10 = extractvalue { i32, i1 } [[TMP]], 0
    267   %res10 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new release monotonic
    268 
    269 ; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg i32* %ptr, i32 %cmp, i32 %new singlethread release monotonic
    270 ; CHECK-NEXT: %res11 = extractvalue { i32, i1 } [[TMP]], 0
    271   %res11 = cmpxchg i32* %ptr, i32 %cmp, i32 %new singlethread release monotonic
    272 
    273 ; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new singlethread release monotonic
    274 ; CHECK-NEXT: %res12 = extractvalue { i32, i1 } [[TMP]], 0
    275   %res12 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new singlethread release monotonic
    276 
    277 
    278 ; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg i32* %ptr, i32 %cmp, i32 %new acq_rel acquire
    279 ; CHECK-NEXT: %res13 = extractvalue { i32, i1 } [[TMP]], 0
    280   %res13 = cmpxchg i32* %ptr, i32 %cmp, i32 %new acq_rel acquire
    281 
    282 ; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new acq_rel acquire
    283 ; CHECK-NEXT: %res14 = extractvalue { i32, i1 } [[TMP]], 0
    284   %res14 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new acq_rel acquire
    285 
    286 ; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg i32* %ptr, i32 %cmp, i32 %new singlethread acq_rel acquire
    287 ; CHECK-NEXT: %res15 = extractvalue { i32, i1 } [[TMP]], 0
    288   %res15 = cmpxchg i32* %ptr, i32 %cmp, i32 %new singlethread acq_rel acquire
    289 
    290 ; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new singlethread acq_rel acquire
    291 ; CHECK-NEXT: %res16 = extractvalue { i32, i1 } [[TMP]], 0
    292   %res16 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new singlethread acq_rel acquire
    293 
    294 
    295 ; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg i32* %ptr, i32 %cmp, i32 %new seq_cst seq_cst
    296 ; CHECK-NEXT: %res17 = extractvalue { i32, i1 } [[TMP]], 0
    297   %res17 = cmpxchg i32* %ptr, i32 %cmp, i32 %new seq_cst seq_cst
    298 
    299 ; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new seq_cst seq_cst
    300 ; CHECK-NEXT: %res18 = extractvalue { i32, i1 } [[TMP]], 0
    301   %res18 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new seq_cst seq_cst
    302 
    303 ; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg i32* %ptr, i32 %cmp, i32 %new singlethread seq_cst seq_cst
    304 ; CHECK-NEXT: %res19 = extractvalue { i32, i1 } [[TMP]], 0
    305   %res19 = cmpxchg i32* %ptr, i32 %cmp, i32 %new singlethread seq_cst seq_cst
    306 
    307 ; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new singlethread seq_cst seq_cst
    308 ; CHECK-NEXT: %res20 = extractvalue { i32, i1 } [[TMP]], 0
    309   %res20 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new singlethread seq_cst seq_cst
    310 
    311   ret void
    312 }
    313 
    314 define void @getelementptr({i8, i8}, {i8, i8}* %s, <4 x i8*> %ptrs, <4 x i64> %offsets ){
    315 entry:
    316 ; CHECK: %res1 = getelementptr { i8, i8 }, { i8, i8 }* %s, i32 1, i32 1
    317   %res1 = getelementptr {i8, i8}, {i8, i8}* %s, i32 1, i32 1
    318 
    319 ; CHECK-NEXT: %res2 = getelementptr inbounds { i8, i8 }, { i8, i8 }* %s, i32 1, i32 1
    320   %res2 = getelementptr inbounds {i8, i8}, {i8, i8}* %s, i32 1, i32 1
    321 
    322 ; CHECK-NEXT: %res3 = getelementptr i8, <4 x i8*> %ptrs, <4 x i64> %offsets
    323   %res3 = getelementptr i8, <4 x i8*> %ptrs, <4 x i64> %offsets
    324 
    325   ret void
    326 }
    327 
    328 !0 = metadata !{ i32 1 }
    329 !1 = metadata !{}
    330