75 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=verify -S < %s | FileCheck %s3 4define i32 @load(ptr %a) {5; CHECK-LABEL: @load(6; CHECK-NEXT: [[I:%.*]] = load i32, ptr [[A:%.*]], align 47; CHECK-NEXT: ret i32 [[I]]8;9 %i = load i32, ptr %a10 ret i32 %i11}12 13define void @store(ptr %a, i32 %i) {14; CHECK-LABEL: @store(15; CHECK-NEXT: store i32 [[I:%.*]], ptr [[A:%.*]], align 416; CHECK-NEXT: ret void17;18 store i32 %i, ptr %a19 ret void20}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 425; CHECK-NEXT: ret void26;27 %val_success = cmpxchg ptr %p, i32 %a, i32 %b acq_rel monotonic28 ret void29}30 31define void @atomicrmw(ptr %a, i32 %i) {32; CHECK-LABEL: @atomicrmw(33; CHECK-NEXT: [[B:%.*]] = atomicrmw add ptr [[A:%.*]], i32 [[I:%.*]] acquire, align 434; CHECK-NEXT: ret void35;36 %b = atomicrmw add ptr %a, i32 %i acquire37 ret void38}39 40define void @opaque_mangle() {41; CHECK-LABEL: @opaque_mangle(42; CHECK-NEXT: [[A:%.*]] = alloca i64, align 843; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr [[A]])44; CHECK-NEXT: call void @llvm.lifetime.end.p0(ptr [[A]])45; CHECK-NEXT: ret void46;47 %a = alloca i6448 call void @llvm.lifetime.start.p0(ptr %a)49 call void @llvm.lifetime.end.p0(ptr %a)50 ret void51}52 53define void @intrinsic_calls(ptr %a) {54; CHECK-LABEL: @intrinsic_calls(55; CHECK-NEXT: [[TMP1:%.*]] = call <2 x i32> @llvm.masked.load.v2i32.p0(ptr align 4 [[A:%.*]], <2 x i1> zeroinitializer, <2 x i32> zeroinitializer)56; CHECK-NEXT: call void @llvm.masked.store.v2i32.p0(<2 x i32> zeroinitializer, ptr align 4 [[A]], <2 x i1> zeroinitializer)57; CHECK-NEXT: [[TMP2:%.*]] = call <2 x i64> @llvm.masked.gather.v2i64.v2p0(<2 x ptr> align 4 zeroinitializer, <2 x i1> zeroinitializer, <2 x i64> zeroinitializer)58; CHECK-NEXT: [[TMP3:%.*]] = call ptr @llvm.preserve.array.access.index.p0.p0(ptr elementtype(i32) null, i32 0, i32 0)59; CHECK-NEXT: ret void60;61 call <2 x i32> @llvm.masked.load.v2i32.p0(ptr %a, i32 4, <2 x i1> zeroinitializer, <2 x i32> zeroinitializer)62 call void @llvm.masked.store.v2i32.p0(<2 x i32> zeroinitializer, ptr %a, i32 4, <2 x i1> zeroinitializer)63 call <2 x i64> @llvm.masked.gather.v2i64.v2p0(<2 x ptr> zeroinitializer, i32 4, <2 x i1> zeroinitializer, <2 x i64> zeroinitializer)64 call ptr @llvm.preserve.array.access.index.p0.p0(ptr elementtype(i32) null, i32 0, i32 0)65 ret void66}67 68declare void @llvm.lifetime.start.p0(ptr nocapture)69declare void @llvm.lifetime.end.p0(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