From 75c84130c1a799b63b393b1de41281c3a92e5c86 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. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@197713 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Transforms/InstCombine/InstCombineCompares.cpp | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/lib/Transforms/InstCombine/InstCombineCompares.cpp b/lib/Transforms/InstCombine/InstCombineCompares.cpp index eb2cc918ce7..b6cdf640b00 100644 --- a/lib/Transforms/InstCombine/InstCombineCompares.cpp +++ b/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 { -- 2.34.1