blob: b01556de4828f6b79b42e72592a3a512850a83ff [file] [log] [blame]
Duncan Sandsa5fec0d2009-03-17 09:46:22 +00001; 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 Chengfc0b80d2009-03-13 22:59:14 +00003; PR3784
4
Duncan Sandsa5fec0d2009-03-17 09:46:22 +00005declare i32 @f()
Evan Chengfc0b80d2009-03-13 22:59:14 +00006
Duncan Sandsa5fec0d2009-03-17 09:46:22 +00007declare i32 @g()
8
9define i32 @phi() {
Evan Chengfc0b80d2009-03-13 22:59:14 +000010entry:
Duncan Sandsa5fec0d2009-03-17 09:46:22 +000011 %a = call i32 @f() ; <i32> [#uses=1]
12 %b = invoke i32 @g()
13 to label %cont unwind label %lpad ; <i32> [#uses=1]
Evan Chengfc0b80d2009-03-13 22:59:14 +000014
Duncan Sandsa5fec0d2009-03-17 09:46:22 +000015cont: ; 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 Chengfc0b80d2009-03-13 22:59:14 +000020
Duncan Sandsa5fec0d2009-03-17 09:46:22 +000021cont2: ; preds = %cont
22 %xx = phi i32 [ %bb, %cont ] ; <i32> [#uses=1]
23 ret i32 %xx
Evan Chengfc0b80d2009-03-13 22:59:14 +000024
Duncan Sandsa5fec0d2009-03-17 09:46:22 +000025lpad: ; preds = %cont, %entry
26 %y = phi i32 [ %a, %entry ], [ %aa, %cont ] ; <i32> [#uses=1]
27 ret i32 %y
Evan Chengfc0b80d2009-03-13 22:59:14 +000028}