llvm/test/Bitcode/upgrade-invariant-group-barrier.ll

   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
   5 define 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)
  18 declare ptr @llvm.invariant.group.barrier(ptr)
  19 declare ptr @llvm.invariant.group.barrier.p0(ptr)