llvm/test/Transforms/FunctionSpecialization/identical-specializations.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes="ipsccp<func-spec>" -force-specialization -S < %s | FileCheck %s
   3
   4 define i64 @main(i64 %x, i64 %y, i1 %flag) {
   5 ; CHECK-LABEL: @main(
   6 ; CHECK-NEXT:  entry:
   7 ; CHECK-NEXT:    br i1 [[FLAG:%.*]], label [[PLUS:%.*]], label [[MINUS:%.*]]
   8 ; CHECK:       plus:
   9 ; CHECK-NEXT:    [[CMP0:%.*]] = call i64 @compute.specialized.2(i64 [[X:%.*]], i64 [[Y:%.*]], ptr @plus, ptr @minus)
  10 ; CHECK-NEXT:    br label [[MERGE:%.*]]
  11 ; CHECK:       minus:
  12 ; CHECK-NEXT:    [[CMP1:%.*]] = call i64 @compute.specialized.3(i64 [[X]], i64 [[Y]], ptr @minus, ptr @plus)
  13 ; CHECK-NEXT:    br label [[MERGE]]
  14 ; CHECK:       merge:
  15 ; CHECK-NEXT:    [[PH:%.*]] = phi i64 [ [[CMP0]], [[PLUS]] ], [ [[CMP1]], [[MINUS]] ]
  16 ; CHECK-NEXT:    [[CMP2:%.*]] = call i64 @compute.specialized.2(i64 [[PH]], i64 42, ptr @plus, ptr @minus)
  17 ; CHECK-NEXT:    ret i64 [[CMP2]]
  18 ;
  19 entry:
  20   br i1 %flag, label %plus, label %minus
  21
  22 plus:
  23   %cmp0 = call i64 @compute(i64 %x, i64 %y, ptr @plus, ptr @minus)
  24   br label %merge
  25
  26 minus:
  27   %cmp1 = call i64 @compute(i64 %x, i64 %y, ptr @minus, ptr @plus)
  28   br label %merge
  29
  30 merge:
  31   %ph = phi i64 [ %cmp0, %plus ], [ %cmp1, %minus]
  32   %cmp2 = call i64 @compute(i64 %ph, i64 42, ptr @plus, ptr @minus)
  33   ret i64 %cmp2
  34 }
  35
  36 define internal i64 @compute(i64 %x, i64 %y, ptr %binop1, ptr %binop2) {
  37 entry:
  38   %op0 = call i64 %binop1(i64 %x, i64 %y)
  39   %op1 = call i64 %binop2(i64 %x, i64 %y)
  40   %op2 = call i64 @compute(i64 %x, i64 %y, ptr %binop1, ptr @plus)
  41   %add0 = add i64 %op0, %op1
  42   %add1 = add i64 %add0, %op2
  43   %div = sdiv i64 %add1, %x
  44   %sub = sub i64 %div, %y
  45   %mul = mul i64 %sub, 2
  46   ret i64 %mul
  47 }
  48
  49 define internal i64 @plus(i64 %x, i64 %y) {
  50 ; CHECK-LABEL: @plus(
  51 entry:
  52   %add = add i64 %x, %y
  53   ret i64 %add
  54 }
  55
  56 define internal i64 @minus(i64 %x, i64 %y) {
  57 ; CHECK-LABEL: @minus(
  58 entry:
  59   %sub = sub i64 %x, %y
  60   ret i64 %sub
  61 }
  62
  63 ; CHECK-LABEL: @compute.specialized.1
  64 ; CHECK-NEXT:  entry:
  65 ; CHECK-NEXT:    [[CMP0:%.*]] = call i64 %binop1(i64 [[X:%.*]], i64 [[Y:%.*]])
  66 ; CHECK-NEXT:    [[CMP1:%.*]] = call i64 @plus(i64 [[X]], i64 [[Y]])
  67 ; CHECK-NEXT:    [[CMP2:%.*]] = call i64 @compute.specialized.1(i64 [[X]], i64 [[Y]], ptr %binop1, ptr @plus)
  68
  69 ; CHECK-LABEL: @compute.specialized.2
  70 ; CHECK-NEXT:  entry:
  71 ; CHECK-NEXT:    [[CMP0:%.*]] = call i64 @plus(i64 [[X:%.*]], i64 [[Y:%.*]])
  72 ; CHECK-NEXT:    [[CMP1:%.*]] = call i64 @minus(i64 [[X]], i64 [[Y]])
  73 ; CHECK-NEXT:    [[CMP2:%.*]] = call i64 @compute.specialized.1(i64 [[X]], i64 [[Y]], ptr @plus, ptr @plus)
  74
  75 ; CHECK-LABEL: @compute.specialized.3
  76 ; CHECK-NEXT:  entry:
  77 ; CHECK-NEXT:    [[CMP0:%.*]] = call i64 @minus(i64 [[X:%.*]], i64 [[Y:%.*]])
  78 ; CHECK-NEXT:    [[CMP1:%.*]] = call i64 @plus(i64 [[X]], i64 [[Y]])
  79 ; CHECK-NEXT:    [[CMP2:%.*]] = call i64 @compute.specialized.3(i64 [[X]], i64 [[Y]], ptr @minus, ptr @plus)