test/Transforms/RewriteStatepointsForGC/deopt-bundles/deref-pointers.ll

   1 ; RUN: opt -S -rewrite-statepoints-for-gc -rs4gc-use-deopt-bundles < %s | FileCheck %s
   2
   3 ; CHECK: declare i8 addrspace(1)* @some_function_ret_deref()
   4 ; CHECK: define i8 addrspace(1)* @test_deref_arg(i8 addrspace(1)* %a)
   5 ; CHECK: define i8 addrspace(1)* @test_deref_or_null_arg(i8 addrspace(1)* %a)
   6
   7 declare void @foo()
   8
   9 declare i8 addrspace(1)* @some_function() "gc-leaf-function"
  10
  11 declare void @some_function_consumer(i8 addrspace(1)*) "gc-leaf-function"
  12
  13 declare dereferenceable(4) i8 addrspace(1)* @some_function_ret_deref() "gc-leaf-function"
  14
  15 define i8 addrspace(1)* @test_deref_arg(i8 addrspace(1)* dereferenceable(4) %a) gc "statepoint-example" {
  16 entry:
  17   call void @foo() [ "deopt"(i32 0, i32 -1, i32 0, i32 0, i32 0) ]
  18   ret i8 addrspace(1)* %a
  19 }
  20
  21 define i8 addrspace(1)* @test_deref_or_null_arg(i8 addrspace(1)* dereferenceable_or_null(4) %a) gc "statepoint-example" {
  22 entry:
  23   call void @foo() [ "deopt"(i32 0, i32 -1, i32 0, i32 0, i32 0) ]
  24   ret i8 addrspace(1)* %a
  25 }
  26
  27 define i8 addrspace(1)* @test_deref_retval() gc "statepoint-example" {
  28 ; CHECK-LABEL: @test_deref_retval(
  29 ; CHECK: %a = call i8 addrspace(1)* @some_function()
  30 entry:
  31   %a = call dereferenceable(4) i8 addrspace(1)* @some_function()
  32   call void @foo() [ "deopt"(i32 0, i32 -1, i32 0, i32 0, i32 0) ]
  33   ret i8 addrspace(1)* %a
  34 }
  35
  36 define i8 addrspace(1)* @test_deref_or_null_retval() gc "statepoint-example" {
  37 ; CHECK-LABEL: @test_deref_or_null_retval(
  38 ; CHECK: %a = call i8 addrspace(1)* @some_function()
  39 entry:
  40   %a = call dereferenceable_or_null(4) i8 addrspace(1)* @some_function()
  41   call void @foo() [ "deopt"(i32 0, i32 -1, i32 0, i32 0, i32 0) ]
  42   ret i8 addrspace(1)* %a
  43 }
  44
  45 define i8 @test_md(i8 addrspace(1)* %ptr) gc "statepoint-example" {
  46 ; CHECK-LABEL: @test_md(
  47 ; CHECK: %tmp = load i8, i8 addrspace(1)* %ptr, !tbaa !0
  48 entry:
  49   %tmp = load i8, i8 addrspace(1)* %ptr, !tbaa !0
  50   call void @foo() [ "deopt"(i32 0, i32 -1, i32 0, i32 0, i32 0) ]
  51   ret i8 %tmp
  52 }
  53
  54 define i8 addrspace(1)* @test_decl_only_attribute(i8 addrspace(1)* %ptr) gc "statepoint-example" {
  55 ; CHECK-LABEL: @test_decl_only_attribute(
  56 ; No change here, but the prototype of some_function_ret_deref should have changed.
  57 ; CHECK: call i8 addrspace(1)* @some_function_ret_deref()
  58 entry:
  59   %a = call i8 addrspace(1)* @some_function_ret_deref()
  60   call void @foo() [ "deopt"(i32 0, i32 -1, i32 0, i32 0, i32 0) ]
  61   ret i8 addrspace(1)* %a
  62 }
  63
  64 define i8 addrspace(1)* @test_callsite_arg_attribute(i8 addrspace(1)* %ptr) gc "statepoint-example" {
  65 ; CHECK-LABEL: @test_callsite_arg_attribute(
  66 ; CHECK: call void @some_function_consumer(i8 addrspace(1)* %ptr)
  67 ; CHECK: !0 = !{!1, !1, i64 0}
  68 ; CHECK: !1 = !{!"red", !2}
  69 ; CHECK: !2 = !{!"blue"}
  70 entry:
  71   call void @some_function_consumer(i8 addrspace(1)* dereferenceable(4) %ptr)
  72   call void @foo() [ "deopt"(i32 0, i32 -1, i32 0, i32 0, i32 0) ]
  73   ret i8 addrspace(1)* %ptr
  74 }
  75 !0 = !{!1, !1, i64 0, i64 1}
  76 !1 = !{!"red", !2}
  77 !2 = !{!"blue"}