19627bcdeSAlexandros Lamprineas; RUN: opt -passes="ipsccp<func-spec>" -force-specialization \ 2*06664fdcSHari Limaye; RUN: -funcspec-for-literal-constant=false -funcspec-max-clones=2 \ 3*06664fdcSHari Limaye; RUN: -S < %s | FileCheck %s 4c4a0969bSSjoerd Meijer 59627bcdeSAlexandros Lamprineas; RUN: opt -passes="ipsccp<func-spec>" -force-specialization \ 6*06664fdcSHari Limaye; RUN: -funcspec-for-literal-constant=false -funcspec-max-clones=1 \ 7*06664fdcSHari Limaye; RUN: -S < %s | FileCheck %s --check-prefix=CONST1 8c4a0969bSSjoerd Meijer 9c4a0969bSSjoerd Meijertarget datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128" 10c4a0969bSSjoerd Meijer 11c4a0969bSSjoerd Meijer@A = external dso_local constant i32, align 4 12c4a0969bSSjoerd Meijer@B = external dso_local constant i32, align 4 13c4a0969bSSjoerd Meijer@C = external dso_local constant i32, align 4 14c4a0969bSSjoerd Meijer@D = external dso_local constant i32, align 4 15c4a0969bSSjoerd Meijer 16c4a0969bSSjoerd Meijerdefine dso_local i32 @bar(i32 %x, i32 %y) { 17c4a0969bSSjoerd Meijerentry: 18c4a0969bSSjoerd Meijer %tobool = icmp ne i32 %x, 0 19c4a0969bSSjoerd Meijer br i1 %tobool, label %if.then, label %if.else 20c4a0969bSSjoerd Meijer 21c4a0969bSSjoerd Meijerif.then: 22ebdf5aefSMatt Arsenault %call = call i32 @foo(i32 %x, ptr @A, ptr @C) 23c4a0969bSSjoerd Meijer br label %return 24c4a0969bSSjoerd Meijer 25c4a0969bSSjoerd Meijerif.else: 26ebdf5aefSMatt Arsenault %call1 = call i32 @foo(i32 %y, ptr @B, ptr @D) 27c4a0969bSSjoerd Meijer br label %return 28c4a0969bSSjoerd Meijer 29c4a0969bSSjoerd Meijerreturn: 30c4a0969bSSjoerd Meijer %retval.0 = phi i32 [ %call, %if.then ], [ %call1, %if.else ] 31c4a0969bSSjoerd Meijer ret i32 %retval.0 32c4a0969bSSjoerd Meijer} 33c4a0969bSSjoerd Meijer 3433830326SAlexandros Lamprineas; CHECK-NOT: define internal i32 @foo( 35ebdf5aefSMatt Arsenaultdefine internal i32 @foo(i32 %x, ptr %b, ptr %c) { 36c4a0969bSSjoerd Meijerentry: 37ebdf5aefSMatt Arsenault %0 = load i32, ptr %b, align 4 38c4a0969bSSjoerd Meijer %add = add nsw i32 %x, %0 39ebdf5aefSMatt Arsenault %1 = load i32, ptr %c, align 4 40c4a0969bSSjoerd Meijer %add1 = add nsw i32 %add, %1 41c4a0969bSSjoerd Meijer ret i32 %add1 42c4a0969bSSjoerd Meijer} 43c4a0969bSSjoerd Meijer 44e15d72adSAlexandros Lamprineas; CONST1: define internal i32 @foo.specialized.1(i32 %x, ptr %b, ptr %c) 45e15d72adSAlexandros Lamprineas; CONST1-NOT: define internal i32 @foo.specialized.2(i32 %x, ptr %b, ptr %c) 46c4a0969bSSjoerd Meijer 47e15d72adSAlexandros Lamprineas; CHECK: define internal i32 @foo.specialized.1(i32 %x, ptr %b, ptr %c) { 48c4a0969bSSjoerd Meijer; CHECK-NEXT: entry: 49ebdf5aefSMatt Arsenault; CHECK-NEXT: %0 = load i32, ptr @A, align 4 50c4a0969bSSjoerd Meijer; CHECK-NEXT: %add = add nsw i32 %x, %0 51ebdf5aefSMatt Arsenault; CHECK-NEXT: %1 = load i32, ptr @C, align 4 52c4a0969bSSjoerd Meijer; CHECK-NEXT: %add1 = add nsw i32 %add, %1 53c4a0969bSSjoerd Meijer; CHECK-NEXT: ret i32 %add1 54c4a0969bSSjoerd Meijer; CHECK-NEXT: } 55c4a0969bSSjoerd Meijer 56e15d72adSAlexandros Lamprineas; CHECK: define internal i32 @foo.specialized.2(i32 %x, ptr %b, ptr %c) { 57c4a0969bSSjoerd Meijer; CHECK-NEXT: entry: 58ebdf5aefSMatt Arsenault; CHECK-NEXT: %0 = load i32, ptr @B, align 4 59c4a0969bSSjoerd Meijer; CHECK-NEXT: %add = add nsw i32 %x, %0 60ebdf5aefSMatt Arsenault; CHECK-NEXT: %1 = load i32, ptr @D, align 4 61c4a0969bSSjoerd Meijer; CHECK-NEXT: %add1 = add nsw i32 %add, %1 62c4a0969bSSjoerd Meijer; CHECK-NEXT: ret i32 %add1 63c4a0969bSSjoerd Meijer; CHECK-NEXT: } 64