; ModuleID = 'bugpoint-reduced-simplified.bc'
target triple = "x86_64-unknown-linux-gnu"

define void @main() #0 {
main_body:
  br i1 undef, label %ELSE, label %IF

IF:                                               ; preds = %main_body
  br i1 undef, label %ENDIF80, label %IF81

ELSE:                                             ; preds = %main_body
  unreachable

IF81:                                             ; preds = %IF
  br i1 undef, label %ENDIF80, label %IF84

ENDIF80:                                          ; preds = %IF81, %IF
  br i1 undef, label %IF93, label %ENDIF92

IF84:                                             ; preds = %IF81
  unreachable

IF93:                                             ; preds = %ENDIF80
  br i1 undef, label %IF96, label %ENDIF95

ENDIF92:                                          ; preds = %ENDIF80
  ret void

IF96:                                             ; preds = %IF93
  br label %LOOP

ENDIF95:                                          ; preds = %IF93
  unreachable

LOOP:                                             ; preds = %LOOP, %IF96
  br label %LOOP
}

attributes #0 = { "ShaderType"="0" "enable-no-nans-fp-math"="true" }