diff options
Diffstat (limited to 'test/Transforms/LCSSA/basictest.ll')
| -rw-r--r-- | test/Transforms/LCSSA/basictest.ll | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/test/Transforms/LCSSA/basictest.ll b/test/Transforms/LCSSA/basictest.ll new file mode 100644 index 0000000..23ab2c0 --- /dev/null +++ b/test/Transforms/LCSSA/basictest.ll @@ -0,0 +1,24 @@ +; RUN: opt < %s -lcssa -S | \ +; RUN: grep {X3.lcssa = phi i32} +; RUN: opt < %s -lcssa -S | \ +; RUN: grep {X4 = add i32 3, %X3.lcssa} + +define void @lcssa(i1 %S2) { +entry: + br label %loop.interior +loop.interior: ; preds = %post.if, %entry + br i1 %S2, label %if.true, label %if.false +if.true: ; preds = %loop.interior + %X1 = add i32 0, 0 ; <i32> [#uses=1] + br label %post.if +if.false: ; preds = %loop.interior + %X2 = add i32 0, 1 ; <i32> [#uses=1] + br label %post.if +post.if: ; preds = %if.false, %if.true + %X3 = phi i32 [ %X1, %if.true ], [ %X2, %if.false ] ; <i32> [#uses=1] + br i1 %S2, label %loop.exit, label %loop.interior +loop.exit: ; preds = %post.if + %X4 = add i32 3, %X3 ; <i32> [#uses=0] + ret void +} + |