| ; RUN: llc -verify-machineinstrs < %s -mtriple=ppc32-- | |
| ; <rdar://problem/6020042> | |
| define i32 @bork() nounwind { | |
| entry: | |
| br i1 true, label %bb1, label %bb3 | |
| bb1: | |
| %tmp1 = load i8, i8* null, align 1 | |
| %tmp2 = icmp eq i8 %tmp1, 0 | |
| br label %bb2 | |
| bb2: | |
| %val1 = phi i32 [ 0, %bb1 ], [ %val2, %bb2 ] | |
| %val2 = select i1 %tmp2, i32 -1, i32 %val1 | |
| switch i32 %val2, label %bb2 [ | |
| i32 -1, label %bb3 | |
| i32 0, label %bb1 | |
| i32 1, label %bb3 | |
| i32 2, label %bb1 | |
| ] | |
| bb3: | |
| ret i32 -1 | |
| } |