llvm/test/Transforms/RewriteStatepointsForGC/check_traversal_order-inseltpoison.ll

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