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
   19
   20
   21
   22
   23
   24
   25
   26
   27
   28
   29

; RUN: opt -simple-loop-unswitch -disable-output < %s
; RUN: opt -simple-loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output < %s
; PR10031

define i32 @test(i32 %command) {
entry:
  br label %tailrecurse

tailrecurse:                                      ; preds = %if.then14, %tailrecurse, %entry
  br i1 undef, label %if.then, label %tailrecurse

if.then:                                          ; preds = %tailrecurse
  switch i32 %command, label %sw.bb [
    i32 2, label %land.lhs.true
    i32 0, label %land.lhs.true
  ]

land.lhs.true:                                    ; preds = %if.then, %if.then
  br i1 undef, label %sw.bb, label %if.then14

if.then14:                                        ; preds = %land.lhs.true
  switch i32 %command, label %tailrecurse [
    i32 0, label %sw.bb
    i32 1, label %sw.bb
  ]

sw.bb:                                            ; preds = %if.then14
  unreachable
}