Tobias Grosser 48469b566a InstCombine: Match min/max hidden by sext/zext ...

X = sext x; x >s c ? X : C+1 --> X = sext x; X <s C+1 ? C+1 : X
X = sext x; x <s c ? X : C-1 --> X = sext x; X >s C-1 ? C-1 : X
X = zext x; x >u c ? X : C+1 --> X = zext x; X <u C+1 ? C+1 : X
X = zext x; x <u c ? X : C-1 --> X = zext x; X >u C-1 ? C-1 : X
X = sext x; x >u c ? X : C+1 --> X = sext x; X <u C+1 ? C+1 : X
X = sext x; x <u c ? X : C-1 --> X = sext x; X >u C-1 ? C-1 : X

Instead of calculating this with mixed types promote all to the
larger type. This enables scalar evolution to analyze this
expression. PR8866

llvm-svn: 123034

2011-01-07 21:33:14 +00:00

..

Analysis

fix rdar://8813415 - a miscompilation of 164.gzip that loop-idiom

2011-01-03 21:03:33 +00:00

Archive

Revert test/Archive/check_binary_output.ll". It fails on a buildbot.

2010-12-07 05:57:02 +00:00

Assembler

Fix PR 4170 by having ExtractValueInst::getIndexedType() reject out-of-bounds indexing.

2010-12-05 20:50:26 +00:00

Bindings/Ocaml

XFAIL vg_leak the new test as the rest.

2010-12-23 21:22:09 +00:00

Bitcode

…

BugPoint

test: Check the feature 'loadable_module' with load modules in %llvmshlibdir.

2010-11-29 07:58:32 +00:00

CodeGen

Appropriately truncate debug info range in dwarf output.

2011-01-07 21:30:41 +00:00

DebugInfo

Hide tests, that check .loc, .file in output assembly, from darwin9 buildbot.

2010-12-02 23:29:58 +00:00

ExecutionEngine

XFAIL for now. If someone with access to an ARM/Linux host wants to have a look

2010-12-02 20:20:32 +00:00

Feature

test: Check the feature 'loadable_module' with load modules in %llvmshlibdir.

2010-11-29 07:58:32 +00:00

FrontendAda

Adjust this test for the fact that the stores are no longer

2010-12-02 20:56:51 +00:00

FrontendC

Test case for r120740. Radar 8712503.

2010-12-02 21:25:55 +00:00

FrontendC++

This test dates from the time when llvm-gcc had problems if two types were

2010-12-02 18:19:23 +00:00

FrontendFortran

Use -S rather than -c for the benefit of dragonegg.

2010-11-25 21:41:35 +00:00

FrontendObjC

Remove explicit uses of -emit-llvm, the test infrastructure adds it

2010-11-25 21:46:07 +00:00

FrontendObjC++

Remove explicit uses of -emit-llvm, the test infrastructure adds it

2010-11-25 21:48:20 +00:00

Integer

…

lib

Use LLVMCC_EMITIR_FLAG rather than hard-coding "-emit-llvm".

2010-11-25 21:19:52 +00:00

Linker

…

LLVMC

…

MC

Correctly disassemble truncated asm.

2011-01-06 16:48:42 +00:00

Other

test/Other/close-stderr.ll: Require the feature 'shell'. It is not executable on Win32 but it is executable on MSYS-bash.

2010-12-07 02:43:58 +00:00

Scripts

Print all 64bits for st_value and st_size. Adjust tests accordingly.

2010-12-20 20:49:43 +00:00

TableGen

Rename lisp-like functions as suggested by Gabor Greif as loooong time

2011-01-07 17:05:37 +00:00

Transforms

InstCombine: Match min/max hidden by sext/zext

2011-01-07 21:33:14 +00:00

Unit

Test: Fix Support.Path and _all_ of the unittest death tests. GetTempPath defaults to \Windows\.

2010-12-07 01:23:49 +00:00

Verifier

…

CMakeLists.txt

macho-dump: Fix CMake build, following up to r121466.

2010-12-10 09:18:26 +00:00

lit.cfg

Fix lit for people whose LLVM path contains 'opt', which is a common directory name on Unix-like systems.

2011-01-05 15:10:24 +00:00

lit.site.cfg.in

test: Add the new feature 'loadable_module'.

2010-11-29 00:20:09 +00:00

Makefile

test: Use $SharedLibDir for loadable modules. On Cygming, loadable modules are not in lib/ but bin.

2010-11-29 00:20:21 +00:00

Makefile.tests

…

site.exp.in

test: Use $SharedLibDir for loadable modules. On Cygming, loadable modules are not in lib/ but bin.

2010-11-29 00:20:21 +00:00

TestRunner.sh

…