Duncan Sands | a5fec0d | 2009-03-17 09:46:22 +0000 | [diff] [blame^] | 1 | ; RUN: llvm-as < %s | llc -march=x86 | grep -A 2 {call.*f} | grep movl |
| 2 | ; Check the register copy comes after the call to f and before the call to g |
Evan Cheng | fc0b80d | 2009-03-13 22:59:14 +0000 | [diff] [blame] | 3 | ; PR3784 |
| 4 | |
Duncan Sands | a5fec0d | 2009-03-17 09:46:22 +0000 | [diff] [blame^] | 5 | declare i32 @f() |
Evan Cheng | fc0b80d | 2009-03-13 22:59:14 +0000 | [diff] [blame] | 6 | |
Duncan Sands | a5fec0d | 2009-03-17 09:46:22 +0000 | [diff] [blame^] | 7 | declare i32 @g() |
| 8 | |
| 9 | define i32 @phi() { |
Evan Cheng | fc0b80d | 2009-03-13 22:59:14 +0000 | [diff] [blame] | 10 | entry: |
Duncan Sands | a5fec0d | 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 | fc0b80d | 2009-03-13 22:59:14 +0000 | [diff] [blame] | 14 | |
Duncan Sands | a5fec0d | 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 | fc0b80d | 2009-03-13 22:59:14 +0000 | [diff] [blame] | 20 | |
Duncan Sands | a5fec0d | 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 | fc0b80d | 2009-03-13 22:59:14 +0000 | [diff] [blame] | 24 | |
Duncan Sands | a5fec0d | 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 | fc0b80d | 2009-03-13 22:59:14 +0000 | [diff] [blame] | 28 | } |