Dan Gohman 0f4b285a5b Replace the original ad-hoc code for determining whether (v pred w) implies ... (x pred y) with more thorough code that does more complete canonicalization before resorting to range checks. This helps it find more cases where the canonicalized expressions match. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@76671 91177308-0d34-0410-b5e6-96231b3b80d8		2009-07-21 23:03:19 +00:00
..
Analysis	Replace the original ad-hoc code for determining whether (v pred w) implies	2009-07-21 23:03:19 +00:00
Archive
Assembler	Assembly and Bitcode support for unsigned/signed overflow flags and	2009-07-20 21:19:07 +00:00
Bindings/Ocaml
Bitcode
BugPoint
CodeGen	Remove a big test case.	2009-07-21 22:52:04 +00:00
DebugInfo
ExecutionEngine
Feature
FrontendAda
FrontendC	Testcase for PR4214.	2009-07-17 11:44:20 +00:00
FrontendC++	Re-apply 75490, 75806 and 76177 with fixes and tests. Efficiency comes	2009-07-20 22:02:59 +00:00
FrontendFortran
FrontendObjC	This test should be run with -m32.	2009-07-19 22:44:03 +00:00
FrontendObjC++
Integer
lib
Linker
LLVMC
MC/AsmParser	Removed the DumpSymbolsandMacros and LoadSymbolsandMacros MCStreamer API as	2009-07-20 20:25:37 +00:00
Other
Scripts
TableGen
Transforms	Add a testcase for PR2831.	2009-07-21 01:02:18 +00:00
Verifier
Makefile	Fix ocaml tests for 64-bit MacOS systems. LLVM is currently built	2009-07-21 21:56:46 +00:00
Makefile.tests
TestRunner.sh