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