Andrew Trick 10bb82e54f Rewrite SCEV's backedge taken count computation. ... Patch by Michele Scandale! Rewrite of the functions used to compute the backedge taken count of a loop on LT and GT comparisons. I decided to split the handling of LT and GT cases becasue the trick "a > b == -a < -b" in some cases prevents the trip count computation due to the multiplication by -1 on the two operands of the comparison. This issue comes from the conservative computation of value range of SCEVs: taking the negative SCEV of an expression that have a small positive range (e.g. [0,31]), we would have a SCEV with a fullset as value range. Indeed, in the new rewritten function I tried to better handle the maximum backedge taken count computation when MAX/MIN expression are used to handle the cases where no entry guard is found. Some test have been modified in order to check the new value correctly (I manually check them and reasoning on possible overflow the new values seem correct). I finally added a new test case related to the multiplication by -1 issue on GT comparisons. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@194116 91177308-0d34-0410-b5e6-96231b3b80d8		2013-11-06 02:08:26 +00:00
..
Analysis	Rewrite SCEV's backedge taken count computation.	2013-11-06 02:08:26 +00:00
Assembler	Change objectsize intrinsic to accept different address spaces.	2013-10-07 18:06:48 +00:00
Bindings	[OCaml] (PR16318) Add missing argument to Llvm.const_intcast	2013-11-05 11:56:20 +00:00
Bitcode	Change BitcodeReader to use error_code instead of bool + string.	2013-11-04 16:16:24 +00:00
BugPoint	[tests] Cleanup initialization of test suffixes.	2013-08-16 00:37:11 +00:00
CodeGen	Slightly change the way stackmap and patchpoint intrinsics are lowered.	2013-11-05 22:44:04 +00:00
DebugInfo	DebugInfo: regenerate test case from Clang to adjust for fixes/improvements	2013-11-01 22:29:28 +00:00
ExecutionEngine	[mips] XFAIL several MCJIT remote tests	2013-10-31 18:10:25 +00:00
Feature	Implement function prefix data as an IR feature.	2013-09-16 01:08:15 +00:00
FileCheck	Add FileCheck tests for @LINE	2013-10-31 18:18:09 +00:00
Instrumentation	fix PR17635: false positive with packed structures	2013-10-24 09:17:24 +00:00
Integer	[tests] Cleanup initialization of test suffixes.	2013-08-16 00:37:11 +00:00
JitListener	Debug Info Testing: updated to use NULL instead of "i32 0" in a few fields.	2013-09-06 21:03:58 +00:00
Linker	Debug Info: remove duplication of DIEs when a DIE can be shared across CUs.	2013-10-31 17:54:35 +00:00
LTO	A better fix that also works on ppc: add a target tripple.	2013-11-02 06:00:09 +00:00
MC	ARM: permit bare dmb/dsb/isb aliases on Cortex-M0	2013-11-05 21:36:02 +00:00
Object	Fix llvm-nm to mach OS X's nm on some tests.	2013-11-02 05:03:24 +00:00
Other	Provide a test input for opt	2013-11-05 13:57:34 +00:00
TableGen	Enable variable arguments support for intrinsics.	2013-10-31 17:18:11 +00:00
tools	Revert "Added basic unit test for llvm-cov."	2013-11-05 01:56:26 +00:00
Transforms	Rewrite SCEV's backedge taken count computation.	2013-11-06 02:08:26 +00:00
Unit	[tests] Update to use lit_config and lit package, as appropriate.	2013-08-09 16:22:05 +00:00
Verifier	Add Verifier test case for variable argument intrinsics.	2013-10-31 17:18:17 +00:00
YAMLParser	[Support][YAML] Add support for accessing tags and tag handle substitution.	2013-10-18 22:38:04 +00:00
CMakeLists.txt	lit: add missing substitutions for recently added tools	2013-10-28 23:37:49 +00:00
lit.cfg	lit: add missing substitutions for recently added tools	2013-10-28 23:37:49 +00:00
lit.site.cfg.in	Fix LTO handling of module-level assembly (PR14152).	2013-09-19 22:15:52 +00:00
Makefile	Fix LTO handling of module-level assembly (PR14152).	2013-09-19 22:15:52 +00:00
Makefile.tests
TestRunner.sh