test/Transforms/CallSiteSplitting/callsite-split.ll

   1 ; RUN: opt < %s -callsite-splitting -inline -instcombine -jump-threading -S | FileCheck %s
   2 ; RUN: opt < %s  -passes='function(callsite-splitting),cgscc(inline),function(instcombine,jump-threading)' -S | FileCheck %s
   3
   4 target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
   5 target triple = "aarch64-linaro-linux-gnueabi"
   6
   7 %struct.bitmap = type { i32, %struct.bitmap* }
   8
   9 ;CHECK-LABEL: @caller
  10 ;CHECK-LABEL: Top.split:
  11 ;CHECK: call void @callee(%struct.bitmap* null, %struct.bitmap* null, %struct.bitmap* %b_elt, i1 false)
  12 ;CHECK-LABEL: NextCond:
  13 ;CHECK: br {{.*}} label %callee.exit
  14 ;CHECK-LABEL: callee.exit:
  15 ;CHECK: call void @dummy2(%struct.bitmap* %a_elt)
  16
  17 define void @caller(i1 %c, %struct.bitmap* %a_elt, %struct.bitmap* %b_elt) {
  18 entry:
  19   br label %Top
  20
  21 Top:
  22   %tobool1 = icmp eq %struct.bitmap* %a_elt, null
  23   br i1 %tobool1, label %CallSiteBB, label %NextCond
  24
  25 NextCond:
  26   %cmp = icmp ne %struct.bitmap* %b_elt, null
  27   br i1 %cmp, label %CallSiteBB, label %End
  28
  29 CallSiteBB:
  30   %p = phi i1 [0, %Top], [%c, %NextCond]
  31   call void @callee(%struct.bitmap* %a_elt, %struct.bitmap* %a_elt, %struct.bitmap* %b_elt, i1 %p)
  32   br label %End
  33
  34 End:
  35   ret void
  36 }
  37
  38 define void @callee(%struct.bitmap* %dst_elt, %struct.bitmap* %a_elt, %struct.bitmap* %b_elt, i1 %c) {
  39 entry:
  40   %tobool = icmp ne %struct.bitmap* %a_elt, null
  41   %tobool1 = icmp ne %struct.bitmap* %b_elt, null
  42   %or.cond = and i1 %tobool, %tobool1
  43   br i1 %or.cond, label %Cond, label %Big
  44
  45 Cond:
  46   %cmp = icmp eq %struct.bitmap*  %dst_elt, %a_elt
  47   br i1 %cmp, label %Small, label %Big
  48
  49 Small:
  50   call void @dummy2(%struct.bitmap* %a_elt)
  51   br label %End
  52
  53 Big:
  54   call void @dummy1(%struct.bitmap* %a_elt, %struct.bitmap* %a_elt, %struct.bitmap* %a_elt, %struct.bitmap* %a_elt, %struct.bitmap* %a_elt, %struct.bitmap* %a_elt)
  55   call void @dummy1(%struct.bitmap* %a_elt, %struct.bitmap* %a_elt, %struct.bitmap* %a_elt, %struct.bitmap* %a_elt, %struct.bitmap* %a_elt, %struct.bitmap* %a_elt)
  56   call void @dummy1(%struct.bitmap* %a_elt, %struct.bitmap* %a_elt, %struct.bitmap* %a_elt, %struct.bitmap* %a_elt, %struct.bitmap* %a_elt, %struct.bitmap* %a_elt)
  57   call void @dummy1(%struct.bitmap* %a_elt, %struct.bitmap* %a_elt, %struct.bitmap* %a_elt, %struct.bitmap* %a_elt, %struct.bitmap* %a_elt, %struct.bitmap* %a_elt)
  58   call void @dummy1(%struct.bitmap* %a_elt, %struct.bitmap* %a_elt, %struct.bitmap* %a_elt, %struct.bitmap* %a_elt, %struct.bitmap* %a_elt, %struct.bitmap* %a_elt)
  59   call void @dummy1(%struct.bitmap* %a_elt, %struct.bitmap* %a_elt, %struct.bitmap* %a_elt, %struct.bitmap* %a_elt, %struct.bitmap* %a_elt, %struct.bitmap* %a_elt)
  60   call void @dummy1(%struct.bitmap* %a_elt, %struct.bitmap* %a_elt, %struct.bitmap* %a_elt, %struct.bitmap* %a_elt, %struct.bitmap* %a_elt, %struct.bitmap* %a_elt)
  61   br label %End
  62
  63 End:
  64   ret void
  65 }
  66
  67 declare void @dummy2(%struct.bitmap*)
  68 declare void @dummy1(%struct.bitmap*, %struct.bitmap*, %struct.bitmap*, %struct.bitmap*, %struct.bitmap*, %struct.bitmap*)
  69
  70
  71 ;CHECK-LABEL: @caller2
  72 ;CHECK-LABEL: Top.split:
  73 ;CHECK: call void @dummy4()
  74 ;CHECK-LABEL: NextCond.split:
  75 ;CHECK: call void @dummy3()
  76 ;CheCK-LABEL: CallSiteBB:
  77 ;CHECK: %phi.call = phi i1 [ true, %NextCond.split ], [ false, %Top.split ]
  78 ;CHECK: call void @foo(i1 %phi.call)
  79 define void @caller2(i1 %c, %struct.bitmap* %a_elt, %struct.bitmap* %b_elt, %struct.bitmap* %c_elt) {
  80 entry:
  81   br label %Top
  82
  83 Top:
  84   %tobool1 = icmp eq %struct.bitmap* %a_elt, %b_elt
  85   br i1 %tobool1, label %CallSiteBB, label %NextCond
  86
  87 NextCond:
  88   %cmp = icmp ne %struct.bitmap* %b_elt, %c_elt
  89   br i1 %cmp, label %CallSiteBB, label %End
  90
  91 CallSiteBB:
  92   %phi = phi i1 [0, %Top],[1, %NextCond]
  93   %u = call i1 @callee2(i1 %phi)
  94   call void @foo(i1 %u)
  95   br label %End
  96
  97 End:
  98   ret void
  99 }
 100
 101 define i1 @callee2(i1 %b) {
 102 entry:
 103   br i1 %b, label %BB1, label %BB2
 104
 105 BB1:
 106   call void @dummy3()
 107   br label %End
 108
 109 BB2:
 110   call void @dummy4()
 111   br label %End
 112
 113 End:
 114   ret i1 %b
 115 }
 116
 117 declare void @dummy3()
 118 declare void @dummy4()
 119 declare void @foo(i1)