diff options
Diffstat (limited to 'test/CodeGen/X86/statepoint-invoke.ll')
| -rw-r--r-- | test/CodeGen/X86/statepoint-invoke.ll | 192 |
1 files changed, 0 insertions, 192 deletions
diff --git a/test/CodeGen/X86/statepoint-invoke.ll b/test/CodeGen/X86/statepoint-invoke.ll deleted file mode 100644 index 3e8b8ca49f1d..000000000000 --- a/test/CodeGen/X86/statepoint-invoke.ll +++ /dev/null @@ -1,192 +0,0 @@ -; RUN: llc < %s 2>&1 | FileCheck %s - -target triple = "x86_64-pc-linux-gnu" - -declare void @"some_call"(i64 addrspace(1)*) -declare i64 addrspace(1)* @"some_other_call"(i64 addrspace(1)*) - -declare i32 @"personality_function"() - -define i64 addrspace(1)* @test_basic(i64 addrspace(1)* %obj, - i64 addrspace(1)* %obj1) -gc "statepoint-example" personality i32 ()* @"personality_function" { -entry: - ; CHECK: Ltmp{{[0-9]+}}: - ; CHECK: callq some_call - ; CHECK: Ltmp{{[0-9]+}}: - %0 = invoke token (i64, i32, void (i64 addrspace(1)*)*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidp1i64f(i64 0, i32 0, void (i64 addrspace(1)*)* @some_call, i32 1, i32 0, i64 addrspace(1)* %obj, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0, i64 addrspace(1)* %obj, i64 addrspace(1)* %obj1) - to label %invoke_safepoint_normal_dest unwind label %exceptional_return - -invoke_safepoint_normal_dest: - ; CHECK: movq - %obj.relocated = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %0, i32 13, i32 13) - %obj1.relocated = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %0, i32 14, i32 14) - br label %normal_return - -normal_return: - ; CHECK: retq - ret i64 addrspace(1)* %obj.relocated - -exceptional_return: - ; CHECK: Ltmp{{[0-9]+}}: - ; CHECK: movq - ; CHECK: retq - %landing_pad = landingpad token - cleanup - %obj.relocated1 = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %landing_pad, i32 13, i32 13) - %obj1.relocated1 = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %landing_pad, i32 14, i32 14) - ret i64 addrspace(1)* %obj1.relocated1 -} -; CHECK-LABEL: GCC_except_table{{[0-9]+}}: -; CHECK: .long .Ltmp{{[0-9]+}}-.Ltmp{{[0-9]+}} -; CHECK: .long .Ltmp{{[0-9]+}}-.Lfunc_begin{{[0-9]+}} -; CHECK: .byte 0 -; CHECK: .p2align 4 - -define i64 addrspace(1)* @test_result(i64 addrspace(1)* %obj, - i64 addrspace(1)* %obj1) - gc "statepoint-example" personality i32 ()* @personality_function { -entry: - ; CHECK: .Ltmp{{[0-9]+}}: - ; CHECK: callq some_other_call - ; CHECK: .Ltmp{{[0-9]+}}: - %0 = invoke token (i64, i32, i64 addrspace(1)* (i64 addrspace(1)*)*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_p1i64p1i64f(i64 0, i32 0, i64 addrspace(1)* (i64 addrspace(1)*)* @some_other_call, i32 1, i32 0, i64 addrspace(1)* %obj, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0, i64 addrspace(1)* %obj, i64 addrspace(1)* %obj1) - to label %normal_return unwind label %exceptional_return - -normal_return: - ; CHECK: popq - ; CHECK: retq - %ret_val = call i64 addrspace(1)* @llvm.experimental.gc.result.p1i64(token %0) - ret i64 addrspace(1)* %ret_val - -exceptional_return: - ; CHECK: .Ltmp{{[0-9]+}}: - ; CHECK: movq - %landing_pad = landingpad token - cleanup - %obj.relocated = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %landing_pad, i32 13, i32 13) - ret i64 addrspace(1)* %obj.relocated -} -; CHECK-LABEL: GCC_except_table{{[0-9]+}}: -; CHECK: .long .Ltmp{{[0-9]+}}-.Ltmp{{[0-9]+}} -; CHECK: .long .Ltmp{{[0-9]+}}-.Lfunc_begin{{[0-9]+}} -; CHECK: .byte 0 -; CHECK: .p2align 4 - -define i64 addrspace(1)* @test_same_val(i1 %cond, i64 addrspace(1)* %val1, i64 addrspace(1)* %val2, i64 addrspace(1)* %val3) - gc "statepoint-example" personality i32 ()* @"personality_function" { -entry: - br i1 %cond, label %left, label %right - -left: - ; CHECK-LABEL: %left - ; CHECK: movq %rdx, 8(%rsp) - ; CHECK: movq - ; CHECK: callq some_call - %sp1 = invoke token (i64, i32, void (i64 addrspace(1)*)*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidp1i64f(i64 0, i32 0, void (i64 addrspace(1)*)* @some_call, i32 1, i32 0, i64 addrspace(1)* %val1, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0, i64 addrspace(1)* %val1, i64 addrspace(1)* %val2) - to label %left.relocs unwind label %exceptional_return.left - -left.relocs: - ; CHECK: movq (%rsp), - ; CHECK: movq 8(%rsp), [[REGVAL2:%[a-z]+]] - %val1.relocated = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %sp1, i32 13, i32 13) - %val2.relocated_left = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %sp1, i32 14, i32 14) - br label %normal_return - -right: - ; CHECK-LABEL: %right - ; CHECK: movq - ; CHECK: movq %rdx, (%rsp) - ; CHECK: callq some_call - %sp2 = invoke token (i64, i32, void (i64 addrspace(1)*)*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidp1i64f(i64 0, i32 0, void (i64 addrspace(1)*)* @some_call, i32 1, i32 0, i64 addrspace(1)* %val1, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0, i64 addrspace(1)* %val2, i64 addrspace(1)* %val3) - to label %right.relocs unwind label %exceptional_return.right - -right.relocs: - ; CHECK: movq (%rsp), [[REGVAL2]] - ; CHECK: movq - %val2.relocated_right = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %sp2, i32 13, i32 13) - %val3.relocated = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %sp2, i32 14, i32 14) - br label %normal_return - -normal_return: - ; CHECK-LABEL: %normal_return - ; CHECK: cmoveq {{.*}}[[REGVAL2]]{{.*}} - ; CHECK: retq - %a1 = phi i64 addrspace(1)* [%val1.relocated, %left.relocs], [%val3.relocated, %right.relocs] - %a2 = phi i64 addrspace(1)* [%val2.relocated_left, %left.relocs], [%val2.relocated_right, %right.relocs] - %ret = select i1 %cond, i64 addrspace(1)* %a1, i64 addrspace(1)* %a2 - ret i64 addrspace(1)* %ret - -exceptional_return.left: - %landing_pad = landingpad token - cleanup - %val.relocated2 = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %landing_pad, i32 13, i32 13) - ret i64 addrspace(1)* %val.relocated2 - -exceptional_return.right: - %landing_pad1 = landingpad token - cleanup - %val.relocated3 = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %landing_pad1, i32 13, i32 13) - ret i64 addrspace(1)* %val.relocated3 -} - -define i64 addrspace(1)* @test_null_undef(i64 addrspace(1)* %val1) - gc "statepoint-example" personality i32 ()* @"personality_function" { -; CHECK-LABEL: test_null_undef: -entry: - ; CHECK: callq some_call - %sp1 = invoke token (i64, i32, void (i64 addrspace(1)*)*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidp1i64f(i64 0, i32 0, void (i64 addrspace(1)*)* @some_call, i32 1, i32 0, i64 addrspace(1)* %val1, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0, i64 addrspace(1)* null, i64 addrspace(1)* undef) - to label %normal_return unwind label %exceptional_return - -normal_return: - ; CHECK-LABEL: %normal_return - ; CHECK: xorl %eax, %eax - ; CHECK-NEXT: popq - ; CHECK-NEXT: retq - %null.relocated = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %sp1, i32 13, i32 13) - %undef.relocated = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %sp1, i32 14, i32 14) - ret i64 addrspace(1)* %null.relocated - -exceptional_return: - %landing_pad = landingpad token - cleanup - %null.relocated2 = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %landing_pad, i32 13, i32 13) - %undef.relocated2 = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %landing_pad, i32 14, i32 14) - ret i64 addrspace(1)* %null.relocated2 -} - -define i64 addrspace(1)* @test_alloca_and_const(i64 addrspace(1)* %val1) - gc "statepoint-example" personality i32 ()* @"personality_function" { -; CHECK-LABEL: test_alloca_and_const: -entry: - %a = alloca i32 - %aa = addrspacecast i32* %a to i32 addrspace(1)* - %c = inttoptr i64 15 to i64 addrspace(1)* - ; CHECK: callq - %sp = invoke token (i64, i32, void (i64 addrspace(1)*)*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidp1i64f(i64 0, i32 0, void (i64 addrspace(1)*)* @some_call, i32 1, i32 0, i64 addrspace(1)* %val1, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0, i32 addrspace(1)* %aa, i64 addrspace(1)* %c) - to label %normal_return unwind label %exceptional_return - -normal_return: - ; CHECK: leaq - ; CHECK-NEXT: popq - ; CHECK-NEXT: retq - %aa.rel = call coldcc i32 addrspace(1)* @llvm.experimental.gc.relocate.p1i32(token %sp, i32 13, i32 13) - %aa.converted = bitcast i32 addrspace(1)* %aa.rel to i64 addrspace(1)* - ret i64 addrspace(1)* %aa.converted - -exceptional_return: - ; CHECK: movl $15 - ; CHECK-NEXT: popq - ; CHECK-NEXT: retq - %landing_pad = landingpad token - cleanup - %aa.rel2 = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %landing_pad, i32 14, i32 14) - ret i64 addrspace(1)* %aa.rel2 -} - -declare token @llvm.experimental.gc.statepoint.p0f_isVoidp1i64f(i64, i32, void (i64 addrspace(1)*)*, i32, i32, ...) -declare token @llvm.experimental.gc.statepoint.p0f_p1i64p1i64f(i64, i32, i64 addrspace(1)* (i64 addrspace(1)*)*, i32, i32, ...) - -declare i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token, i32, i32) -declare i32 addrspace(1)* @llvm.experimental.gc.relocate.p1i32(token, i32, i32) -declare i64 addrspace(1)* @llvm.experimental.gc.result.p1i64(token) |
