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

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

define void @foo() 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 i8** undef, null                 ; <i1> [#uses=1]
  br i1 %tmp, label %bb3, label %xbb6

bb3:                                              ; preds = %ybb2
  unreachable

xbb4:                                              ; preds = %xbb6
  store i32 0, i32* undef, align 8
  br i1 undef, 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 i8** undef, null                ; <i1> [#uses=1]
  br i1 %tmp9, label %bb10, label %ybb12

bb10:                                             ; preds = %ybb8
  %tmp11 = load i8*, i8** undef, align 8               ; <i8*> [#uses=1]
  call void (i8*, ...) @fatal(i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str96, i64 0, i64 0), i8* %tmp11) nounwind
  unreachable

ybb12:                                             ; preds = %ybb8
  br i1 undef, 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 (i8*, ...) @fatal(i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str96, i64 0, i64 0), i8* undef) nounwind
  unreachable

bb16:                                             ; preds = %ybb13
  unreachable

bb17:                                             ; preds = %ybb1
  unreachable

bb18:                                             ; preds = %ybb1
  unreachable

bb19:                                             ; preds = %ybb1
  unreachable
}

declare void @fatal(i8*, ...)

declare fastcc void @decl_mode_check_failed() nounwind
