| 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 %select 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(i1 %cond) gc "statepoint-example" { |
| 8 | %derived1 = getelementptr i8, i8 addrspace(1)* @global, i64 1 |
| 9 | %derived2 = getelementptr i8, i8 addrspace(1)* @global, i64 2 |
| 10 | %select = select i1 %cond, i8 addrspace(1)* %derived1, i8 addrspace(1)* %derived2 |
| Sanjoy Das | 0407108 | 2016-01-29 00:28:57 +0000 | [diff] [blame] | 11 | call void @extern() |
| Manuel Jacob | 990dfa6 | 2015-12-22 16:50:44 +0000 | [diff] [blame] | 12 | ; CHECK-NOT: relocate |
| 13 | ; CHECK: %load = load i8, i8 addrspace(1)* %select |
| 14 | %load = load i8, i8 addrspace(1)* %select |
| 15 | ret i8 %load |
| 16 | } |
| 17 | |
| 18 | declare void @extern() gc "statepoint-example" |
| 19 | |
| Benjamin Kramer | 13dfb7d | 2015-12-26 11:40:48 +0000 | [diff] [blame] | 20 | declare token @llvm.experimental.gc.statepoint.p0f_isVoidf(i64, i32, void ()*, i32, i32, ...) |