| Edward O'Callaghan | 15dd462 | 2009-11-22 11:45:44 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -march=x86 | FileCheck %s | 
| Duncan Sands | fb5c74e | 2009-03-17 09:46:22 +0000 | [diff] [blame] | 2 | ; Check the register copy comes after the call to f and before the call to g | 
| Evan Cheng | 94419d6 | 2009-03-13 22:59:14 +0000 | [diff] [blame] | 3 | ; PR3784 | 
|  | 4 |  | 
| Duncan Sands | fb5c74e | 2009-03-17 09:46:22 +0000 | [diff] [blame] | 5 | declare i32 @f() | 
| Evan Cheng | 94419d6 | 2009-03-13 22:59:14 +0000 | [diff] [blame] | 6 |  | 
| Duncan Sands | fb5c74e | 2009-03-17 09:46:22 +0000 | [diff] [blame] | 7 | declare i32 @g() | 
|  | 8 |  | 
|  | 9 | define i32 @phi() { | 
| Evan Cheng | 94419d6 | 2009-03-13 22:59:14 +0000 | [diff] [blame] | 10 | entry: | 
| Duncan Sands | fb5c74e | 2009-03-17 09:46:22 +0000 | [diff] [blame] | 11 | %a = call i32 @f()		; <i32> [#uses=1] | 
|  | 12 | %b = invoke i32 @g() | 
|  | 13 | to label %cont unwind label %lpad		; <i32> [#uses=1] | 
| Evan Cheng | 94419d6 | 2009-03-13 22:59:14 +0000 | [diff] [blame] | 14 |  | 
| Duncan Sands | fb5c74e | 2009-03-17 09:46:22 +0000 | [diff] [blame] | 15 | cont:		; preds = %entry | 
|  | 16 | %x = phi i32 [ %b, %entry ]		; <i32> [#uses=0] | 
|  | 17 | %aa = call i32 @g()		; <i32> [#uses=1] | 
|  | 18 | %bb = invoke i32 @g() | 
|  | 19 | to label %cont2 unwind label %lpad		; <i32> [#uses=1] | 
| Evan Cheng | 94419d6 | 2009-03-13 22:59:14 +0000 | [diff] [blame] | 20 |  | 
| Duncan Sands | fb5c74e | 2009-03-17 09:46:22 +0000 | [diff] [blame] | 21 | cont2:		; preds = %cont | 
|  | 22 | %xx = phi i32 [ %bb, %cont ]		; <i32> [#uses=1] | 
|  | 23 | ret i32 %xx | 
| Evan Cheng | 94419d6 | 2009-03-13 22:59:14 +0000 | [diff] [blame] | 24 |  | 
| Duncan Sands | fb5c74e | 2009-03-17 09:46:22 +0000 | [diff] [blame] | 25 | lpad:		; preds = %cont, %entry | 
|  | 26 | %y = phi i32 [ %a, %entry ], [ %aa, %cont ]		; <i32> [#uses=1] | 
|  | 27 | ret i32 %y | 
| Evan Cheng | 94419d6 | 2009-03-13 22:59:14 +0000 | [diff] [blame] | 28 | } | 
| Edward O'Callaghan | 15dd462 | 2009-11-22 11:45:44 +0000 | [diff] [blame] | 29 |  | 
|  | 30 | ; CHECK: call{{.*}}f | 
|  | 31 | ; CHECK-NEXT: Llabel1: | 
|  | 32 | ; CHECK-NEXT: movl %eax, %esi |