llvm-6502/test
Sanjoy Das 2ceba77dfa Bugfix: SCEV incorrectly marks certain add recurrences as nsw
When creating a scev for sext({X,+,Y}), scev checks if the expression
is equivalent to {sext X,+,zext Y}.  If it can prove that, it also
tags the original {X,+,Y} as <nsw>, which is not correct.

In the test case I run `-scalar-evolution` twice because the bug
manifests only once SCEV has run through and seen the `sext`
expressions (and then does a in-place mutation on {X,+,Y}).

Differential Revision: http://reviews.llvm.org/D7495



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@228586 91177308-0d34-0410-b5e6-96231b3b80d8
2015-02-09 18:34:55 +00:00
..
Analysis Bugfix: SCEV incorrectly marks certain add recurrences as nsw 2015-02-09 18:34:55 +00:00
Assembler IR: Allow 32-bits for lines in debug location 2015-02-06 22:50:13 +00:00
Bindings [OCaml] Add Llvm.build_empty_phi. 2015-02-06 13:42:03 +00:00
Bitcode
BugPoint
CodeGen fixed to test features, not CPUs 2015-02-09 17:17:09 +00:00
DebugInfo MC: Emit COFF section flags in the "proper" order 2015-02-07 08:26:40 +00:00
ExecutionEngine
Feature
FileCheck
Instrumentation [msan] Fix "missing origin" in atomic store. 2015-02-06 21:47:39 +00:00
Integer
JitListener
Linker Utils: Resolve cycles under distinct MDNodes 2015-02-04 19:44:34 +00:00
LTO
MC This change implements the following three logical vector operations: 2015-02-09 17:03:18 +00:00
Object
Other
SymbolRewriter
TableGen
tools Add code to llvm-objdump so the -section option with -macho will dump literal 2015-02-06 23:25:38 +00:00
Transforms DeadArgElim: fix mismatch in accounting of array return types. 2015-02-09 01:21:00 +00:00
Unit
Verifier
YAMLParser
.clang-format
CMakeLists.txt
lit.cfg Remove a gross usage of environment variables in MachineVerifier, replacing it with support for setting the -verify-machineinstrs flag via an environment variable in LIT. 2015-02-04 00:02:59 +00:00
lit.site.cfg.in
Makefile
Makefile.tests
TestRunner.sh