test/Transforms/RewriteStatepointsForGC/codegen-cond.ll

   1 ; RUN: opt -rewrite-statepoints-for-gc -S < %s | FileCheck %s
   2
   3 ; A null test of a single value
   4 define i1 @test(i8 addrspace(1)* %p, i1 %rare) gc "statepoint-example" {
   5 ; CHECK-LABEL: @test
   6 entry:
   7    %cond = icmp eq i8 addrspace(1)* %p, null
   8    br i1 %rare, label %safepoint, label %continue, !prof !0
   9 safepoint:
  10    call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 2882400000, i32 0, void ()* @safepoint, i32 0, i32 0, i32 0, i32 0)
  11    br label %continue
  12 continue:
  13 ; CHECK-LABEL: continue:
  14 ; CHECK: phi
  15 ; CHECK-DAG: [ %p.relocated, %safepoint ]
  16 ; CHECK-DAG: [ %p, %entry ]
  17 ; CHECK: %cond = icmp
  18 ; CHECK: br i1 %cond
  19    br i1 %cond, label %taken, label %untaken
  20 taken:
  21    ret i1 true
  22 untaken:
  23    ret i1 false
  24 }
  25
  26 ; Comparing two pointers
  27 define i1 @test2(i8 addrspace(1)* %p, i8 addrspace(1)* %q, i1 %rare)
  28     gc "statepoint-example" {
  29 ; CHECK-LABEL: @test2
  30 entry:
  31    %cond = icmp eq i8 addrspace(1)* %p, %q
  32    br i1 %rare, label %safepoint, label %continue, !prof !0
  33 safepoint:
  34    call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 2882400000, i32 0, void ()* @safepoint, i32 0, i32 0, i32 0, i32 0)
  35    br label %continue
  36 continue:
  37 ; CHECK-LABEL: continue:
  38 ; CHECK: phi
  39 ; CHECK-DAG: [ %q.relocated, %safepoint ]
  40 ; CHECK-DAG: [ %q, %entry ]
  41 ; CHECK: phi
  42 ; CHECK-DAG: [ %p.relocated, %safepoint ]
  43 ; CHECK-DAG: [ %p, %entry ]
  44 ; CHECK: %cond = icmp
  45 ; CHECK: br i1 %cond
  46    br i1 %cond, label %taken, label %untaken
  47 taken:
  48    ret i1 true
  49 untaken:
  50    ret i1 false
  51 }
  52
  53 ; Sanity check that nothing bad happens if already last instruction
  54 ; before terminator
  55 define i1 @test3(i8 addrspace(1)* %p, i8 addrspace(1)* %q, i1 %rare)
  56     gc "statepoint-example" {
  57 ; CHECK-LABEL: @test3
  58 entry:
  59    call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 2882400000, i32 0, void ()* @safepoint, i32 0, i32 0, i32 0, i32 0)
  60 ; CHECK: gc.statepoint
  61 ; CHECK: %cond = icmp
  62 ; CHECK: br i1 %cond
  63    %cond = icmp eq i8 addrspace(1)* %p, %q
  64    br i1 %cond, label %taken, label %untaken
  65 taken:
  66    ret i1 true
  67 untaken:
  68    ret i1 false
  69 }
  70
  71 declare void @safepoint()
  72 declare token @llvm.experimental.gc.statepoint.p0f_isVoidf(i64, i32, void ()*, i32, i32, ...)
  73
  74 !0 = !{!"branch_weights", i32 1, i32 10000}