blob: 5e34696d566299256b25009ccb65db5328494dca [file] [log] [blame]
Davide Italianof54f2f02016-05-05 21:05:36 +00001; RUN: opt < %s -S -passes=ipsccp | FileCheck %s
Eric Christopher990dd3d2011-08-15 20:50:36 +00002; RUN: opt < %s -S -ipsccp | FileCheck %s
3
4@_ZL6test1g = internal global i32 42, align 4
5
6define void @_Z7test1f1v() nounwind {
7entry:
David Blaikiea79ac142015-02-27 21:17:42 +00008 %tmp = load i32, i32* @_ZL6test1g, align 4
Eric Christopher990dd3d2011-08-15 20:50:36 +00009 %cmp = icmp eq i32 %tmp, 0
10 br i1 %cmp, label %if.then, label %if.end
11
12if.then: ; preds = %entry
13 store i32 0, i32* @_ZL6test1g, align 4
14 br label %if.end
15
16if.end: ; preds = %if.then, %entry
17 ret void
18}
19
20; CHECK: @_Z7test1f2v()
21; CHECK: entry:
22; CHECK-NEXT: ret i32 42
23define i32 @_Z7test1f2v() nounwind {
24entry:
David Blaikiea79ac142015-02-27 21:17:42 +000025 %tmp = load i32, i32* @_ZL6test1g, align 4
Eric Christopher990dd3d2011-08-15 20:50:36 +000026 ret i32 %tmp
27}