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
  
     | 
    
      ; RUN: opt < %s -loop-extract-single -disable-output
define void @ab() {
entry:
        br label %codeReplTail
then.1:         ; preds = %codeReplTail
        br label %loopentry.1
loopentry.1:            ; preds = %no_exit.1, %then.1
        br i1 false, label %no_exit.1, label %loopexit.0.loopexit1
no_exit.1:              ; preds = %loopentry.1
        br label %loopentry.1
loopexit.0.loopexit:            ; preds = %codeReplTail
        ret void
loopexit.0.loopexit1:           ; preds = %loopentry.1
        ret void
codeReplTail:           ; preds = %codeReplTail, %entry
        switch i16 0, label %codeReplTail [
                 i16 0, label %loopexit.0.loopexit
                 i16 1, label %then.1
        ]
}
 
     |