llvm/test/Transforms/Inline/guard-intrinsic.ll

   1 ; RUN: opt -S -always-inline < %s | FileCheck %s
   2
   3 declare void @llvm.experimental.guard(i1, ...)
   4
   5 define i8 @callee(i1* %c_ptr) alwaysinline {
   6   %c = load volatile i1, i1* %c_ptr
   7   call void(i1, ...) @llvm.experimental.guard(i1 %c, i32 1) [ "deopt"(i32 1) ]
   8   ret i8 5
   9 }
  10
  11 define void @caller_0(i1* %c, i8* %ptr) {
  12 ; CHECK-LABEL: @caller_0(
  13 entry:
  14 ; CHECK:  [[COND:%[^ ]+]] = load volatile i1, i1* %c
  15 ; CHECK-NEXT:  call void (i1, ...) @llvm.experimental.guard(i1 [[COND]], i32 1) [ "deopt"(i32 2, i32 1) ]
  16 ; CHECK-NEXT:  store i8 5, i8* %ptr
  17
  18   %v = call i8 @callee(i1* %c)  [ "deopt"(i32 2) ]
  19   store i8 %v, i8* %ptr
  20   ret void
  21 }
  22
  23 define i32 @caller_1(i1* %c, i8* %ptr) personality i8 3 {
  24 ; CHECK-LABEL: @caller_1(
  25 ; CHECK:  [[COND:%[^ ]+]] = load volatile i1, i1* %c
  26 ; CHECK-NEXT:  call void (i1, ...) @llvm.experimental.guard(i1 [[COND]], i32 1) [ "deopt"(i32 3, i32 1) ]
  27 ; CHECK-NEXT:  br label %normal
  28 entry:
  29   %v = invoke i8 @callee(i1* %c)  [ "deopt"(i32 3) ] to label %normal
  30        unwind label %unwind
  31
  32 unwind:
  33   %lp = landingpad i32 cleanup
  34   ret i32 43
  35
  36 normal:
  37   store i8 %v, i8* %ptr
  38   ret i32 42
  39 }