test/Transforms/SimplifyCFG/UncondBranchToHeader.ll

   1 ; RUN: opt < %s -simplifycfg -S | FileCheck %s
   2
   3 ; Check that we can get rid of empty block leading to header
   4 ; if it does not introduce new edge.
   5 define i32 @test(i32 %c) {
   6 entry:
   7   br label %header
   8 header:
   9   %i = phi i32 [0, %entry], [%i.1, %backedge]
  10   %i.1 = add i32 %i, 1
  11   %cmp = icmp slt i32 %i.1, %c
  12   br i1 %cmp, label %backedge, label %exit
  13 ; CHECK-NOT: backedge:
  14 backedge:
  15   br label %header
  16 exit:
  17   ret i32 %i
  18 }