xref: /llvm-project/llvm/test/Bitcode/upgrade-invariant-group-barrier.ll (revision 45067d1a74c8409328332c0d60cfc71601bfc846) 
1; RUN: opt -S < %s | FileCheck %s
2
3; The intrinsic firstly only took ptr, then it was made polimorphic, then
4; it was renamed to launder.invariant.group
5define void @test(ptr %p1, ptr %p16) {
6; CHECK-LABEL: @test
7; CHECK: %p2 = call ptr @llvm.launder.invariant.group.p0(ptr %p1)
8; CHECK: %p3 = call ptr @llvm.launder.invariant.group.p0(ptr %p1)
9; CHECK: %p4 = call ptr @llvm.launder.invariant.group.p0(ptr %p16)
10  %p2 = call ptr @llvm.invariant.group.barrier(ptr %p1)
11  %p3 = call ptr @llvm.invariant.group.barrier.p0(ptr %p1)
12  %p4 = call ptr @llvm.invariant.group.barrier.p0(ptr %p16)
13  ret void
14}
15
16; CHECK: Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(inaccessiblemem: readwrite)
17; CHECK: declare ptr @llvm.launder.invariant.group.p0(ptr)
18declare ptr @llvm.invariant.group.barrier(ptr)
19declare ptr @llvm.invariant.group.barrier.p0(ptr)
20