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

[Kay Tiong Khoo]

Author: kkhoo
Date: Thu Dec 19 12:35:54 2013
New Revision: 197713

URL: http://llvm.org/viewvc/llvm-project?rev=197713&view=rev
Log:
Stay classy (and legal) LLVM. Remove links to 3rd party SMT solver whose links may not be permanent.

Modified:
    llvm/trunk/lib/Transforms/InstCombine/InstCombineCompares.cpp

Modified: llvm/trunk/lib/Transforms/InstCombine/InstCombineCompares.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/InstCombine/InstCombineCompares.cpp?rev=197713&r1=197712&r2=197713&view=diff
==============================================================================
--- llvm/trunk/lib/Transforms/InstCombine/InstCombineCompares.cpp (original)
+++ llvm/trunk/lib/Transforms/InstCombine/InstCombineCompares.cpp Thu Dec 19 12:35:54 2013
@@ -1210,8 +1210,7 @@ Instruction *InstCombiner::visitICmpInst
           // 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::visitICmpInst
           // 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 {