diff options
author | Devang Patel <dpatel@apple.com> | 2007-10-01 18:12:58 +0000 |
---|---|---|
committer | Devang Patel <dpatel@apple.com> | 2007-10-01 18:12:58 +0000 |
commit | bc2265abe1d1b830995bb2f6322409bc7d7c5740 (patch) | |
tree | 5faecbad434a086529a7155f246832e73b824993 /test/Transforms/LICM | |
parent | fef922a4d5c64256394ffb83e40349570b770076 (diff) | |
download | external_llvm-bc2265abe1d1b830995bb2f6322409bc7d7c5740.zip external_llvm-bc2265abe1d1b830995bb2f6322409bc7d7c5740.tar.gz external_llvm-bc2265abe1d1b830995bb2f6322409bc7d7c5740.tar.bz2 |
Relax unsafe use check. If there is one unconditional use inside the loop then it is safe to promote value even if there is another conditional use inside the loop.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42493 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/LICM')
-rw-r--r-- | test/Transforms/LICM/2007-10-01-PromoteSafeValue.ll | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/test/Transforms/LICM/2007-10-01-PromoteSafeValue.ll b/test/Transforms/LICM/2007-10-01-PromoteSafeValue.ll new file mode 100644 index 0000000..7359cc0 --- /dev/null +++ b/test/Transforms/LICM/2007-10-01-PromoteSafeValue.ll @@ -0,0 +1,21 @@ +; RUN: llvm-as < %s | opt -licm | llvm-dis | grep promoted +; Promote value if at least one use is safe + + +define i32 @f2(i32* %p, i8* %q) { +entry: + br label %loop.head + +loop.head: ; preds = %cond.true, %entry + store i32 20, i32* %p + %tmp3.i = icmp eq i8* null, %q ; <i1> [#uses=1] + br i1 %tmp3.i, label %exit, label %cond.true + +cond.true: ; preds = %loop.head + store i32 40, i32* %p + br label %loop.head + +exit: ; preds = %loop.head + ret i32 0 +} + |