1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
; RUN: opt -S -passes=rewrite-statepoints-for-gc < %s | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128-ni:1"
target triple = "x86_64-unknown-linux-gnu"
declare void @f()
declare void @g(ptr addrspace(1), ptr addrspace(1))
declare i32 @personality_function()
; Make sure that we do not fail assertion because we process call of @g before
; we process the call of @f.
define void @test_01(ptr addrspace(1) %p, i1 %cond) gc "statepoint-example" personality ptr @personality_function {
; CHECK-LABEL: @test_01(
entry:
%tmp0 = insertelement <2 x ptr addrspace(1)> poison, ptr addrspace(1) %p, i32 0
%tmp1 = insertelement <2 x ptr addrspace(1)> %tmp0, ptr addrspace(1) %p, i32 1
%tmp2 = extractelement <2 x ptr addrspace(1)> %tmp1, i32 1
%tmp3 = extractelement <2 x ptr addrspace(1)> %tmp1, i32 0
br label %loop
loop:
br i1 %cond, label %cond_block, label %exit
cond_block:
br i1 %cond, label %backedge, label %exit
exit:
%tmp4 = phi ptr addrspace(1) [ %tmp2, %loop ], [ %tmp2, %cond_block ]
call void @g(ptr addrspace(1) %tmp3, ptr addrspace(1) %tmp4)
ret void
backedge:
call void @f()
br label %loop
}
|
