test/Transforms/RewriteStatepointsForGC/deopt-lowering-attrs.ll

   1 ; RUN: opt -rewrite-statepoints-for-gc -S < %s | FileCheck %s
   2 ; RUN: opt -passes=rewrite-statepoints-for-gc -S < %s | FileCheck %s
   3 ; Check that the "deopt-lowering" function attribute gets transcoded into
   4 ; flags on the resulting statepoint
   5
   6 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
   7 target triple = "x86_64-apple-macosx10.11.0"
   8
   9 declare void @foo()
  10 declare void @bar() "deopt-lowering"="live-in"
  11 declare void @baz() "deopt-lowering"="live-through"
  12
  13 define void @test1() gc "statepoint-example" {
  14 ; CHECK-LABEL: @test1(
  15 ; CHECK: @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 2882400000, i32 0, void ()* @foo, i32 0, i32 0, i32 0, i32 1, i32 57)
  16 ; CHECK: @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 2882400000, i32 0, void ()* @bar, i32 0, i32 2, i32 0, i32 1, i32 42)
  17 ; CHECK: @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 2882400000, i32 0, void ()* @baz, i32 0, i32 0, i32 0, i32 1, i32 13)
  18
  19 entry:
  20   call void @foo() [ "deopt"(i32 57) ]
  21   call void @bar() [ "deopt"(i32 42) ]
  22   call void @baz() [ "deopt"(i32 13) ]
  23   ret void
  24 }
  25
  26 ; add deopt-lowering attribute as part of callsite
  27 define void @test2() gc "statepoint-example" {
  28 ; CHECK-LABEL: @test2(
  29 ; CHECK: @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 2882400000, i32 0, void ()* @foo, i32 0, i32 2, i32 0, i32 1, i32 57)
  30
  31 entry:
  32   call void @foo()  "deopt-lowering"="live-in"  [ "deopt"(i32 57) ]
  33   ret void
  34 }
  35