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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@197713 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/Transforms/InstCombine/InstCombineCompares.cpp b/lib/Transforms/InstCombine/InstCombineCompares.cpp
index eb2cc918ce77dfd9bfdbec7ba7734c7ac580452e..b6cdf640b009ecf6a9fa22e4979f8b95c04a0ea1 100644 (file)
--- 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 {