llvm-6502/test/CodeGen/PowerPC/2008-06-23-LiveVariablesCrash.ll

; RUN: llc < %s -march=ppc32
; <rdar://problem/6020042>

define i32 @bork() nounwind  {
entry:
	br i1 true, label %bb1, label %bb3

bb1:
	%tmp1 = load 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
}
Eliminate more uses of llvm-as and llvm-dis. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@81293 91177308-0d34-0410-b5e6-96231b3b80d8 2009-09-09 00:09:15 +00:00			`; RUN: llc < %s -march=ppc32`
This situation can occur: ,------. \| \| \| v \| t2 = phi ... t1 ... \| \| \| v \| t1 = ... \| ... = ... t1 ... \| \| `------' where there is a use in a PHI node that's a predecessor to the defining block. We don't want to mark all predecessors as having the value "alive" in this case. Also, the assert was too restrictive and didn't handle this case. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@52655 91177308-0d34-0410-b5e6-96231b3b80d8 2008-06-23 23:41:14 +00:00			`; <rdar://problem/6020042>`

			`define i32 @bork() nounwind {`
			`entry:`
			`br i1 true, label %bb1, label %bb3`

			`bb1:`
			`%tmp1 = load 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`
			`}`