mirror of
				https://github.com/c64scene-ar/llvm-6502.git
				synced 2025-10-31 08:16:47 +00:00 
			
		
		
		
	versions of Bash. In addition, I can back out the change to the lit built-in shell test runner to support this. This should fix the majority of fallout on Darwin, but I suspect there will be a few straggling issues. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159544 91177308-0d34-0410-b5e6-96231b3b80d8
		
			
				
	
	
		
			58 lines
		
	
	
		
			1.3 KiB
		
	
	
	
		
			LLVM
		
	
	
	
	
	
			
		
		
	
	
			58 lines
		
	
	
		
			1.3 KiB
		
	
	
	
		
			LLVM
		
	
	
	
	
	
| ; RUN: not llvm-as < %s -o /dev/null 2>&1 | FileCheck %s
 | |
| 
 | |
| define i32 @f1(i32 %x) {
 | |
|        %y = add i32 %z, 1
 | |
|        %z = add i32 %x, 1
 | |
|        ret i32 %y
 | |
| ; CHECK: Instruction does not dominate all uses!
 | |
| ; CHECK-NEXT:  %z = add i32 %x, 1
 | |
| ; CHECK-NEXT:  %y = add i32 %z, 1
 | |
| }
 | |
| 
 | |
| declare i32 @g()
 | |
| define void @f2(i32 %x) {
 | |
| bb0:
 | |
|   %y1 = invoke i32 @g() to label %bb1 unwind label %bb2
 | |
| bb1:
 | |
|   ret void
 | |
| bb2:
 | |
|   %y2 = phi i32 [%y1, %bb0]
 | |
|   %y3 = landingpad i32 personality i32 ()* @g
 | |
|           cleanup
 | |
|   ret void
 | |
| ; CHECK: Instruction does not dominate all uses!
 | |
| ; CHECK-NEXT:  %y1 = invoke i32 @g()
 | |
| ; CHECK-NEXT:        to label %bb1 unwind label %bb2
 | |
| ; CHECK-NEXT:  %y2 = phi i32 [ %y1, %bb0 ]
 | |
| }
 | |
| 
 | |
| define void @f3(i32 %x) {
 | |
| bb0:
 | |
|   %y1 = invoke i32 @g() to label %bb1 unwind label %bb2
 | |
| bb1:
 | |
|   ret void
 | |
| bb2:
 | |
|   %y2 = landingpad i32 personality i32 ()* @g
 | |
|           cleanup
 | |
|   br label %bb3
 | |
| bb3:
 | |
|   %y3 = phi i32 [%y1, %bb2]
 | |
|   ret void
 | |
| ; CHECK: Instruction does not dominate all uses!
 | |
| ; CHECK-NEXT:  %y1 = invoke i32 @g()
 | |
| ; CHECK-NEXT:          to label %bb1 unwind label %bb2
 | |
| ; CHECK-NEXT:  %y3 = phi i32 [ %y1, %bb2 ]
 | |
| }
 | |
| 
 | |
| define void @f4(i32 %x) {
 | |
| bb0:
 | |
|   br label %bb1
 | |
| bb1:
 | |
|   %y3 = phi i32 [%y1, %bb0]
 | |
|   %y1 = add i32 %x, 1
 | |
|   ret void
 | |
| ; CHECK: Instruction does not dominate all uses!
 | |
| ; CHECK-NEXT:  %y1 = add i32 %x, 1
 | |
| ; CHECK-NEXT:  %y3 = phi i32 [ %y1, %bb0 ]
 | |
| }
 |