+; RUN: llvm-dis < %s.bc| FileCheck %s\r
+\r
+; memOperations.3.2.ll.bc was generated by passing this file to llvm-as-3.2.\r
+; The test checks that LLVM does not misread memory related instructions of\r
+; older bitcode files.\r
+\r
+define void @alloca(){\r
+entry:\r
+; CHECK: %res1 = alloca i8\r
+ %res1 = alloca i8\r
+ \r
+; CHECK-NEXT: %res2 = alloca i8, i32 2\r
+ %res2 = alloca i8, i32 2\r
+\r
+; CHECK-NEXT: %res3 = alloca i8, i32 2, align 4\r
+ %res3 = alloca i8, i32 2, align 4\r
+ \r
+; CHECK-NEXT: %res4 = alloca i8, align 4\r
+ %res4 = alloca i8, align 4\r
+ \r
+ ret void\r
+}\r
+\r
+define void @load(){\r
+entry:\r
+ %ptr1 = alloca i8\r
+ store i8 2, i8* %ptr1\r
+ \r
+; CHECK: %res1 = load i8* %ptr1\r
+ %res1 = load i8* %ptr1\r
+ \r
+; CHECK-NEXT: %res2 = load volatile i8* %ptr1\r
+ %res2 = load volatile i8* %ptr1\r
+ \r
+; CHECK-NEXT: %res3 = load i8* %ptr1, align 1\r
+ %res3 = load i8* %ptr1, align 1\r
+ \r
+; CHECK-NEXT: %res4 = load volatile i8* %ptr1, align 1\r
+ %res4 = load volatile i8* %ptr1, align 1\r
+ \r
+; CHECK-NEXT: %res5 = load i8* %ptr1, !nontemporal !0\r
+ %res5 = load i8* %ptr1, !nontemporal !0\r
+ \r
+; CHECK-NEXT: %res6 = load volatile i8* %ptr1, !nontemporal !0\r
+ %res6 = load volatile i8* %ptr1, !nontemporal !0\r
+ \r
+; CHECK-NEXT: %res7 = load i8* %ptr1, align 1, !nontemporal !0\r
+ %res7 = load i8* %ptr1, align 1, !nontemporal !0\r
+ \r
+; CHECK-NEXT: %res8 = load volatile i8* %ptr1, align 1, !nontemporal !0\r
+ %res8 = load volatile i8* %ptr1, align 1, !nontemporal !0\r
+ \r
+; CHECK-NEXT: %res9 = load i8* %ptr1, !invariant.load !1\r
+ %res9 = load i8* %ptr1, !invariant.load !1\r
+ \r
+; CHECK-NEXT: %res10 = load volatile i8* %ptr1, !invariant.load !1\r
+ %res10 = load volatile i8* %ptr1, !invariant.load !1\r
+ \r
+; CHECK-NEXT: %res11 = load i8* %ptr1, align 1, !invariant.load !1\r
+ %res11 = load i8* %ptr1, align 1, !invariant.load !1\r
+ \r
+; CHECK-NEXT: %res12 = load volatile i8* %ptr1, align 1, !invariant.load !1\r
+ %res12 = load volatile i8* %ptr1, align 1, !invariant.load !1\r
+ \r
+; CHECK-NEXT: %res13 = load i8* %ptr1, {{[(!nontemporal !0, !invariant.load !1) | (!invariant.load !1, !nontemporal !0)]}}\r
+ %res13 = load i8* %ptr1, !nontemporal !0, !invariant.load !1\r
+ \r
+; CHECK-NEXT: %res14 = load volatile i8* %ptr1, {{[(!nontemporal !0, !invariant.load !1) | (!invariant.load !1, !nontemporal !0)]}}\r
+ %res14 = load volatile i8* %ptr1, !nontemporal !0, !invariant.load !1\r
+ \r
+; CHECK-NEXT: %res15 = load i8* %ptr1, align 1, {{[(!nontemporal !0, !invariant.load !1) | (!invariant.load !1, !nontemporal !0)]}}\r
+ %res15 = load i8* %ptr1, align 1, !nontemporal !0, !invariant.load !1\r
+ \r
+; CHECK-NEXT: %res16 = load volatile i8* %ptr1, align 1, {{[(!nontemporal !0, !invariant.load !1) | (!invariant.load !1, !nontemporal !0)]}}\r
+ %res16 = load volatile i8* %ptr1, align 1, !nontemporal !0, !invariant.load !1\r
+ \r
+ ret void\r
+}\r
+\r
+define void @loadAtomic(){\r
+entry:\r
+ %ptr1 = alloca i8\r
+ store i8 2, i8* %ptr1\r
+ \r
+; CHECK: %res1 = load atomic i8* %ptr1 unordered, align 1\r
+ %res1 = load atomic i8* %ptr1 unordered, align 1\r
+ \r
+; CHECK-NEXT: %res2 = load atomic i8* %ptr1 monotonic, align 1\r
+ %res2 = load atomic i8* %ptr1 monotonic, align 1\r
+ \r
+; CHECK-NEXT: %res3 = load atomic i8* %ptr1 acquire, align 1\r
+ %res3 = load atomic i8* %ptr1 acquire, align 1\r
+ \r
+; CHECK-NEXT: %res4 = load atomic i8* %ptr1 seq_cst, align 1\r
+ %res4 = load atomic i8* %ptr1 seq_cst, align 1\r
+ \r
+; CHECK-NEXT: %res5 = load atomic volatile i8* %ptr1 unordered, align 1\r
+ %res5 = load atomic volatile i8* %ptr1 unordered, align 1\r
+ \r
+; CHECK-NEXT: %res6 = load atomic volatile i8* %ptr1 monotonic, align 1\r
+ %res6 = load atomic volatile i8* %ptr1 monotonic, align 1\r
+ \r
+; CHECK-NEXT: %res7 = load atomic volatile i8* %ptr1 acquire, align 1\r
+ %res7 = load atomic volatile i8* %ptr1 acquire, align 1\r
+ \r
+; CHECK-NEXT: %res8 = load atomic volatile i8* %ptr1 seq_cst, align 1\r
+ %res8 = load atomic volatile i8* %ptr1 seq_cst, align 1\r
+ \r
+; CHECK-NEXT: %res9 = load atomic i8* %ptr1 singlethread unordered, align 1\r
+ %res9 = load atomic i8* %ptr1 singlethread unordered, align 1\r
+ \r
+; CHECK-NEXT: %res10 = load atomic i8* %ptr1 singlethread monotonic, align 1\r
+ %res10 = load atomic i8* %ptr1 singlethread monotonic, align 1\r
+ \r
+; CHECK-NEXT: %res11 = load atomic i8* %ptr1 singlethread acquire, align 1\r
+ %res11 = load atomic i8* %ptr1 singlethread acquire, align 1\r
+ \r
+; CHECK-NEXT: %res12 = load atomic i8* %ptr1 singlethread seq_cst, align 1\r
+ %res12 = load atomic i8* %ptr1 singlethread seq_cst, align 1\r
+ \r
+; CHECK-NEXT: %res13 = load atomic volatile i8* %ptr1 singlethread unordered, align 1\r
+ %res13 = load atomic volatile i8* %ptr1 singlethread unordered, align 1\r
+ \r
+; CHECK-NEXT: %res14 = load atomic volatile i8* %ptr1 singlethread monotonic, align 1\r
+ %res14 = load atomic volatile i8* %ptr1 singlethread monotonic, align 1\r
+ \r
+; CHECK-NEXT: %res15 = load atomic volatile i8* %ptr1 singlethread acquire, align 1\r
+ %res15 = load atomic volatile i8* %ptr1 singlethread acquire, align 1\r
+ \r
+; CHECK-NEXT: %res16 = load atomic volatile i8* %ptr1 singlethread seq_cst, align 1\r
+ %res16 = load atomic volatile i8* %ptr1 singlethread seq_cst, align 1\r
+ \r
+ ret void\r
+}\r
+\r
+define void @store(){\r
+entry:\r
+ %ptr1 = alloca i8\r
+ \r
+; CHECK: store i8 2, i8* %ptr1\r
+ store i8 2, i8* %ptr1\r
+ \r
+; CHECK-NEXT: store volatile i8 2, i8* %ptr1\r
+ store volatile i8 2, i8* %ptr1\r
+ \r
+; CHECK-NEXT: store i8 2, i8* %ptr1, align 1\r
+ store i8 2, i8* %ptr1, align 1\r
+ \r
+; CHECK-NEXT: store volatile i8 2, i8* %ptr1, align 1\r
+ store volatile i8 2, i8* %ptr1, align 1\r
+ \r
+; CHECK-NEXT: store i8 2, i8* %ptr1, !nontemporal !0\r
+ store i8 2, i8* %ptr1, !nontemporal !0\r
+ \r
+; CHECK-NEXT: store volatile i8 2, i8* %ptr1, !nontemporal !0\r
+ store volatile i8 2, i8* %ptr1, !nontemporal !0\r
+ \r
+; CHECK-NEXT: store i8 2, i8* %ptr1, align 1, !nontemporal !0\r
+ store i8 2, i8* %ptr1, align 1, !nontemporal !0\r
+ \r
+; CHECK-NEXT: store volatile i8 2, i8* %ptr1, align 1, !nontemporal !0\r
+ store volatile i8 2, i8* %ptr1, align 1, !nontemporal !0\r
+ \r
+ ret void\r
+}\r
+\r
+define void @storeAtomic(){\r
+entry:\r
+ %ptr1 = alloca i8\r
+ \r
+; CHECK: store atomic i8 2, i8* %ptr1 unordered, align 1\r
+ store atomic i8 2, i8* %ptr1 unordered, align 1\r
+ \r
+; CHECK-NEXT: store atomic i8 2, i8* %ptr1 monotonic, align 1\r
+ store atomic i8 2, i8* %ptr1 monotonic, align 1\r
+ \r
+; CHECK-NEXT: store atomic i8 2, i8* %ptr1 release, align 1\r
+ store atomic i8 2, i8* %ptr1 release, align 1\r
+ \r
+; CHECK-NEXT: store atomic i8 2, i8* %ptr1 seq_cst, align 1\r
+ store atomic i8 2, i8* %ptr1 seq_cst, align 1\r
+ \r
+; CHECK-NEXT: store atomic volatile i8 2, i8* %ptr1 unordered, align 1\r
+ store atomic volatile i8 2, i8* %ptr1 unordered, align 1\r
+ \r
+; CHECK-NEXT: store atomic volatile i8 2, i8* %ptr1 monotonic, align 1\r
+ store atomic volatile i8 2, i8* %ptr1 monotonic, align 1\r
+ \r
+; CHECK-NEXT: store atomic volatile i8 2, i8* %ptr1 release, align 1\r
+ store atomic volatile i8 2, i8* %ptr1 release, align 1\r
+ \r
+; CHECK-NEXT: store atomic volatile i8 2, i8* %ptr1 seq_cst, align 1\r
+ store atomic volatile i8 2, i8* %ptr1 seq_cst, align 1\r
+ \r
+; CHECK-NEXT: store atomic i8 2, i8* %ptr1 singlethread unordered, align 1\r
+ store atomic i8 2, i8* %ptr1 singlethread unordered, align 1\r
+ \r
+; CHECK-NEXT: store atomic i8 2, i8* %ptr1 singlethread monotonic, align 1\r
+ store atomic i8 2, i8* %ptr1 singlethread monotonic, align 1\r
+ \r
+; CHECK-NEXT: store atomic i8 2, i8* %ptr1 singlethread release, align 1\r
+ store atomic i8 2, i8* %ptr1 singlethread release, align 1\r
+ \r
+; CHECK-NEXT: store atomic i8 2, i8* %ptr1 singlethread seq_cst, align 1\r
+ store atomic i8 2, i8* %ptr1 singlethread seq_cst, align 1\r
+ \r
+; CHECK-NEXT: store atomic volatile i8 2, i8* %ptr1 singlethread unordered, align 1\r
+ store atomic volatile i8 2, i8* %ptr1 singlethread unordered, align 1\r
+ \r
+; CHECK-NEXT: store atomic volatile i8 2, i8* %ptr1 singlethread monotonic, align 1\r
+ store atomic volatile i8 2, i8* %ptr1 singlethread monotonic, align 1\r
+ \r
+; CHECK-NEXT: store atomic volatile i8 2, i8* %ptr1 singlethread release, align 1\r
+ store atomic volatile i8 2, i8* %ptr1 singlethread release, align 1\r
+ \r
+; CHECK-NEXT: store atomic volatile i8 2, i8* %ptr1 singlethread seq_cst, align 1\r
+ store atomic volatile i8 2, i8* %ptr1 singlethread seq_cst, align 1\r
+ \r
+ ret void\r
+}\r
+\r
+define void @cmpxchg(i32* %ptr,i32 %cmp,i32 %new){\r
+entry:\r
+ ;cmpxchg [volatile] <ty>* <pointer>, <ty> <cmp>, <ty> <new> [singlethread] <ordering>\r
+\r
+; CHECK: %res1 = cmpxchg i32* %ptr, i32 %cmp, i32 %new monotonic\r
+ %res1 = cmpxchg i32* %ptr, i32 %cmp, i32 %new monotonic\r
+ \r
+; CHECK-NEXT: %res2 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new monotonic\r
+ %res2 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new monotonic\r
+ \r
+; CHECK-NEXT: %res3 = cmpxchg i32* %ptr, i32 %cmp, i32 %new singlethread monotonic\r
+ %res3 = cmpxchg i32* %ptr, i32 %cmp, i32 %new singlethread monotonic\r
+ \r
+; CHECK-NEXT: %res4 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new singlethread monotonic\r
+ %res4 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new singlethread monotonic\r
+ \r
+ \r
+; CHECK-NEXT: %res5 = cmpxchg i32* %ptr, i32 %cmp, i32 %new acquire\r
+ %res5 = cmpxchg i32* %ptr, i32 %cmp, i32 %new acquire\r
+ \r
+; CHECK-NEXT: %res6 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new acquire\r
+ %res6 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new acquire\r
+ \r
+; CHECK-NEXT: %res7 = cmpxchg i32* %ptr, i32 %cmp, i32 %new singlethread acquire\r
+ %res7 = cmpxchg i32* %ptr, i32 %cmp, i32 %new singlethread acquire\r
+ \r
+; CHECK-NEXT: %res8 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new singlethread acquire\r
+ %res8 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new singlethread acquire\r
+ \r
+ \r
+; CHECK-NEXT: %res9 = cmpxchg i32* %ptr, i32 %cmp, i32 %new release\r
+ %res9 = cmpxchg i32* %ptr, i32 %cmp, i32 %new release\r
+ \r
+; CHECK-NEXT: %res10 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new release\r
+ %res10 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new release\r
+ \r
+; CHECK-NEXT: %res11 = cmpxchg i32* %ptr, i32 %cmp, i32 %new singlethread release\r
+ %res11 = cmpxchg i32* %ptr, i32 %cmp, i32 %new singlethread release\r
+ \r
+; CHECK-NEXT: %res12 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new singlethread release\r
+ %res12 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new singlethread release\r
+ \r
+ \r
+; CHECK-NEXT: %res13 = cmpxchg i32* %ptr, i32 %cmp, i32 %new acq_rel\r
+ %res13 = cmpxchg i32* %ptr, i32 %cmp, i32 %new acq_rel\r
+ \r
+; CHECK-NEXT: %res14 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new acq_rel\r
+ %res14 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new acq_rel\r
+ \r
+; CHECK-NEXT: %res15 = cmpxchg i32* %ptr, i32 %cmp, i32 %new singlethread acq_rel\r
+ %res15 = cmpxchg i32* %ptr, i32 %cmp, i32 %new singlethread acq_rel\r
+ \r
+; CHECK-NEXT: %res16 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new singlethread acq_rel\r
+ %res16 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new singlethread acq_rel\r
+ \r
+ \r
+; CHECK-NEXT: %res17 = cmpxchg i32* %ptr, i32 %cmp, i32 %new seq_cst\r
+ %res17 = cmpxchg i32* %ptr, i32 %cmp, i32 %new seq_cst\r
+ \r
+; CHECK-NEXT: %res18 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new seq_cst\r
+ %res18 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new seq_cst\r
+ \r
+; CHECK-NEXT: %res19 = cmpxchg i32* %ptr, i32 %cmp, i32 %new singlethread seq_cst\r
+ %res19 = cmpxchg i32* %ptr, i32 %cmp, i32 %new singlethread seq_cst\r
+ \r
+; CHECK-NEXT: %res20 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new singlethread seq_cst\r
+ %res20 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new singlethread seq_cst\r
+\r
+ ret void\r
+}\r
+\r
+define void @getelementptr({i8, i8}* %s, <4 x i8*> %ptrs, <4 x i64> %offsets ){\r
+entry:\r
+; CHECK: %res1 = getelementptr { i8, i8 }* %s, i32 1, i32 1\r
+ %res1 = getelementptr {i8, i8}* %s, i32 1, i32 1\r
+ \r
+; CHECK-NEXT: %res2 = getelementptr inbounds { i8, i8 }* %s, i32 1, i32 1\r
+ %res2 = getelementptr inbounds {i8, i8}* %s, i32 1, i32 1\r
+ \r
+; CHECK-NEXT: %res3 = getelementptr <4 x i8*> %ptrs, <4 x i64> %offsets\r
+ %res3 = getelementptr <4 x i8*> %ptrs, <4 x i64> %offsets\r
+ \r
+ ret void\r
+}\r
+\r
+!0 = metadata !{ i32 1 }\r
+!1 = metadata !{}
\ No newline at end of file