RPCSX/llvm
1
0
Fork 0
mirror of https://github.com/RPCSX/llvm.git synced 2025-02-09 14:03:09 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Stay classy (and legal) LLVM. Remove links to 3rd party SMT solver whose links may not be permanent.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@197713 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Kay Tiong Khoo 2013-12-19 18:35:54 +00:00
parent f847657767
commit 75c84130c1
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
lib/Transforms/InstCombine/InstCombineCompares.cpp
View File

@ -1210,8 +1210,7 @@ Instruction *InstCombiner::visitICmpInstWithInstAndIntCst(ICmpInst &ICI,
// We can also fold a signed comparison if the mask value and
// comparison value are not negative. These constraints may not be
// obvious, but we can prove that they are correct using an SMT
// solver such as "Z3" :
// http://rise4fun.com/Z3/DyMp
// solver.
if (!ICI.isSigned() || (!AndCst->isNegative() && !RHS->isNegative()))
CanFold = true;
} else if (ShiftOpcode == Instruction::LShr) {
@ -1219,8 +1218,7 @@ Instruction *InstCombiner::visitICmpInstWithInstAndIntCst(ICmpInst &ICI,
// signed. We can also fold a signed comparison if the shifted mask
// value and the shifted comparison value are not negative.
// These constraints may not be obvious, but we can prove that they
// are correct using an SMT solver such as "Z3" :
// http://rise4fun.com/Z3/Tslfh
// are correct using an SMT solver.
if (!ICI.isSigned())
CanFold = true;
else {