330 lines · plain
1; RUN: llvm-dis < %s.bc| FileCheck %s2; RUN: verify-uselistorder < %s.bc3 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 of6; older bitcode files.7 8define void @alloca(){9entry:10; CHECK: %res1 = alloca i811 %res1 = alloca i812 13; CHECK-NEXT: %res2 = alloca i8, i32 214 %res2 = alloca i8, i32 215 16; CHECK-NEXT: %res3 = alloca i8, i32 2, align 417 %res3 = alloca i8, i32 2, align 418 19; CHECK-NEXT: %res4 = alloca i8, align 420 %res4 = alloca i8, align 421 22 ret void23}24 25define void @load(){26entry:27 %ptr1 = alloca i828 store i8 2, i8* %ptr129 30; CHECK: %res1 = load i8, ptr %ptr131 %res1 = load i8, i8* %ptr132 33; CHECK-NEXT: %res2 = load volatile i8, ptr %ptr134 %res2 = load volatile i8, i8* %ptr135 36; CHECK-NEXT: %res3 = load i8, ptr %ptr1, align 137 %res3 = load i8, i8* %ptr1, align 138 39; CHECK-NEXT: %res4 = load volatile i8, ptr %ptr1, align 140 %res4 = load volatile i8, i8* %ptr1, align 141 42; CHECK-NEXT: %res5 = load i8, ptr %ptr1, align 1, !nontemporal !043 %res5 = load i8, i8* %ptr1, !nontemporal !044 45; CHECK-NEXT: %res6 = load volatile i8, ptr %ptr1, align 1, !nontemporal !046 %res6 = load volatile i8, i8* %ptr1, !nontemporal !047 48; CHECK-NEXT: %res7 = load i8, ptr %ptr1, align 1, !nontemporal !049 %res7 = load i8, i8* %ptr1, align 1, !nontemporal !050 51; CHECK-NEXT: %res8 = load volatile i8, ptr %ptr1, align 1, !nontemporal !052 %res8 = load volatile i8, i8* %ptr1, align 1, !nontemporal !053 54; CHECK-NEXT: %res9 = load i8, ptr %ptr1, align 1, !invariant.load !155 %res9 = load i8, i8* %ptr1, !invariant.load !156 57; CHECK-NEXT: %res10 = load volatile i8, ptr %ptr1, align 1, !invariant.load !158 %res10 = load volatile i8, i8* %ptr1, !invariant.load !159 60; CHECK-NEXT: %res11 = load i8, ptr %ptr1, align 1, !invariant.load !161 %res11 = load i8, i8* %ptr1, align 1, !invariant.load !162 63; CHECK-NEXT: %res12 = load volatile i8, ptr %ptr1, align 1, !invariant.load !164 %res12 = load volatile i8, i8* %ptr1, align 1, !invariant.load !165 66; CHECK-NEXT: %res13 = load i8, ptr %ptr1, {{[(!nontemporal !0, !invariant.load !1) | (!invariant.load !1, !nontemporal !0)]}}67 %res13 = load i8, i8* %ptr1, !nontemporal !0, !invariant.load !168 69; CHECK-NEXT: %res14 = load volatile i8, ptr %ptr1, {{[(!nontemporal !0, !invariant.load !1) | (!invariant.load !1, !nontemporal !0)]}}70 %res14 = load volatile i8, i8* %ptr1, !nontemporal !0, !invariant.load !171 72; CHECK-NEXT: %res15 = load i8, ptr %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 !174 75; CHECK-NEXT: %res16 = load volatile i8, ptr %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 !177 78 ret void79}80 81define void @loadAtomic(){82entry:83 %ptr1 = alloca i884 store i8 2, i8* %ptr185 86; CHECK: %res1 = load atomic i8, ptr %ptr1 unordered, align 187 %res1 = load atomic i8, i8* %ptr1 unordered, align 188 89; CHECK-NEXT: %res2 = load atomic i8, ptr %ptr1 monotonic, align 190 %res2 = load atomic i8, i8* %ptr1 monotonic, align 191 92; CHECK-NEXT: %res3 = load atomic i8, ptr %ptr1 acquire, align 193 %res3 = load atomic i8, i8* %ptr1 acquire, align 194 95; CHECK-NEXT: %res4 = load atomic i8, ptr %ptr1 seq_cst, align 196 %res4 = load atomic i8, i8* %ptr1 seq_cst, align 197 98; CHECK-NEXT: %res5 = load atomic volatile i8, ptr %ptr1 unordered, align 199 %res5 = load atomic volatile i8, i8* %ptr1 unordered, align 1100 101; CHECK-NEXT: %res6 = load atomic volatile i8, ptr %ptr1 monotonic, align 1102 %res6 = load atomic volatile i8, i8* %ptr1 monotonic, align 1103 104; CHECK-NEXT: %res7 = load atomic volatile i8, ptr %ptr1 acquire, align 1105 %res7 = load atomic volatile i8, i8* %ptr1 acquire, align 1106 107; CHECK-NEXT: %res8 = load atomic volatile i8, ptr %ptr1 seq_cst, align 1108 %res8 = load atomic volatile i8, i8* %ptr1 seq_cst, align 1109 110; CHECK-NEXT: %res9 = load atomic i8, ptr %ptr1 syncscope("singlethread") unordered, align 1111 %res9 = load atomic i8, i8* %ptr1 syncscope("singlethread") unordered, align 1112 113; CHECK-NEXT: %res10 = load atomic i8, ptr %ptr1 syncscope("singlethread") monotonic, align 1114 %res10 = load atomic i8, i8* %ptr1 syncscope("singlethread") monotonic, align 1115 116; CHECK-NEXT: %res11 = load atomic i8, ptr %ptr1 syncscope("singlethread") acquire, align 1117 %res11 = load atomic i8, i8* %ptr1 syncscope("singlethread") acquire, align 1118 119; CHECK-NEXT: %res12 = load atomic i8, ptr %ptr1 syncscope("singlethread") seq_cst, align 1120 %res12 = load atomic i8, i8* %ptr1 syncscope("singlethread") seq_cst, align 1121 122; CHECK-NEXT: %res13 = load atomic volatile i8, ptr %ptr1 syncscope("singlethread") unordered, align 1123 %res13 = load atomic volatile i8, i8* %ptr1 syncscope("singlethread") unordered, align 1124 125; CHECK-NEXT: %res14 = load atomic volatile i8, ptr %ptr1 syncscope("singlethread") monotonic, align 1126 %res14 = load atomic volatile i8, i8* %ptr1 syncscope("singlethread") monotonic, align 1127 128; CHECK-NEXT: %res15 = load atomic volatile i8, ptr %ptr1 syncscope("singlethread") acquire, align 1129 %res15 = load atomic volatile i8, i8* %ptr1 syncscope("singlethread") acquire, align 1130 131; CHECK-NEXT: %res16 = load atomic volatile i8, ptr %ptr1 syncscope("singlethread") seq_cst, align 1132 %res16 = load atomic volatile i8, i8* %ptr1 syncscope("singlethread") seq_cst, align 1133 134 ret void135}136 137define void @store(){138entry:139 %ptr1 = alloca i8140 141; CHECK: store i8 2, ptr %ptr1142 store i8 2, i8* %ptr1143 144; CHECK-NEXT: store volatile i8 2, ptr %ptr1145 store volatile i8 2, i8* %ptr1146 147; CHECK-NEXT: store i8 2, ptr %ptr1, align 1148 store i8 2, i8* %ptr1, align 1149 150; CHECK-NEXT: store volatile i8 2, ptr %ptr1, align 1151 store volatile i8 2, i8* %ptr1, align 1152 153; CHECK-NEXT: store i8 2, ptr %ptr1, align 1, !nontemporal !0154 store i8 2, i8* %ptr1, !nontemporal !0155 156; CHECK-NEXT: store volatile i8 2, ptr %ptr1, align 1, !nontemporal !0157 store volatile i8 2, i8* %ptr1, !nontemporal !0158 159; CHECK-NEXT: store i8 2, ptr %ptr1, align 1, !nontemporal !0160 store i8 2, i8* %ptr1, align 1, !nontemporal !0161 162; CHECK-NEXT: store volatile i8 2, ptr %ptr1, align 1, !nontemporal !0163 store volatile i8 2, i8* %ptr1, align 1, !nontemporal !0164 165 ret void166}167 168define void @storeAtomic(){169entry:170 %ptr1 = alloca i8171 172; CHECK: store atomic i8 2, ptr %ptr1 unordered, align 1173 store atomic i8 2, i8* %ptr1 unordered, align 1174 175; CHECK-NEXT: store atomic i8 2, ptr %ptr1 monotonic, align 1176 store atomic i8 2, i8* %ptr1 monotonic, align 1177 178; CHECK-NEXT: store atomic i8 2, ptr %ptr1 release, align 1179 store atomic i8 2, i8* %ptr1 release, align 1180 181; CHECK-NEXT: store atomic i8 2, ptr %ptr1 seq_cst, align 1182 store atomic i8 2, i8* %ptr1 seq_cst, align 1183 184; CHECK-NEXT: store atomic volatile i8 2, ptr %ptr1 unordered, align 1185 store atomic volatile i8 2, i8* %ptr1 unordered, align 1186 187; CHECK-NEXT: store atomic volatile i8 2, ptr %ptr1 monotonic, align 1188 store atomic volatile i8 2, i8* %ptr1 monotonic, align 1189 190; CHECK-NEXT: store atomic volatile i8 2, ptr %ptr1 release, align 1191 store atomic volatile i8 2, i8* %ptr1 release, align 1192 193; CHECK-NEXT: store atomic volatile i8 2, ptr %ptr1 seq_cst, align 1194 store atomic volatile i8 2, i8* %ptr1 seq_cst, align 1195 196; CHECK-NEXT: store atomic i8 2, ptr %ptr1 syncscope("singlethread") unordered, align 1197 store atomic i8 2, i8* %ptr1 syncscope("singlethread") unordered, align 1198 199; CHECK-NEXT: store atomic i8 2, ptr %ptr1 syncscope("singlethread") monotonic, align 1200 store atomic i8 2, i8* %ptr1 syncscope("singlethread") monotonic, align 1201 202; CHECK-NEXT: store atomic i8 2, ptr %ptr1 syncscope("singlethread") release, align 1203 store atomic i8 2, i8* %ptr1 syncscope("singlethread") release, align 1204 205; CHECK-NEXT: store atomic i8 2, ptr %ptr1 syncscope("singlethread") seq_cst, align 1206 store atomic i8 2, i8* %ptr1 syncscope("singlethread") seq_cst, align 1207 208; CHECK-NEXT: store atomic volatile i8 2, ptr %ptr1 syncscope("singlethread") unordered, align 1209 store atomic volatile i8 2, i8* %ptr1 syncscope("singlethread") unordered, align 1210 211; CHECK-NEXT: store atomic volatile i8 2, ptr %ptr1 syncscope("singlethread") monotonic, align 1212 store atomic volatile i8 2, i8* %ptr1 syncscope("singlethread") monotonic, align 1213 214; CHECK-NEXT: store atomic volatile i8 2, ptr %ptr1 syncscope("singlethread") release, align 1215 store atomic volatile i8 2, i8* %ptr1 syncscope("singlethread") release, align 1216 217; CHECK-NEXT: store atomic volatile i8 2, ptr %ptr1 syncscope("singlethread") seq_cst, align 1218 store atomic volatile i8 2, i8* %ptr1 syncscope("singlethread") seq_cst, align 1219 220 ret void221}222 223define void @cmpxchg(i32* %ptr,i32 %cmp,i32 %new){224entry:225 ;cmpxchg [volatile] ptr <pointer>, <ty> <cmp>, <ty> <new> [singlethread] <ordering>226 227; CHECK: [[TMP:%[a-z0-9]+]] = cmpxchg ptr %ptr, i32 %cmp, i32 %new monotonic monotonic228; CHECK-NEXT: %res1 = extractvalue { i32, i1 } [[TMP]], 0229 %res1 = cmpxchg i32* %ptr, i32 %cmp, i32 %new monotonic monotonic230 231; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg volatile ptr %ptr, i32 %cmp, i32 %new monotonic monotonic232; CHECK-NEXT: %res2 = extractvalue { i32, i1 } [[TMP]], 0233 %res2 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new monotonic monotonic234 235; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg ptr %ptr, i32 %cmp, i32 %new syncscope("singlethread") monotonic monotonic236; CHECK-NEXT: %res3 = extractvalue { i32, i1 } [[TMP]], 0237 %res3 = cmpxchg i32* %ptr, i32 %cmp, i32 %new syncscope("singlethread") monotonic monotonic238 239; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg volatile ptr %ptr, i32 %cmp, i32 %new syncscope("singlethread") monotonic monotonic240; CHECK-NEXT: %res4 = extractvalue { i32, i1 } [[TMP]], 0241 %res4 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new syncscope("singlethread") monotonic monotonic242 243 244; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg ptr %ptr, i32 %cmp, i32 %new acquire acquire245; CHECK-NEXT: %res5 = extractvalue { i32, i1 } [[TMP]], 0246 %res5 = cmpxchg i32* %ptr, i32 %cmp, i32 %new acquire acquire247 248; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg volatile ptr %ptr, i32 %cmp, i32 %new acquire acquire249; CHECK-NEXT: %res6 = extractvalue { i32, i1 } [[TMP]], 0250 %res6 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new acquire acquire251 252; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg ptr %ptr, i32 %cmp, i32 %new syncscope("singlethread") acquire acquire253; CHECK-NEXT: %res7 = extractvalue { i32, i1 } [[TMP]], 0254 %res7 = cmpxchg i32* %ptr, i32 %cmp, i32 %new syncscope("singlethread") acquire acquire255 256; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg volatile ptr %ptr, i32 %cmp, i32 %new syncscope("singlethread") acquire acquire257; CHECK-NEXT: %res8 = extractvalue { i32, i1 } [[TMP]], 0258 %res8 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new syncscope("singlethread") acquire acquire259 260 261; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg ptr %ptr, i32 %cmp, i32 %new release monotonic262; CHECK-NEXT: %res9 = extractvalue { i32, i1 } [[TMP]], 0263 %res9 = cmpxchg i32* %ptr, i32 %cmp, i32 %new release monotonic264 265; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg volatile ptr %ptr, i32 %cmp, i32 %new release monotonic266; CHECK-NEXT: %res10 = extractvalue { i32, i1 } [[TMP]], 0267 %res10 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new release monotonic268 269; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg ptr %ptr, i32 %cmp, i32 %new syncscope("singlethread") release monotonic270; CHECK-NEXT: %res11 = extractvalue { i32, i1 } [[TMP]], 0271 %res11 = cmpxchg i32* %ptr, i32 %cmp, i32 %new syncscope("singlethread") release monotonic272 273; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg volatile ptr %ptr, i32 %cmp, i32 %new syncscope("singlethread") release monotonic274; CHECK-NEXT: %res12 = extractvalue { i32, i1 } [[TMP]], 0275 %res12 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new syncscope("singlethread") release monotonic276 277 278; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg ptr %ptr, i32 %cmp, i32 %new acq_rel acquire279; CHECK-NEXT: %res13 = extractvalue { i32, i1 } [[TMP]], 0280 %res13 = cmpxchg i32* %ptr, i32 %cmp, i32 %new acq_rel acquire281 282; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg volatile ptr %ptr, i32 %cmp, i32 %new acq_rel acquire283; CHECK-NEXT: %res14 = extractvalue { i32, i1 } [[TMP]], 0284 %res14 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new acq_rel acquire285 286; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg ptr %ptr, i32 %cmp, i32 %new syncscope("singlethread") acq_rel acquire287; CHECK-NEXT: %res15 = extractvalue { i32, i1 } [[TMP]], 0288 %res15 = cmpxchg i32* %ptr, i32 %cmp, i32 %new syncscope("singlethread") acq_rel acquire289 290; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg volatile ptr %ptr, i32 %cmp, i32 %new syncscope("singlethread") acq_rel acquire291; CHECK-NEXT: %res16 = extractvalue { i32, i1 } [[TMP]], 0292 %res16 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new syncscope("singlethread") acq_rel acquire293 294 295; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg ptr %ptr, i32 %cmp, i32 %new seq_cst seq_cst296; CHECK-NEXT: %res17 = extractvalue { i32, i1 } [[TMP]], 0297 %res17 = cmpxchg i32* %ptr, i32 %cmp, i32 %new seq_cst seq_cst298 299; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg volatile ptr %ptr, i32 %cmp, i32 %new seq_cst seq_cst300; CHECK-NEXT: %res18 = extractvalue { i32, i1 } [[TMP]], 0301 %res18 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new seq_cst seq_cst302 303; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg ptr %ptr, i32 %cmp, i32 %new syncscope("singlethread") seq_cst seq_cst304; CHECK-NEXT: %res19 = extractvalue { i32, i1 } [[TMP]], 0305 %res19 = cmpxchg i32* %ptr, i32 %cmp, i32 %new syncscope("singlethread") seq_cst seq_cst306 307; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = cmpxchg volatile ptr %ptr, i32 %cmp, i32 %new syncscope("singlethread") seq_cst seq_cst308; CHECK-NEXT: %res20 = extractvalue { i32, i1 } [[TMP]], 0309 %res20 = cmpxchg volatile i32* %ptr, i32 %cmp, i32 %new syncscope("singlethread") seq_cst seq_cst310 311 ret void312}313 314define void @getelementptr({i8, i8}, {i8, i8}* %s, <4 x i8*> %ptrs, <4 x i64> %offsets ){315entry:316; CHECK: %res1 = getelementptr { i8, i8 }, ptr %s, i32 1, i32 1317 %res1 = getelementptr {i8, i8}, {i8, i8}* %s, i32 1, i32 1318 319; CHECK-NEXT: %res2 = getelementptr inbounds { i8, i8 }, ptr %s, i32 1, i32 1320 %res2 = getelementptr inbounds {i8, i8}, {i8, i8}* %s, i32 1, i32 1321 322; CHECK-NEXT: %res3 = getelementptr i8, <4 x ptr> %ptrs, <4 x i64> %offsets323 %res3 = getelementptr i8, <4 x i8*> %ptrs, <4 x i64> %offsets324 325 ret void326}327 328!0 = metadata !{ i32 1 }329!1 = metadata !{}330