6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-06-14 14:24:05 +00:00
Code Issues Projects Releases Wiki Activity

teach ConstantRange that zero times X is always zero

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@160317 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Nuno Lopes
2012-07-16 20:47:16 +00:00
parent 98819c9d1e
commit 7e733eab2f
2 changed files with 14 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
lib/Support/ConstantRange.cpp
View File

@ -537,6 +537,12 @@ ConstantRange::multiply(const ConstantRange &Other) const {
if (isEmptySet() || Other.isEmptySet())
return ConstantRange(getBitWidth(), /*isFullSet=*/false);
// If any of the operands is zero, then the result is also zero.
if ((getSingleElement() && *getSingleElement() == 0) ||
(Other.getSingleElement() && *Other.getSingleElement() == 0))
return ConstantRange(APInt(getBitWidth(), 0));
if (isFullSet() || Other.isFullSet())
return ConstantRange(getBitWidth(), /*isFullSet=*/true);