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