; 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, ptr 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
}