[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / IPConstantProp / global.ll
blob5e34696d566299256b25009ccb65db5328494dca
1 ; RUN: opt < %s -S -passes=ipsccp | FileCheck %s
2 ; RUN: opt < %s -S -ipsccp | FileCheck %s
4 @_ZL6test1g = internal global i32 42, align 4
6 define void @_Z7test1f1v() nounwind {
7 entry:
8   %tmp = load i32, i32* @_ZL6test1g, align 4
9   %cmp = icmp eq i32 %tmp, 0
10   br i1 %cmp, label %if.then, label %if.end
12 if.then:                                          ; preds = %entry
13   store i32 0, i32* @_ZL6test1g, align 4
14   br label %if.end
16 if.end:                                           ; preds = %if.then, %entry
17   ret void
20 ; CHECK: @_Z7test1f2v()
21 ; CHECK: entry:
22 ; CHECK-NEXT: ret i32 42
23 define i32 @_Z7test1f2v() nounwind {
24 entry:
25   %tmp = load i32, i32* @_ZL6test1g, align 4
26   ret i32 %tmp