67 lines · plain
1; RUN: opt -S --passes="ipsccp<func-spec>" -force-specialization < %s | FileCheck %s2 3@A = private constant [6 x i32] [i32 1, i32 2, i32 0, i32 0, i32 0, i32 0], align 164@B = external global ptr, align 85 6define i32 @caller() {7entry:8 %c1 = call fastcc i32 @func(ptr @f0, i32 0, ptr null)9 %c2 = call fastcc i32 @func(ptr @f1, i32 1, ptr @A)10 %c3 = call fastcc i32 @func(ptr @f2, i32 2, ptr @A)11 %add = add i32 %c1, %c212 %sub = sub i32 %add, %c313 ret i32 %sub14}15 16define internal fastcc i32 @func(ptr %f, i32 %N, ptr %A) {17entry:18 switch i32 %N, label %sw.epilog [19 i32 2, label %sw.bb20 i32 1, label %sw.bb221 i32 0, label %sw.bb422 ]23 24sw.bb: ; preds = %entry25 %0 = getelementptr inbounds i32, ptr %A, i64 126 %1 = load i32, ptr %0, align 427 %2 = call i32 %f(i32 %1)28 br label %sw.epilog29 30sw.bb2: ; preds = %entry31 %3 = load i32, ptr %A, align 432 %4 = zext i32 %3 to i6433 %5 = call i32 %f(i64 %4)34 br label %sw.epilog35 36sw.bb4: ; preds = %entry37 %6 = call i32 %f()38 br label %sw.epilog39 40sw.epilog: ; preds = %sw.bb, %sw.bb2, %sw.bb4, %entry41 %7 = phi i32 [undef, %entry], [%2, %sw.bb], [%5, %sw.bb2], [%6, %sw.bb4]42 ret i32 %743}44 45define i32 @f0() {46 %ld = load i32, ptr @B, align 447 ret i32 %ld48}49 50define i32 @f1(i64 %offset) {51 %gep = getelementptr inbounds i32, ptr @B, i64 %offset52 %ld = load i32, ptr %gep, align 453 ret i32 %ld54}55 56define i32 @f2(i32 %offset) {57 %zext = zext i32 %offset to i64 58 %call = call i32 @f1(i64 %zext)59 ret i32 %call60}61 62; Tests that `func` has been specialized and it didn't cause compiler crash.63; CHECK-DAG: func.specialized.164; CHECK-DAG: func.specialized.265; CHECK-DAG: func.specialized.366 67