Dan Gohman 190d29cb5c 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.

llvm-svn: 76671

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

…

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

…