reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

    1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14
   15
   16
   17
   18

; RUN: opt < %s -simplifycfg -S | FileCheck %s

; Check that we can get rid of empty block leading to header
; if it does not introduce new edge.
define i32 @test(i32 %c) {
entry:
  br label %header
header:
  %i = phi i32 [0, %entry], [%i.1, %backedge]
  %i.1 = add i32 %i, 1
  %cmp = icmp slt i32 %i.1, %c
  br i1 %cmp, label %backedge, label %exit
; CHECK-NOT: backedge:
backedge:
  br label %header
exit:
  ret i32 %i
}