[LCSSA] Handle PHI insertion in disjoint loops
[oota-llvm.git] / test / Transforms / IPConstantProp / global.ll
1 ; RUN: opt < %s -S -ipsccp | FileCheck %s
2
3 @_ZL6test1g = internal global i32 42, align 4
4
5 define void @_Z7test1f1v() nounwind {
6 entry:
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
11 if.then:                                          ; preds = %entry
12   store i32 0, i32* @_ZL6test1g, align 4
13   br label %if.end
14
15 if.end:                                           ; preds = %if.then, %entry
16   ret void
17 }
18
19 ; CHECK: @_Z7test1f2v()
20 ; CHECK: entry:
21 ; CHECK-NEXT: ret i32 42
22 define i32 @_Z7test1f2v() nounwind {
23 entry:
24   %tmp = load i32* @_ZL6test1g, align 4
25   ret i32 %tmp
26 }