llvm-6502/test
Andrew Trick cd8e3c4dcf Prevent loop-unroll from making assumptions about undefined behavior.
Fixes rdar:14036816, PR16130.

There is an opportunity to compute precise trip counts for 'or'
expressions and multi-exit loops.
rdar:14038809: Optimize trip count computation for multi-exit loops.

To do this we need to record the fact that ExitLimit assumes NSW. When
it does not we can safely assume that the loop trip count is the
minimum ExitLimt across all subexpressions and loop exits.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@183060 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-31 23:34:46 +00:00
..
Analysis Unit test for SCEV fix r182989, PR16130. 2013-05-31 16:42:41 +00:00
Archive
Assembler
Bindings/Ocaml
Bitcode
BugPoint
CodeGen Temporarily Revert "X86: change MOV64ri64i32 into MOV32ri64" as it 2013-05-31 23:30:45 +00:00
DebugInfo Revert r182937 and r182877. 2013-05-30 20:37:52 +00:00
ExecutionEngine ARM: use pristine object file while processing relocations 2013-05-28 19:48:19 +00:00
Feature Add a new function attribute 'cold' to functions. 2013-05-24 12:26:52 +00:00
FileCheck
Instrumentation [msan] Handle mixed track-origins and keep-going settings (llvm part). 2013-05-31 12:04:29 +00:00
Integer
JitListener
Linker Extend RemapInstruction and friends to take an optional new parameter, a ValueMaterializer. 2013-05-28 15:17:05 +00:00
MC ARM: permit upper-case BE/LE on setend instruction 2013-05-31 15:58:45 +00:00
Object Change how we iterate over relocations on ELF. 2013-05-30 03:05:14 +00:00
Other
TableGen
tools Change how we iterate over relocations on ELF. 2013-05-30 03:05:14 +00:00
Transforms Prevent loop-unroll from making assumptions about undefined behavior. 2013-05-31 23:34:46 +00:00
Unit
Verifier
YAMLParser
CMakeLists.txt
lit.cfg
lit.site.cfg.in
Makefile add polly to check-all 2013-05-20 18:49:15 +00:00
Makefile.tests
TestRunner.sh