llvm/test/Transforms/Inline/deoptimize-intrinsic-attrs.ll

   1 ; RUN: opt -S -always-inline < %s | FileCheck %s
   2
   3 declare cc42 i32 @llvm.experimental.deoptimize.i32(...)
   4
   5 define i32 @callee_with_coldcc() alwaysinline {
   6   %v0 = call cc42 i32(...) @llvm.experimental.deoptimize.i32(i32 1) #0 [ "deopt"() ]
   7   ret i32 %v0
   8 }
   9
  10 define void @caller_with_coldcc() {
  11 ; CHECK-LABEL: @caller_with_coldcc(
  12 ; CHECK-NEXT:  call cc42 void (...) @llvm.experimental.deoptimize.isVoid(i32 1) #1 [ "deopt"() ]
  13 ; CHECK-NEXT:  ret void
  14
  15   %val = call i32 @callee_with_coldcc()
  16   ret void
  17 }
  18
  19 attributes #0 = { "deopt-lowering"="live-in" }
  20
  21 ; CHECK: declare cc42 void @llvm.experimental.deoptimize.isVoid(...)
  22 ; CHECK: attributes #1 = { "deopt-lowering"="live-in" }