25 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes="ipsccp<func-spec>" -force-specialization -S < %s | FileCheck %s3 4define i32 @main() {5; CHECK-LABEL: @main(6; CHECK-NEXT: bb:7; CHECK-NEXT: tail call void @wombat.specialized.1(ptr undef, i64 undef, i64 undef, ptr @quux)8; CHECK-NEXT: tail call void @wombat.specialized.2(ptr undef, i64 undef, i64 undef, ptr @eggs)9; CHECK-NEXT: ret i32 undef10;11bb:12 tail call void @wombat(ptr undef, i64 undef, i64 undef, ptr @quux)13 tail call void @wombat(ptr undef, i64 undef, i64 undef, ptr @eggs)14 ret i32 undef15}16 17declare i32 @quux()18declare i32 @eggs()19 20define internal void @wombat(ptr %arg, i64 %arg1, i64 %arg2, ptr %arg3) {21bb4:22 %tmp = tail call i32 %arg3(ptr undef, ptr undef)23 ret void24}25