1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -passes=verify -S < %s | FileCheck %s 3 4define i32 @load(ptr %a) { 5; CHECK-LABEL: @load( 6; CHECK-NEXT: [[I:%.*]] = load i32, ptr [[A:%.*]], align 4 7; CHECK-NEXT: ret i32 [[I]] 8; 9 %i = load i32, ptr %a 10 ret i32 %i 11} 12 13define void @store(ptr %a, i32 %i) { 14; CHECK-LABEL: @store( 15; CHECK-NEXT: store i32 [[I:%.*]], ptr [[A:%.*]], align 4 16; CHECK-NEXT: ret void 17; 18 store i32 %i, ptr %a 19 ret void 20} 21 22define void @cmpxchg(ptr %p, i32 %a, i32 %b) { 23; CHECK-LABEL: @cmpxchg( 24; CHECK-NEXT: [[VAL_SUCCESS:%.*]] = cmpxchg ptr [[P:%.*]], i32 [[A:%.*]], i32 [[B:%.*]] acq_rel monotonic, align 4 25; CHECK-NEXT: ret void 26; 27 %val_success = cmpxchg ptr %p, i32 %a, i32 %b acq_rel monotonic 28 ret void 29} 30 31define void @atomicrmw(ptr %a, i32 %i) { 32; CHECK-LABEL: @atomicrmw( 33; CHECK-NEXT: [[B:%.*]] = atomicrmw add ptr [[A:%.*]], i32 [[I:%.*]] acquire, align 4 34; CHECK-NEXT: ret void 35; 36 %b = atomicrmw add ptr %a, i32 %i acquire 37 ret void 38} 39 40define void @opaque_mangle(ptr %a) { 41; CHECK-LABEL: @opaque_mangle( 42; CHECK-NEXT: call void @llvm.lifetime.start.p0(i64 8, ptr [[A:%.*]]) 43; CHECK-NEXT: call void @llvm.lifetime.end.p0(i64 8, ptr [[A]]) 44; CHECK-NEXT: ret void 45; 46 call void @llvm.lifetime.start.p0(i64 8, ptr %a) 47 call void @llvm.lifetime.end.p0(i64 8, ptr %a) 48 ret void 49} 50 51define void @intrinsic_calls(ptr %a) { 52; CHECK-LABEL: @intrinsic_calls( 53; CHECK-NEXT: [[TMP1:%.*]] = call <2 x i32> @llvm.masked.load.v2i32.p0(ptr [[A:%.*]], i32 4, <2 x i1> zeroinitializer, <2 x i32> zeroinitializer) 54; CHECK-NEXT: call void @llvm.masked.store.v2i32.p0(<2 x i32> zeroinitializer, ptr [[A]], i32 4, <2 x i1> zeroinitializer) 55; CHECK-NEXT: [[TMP2:%.*]] = call <2 x i64> @llvm.masked.gather.v2i64.v2p0(<2 x ptr> zeroinitializer, i32 4, <2 x i1> zeroinitializer, <2 x i64> zeroinitializer) 56; CHECK-NEXT: [[TMP3:%.*]] = call ptr @llvm.preserve.array.access.index.p0.p0(ptr elementtype(i32) null, i32 0, i32 0) 57; CHECK-NEXT: ret void 58; 59 call <2 x i32> @llvm.masked.load.v2i32.p0(ptr %a, i32 4, <2 x i1> zeroinitializer, <2 x i32> zeroinitializer) 60 call void @llvm.masked.store.v2i32.p0(<2 x i32> zeroinitializer, ptr %a, i32 4, <2 x i1> zeroinitializer) 61 call <2 x i64> @llvm.masked.gather.v2i64.v2p0(<2 x ptr> zeroinitializer, i32 4, <2 x i1> zeroinitializer, <2 x i64> zeroinitializer) 62 call ptr @llvm.preserve.array.access.index.p0.p0(ptr elementtype(i32) null, i32 0, i32 0) 63 ret void 64} 65 66; CHECK: @llvm.lifetime.start.p0 67; CHECK: @llvm.lifetime.end.p0 68declare void @llvm.lifetime.start.p0(i64, ptr nocapture) 69declare void @llvm.lifetime.end.p0(i64, ptr nocapture) 70 71declare <2 x i32> @llvm.masked.load.v2i32.p0(ptr, i32, <2 x i1>, <2 x i32>) 72declare void @llvm.masked.store.v2i32.p0(<2 x i32>, ptr, i32, <2 x i1>) 73declare <2 x i64> @llvm.masked.gather.v2i64.v2p0(<2 x ptr>, i32, <2 x i1>, <2 x i64>) 74declare ptr @llvm.preserve.array.access.index.p0.p0(ptr, i32, i32) 75