; RUN: llhd-opt %s -p dce tcm

proc %foo (i1$ %0) -> () {
bb0:
    br %bb1
bb1:
    wait %bb2
bb2:
    %1 = prb i1$ %0
    br %1, %bb1, %bb3
bb3:
    %2 = const i32 0
    br %bb1
}

; CHECK:       proc %foo (i1$ %0) -> () {
; CHECK-NEXT:  bb1:
; CHECK-NEXT:      wait %bb2
; CHECK-NEXT:  bb2:
; CHECK-NEXT:      %1 = prb i1$ %0
; CHECK-NEXT:      br %1, %aux, %bb3
; CHECK-NEXT:  bb3:
; CHECK-NEXT:      br %aux
; CHECK-NEXT:  aux:
; CHECK-NEXT:      br %bb1
; CHECK-NEXT:  }