diff options
| author | Owen Anderson <resistor@mac.com> | 2008-07-02 18:05:19 +0000 |
|---|---|---|
| committer | Owen Anderson <resistor@mac.com> | 2008-07-02 18:05:19 +0000 |
| commit | 77d76b7ef7fba0cf694977ef5abbdea28e600833 (patch) | |
| tree | a9bc14798801e9b2a54dd900b741c3def54df387 /test | |
| parent | 6ed2d1ecdbac0fe9c34cfc6ab5c985dc0c71a1d7 (diff) | |
| download | llvm-77d76b7ef7fba0cf694977ef5abbdea28e600833.tar.gz llvm-77d76b7ef7fba0cf694977ef5abbdea28e600833.tar.bz2 llvm-77d76b7ef7fba0cf694977ef5abbdea28e600833.tar.xz | |
Add support to ADCE for pruning unreachable blocks. This addresses the final
part of PR2509.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@53038 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/Transforms/ADCE/2008-07-02-Unreachable.ll | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/test/Transforms/ADCE/2008-07-02-Unreachable.ll b/test/Transforms/ADCE/2008-07-02-Unreachable.ll new file mode 100644 index 0000000000..60f0020cd1 --- /dev/null +++ b/test/Transforms/ADCE/2008-07-02-Unreachable.ll @@ -0,0 +1,37 @@ +; RUN: llvm-as < %s | opt -adce -simplifycfg | llvm-dis | not grep forcond +; PR2509 + +target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" +target triple = "i686-apple-darwin9.3.0" +@g_3 = external global i8 ; <i8*> [#uses=2] + +define i32 @func_1() nounwind { +entry: + br i1 false, label %ifelse, label %ifthen + +ifthen: ; preds = %entry + br label %ifend + +ifelse: ; preds = %entry + %tmp3 = load i8* @g_3 ; <i8> [#uses=0] + br label %forcond.thread + +forcond.thread: ; preds = %ifelse + br label %afterfor + +forcond: ; preds = %forinc + br i1 false, label %afterfor, label %forbody + +forbody: ; preds = %forcond + br label %forinc + +forinc: ; preds = %forbody + br label %forcond + +afterfor: ; preds = %forcond, %forcond.thread + %tmp10 = load i8* @g_3 ; <i8> [#uses=0] + br label %ifend + +ifend: ; preds = %afterfor, %ifthen + ret i32 0 +} |