62 lines · plain
1; RUN: opt -passes="ipsccp<func-spec>" -force-specialization -S < %s | FileCheck %s2 3; CHECK-NOT: foo.specialized.{{[0-9]+}}4 5target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"6 7@A = external dso_local constant i32, align 48@B = external dso_local constant i32, align 49@C = external dso_local constant i32, align 410@D = external dso_local constant i32, align 411 12declare i1 @cond_begin()13declare i1 @cond_end()14declare i1 @getCond()15 16define internal i32 @foo(i32 %x, ptr %b, ptr %c) alwaysinline {17entry:18 br label %loop.entry19 20loop.entry:21 br label %loop2.entry22 23loop2.entry:24 br label %loop2.body25 26loop2.body:27 %0 = load i32, ptr %b, align 428 %1 = load i32, ptr %c, align 429 %add.0 = add nsw i32 %0, %130 %add = add nsw i32 %add.0, %x31 br label %loop2.end32 33loop2.end:34 %cond.end = call i1 @cond_end()35 br i1 %cond.end, label %loop2.entry, label %loop.end36 37loop.end:38 %cond2.end = call i1 @getCond()39 br i1 %cond2.end, label %loop.entry, label %return40 41return:42 ret i32 %add43}44 45define dso_local i32 @bar(i32 %x, i32 %y) {46entry:47 %tobool = icmp ne i32 %x, 048 br i1 %tobool, label %if.then, label %if.else49 50if.then:51 %call = call i32 @foo(i32 %x, ptr @A, ptr @C)52 br label %return53 54if.else:55 %call1 = call i32 @foo(i32 %y, ptr @B, ptr @D)56 br label %return57 58return:59 %retval.0 = phi i32 [ %call, %if.then ], [ %call1, %if.else ]60 ret i32 %retval.061}62