1; RUN: opt < %s -S -ipsccp | FileCheck %s
2
3@_ZL6test1g = internal global i32 42, align 4
4
5define void @_Z7test1f1v() nounwind {
6entry:
7  %tmp = load i32* @_ZL6test1g, align 4
8  %cmp = icmp eq i32 %tmp, 0
9  br i1 %cmp, label %if.then, label %if.end
10
11if.then:                                          ; preds = %entry
12  store i32 0, i32* @_ZL6test1g, align 4
13  br label %if.end
14
15if.end:                                           ; preds = %if.then, %entry
16  ret void
17}
18
19; CHECK: @_Z7test1f2v()
20; CHECK: entry:
21; CHECK-NEXT: ret i32 42
22define i32 @_Z7test1f2v() nounwind {
23entry:
24  %tmp = load i32* @_ZL6test1g, align 4
25  ret i32 %tmp
26}
27