| Sanjoy Das | 0407108 | 2016-01-29 00:28:57 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -rewrite-statepoints-for-gc -spp-print-base-pointers -S 2>&1 | FileCheck %s |
| Manuel Jacob | 990dfa6 | 2015-12-22 16:50:44 +0000 | [diff] [blame] | 2 | |
| Igor Laevsky | df9db45 | 2016-05-27 13:13:59 +0000 | [diff] [blame] | 3 | ; CHECK: derived %derived base null |
| Manuel Jacob | 990dfa6 | 2015-12-22 16:50:44 +0000 | [diff] [blame] | 4 | |
| 5 | @global = external addrspace(1) global i8 |
| 6 | |
| 7 | define i8 @test(i64 %offset) gc "statepoint-example" { |
| 8 | %derived = getelementptr i8, i8 addrspace(1)* @global, i64 %offset |
| Sanjoy Das | 0407108 | 2016-01-29 00:28:57 +0000 | [diff] [blame] | 9 | call void @extern() |
| Manuel Jacob | 990dfa6 | 2015-12-22 16:50:44 +0000 | [diff] [blame] | 10 | ; CHECK-NOT: relocate |
| 11 | ; CHECK-NOT: remat |
| 12 | ; CHECK: %load = load i8, i8 addrspace(1)* %derived |
| 13 | %load = load i8, i8 addrspace(1)* %derived |
| 14 | ret i8 %load |
| 15 | } |
| 16 | |
| 17 | declare void @extern() gc "statepoint-example" |
| 18 | |
| Benjamin Kramer | 13dfb7d | 2015-12-26 11:40:48 +0000 | [diff] [blame] | 19 | declare token @llvm.experimental.gc.statepoint.p0f_isVoidf(i64, i32, void ()*, i32, i32, ...) |