6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-10-01 10:57:21 +00:00
Code Issues Projects Releases Wiki Activity
4e9d45e0aa
llvm-6502/test
History
Quentin Colombet e644b7743b 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>


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@187071 91177308-0d34-0410-b5e6-96231b3b80d8
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
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
FileCheck Add new directive called CHECK-LABEL to FileCheck. 2013-07-12 14:51:05 +00:00
Instrumentation
Integer
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
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
Verifier Fix typo in test. 2013-07-22 21:10:42 +00:00
YAMLParser
CMakeLists.txt
lit.cfg
lit.site.cfg.in
Makefile
Makefile.tests
TestRunner.sh