| Sanjoy Das | 0407108 | 2016-01-29 00:28:57 +0000 | [diff] [blame^] | 1 | ; RUN: opt -S -rewrite-statepoints-for-gc < %s | FileCheck %s |
| Philip Reames | 63294cb | 2015-04-26 19:48:03 +0000 | [diff] [blame] | 2 | |
| 3 | ; constants don't get relocated. |
| Sanjoy Das | 0407108 | 2016-01-29 00:28:57 +0000 | [diff] [blame^] | 4 | @G = addrspace(1) global i8 5 |
| 5 | |
| 6 | declare void @foo() |
| 7 | |
| Philip Reames | 63294cb | 2015-04-26 19:48:03 +0000 | [diff] [blame] | 8 | define i8 @test() gc "statepoint-example" { |
| 9 | ; CHECK-LABEL: @test |
| 10 | ; CHECK: gc.statepoint |
| 11 | ; CHECK-NEXT: load i8, i8 addrspace(1)* inttoptr (i64 15 to i8 addrspace(1)*) |
| Sanjoy Das | 0407108 | 2016-01-29 00:28:57 +0000 | [diff] [blame^] | 12 | ; Mostly just here to show reasonable code test can come from. |
| Philip Reames | 63294cb | 2015-04-26 19:48:03 +0000 | [diff] [blame] | 13 | entry: |
| Sanjoy Das | 0407108 | 2016-01-29 00:28:57 +0000 | [diff] [blame^] | 14 | call void @foo() [ "deopt"() ] |
| Philip Reames | 63294cb | 2015-04-26 19:48:03 +0000 | [diff] [blame] | 15 | %res = load i8, i8 addrspace(1)* inttoptr (i64 15 to i8 addrspace(1)*) |
| 16 | ret i8 %res |
| 17 | } |
| 18 | |
| Philip Reames | 63294cb | 2015-04-26 19:48:03 +0000 | [diff] [blame] | 19 | define i8 @test2(i8 addrspace(1)* %p) gc "statepoint-example" { |
| 20 | ; CHECK-LABEL: @test2 |
| 21 | ; CHECK: gc.statepoint |
| 22 | ; CHECK-NEXT: gc.relocate |
| 23 | ; CHECK-NEXT: icmp |
| Sanjoy Das | 0407108 | 2016-01-29 00:28:57 +0000 | [diff] [blame^] | 24 | ; Globals don't move and thus don't get relocated |
| Philip Reames | 63294cb | 2015-04-26 19:48:03 +0000 | [diff] [blame] | 25 | entry: |
| Sanjoy Das | 0407108 | 2016-01-29 00:28:57 +0000 | [diff] [blame^] | 26 | call void @foo() [ "deopt"() ] |
| Philip Reames | 63294cb | 2015-04-26 19:48:03 +0000 | [diff] [blame] | 27 | %cmp = icmp eq i8 addrspace(1)* %p, null |
| 28 | br i1 %cmp, label %taken, label %not_taken |
| 29 | |
| Sanjoy Das | 0407108 | 2016-01-29 00:28:57 +0000 | [diff] [blame^] | 30 | taken: ; preds = %not_taken, %entry |
| Philip Reames | 63294cb | 2015-04-26 19:48:03 +0000 | [diff] [blame] | 31 | ret i8 0 |
| 32 | |
| Sanjoy Das | 0407108 | 2016-01-29 00:28:57 +0000 | [diff] [blame^] | 33 | not_taken: ; preds = %entry |
| Philip Reames | 63294cb | 2015-04-26 19:48:03 +0000 | [diff] [blame] | 34 | %cmp2 = icmp ne i8 addrspace(1)* %p, null |
| 35 | br i1 %cmp2, label %taken, label %dead |
| 36 | |
| Sanjoy Das | 0407108 | 2016-01-29 00:28:57 +0000 | [diff] [blame^] | 37 | dead: ; preds = %not_taken |
| Philip Reames | 63294cb | 2015-04-26 19:48:03 +0000 | [diff] [blame] | 38 | %addr = getelementptr i8, i8 addrspace(1)* %p, i32 15 |
| Sanjoy Das | 0407108 | 2016-01-29 00:28:57 +0000 | [diff] [blame^] | 39 | %res = load i8, i8 addrspace(1)* %addr |
| Philip Reames | 63294cb | 2015-04-26 19:48:03 +0000 | [diff] [blame] | 40 | ret i8 %res |
| 41 | } |
| 42 | |
| Philip Reames | 63294cb | 2015-04-26 19:48:03 +0000 | [diff] [blame] | 43 | define i8 @test3(i1 %always_true) gc "statepoint-example" { |
| 44 | ; CHECK-LABEL: @test3 |
| 45 | ; CHECK: gc.statepoint |
| 46 | ; CHECK-NEXT: load i8, i8 addrspace(1)* @G |
| 47 | entry: |
| Sanjoy Das | 0407108 | 2016-01-29 00:28:57 +0000 | [diff] [blame^] | 48 | call void @foo() [ "deopt"() ] |
| Philip Reames | 63294cb | 2015-04-26 19:48:03 +0000 | [diff] [blame] | 49 | %res = load i8, i8 addrspace(1)* @G, align 1 |
| 50 | ret i8 %res |
| 51 | } |