diff options
Diffstat (limited to 'llvm/test/Transforms/ScalarRepl/select_promote.ll')
| -rw-r--r-- | llvm/test/Transforms/ScalarRepl/select_promote.ll | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/llvm/test/Transforms/ScalarRepl/select_promote.ll b/llvm/test/Transforms/ScalarRepl/select_promote.ll new file mode 100644 index 00000000000..a7a325cdd9c --- /dev/null +++ b/llvm/test/Transforms/ScalarRepl/select_promote.ll @@ -0,0 +1,18 @@ +; Test promotion of loads that use the result of a select instruction. This +; should be simplified by the instcombine pass. + +; RUN: llvm-upgrade < %s | llvm-as | opt -instcombine -mem2reg | llvm-dis | not grep alloca + +int %main() { + %mem_tmp.0 = alloca int ; <int*> [#uses=3] + %mem_tmp.1 = alloca int ; <int*> [#uses=3] + store int 0, int* %mem_tmp.0 + store int 1, int* %mem_tmp.1 + %tmp.1.i = load int* %mem_tmp.1 ; <int> [#uses=1] + %tmp.3.i = load int* %mem_tmp.0 ; <int> [#uses=1] + %tmp.4.i = setle int %tmp.1.i, %tmp.3.i ; <bool> [#uses=1] + %mem_tmp.i.0 = select bool %tmp.4.i, int* %mem_tmp.1, int* %mem_tmp.0 ; <int*> [#uses=1] + %tmp.3 = load int* %mem_tmp.i.0 ; <int> [#uses=1] + ret int %tmp.3 +} + |
