diff options
author | Dan Gohman <gohman@apple.com> | 2009-02-18 17:22:41 +0000 |
---|---|---|
committer | Dan Gohman <gohman@apple.com> | 2009-02-18 17:22:41 +0000 |
commit | f5a309e989b8d2199cb542793e9edf48395d9fed (patch) | |
tree | c52543300d485f04baebd2bc1ee8f1fb7721a411 /test/Transforms/IndVarSimplify/preserve-signed-wrap.ll | |
parent | cad24c9abc834db5cf8f92019f99370507d8d07a (diff) | |
download | external_llvm-f5a309e989b8d2199cb542793e9edf48395d9fed.zip external_llvm-f5a309e989b8d2199cb542793e9edf48395d9fed.tar.gz external_llvm-f5a309e989b8d2199cb542793e9edf48395d9fed.tar.bz2 |
Use a sign-extend instead of a zero-extend when promoting a
trip count value when the original loop iteration condition is
signed and the canonical induction variable won't undergo signed
overflow. This isn't required for correctness; it just preserves
more information about original loop iteration values.
Add a getTruncateOrSignExtend method to ScalarEvolution,
following getTruncateOrZeroExtend.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64918 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/IndVarSimplify/preserve-signed-wrap.ll')
-rw-r--r-- | test/Transforms/IndVarSimplify/preserve-signed-wrap.ll | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/Transforms/IndVarSimplify/preserve-signed-wrap.ll b/test/Transforms/IndVarSimplify/preserve-signed-wrap.ll index 0a91ec8..930721a 100644 --- a/test/Transforms/IndVarSimplify/preserve-signed-wrap.ll +++ b/test/Transforms/IndVarSimplify/preserve-signed-wrap.ll @@ -1,5 +1,6 @@ ; RUN: llvm-as < %s | opt -indvars | llvm-dis > %t -; RUN: grep sext %t | count 1 +; RUN: grep sext %t | count 2 +; RUN: grep { = sext i32 %n to i64} %t ; RUN: grep phi %t | count 1 ; RUN: grep {phi i64} %t |