From e37d52095e7a00183df6c51cbcdf99692edbb312 Mon Sep 17 00:00:00 2001 From: Kay Tiong Khoo Date: Thu, 19 Dec 2013 18:35:54 +0000 Subject: [PATCH] Stay classy (and legal) LLVM. Remove links to 3rd party SMT solver whose links may not be permanent. llvm-svn: 197713 --- llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp b/llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp index eb2cc918ce77..b6cdf640b009 100644 --- a/llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp +++ b/llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp @@ -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 {