6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-12-15 04:30:12 +00:00
Code Issues Projects Releases Wiki Activity
b349e0f1f1
llvm-6502/test/Transforms/PlaceSafepoints/invokes.ll

111 lines
3.0 KiB
LLVM
Raw Normal View History

Add few simple tests to check statepoint placement for invoke instructions. Differential Revision: http://reviews.llvm.org/D7535 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@229842 91177308-0d34-0410-b5e6-96231b3b80d8
2015-02-19 11:39:04 +00:00
; RUN: opt %s -S -place-safepoints | FileCheck %s
declare i64 addrspace(1)* @"some_call"(i64 addrspace(1)*)
declare i32 @"personality_function"()
[PlaceSafepoints] Adjust enablement logic to default to off and be GC configurable per GC Previously, this pass ran over every function in the Module if added to the pass order. With this change, it runs only over those with a GC attribute where the GC explicitly opts in. A GC can also choose which of entry safepoint polls, backedge safepoint polls, and call safepoints it wants. I hope to get these exposed as checks on the GCStrategy at some point, but for now, the checks are manual string comparisons. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@230097 91177308-0d34-0410-b5e6-96231b3b80d8
2015-02-21 00:09:09 +00:00
define i64 addrspace(1)* @test_basic(i64 addrspace(1)* %obj, i64 addrspace(1)* %obj1) gc "statepoint-example" {
Add few simple tests to check statepoint placement for invoke instructions. Differential Revision: http://reviews.llvm.org/D7535 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@229842 91177308-0d34-0410-b5e6-96231b3b80d8
2015-02-19 11:39:04 +00:00
; CHECK-LABEL: entry:
entry:
; CHECK: invoke
; CHECK: statepoint
; CHECK: some_call
%ret_val = invoke i64 addrspace(1)* @"some_call"(i64 addrspace(1)* %obj)
to label %normal_return unwind label %exceptional_return
; CHECK-LABEL: normal_return:
; CHECK: gc.result
; CHECK: ret i64
normal_return:
ret i64 addrspace(1)* %ret_val
; CHECK-LABEL: exceptional_return:
; CHECK: landingpad
; CHECK: ret i64
exceptional_return:
%landing_pad4 = landingpad {i8*, i32} personality i32 ()* @"personality_function"
cleanup
ret i64 addrspace(1)* %obj1
}
[PlaceSafepoints] Adjust enablement logic to default to off and be GC configurable per GC Previously, this pass ran over every function in the Module if added to the pass order. With this change, it runs only over those with a GC attribute where the GC explicitly opts in. A GC can also choose which of entry safepoint polls, backedge safepoint polls, and call safepoints it wants. I hope to get these exposed as checks on the GCStrategy at some point, but for now, the checks are manual string comparisons. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@230097 91177308-0d34-0410-b5e6-96231b3b80d8
2015-02-21 00:09:09 +00:00
define i64 addrspace(1)* @test_two_invokes(i64 addrspace(1)* %obj, i64 addrspace(1)* %obj1) gc "statepoint-example" {
Add few simple tests to check statepoint placement for invoke instructions. Differential Revision: http://reviews.llvm.org/D7535 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@229842 91177308-0d34-0410-b5e6-96231b3b80d8
2015-02-19 11:39:04 +00:00
; CHECK-LABEL: entry:
entry:
; CHECK: invoke
; CHECK: statepoint
; CHECK: some_call
%ret_val1 = invoke i64 addrspace(1)* @"some_call"(i64 addrspace(1)* %obj)
to label %second_invoke unwind label %exceptional_return
; CHECK-LABEL: second_invoke:
second_invoke:
; CHECK: invoke
; CHECK: statepoint
; CHECK: some_call
%ret_val2 = invoke i64 addrspace(1)* @"some_call"(i64 addrspace(1)* %ret_val1)
to label %normal_return unwind label %exceptional_return
; CHECK-LABEL: normal_return:
normal_return:
; CHECK: gc.result
; CHECK: ret i64
ret i64 addrspace(1)* %ret_val2
; CHECK: exceptional_return:
; CHECK: ret i64
exceptional_return:
%landing_pad4 = landingpad {i8*, i32} personality i32 ()* @"personality_function"
cleanup
ret i64 addrspace(1)* %obj1
}
[PlaceSafepoints] Adjust enablement logic to default to off and be GC configurable per GC Previously, this pass ran over every function in the Module if added to the pass order. With this change, it runs only over those with a GC attribute where the GC explicitly opts in. A GC can also choose which of entry safepoint polls, backedge safepoint polls, and call safepoints it wants. I hope to get these exposed as checks on the GCStrategy at some point, but for now, the checks are manual string comparisons. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@230097 91177308-0d34-0410-b5e6-96231b3b80d8
2015-02-21 00:09:09 +00:00
define i64 addrspace(1)* @test_phi_node(i1 %cond, i64 addrspace(1)* %obj) gc "statepoint-example" {
[IRBuilder] Add a CreateGCStatepointInvoke. Renames the original CreateGCStatepoint to CreateGCStatepointCall, and moves invoke creating functionality from PlaceSafepoints.cpp to IRBuilder.cpp. This changes the labels generated for PlaceSafepoints/invokes.ll so use a regex there to make the basic block labels more resilient. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@236672 91177308-0d34-0410-b5e6-96231b3b80d8
2015-05-06 23:53:09 +00:00
; CHECK-LABEL: @test_phi_node
Add few simple tests to check statepoint placement for invoke instructions. Differential Revision: http://reviews.llvm.org/D7535 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@229842 91177308-0d34-0410-b5e6-96231b3b80d8
2015-02-19 11:39:04 +00:00
; CHECK-LABEL: entry:
entry:
br i1 %cond, label %left, label %right
left:
%ret_val_left = invoke i64 addrspace(1)* @"some_call"(i64 addrspace(1)* %obj)
to label %merge unwind label %exceptional_return
right:
%ret_val_right = invoke i64 addrspace(1)* @"some_call"(i64 addrspace(1)* %obj)
to label %merge unwind label %exceptional_return
[IRBuilder] Add a CreateGCStatepointInvoke. Renames the original CreateGCStatepoint to CreateGCStatepointCall, and moves invoke creating functionality from PlaceSafepoints.cpp to IRBuilder.cpp. This changes the labels generated for PlaceSafepoints/invokes.ll so use a regex there to make the basic block labels more resilient. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@236672 91177308-0d34-0410-b5e6-96231b3b80d8
2015-05-06 23:53:09 +00:00
; CHECK: merge[[A:[0-9]]]:
Add few simple tests to check statepoint placement for invoke instructions. Differential Revision: http://reviews.llvm.org/D7535 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@229842 91177308-0d34-0410-b5e6-96231b3b80d8
2015-02-19 11:39:04 +00:00
; CHECK: gc.result
[IRBuilder] Add a CreateGCStatepointInvoke. Renames the original CreateGCStatepoint to CreateGCStatepointCall, and moves invoke creating functionality from PlaceSafepoints.cpp to IRBuilder.cpp. This changes the labels generated for PlaceSafepoints/invokes.ll so use a regex there to make the basic block labels more resilient. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@236672 91177308-0d34-0410-b5e6-96231b3b80d8
2015-05-06 23:53:09 +00:00
; CHECK: br label %[[with_phi:merge[0-9]*]]
Add few simple tests to check statepoint placement for invoke instructions. Differential Revision: http://reviews.llvm.org/D7535 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@229842 91177308-0d34-0410-b5e6-96231b3b80d8
2015-02-19 11:39:04 +00:00
[IRBuilder] Add a CreateGCStatepointInvoke. Renames the original CreateGCStatepoint to CreateGCStatepointCall, and moves invoke creating functionality from PlaceSafepoints.cpp to IRBuilder.cpp. This changes the labels generated for PlaceSafepoints/invokes.ll so use a regex there to make the basic block labels more resilient. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@236672 91177308-0d34-0410-b5e6-96231b3b80d8
2015-05-06 23:53:09 +00:00
; CHECK: merge[[B:[0-9]]]:
Add few simple tests to check statepoint placement for invoke instructions. Differential Revision: http://reviews.llvm.org/D7535 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@229842 91177308-0d34-0410-b5e6-96231b3b80d8
2015-02-19 11:39:04 +00:00
; CHECK: gc.result
[IRBuilder] Add a CreateGCStatepointInvoke. Renames the original CreateGCStatepoint to CreateGCStatepointCall, and moves invoke creating functionality from PlaceSafepoints.cpp to IRBuilder.cpp. This changes the labels generated for PlaceSafepoints/invokes.ll so use a regex there to make the basic block labels more resilient. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@236672 91177308-0d34-0410-b5e6-96231b3b80d8
2015-05-06 23:53:09 +00:00
; CHECK: br label %[[with_phi]]
Add few simple tests to check statepoint placement for invoke instructions. Differential Revision: http://reviews.llvm.org/D7535 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@229842 91177308-0d34-0410-b5e6-96231b3b80d8
2015-02-19 11:39:04 +00:00
[IRBuilder] Add a CreateGCStatepointInvoke. Renames the original CreateGCStatepoint to CreateGCStatepointCall, and moves invoke creating functionality from PlaceSafepoints.cpp to IRBuilder.cpp. This changes the labels generated for PlaceSafepoints/invokes.ll so use a regex there to make the basic block labels more resilient. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@236672 91177308-0d34-0410-b5e6-96231b3b80d8
2015-05-06 23:53:09 +00:00
; CHECK: [[with_phi]]:
Add few simple tests to check statepoint placement for invoke instructions. Differential Revision: http://reviews.llvm.org/D7535 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@229842 91177308-0d34-0410-b5e6-96231b3b80d8
2015-02-19 11:39:04 +00:00
; CHECK: phi
; CHECK: ret i64 addrspace(1)* %ret_val
merge:
%ret_val = phi i64 addrspace(1)* [%ret_val_left, %left], [%ret_val_right, %right]
ret i64 addrspace(1)* %ret_val
; CHECK-LABEL: exceptional_return:
; CHECK: ret i64 addrspace(1)*
exceptional_return:
%landing_pad4 = landingpad {i8*, i32} personality i32 ()* @"personality_function"
cleanup
ret i64 addrspace(1)* %obj
}
declare void @do_safepoint()
define void @gc.safepoint_poll() {
; CHECK-LABEL: gc.safepoint_poll
; CHECK-LABEL: entry
; CHECK-NEXT: do_safepoint
; CHECK-NEXT: ret void
entry:
call void @do_safepoint()
ret void
[Statepoints] Support for "patchable" statepoints. Summary: This change adds two new parameters to the statepoint intrinsic, `i64 id` and `i32 num_patch_bytes`. `id` gets propagated to the ID field in the generated StackMap section. If the `num_patch_bytes` is non-zero then the statepoint is lowered to `num_patch_bytes` bytes of nops instead of a call (the spill and reload code remains unchanged). A non-zero `num_patch_bytes` is useful in situations where a language runtime requires complete control over how a call is lowered. This change brings statepoints one step closer to patchpoints. With some additional work (that is not part of this patch) it should be possible to get rid of `TargetOpcode::STATEPOINT` altogether. PlaceSafepoints generates `statepoint` wrappers with `id` set to `0xABCDEF00` (the old default value for the ID reported in the stackmap) and `num_patch_bytes` set to `0`. This can be made more sophisticated later. Reviewers: reames, pgavlin, swaroop.sridhar, AndyAyers Subscribers: llvm-commits Differential Revision: http://reviews.llvm.org/D9546 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@237214 91177308-0d34-0410-b5e6-96231b3b80d8
2015-05-12 23:52:24 +00:00
}
Reference in New Issue Copy Permalink