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