diff options
Diffstat (limited to 'llvm/test/Transforms/ScalarRepl/phinodepromote.ll')
| -rw-r--r-- | llvm/test/Transforms/ScalarRepl/phinodepromote.ll | 37 |
1 files changed, 17 insertions, 20 deletions
diff --git a/llvm/test/Transforms/ScalarRepl/phinodepromote.ll b/llvm/test/Transforms/ScalarRepl/phinodepromote.ll index 4dc70233e07..4eb8743bd1c 100644 --- a/llvm/test/Transforms/ScalarRepl/phinodepromote.ll +++ b/llvm/test/Transforms/ScalarRepl/phinodepromote.ll @@ -1,8 +1,8 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -simplifycfg -instcombine -mem2reg | llvm-dis | not grep alloca +; RUN: llvm-as < %s | opt -simplifycfg -instcombine -mem2reg | llvm-dis | not grep alloca ; ; This tests to see if mem2reg can promote alloca instructions whose addresses ; are used by PHI nodes that are immediately loaded. The LLVM C++ front-end -; often generates code that looks like this (when it codegen's ?: exprs as +; often generates code that looks like this (when it codegen's ?: exprs as ; lvalues), so handling this simple extension is quite useful. ; ; This testcase is what the following program looks like when it reaches @@ -15,23 +15,20 @@ ; This test checks to make sure the combination of instcombine and mem2reg ; perform the transformation. -int %main() { +define i32 @main() { entry: - %mem_tmp.0 = alloca int - %mem_tmp.1 = alloca int - store int 0, int* %mem_tmp.0 - store int 1, int* %mem_tmp.1 - %tmp.1.i = load int* %mem_tmp.1 - %tmp.3.i = load int* %mem_tmp.0 - %tmp.4.i = setle int %tmp.1.i, %tmp.3.i - br bool %tmp.4.i, label %cond_true.i, label %cond_continue.i - -cond_true.i: - br label %cond_continue.i - -cond_continue.i: - %mem_tmp.i.0 = phi int* [ %mem_tmp.1, %cond_true.i ], [ %mem_tmp.0, %entry ] - %tmp.3 = load int* %mem_tmp.i.0 - ret int %tmp.3 + %mem_tmp.0 = alloca i32 ; <i32*> [#uses=3] + %mem_tmp.1 = alloca i32 ; <i32*> [#uses=3] + store i32 0, i32* %mem_tmp.0 + store i32 1, i32* %mem_tmp.1 + %tmp.1.i = load i32* %mem_tmp.1 ; <i32> [#uses=1] + %tmp.3.i = load i32* %mem_tmp.0 ; <i32> [#uses=1] + %tmp.4.i = icmp sle i32 %tmp.1.i, %tmp.3.i ; <i1> [#uses=1] + br i1 %tmp.4.i, label %cond_true.i, label %cond_continue.i +cond_true.i: ; preds = %entry + br label %cond_continue.i +cond_continue.i: ; preds = %cond_true.i, %entry + %mem_tmp.i.0 = phi i32* [ %mem_tmp.1, %cond_true.i ], [ %mem_tmp.0, %entry ] ; <i32*> [#uses=1] + %tmp.3 = load i32* %mem_tmp.i.0 ; <i32> [#uses=1] + ret i32 %tmp.3 } - |
