; 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() 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 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 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 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 (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