Benjamin Kramer ff18310274 Add a basic verifier for SCEV's backedge taken counts. ... Enabled with -verify-scev. This could be extended significantly but hopefully catches the common cases now. Note that it's not enabled by default in any configuration because the way it tries to distinguish SCEVs is still fragile and may produce false positives. Also the test-suite isn't clean yet, one example is that it fails if a pass drops an NSW bit but it's still present in SCEV's cached. Cleaning up all those cases will take some time. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@166786 91177308-0d34-0410-b5e6-96231b3b80d8		2012-10-26 17:31:32 +00:00
..
llvm	Add a basic verifier for SCEV's backedge taken counts.	2012-10-26 17:31:32 +00:00
llvm-c	Add support for annotated disassembly output for X86 and arm.	2012-10-22 22:31:46 +00:00