1; RUN: opt -S -rewrite-statepoints-for-gc < %s | FileCheck %s
2
3; constants don't get relocated.
4@G = addrspace(1) global i8 5
5
6declare void @foo()
7
8define 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)*)
12; Mostly just here to show reasonable code test can come from.
13entry:
14  call void @foo() [ "deopt"() ]
15  %res = load i8, i8 addrspace(1)* inttoptr (i64 15 to i8 addrspace(1)*)
16  ret i8 %res
17}
18
19define 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
24; Globals don't move and thus don't get relocated
25entry:
26  call void @foo() [ "deopt"() ]
27  %cmp = icmp eq i8 addrspace(1)* %p, null
28  br i1 %cmp, label %taken, label %not_taken
29
30taken:                                            ; preds = %not_taken, %entry
31  ret i8 0
32
33not_taken:                                        ; preds = %entry
34  %cmp2 = icmp ne i8 addrspace(1)* %p, null
35  br i1 %cmp2, label %taken, label %dead
36
37dead:                                             ; preds = %not_taken
38  %addr = getelementptr i8, i8 addrspace(1)* %p, i32 15
39  %res = load i8, i8 addrspace(1)* %addr
40  ret i8 %res
41}
42
43define 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
47entry:
48  call void @foo() [ "deopt"() ]
49  %res = load i8, i8 addrspace(1)* @G, align 1
50  ret i8 %res
51}
52