blob: 8d426271a1946821c2f3b0617a3c4f5dc7aff731 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
; RUN: llc < %s -march=x86 | FileCheck %s
; Check the register copy comes after the call to f and before the call to g
; PR3784
declare i32 @f()
declare i32 @g()
define i32 @phi() {
entry:
%a = call i32 @f() ; <i32> [#uses=1]
%b = invoke i32 @g()
to label %cont unwind label %lpad ; <i32> [#uses=1]
cont: ; preds = %entry
%x = phi i32 [ %b, %entry ] ; <i32> [#uses=0]
%aa = call i32 @g() ; <i32> [#uses=1]
%bb = invoke i32 @g()
to label %cont2 unwind label %lpad ; <i32> [#uses=1]
cont2: ; preds = %cont
%xx = phi i32 [ %bb, %cont ] ; <i32> [#uses=1]
ret i32 %xx
lpad: ; preds = %cont, %entry
%y = phi i32 [ %a, %entry ], [ %aa, %cont ] ; <i32> [#uses=1]
ret i32 %y
}
; CHECK: call{{.*}}f
; CHECK-NEXT: Ltmp0:
; CHECK-NEXT: movl %eax, %esi
|
