20 lines · plain
1; RUN: opt -S < %s | FileCheck %s2 3; The intrinsic firstly only took ptr, then it was made polimorphic, then4; it was renamed to launder.invariant.group5define void @test(ptr %p1, ptr %p16) {6; CHECK-LABEL: @test7; 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 void14}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