llvm/test/Transforms/FunctionSpecialization/function-specialization5.ll

   1 ; RUN: opt -passes="ipsccp<func-spec>" -force-specialization -S < %s | FileCheck %s
   2
   3 ; There's nothing to specialize here as both calls are the same, so check that:
   4 ;
   5 ; CHECK-NOT: define internal i32 @foo.specialized.1(
   6 ; CHECK-NOT: define internal i32 @foo.specialized.2(
   7
   8 target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
   9
  10 @A = external dso_local constant i32, align 4
  11 @B = external dso_local constant i32, align 4
  12 @C = external dso_local constant i32, align 4
  13 @D = external dso_local constant i32, align 4
  14
  15 define dso_local i32 @bar(i32 %x, i32 %y) {
  16 entry:
  17   %tobool = icmp ne i32 %x, 0
  18   br i1 %tobool, label %if.then, label %if.else
  19
  20 if.then:
  21   %call = call i32 @foo(i32 %x, ptr @A, ptr @C)
  22   br label %return
  23
  24 if.else:
  25   %call1 = call i32 @foo(i32 %y, ptr @A, ptr @C)
  26   br label %return
  27
  28 return:
  29   %retval.0 = phi i32 [ %call, %if.then ], [ %call1, %if.else ]
  30   ret i32 %retval.0
  31 }
  32
  33 define internal i32 @foo(i32 %x, ptr %b, ptr %c) {
  34 entry:
  35   %0 = load i32, ptr %b, align 4
  36   %add = add nsw i32 %x, %0
  37   %1 = load i32, ptr %c, align 4
  38   %add1 = add nsw i32 %add, %1
  39   ret i32 %add1
  40 }