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 8target 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 15define dso_local i32 @bar(i32 %x, i32 %y) { 16entry: 17 %tobool = icmp ne i32 %x, 0 18 br i1 %tobool, label %if.then, label %if.else 19 20if.then: 21 %call = call i32 @foo(i32 %x, ptr @A, ptr @C) 22 br label %return 23 24if.else: 25 %call1 = call i32 @foo(i32 %y, ptr @A, ptr @C) 26 br label %return 27 28return: 29 %retval.0 = phi i32 [ %call, %if.then ], [ %call1, %if.else ] 30 ret i32 %retval.0 31} 32 33define internal i32 @foo(i32 %x, ptr %b, ptr %c) { 34entry: 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} 41