; RUN: llc -verify-loop-info -verify-dom-info -march=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** undef, align 8 ; <i8*> [#uses=1] call void (i8*, ...)* @fatal(i8* getelementptr inbounds ([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]* @.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