xref: /llvm-project/llvm/test/Verifier/opaque-ptr.ll (revision edb2fc6dab2cf04779959829434e9e8572d48a26)
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