blob: 901fa90dc96d522f192fed59b1d8ba0f2cf844f6 [file] [log] [blame]
Chris Lattner2f7bb1b2004-09-19 18:45:45 +00001; Test promotion of loads that use the result of a select instruction. This
2; should be simplified by the instcombine pass.
Chris Lattner3b613812004-04-08 19:59:22 +00003
Tanya Lattner4e598972008-03-18 04:14:37 +00004; RUN: llvm-as < %s | opt -instcombine -mem2reg | llvm-dis | not grep alloca
Chris Lattner3b613812004-04-08 19:59:22 +00005
Tanya Lattner4e598972008-03-18 04:14:37 +00006define i32 @main() {
7 %mem_tmp.0 = alloca i32 ; <i32*> [#uses=3]
8 %mem_tmp.1 = alloca i32 ; <i32*> [#uses=3]
9 store i32 0, i32* %mem_tmp.0
10 store i32 1, i32* %mem_tmp.1
11 %tmp.1.i = load i32* %mem_tmp.1 ; <i32> [#uses=1]
12 %tmp.3.i = load i32* %mem_tmp.0 ; <i32> [#uses=1]
13 %tmp.4.i = icmp sle i32 %tmp.1.i, %tmp.3.i ; <i1> [#uses=1]
14 %mem_tmp.i.0 = select i1 %tmp.4.i, i32* %mem_tmp.1, i32* %mem_tmp.0 ; <i32*> [#uses=1]
15 %tmp.3 = load i32* %mem_tmp.i.0 ; <i32> [#uses=1]
16 ret i32 %tmp.3
Chris Lattner3b613812004-04-08 19:59:22 +000017}
18