blob: 8d426271a1946821c2f3b0617a3c4f5dc7aff731 [file] [log] [blame]
Edward O'Callaghan81fff072009-11-22 11:45:44 +00001; RUN: llc < %s -march=x86 | FileCheck %s
Duncan Sandsa5fec0d2009-03-17 09:46:22 +00002; 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}
Edward O'Callaghan81fff072009-11-22 11:45:44 +000029
30; CHECK: call{{.*}}f
Chris Lattner63d78362010-03-14 08:36:50 +000031; CHECK-NEXT: Ltmp0:
Edward O'Callaghan81fff072009-11-22 11:45:44 +000032; CHECK-NEXT: movl %eax, %esi