Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 91be65be656072a68b51a8c4e7bb751ea475d896 / . / llvm / test / Transforms / RewriteStatepointsForGC / preprocess.ll
blob: 105e0e88ac215e52ba4f369ffce35aedde1e96f8 [file] [log] [blame]
Philip Reames85b36a82015-04-10 22:07:04 +0000[diff] [blame]1; RUN: opt -rewrite-statepoints-for-gc -S < %s | FileCheck %s
Fedor Sergeev4b86d792017-12-15 09:32:11 +0000[diff] [blame]2; RUN: opt -passes=rewrite-statepoints-for-gc -S < %s | FileCheck %s
Philip Reames85b36a82015-04-10 22:07:04 +0000[diff] [blame]3
Philip Reames85b36a82015-04-10 22:07:04 +0000[diff] [blame]4; Test to make sure we destroy LCSSA's single entry phi nodes before
5; running liveness
Sanjoy Das04071082016-01-29 00:28:57 +0000[diff] [blame]6
7declare void @consume(...) "gc-leaf-function"
8
Philip Reames85b36a82015-04-10 22:07:04 +0000[diff] [blame]9define void @test6(i64 addrspace(1)* %obj) gc "statepoint-example" {
10; CHECK-LABEL: @test6
11entry:
12 br label %next
13
Sanjoy Das04071082016-01-29 00:28:57 +0000[diff] [blame]14next: ; preds = %entry
Philip Reames85b36a82015-04-10 22:07:04 +0000[diff] [blame]15; CHECK-LABEL: next:
16; CHECK-NEXT: gc.statepoint
17; CHECK-NEXT: gc.relocate
Sanjoy Das89c54912015-05-11 18:49:34 +0000[diff] [blame]18; CHECK-NEXT: bitcast
19; CHECK-NEXT: @consume(i64 addrspace(1)* %obj.relocated.casted)
20; CHECK-NEXT: @consume(i64 addrspace(1)* %obj.relocated.casted)
Sanjoy Das04071082016-01-29 00:28:57 +0000[diff] [blame]21; Need to delete unreachable gc.statepoint call
Philip Reames85b36a82015-04-10 22:07:04 +0000[diff] [blame]22 %obj2 = phi i64 addrspace(1)* [ %obj, %entry ]
Sanjoy Das04071082016-01-29 00:28:57 +0000[diff] [blame]23 call void @foo() [ "deopt"() ]
David Blaikie23af6482015-04-16 23:24:18 +0000[diff] [blame]24 call void (...) @consume(i64 addrspace(1)* %obj2)
25 call void (...) @consume(i64 addrspace(1)* %obj)
Philip Reames85b36a82015-04-10 22:07:04 +0000[diff] [blame]26 ret void
27}
28
Philip Reames85b36a82015-04-10 22:07:04 +0000[diff] [blame]29define void @test7() gc "statepoint-example" {
30; CHECK-LABEL: test7
31; CHECK-NOT: gc.statepoint
Sanjoy Das04071082016-01-29 00:28:57 +0000[diff] [blame]32; Need to delete unreachable gc.statepoint invoke - tested seperately given
33; a correct implementation could only remove the instructions, not the block
Philip Reames85b36a82015-04-10 22:07:04 +0000[diff] [blame]34 ret void
35
Sanjoy Das04071082016-01-29 00:28:57 +0000[diff] [blame]36unreached: ; preds = %unreached
37 %obj = phi i64 addrspace(1)* [ null, %unreached ]
38 call void @foo() [ "deopt"() ]
David Blaikie23af6482015-04-16 23:24:18 +0000[diff] [blame]39 call void (...) @consume(i64 addrspace(1)* %obj)
Philip Reames85b36a82015-04-10 22:07:04 +0000[diff] [blame]40 br label %unreached
41}
42
David Majnemer7fddecc2015-06-17 20:52:32 +0000[diff] [blame]43define void @test8() gc "statepoint-example" personality i32 ()* undef {
Philip Reames85b36a82015-04-10 22:07:04 +0000[diff] [blame]44; CHECK-LABEL: test8
45; CHECK-NOT: gc.statepoint
Sanjoy Das04071082016-01-29 00:28:57 +0000[diff] [blame]46; Bound the last check-not
Philip Reames85b36a82015-04-10 22:07:04 +0000[diff] [blame]47 ret void
48
Sanjoy Das04071082016-01-29 00:28:57 +0000[diff] [blame]49unreached: ; No predecessors!
50 invoke void @foo() [ "deopt"() ]
51; CHECK-LABEL: @foo
Philip Reames85b36a82015-04-10 22:07:04 +0000[diff] [blame]52 to label %normal_return unwind label %exceptional_return
53
Sanjoy Das04071082016-01-29 00:28:57 +0000[diff] [blame]54normal_return: ; preds = %unreached
Philip Reames85b36a82015-04-10 22:07:04 +0000[diff] [blame]55 ret void
56
Sanjoy Das04071082016-01-29 00:28:57 +0000[diff] [blame]57exceptional_return: ; preds = %unreached
David Majnemer7fddecc2015-06-17 20:52:32 +0000[diff] [blame]58 %landing_pad4 = landingpad { i8*, i32 }
Philip Reames85b36a82015-04-10 22:07:04 +0000[diff] [blame]59 cleanup
60 ret void
61}
62
63declare void @foo()