llvm/test/Transforms/LoopDeletion/two-predecessors.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=loop-deletion -S | FileCheck %s
   3
   4 target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
   5 target triple = "aarch64-unknown-linux-gnu"
   6
   7 define dso_local i32 @hoge() local_unnamed_addr #0 {
   8 ; CHECK-LABEL: @hoge(
   9 ; CHECK-NEXT:  bb:
  10 ; CHECK-NEXT:    callbr void asm sideeffect "", "!i"()
  11 ; CHECK-NEXT:    to label [[BB1:%.*]] [label %bb2.preheader]
  12 ; CHECK:       bb1:
  13 ; CHECK-NEXT:    br label [[BB2_PREHEADER:%.*]]
  14 ; CHECK:       bb2.preheader:
  15 ; CHECK-NEXT:    br label [[BB2:%.*]]
  16 ; CHECK:       bb2:
  17 ; CHECK-NEXT:    [[TMP:%.*]] = phi i32 [ [[TMP3:%.*]], [[BB2]] ], [ undef, [[BB2_PREHEADER]] ]
  18 ; CHECK-NEXT:    [[TMP3]] = tail call i32 @widget(i32 [[TMP]])
  19 ; CHECK-NEXT:    br label [[BB2]]
  20 ;
  21 bb:
  22   callbr void asm sideeffect "", "!i"() #1
  23   to label %bb1 [label %bb2]
  24
  25 bb1:                                              ; preds = %bb
  26   br label %bb2
  27
  28 bb2:                                              ; preds = %bb2, %bb1, %bb
  29   %tmp = phi i32 [ undef, %bb1 ], [ %tmp3, %bb2 ], [ undef, %bb ]
  30   %tmp3 = tail call i32 @widget(i32 %tmp) #1
  31   br label %bb2
  32 }
  33
  34 declare dso_local i32 @widget(...) local_unnamed_addr #0