Quentin Colombet 83197eea3a Fix a bug in IfConverter with nested predicates. ...

Prior to this patch, IfConverter may widen the cases where a sequence of
instructions were executed because of the way it uses nested predicates. This
result in incorrect execution.

For instance, Let A be a basic block that flows conditionally into B and B be a
predicated block.
B can be predicated with A.BrToBPredicate into A iff B.Predicate is less
"permissive" than A.BrToBPredicate, i.e., iff A.BrToBPredicate subsumes
B.Predicate.

The IfConverter was checking the opposite: B.Predicate subsumes
A.BrToBPredicate.

<rdar://problem/14379453>

llvm-svn: 187071

2013-07-24 20:20:37 +00:00

..

Analysis

Add newlines at end of test files, no functionality change

2013-07-13 22:00:58 +00:00

Assembler

Add -disable-debug-info-verifier to a RUN line.

2013-07-24 14:56:31 +00:00

Bindings/Ocaml

Fix %t typo in Ocaml bindings test.

2013-07-10 18:55:06 +00:00

Bitcode

Add some uncovered attribute tests

2013-07-17 22:13:44 +00:00

BugPoint

…

CodeGen

Fix a bug in IfConverter with nested predicates.

2013-07-24 20:20:37 +00:00

DebugInfo

Update testing cases to pass debug info verifier.

2013-07-24 18:56:43 +00:00

ExecutionEngine

[mips] Remove XFAIL from test-ptr-reloc-remote.ll

2013-07-24 17:14:05 +00:00

Feature

Add a new function attribute 'cold' to functions.

2013-05-24 12:26:52 +00:00

FileCheck

Add new directive called CHECK-LABEL to FileCheck.

2013-07-12 14:51:05 +00:00

Instrumentation

[msan] Unpoison stack allocations and undef values in blacklisted functions.

2013-07-03 14:39:14 +00:00

Integer

Rewrite test/Integer tests to use FileCheck instead of grep

2013-04-08 20:18:15 +00:00

JitListener

…

Linker

Debug Info: improve the Finder.

2013-07-23 23:10:00 +00:00

MC

Add not so that these tests pass with pipefail enabled.

2013-07-23 13:18:20 +00:00

Object

Add an initial implementation of archive symbol table generation.

2013-07-23 10:47:01 +00:00

Other

Windows/Path.inc: Introduce file_type::character_file and file_type::fifo_file in sys::fs::getStatus(HANDLE).

2013-07-18 17:00:54 +00:00

TableGen

Allow TableGen DAG arguments to be just a name.

2013-03-24 19:36:51 +00:00

tools

Retry submitting r186623: COFFDumper: Dump data directory entries.

2013-07-19 23:23:29 +00:00

Transforms

add -disable-debug-info-verifier to 3 test to fix tests with pipefail.

2013-07-24 18:44:10 +00:00

Unit

Propagate path to ASan/MSan symbolizer into test environment to produce useful reports on errors.

2013-04-04 07:41:00 +00:00

Verifier

Fix typo in test.

2013-07-22 21:10:42 +00:00

YAMLParser

…

CMakeLists.txt

llvm/test/CMakeLists.txt: Add llvm-cov in "check-clang".

2013-07-08 08:44:36 +00:00

lit.cfg

Add the ability to use guarded malloc when running llvm lit tests.

2013-07-11 23:36:57 +00:00

lit.site.cfg.in

Allow host triple to be correctly overridden in CMake builds

2013-05-04 07:36:23 +00:00

Makefile

add polly to check-all

2013-05-20 18:49:15 +00:00

Makefile.tests

Remove obsolete object file dumpers

2013-04-12 04:07:13 +00:00

TestRunner.sh

…