Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 0407108020ed12d8c34582d847d2c37cd68d1d0b / . / llvm / test / Transforms / RewriteStatepointsForGC / invokes.ll
blob: afcb6ad559de8d149ca900adbe51aacea3392995 [file] [log] [blame]
Sanjoy Das04071082016-01-29 00:28:57 +0000[diff] [blame^]1; RUN: opt < %s -S -rewrite-statepoints-for-gc | FileCheck %s
Igor Laevsky55d60a42015-02-19 11:39:04 +0000[diff] [blame]2
Sanjoy Das52e67e72016-01-28 16:11:27 +0000[diff] [blame]3declare i64 addrspace(1)* @some_call(i64 addrspace(1)*)
4declare i32 @personality_function()
Igor Laevsky55d60a42015-02-19 11:39:04 +0000[diff] [blame]5
Sanjoy Das52e67e72016-01-28 16:11:27 +0000[diff] [blame]6define i64 addrspace(1)* @test_basic(i64 addrspace(1)* %obj, i64 addrspace(1)* %obj1) gc "statepoint-example" personality i32 ()* @personality_function {
Igor Laevsky55d60a42015-02-19 11:39:04 +0000[diff] [blame]7; CHECK-LABEL: entry:
8entry:
9 ; CHECK: invoke
10 ; CHECK: statepoint
11 ; CHECK: some_call
Sanjoy Das52e67e72016-01-28 16:11:27 +0000[diff] [blame]12 %ret_val = invoke i64 addrspace(1)* @some_call(i64 addrspace(1)* %obj)
Igor Laevsky55d60a42015-02-19 11:39:04 +0000[diff] [blame]13 to label %normal_return unwind label %exceptional_return
14
15; CHECK-LABEL: normal_return:
16; CHECK: gc.result
17; CHECK: ret i64
18
19normal_return:
20 ret i64 addrspace(1)* %ret_val
21
22; CHECK-LABEL: exceptional_return:
23; CHECK: landingpad
24; CHECK: ret i64
25
26exceptional_return:
Sanjoy Dasf7302c82016-01-28 21:51:14 +0000[diff] [blame]27 %landing_pad4 = landingpad token
Igor Laevsky55d60a42015-02-19 11:39:04 +0000[diff] [blame]28 cleanup
29 ret i64 addrspace(1)* %obj1
30}
31
Sanjoy Das52e67e72016-01-28 16:11:27 +0000[diff] [blame]32define i64 addrspace(1)* @test_two_invokes(i64 addrspace(1)* %obj, i64 addrspace(1)* %obj1) gc "statepoint-example" personality i32 ()* @personality_function {
Igor Laevsky55d60a42015-02-19 11:39:04 +0000[diff] [blame]33; CHECK-LABEL: entry:
34entry:
35 ; CHECK: invoke
36 ; CHECK: statepoint
37 ; CHECK: some_call
Sanjoy Das52e67e72016-01-28 16:11:27 +0000[diff] [blame]38 %ret_val1 = invoke i64 addrspace(1)* @some_call(i64 addrspace(1)* %obj)
Igor Laevsky55d60a42015-02-19 11:39:04 +0000[diff] [blame]39 to label %second_invoke unwind label %exceptional_return
40
41; CHECK-LABEL: second_invoke:
42second_invoke:
43 ; CHECK: invoke
44 ; CHECK: statepoint
45 ; CHECK: some_call
Sanjoy Das52e67e72016-01-28 16:11:27 +0000[diff] [blame]46 %ret_val2 = invoke i64 addrspace(1)* @some_call(i64 addrspace(1)* %ret_val1)
Igor Laevsky55d60a42015-02-19 11:39:04 +0000[diff] [blame]47 to label %normal_return unwind label %exceptional_return
48
49; CHECK-LABEL: normal_return:
50normal_return:
51 ; CHECK: gc.result
52 ; CHECK: ret i64
53 ret i64 addrspace(1)* %ret_val2
54
55; CHECK: exceptional_return:
56; CHECK: ret i64
57
58exceptional_return:
Sanjoy Dasf7302c82016-01-28 21:51:14 +0000[diff] [blame]59 %landing_pad4 = landingpad token
Igor Laevsky55d60a42015-02-19 11:39:04 +0000[diff] [blame]60 cleanup
61 ret i64 addrspace(1)* %obj1
62}
63
Sanjoy Das52e67e72016-01-28 16:11:27 +0000[diff] [blame]64define i64 addrspace(1)* @test_phi_node(i1 %cond, i64 addrspace(1)* %obj) gc "statepoint-example" personality i32 ()* @personality_function {
Sanjoy Dasabe1c682015-05-06 23:53:09 +0000[diff] [blame]65; CHECK-LABEL: @test_phi_node
Igor Laevsky55d60a42015-02-19 11:39:04 +0000[diff] [blame]66; CHECK-LABEL: entry:
67entry:
68 br i1 %cond, label %left, label %right
69
70left:
Sanjoy Das52e67e72016-01-28 16:11:27 +0000[diff] [blame]71 %ret_val_left = invoke i64 addrspace(1)* @some_call(i64 addrspace(1)* %obj)
Igor Laevsky55d60a42015-02-19 11:39:04 +0000[diff] [blame]72 to label %merge unwind label %exceptional_return
73
74right:
Sanjoy Das52e67e72016-01-28 16:11:27 +0000[diff] [blame]75 %ret_val_right = invoke i64 addrspace(1)* @some_call(i64 addrspace(1)* %obj)
Igor Laevsky55d60a42015-02-19 11:39:04 +0000[diff] [blame]76 to label %merge unwind label %exceptional_return
77
Sanjoy Dasabe1c682015-05-06 23:53:09 +0000[diff] [blame]78; CHECK: merge[[A:[0-9]]]:
Igor Laevsky55d60a42015-02-19 11:39:04 +0000[diff] [blame]79; CHECK: gc.result
Sanjoy Dasabe1c682015-05-06 23:53:09 +0000[diff] [blame]80; CHECK: br label %[[with_phi:merge[0-9]*]]
Igor Laevsky55d60a42015-02-19 11:39:04 +0000[diff] [blame]81
Sanjoy Dasabe1c682015-05-06 23:53:09 +0000[diff] [blame]82; CHECK: merge[[B:[0-9]]]:
Igor Laevsky55d60a42015-02-19 11:39:04 +0000[diff] [blame]83; CHECK: gc.result
Sanjoy Dasabe1c682015-05-06 23:53:09 +0000[diff] [blame]84; CHECK: br label %[[with_phi]]
Igor Laevsky55d60a42015-02-19 11:39:04 +0000[diff] [blame]85
Sanjoy Dasabe1c682015-05-06 23:53:09 +0000[diff] [blame]86; CHECK: [[with_phi]]:
Igor Laevsky55d60a42015-02-19 11:39:04 +0000[diff] [blame]87; CHECK: phi
88; CHECK: ret i64 addrspace(1)* %ret_val
89merge:
90 %ret_val = phi i64 addrspace(1)* [%ret_val_left, %left], [%ret_val_right, %right]
91 ret i64 addrspace(1)* %ret_val
92
93; CHECK-LABEL: exceptional_return:
94; CHECK: ret i64 addrspace(1)*
95
96exceptional_return:
Sanjoy Dasf7302c82016-01-28 21:51:14 +0000[diff] [blame]97 %landing_pad4 = landingpad token
Igor Laevsky55d60a42015-02-19 11:39:04 +0000[diff] [blame]98 cleanup
99 ret i64 addrspace(1)* %obj
100}
101
102declare void @do_safepoint()
103define void @gc.safepoint_poll() {
104; CHECK-LABEL: gc.safepoint_poll
105; CHECK-LABEL: entry
106; CHECK-NEXT: do_safepoint
107; CHECK-NEXT: ret void
108entry:
109 call void @do_safepoint()
110 ret void
David Majnemer7fddecc2015-06-17 20:52:32 +0000[diff] [blame]111}