; RUN: llc -verify-loop-info -verify-dom-info -mtriple=x86_64-- < %s
; PR5243

@.str96 = external constant [37 x i8], align 8    ; <ptr> [#uses=1]

define void @foo(i1 %arg) nounwind {
bb:
  br label %ybb1

ybb1:                                              ; preds = %yybb13, %xbb6, %bb
  switch i32 undef, label %bb18 [
    i32 150, label %ybb2
    i32 151, label %bb17
    i32 152, label %bb19
    i32 157, label %ybb8
  ]

ybb2:                                              ; preds = %ybb1
  %tmp = icmp eq ptr undef, null                 ; <i1> [#uses=1]
  br i1 %tmp, label %bb3, label %xbb6

bb3:                                              ; preds = %ybb2
  unreachable

xbb4:                                              ; preds = %xbb6
  store i32 0, ptr undef, align 8
  br i1 %arg, label %xbb6, label %bb5

bb5:                                              ; preds = %xbb4
  call fastcc void @decl_mode_check_failed() nounwind
  unreachable

xbb6:                                              ; preds = %xbb4, %ybb2
  %tmp7 = icmp slt i32 undef, 0                   ; <i1> [#uses=1]
  br i1 %tmp7, label %xbb4, label %ybb1

ybb8:                                              ; preds = %ybb1
  %tmp9 = icmp eq ptr undef, null                ; <i1> [#uses=1]
  br i1 %tmp9, label %bb10, label %ybb12

bb10:                                             ; preds = %ybb8
  %tmp11 = load ptr, ptr undef, align 8               ; <ptr> [#uses=1]
  call void (ptr, ...) @fatal(ptr @.str96, ptr %tmp11) nounwind
  unreachable

ybb12:                                             ; preds = %ybb8
  br i1 %arg, label %bb15, label %ybb13

ybb13:                                             ; preds = %ybb12
  %tmp14 = icmp sgt i32 undef, 0                  ; <i1> [#uses=1]
  br i1 %tmp14, label %bb16, label %ybb1

bb15:                                             ; preds = %ybb12
  call void (ptr, ...) @fatal(ptr @.str96, ptr undef) nounwind
  unreachable

bb16:                                             ; preds = %ybb13
  unreachable

bb17:                                             ; preds = %ybb1
  unreachable

bb18:                                             ; preds = %ybb1
  unreachable

bb19:                                             ; preds = %ybb1
  unreachable
}

declare void @fatal(ptr, ...)

declare fastcc void @decl_mode_check_failed() nounwind