diff options
| author | Nick Lewycky <nicholas@mxc.ca> | 2007-01-12 01:23:53 +0000 |
|---|---|---|
| committer | Nick Lewycky <nicholas@mxc.ca> | 2007-01-12 01:23:53 +0000 |
| commit | 28c5b1544a26adb1008ba445ec62ab69c3db09db (patch) | |
| tree | 12fe461ee58699906b446e5684676ec65949737f /lib/Transforms/Scalar/PredicateSimplifier.cpp | |
| parent | c2a7d097f940f5265a8a56f98103030984dfa769 (diff) | |
| download | llvm-28c5b1544a26adb1008ba445ec62ab69c3db09db.tar.gz llvm-28c5b1544a26adb1008ba445ec62ab69c3db09db.tar.bz2 llvm-28c5b1544a26adb1008ba445ec62ab69c3db09db.tar.xz | |
If we know that it's a constant being casted, propagate through the cast
instruction. Doesn't work the other way though (can't recover bits that
have been truncated).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@33104 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Transforms/Scalar/PredicateSimplifier.cpp')
| -rw-r--r-- | lib/Transforms/Scalar/PredicateSimplifier.cpp | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/lib/Transforms/Scalar/PredicateSimplifier.cpp b/lib/Transforms/Scalar/PredicateSimplifier.cpp index 8defb871b7..33dee09098 100644 --- a/lib/Transforms/Scalar/PredicateSimplifier.cpp +++ b/lib/Transforms/Scalar/PredicateSimplifier.cpp @@ -1285,8 +1285,17 @@ namespace { IG.canonicalize(SI->getFalseValue(), Top)) { add(SI, SI->getTrueValue(), ICmpInst::ICMP_EQ, NewContext); } + } else if (CastInst *CI = dyn_cast<CastInst>(I)) { + if (CI->getDestTy()->isFPOrFPVector()) return; + + if (Constant *C = dyn_cast<Constant>( + IG.canonicalize(CI->getOperand(0), Top))) { + add(CI, ConstantExpr::getCast(CI->getOpcode(), C, CI->getDestTy()), + ICmpInst::ICMP_EQ, NewContext); + } + + // TODO: "%a = cast ... %b" where %b is NE/LT/GT a constant. } - // TODO: CastInst "%a = cast ... %b" where %b is EQ or NE a constant. } /// solve - process the work queue |