llvm/test/Transforms/FunctionSpecialization/specialization-order.ll

   1 ; RUN: opt -S --passes="ipsccp<func-spec>,deadargelim" -force-specialization < %s | FileCheck %s
   2 define dso_local i32 @add(i32 %x, i32 %y) {
   3 entry:
   4   %add = add nsw i32 %y, %x
   5   ret i32 %add
   6 }
   7
   8 define dso_local i32 @sub(i32 %x, i32 %y) {
   9 entry:
  10   %sub = sub nsw i32 %x, %y
  11   ret i32 %sub
  12 }
  13
  14 define internal i32 @f(i32 %x, i32 %y, ptr %u, ptr %v) noinline {
  15 entry:
  16   %call = tail call i32 %u(i32 %x, i32 %y)
  17   %call1 = tail call i32 %v(i32 %x, i32 %y)
  18   %mul = mul nsw i32 %call1, %call
  19   ret i32 %mul
  20 }
  21
  22 define dso_local i32 @g0(i32 %x, i32 %y) {
  23 ; CHECK-LABEL: @g0
  24 ; CHECK:       call i32 @f.specialized.3(i32 [[X:%.*]], i32 [[Y:%.*]])
  25 entry:
  26   %call = tail call i32 @f(i32 %x, i32 %y, ptr @add, ptr @add)
  27   ret i32 %call
  28 }
  29
  30
  31 define dso_local i32 @g1(i32 %x, i32 %y) {
  32 ; CHECK-LABEL: @g1(
  33 ; CHECK:       call i32 @f.specialized.2(i32 [[X:%.*]], i32 [[Y:%.*]])
  34 entry:
  35   %call = tail call i32 @f(i32 %x, i32 %y, ptr @sub, ptr @add)
  36   ret i32 %call
  37 }
  38
  39 define dso_local i32 @g2(i32 %x, i32 %y, ptr %v) {
  40 ; CHECK-LABEL: @g2
  41 ; CHECK:       call i32 @f.specialized.1(i32 [[X:%.*]], i32 [[Y:%.*]], ptr [[V:%.*]])
  42 entry:
  43   %call = tail call i32 @f(i32 %x, i32 %y, ptr @sub, ptr %v)
  44   ret i32 %call
  45 }
  46
  47 ; CHECK-LABEL: define {{.*}} i32 @f.specialized.1
  48 ; CHECK:       call i32 @sub(i32 %x, i32 %y)
  49 ; CHECK-NEXT:  call i32 %v(i32 %x, i32 %y)
  50
  51 ; CHECK-LABEL: define {{.*}} i32 @f.specialized.2
  52 ; CHECK:       call i32 @sub(i32 %x, i32 %y)
  53 ; CHECK-NEXT:  call i32 @add(i32 %x, i32 %y)
  54
  55 ; CHECK-LABEL: define {{.*}} i32 @f.specialized.3
  56 ; CHECK:       call i32 @add(i32 %x, i32 %y)
  57 ; CHECK-NEXT:   call i32 @add(i32 %x, i32 %y)
  58