1; RUN: opt < %s -gvn -enable-pre -S | FileCheck %s
2
3@H = common global i32 0		; <i32*> [#uses=2]
4@G = common global i32 0		; <i32*> [#uses=1]
5
6define i32 @test() nounwind {
7entry:
8	%0 = load i32, i32* @H, align 4		; <i32> [#uses=2]
9	%1 = call i32 (...) @foo() nounwind		; <i32> [#uses=1]
10	%2 = icmp ne i32 %1, 0		; <i1> [#uses=1]
11	br i1 %2, label %bb, label %bb1
12
13bb:		; preds = %entry
14	%3 = add i32 %0, 42		; <i32> [#uses=1]
15; CHECK: %.pre = add i32 %0, 42
16	store i32 %3, i32* @G, align 4
17	br label %bb1
18
19bb1:		; preds = %bb, %entry
20	%4 = add i32 %0, 42		; <i32> [#uses=1]
21	store i32 %4, i32* @H, align 4
22	br label %return
23
24; CHECK: %.pre-phi = phi i32 [ %.pre, %entry.bb1_crit_edge ], [ %3, %bb ]
25; CHECK-NEXT: store i32 %.pre-phi, i32* @H, align 4
26; CHECK-NEXT: ret i32 0
27
28return:		; preds = %bb1
29	ret i32 0
30}
31
32declare i32 @foo(...)
33