diff options
| -rw-r--r-- | test/Transforms/ScalarRepl/select_promote.ll | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/test/Transforms/ScalarRepl/select_promote.ll b/test/Transforms/ScalarRepl/select_promote.ll new file mode 100644 index 0000000..18b55a8 --- /dev/null +++ b/test/Transforms/ScalarRepl/select_promote.ll @@ -0,0 +1,17 @@ +; Test promotion of loads that use the result of a select instruction. + +; RUN: llvm-as < %s | opt -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 +} + |