Sanjoy Das 9a8a687508 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

llvm-svn: 228586

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

Check bit widths before trying to get a type.

2015-01-30 18:13:50 +00:00

BugPoint

IR: Move MDLocation into place

2015-01-14 22:27:36 +00:00

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

[Orc] Make OrcMCJITReplacement::addObject calls transfer buffer ownership to the

2015-02-02 19:51:18 +00:00

Feature

IR: Move MDLocation into place

2015-01-14 22:27:36 +00:00

FileCheck

…

Instrumentation

[msan] Fix "missing origin" in atomic store.

2015-02-06 21:47:39 +00:00

Integer

…

JitListener

IR: Move MDLocation into place

2015-01-14 22:27:36 +00:00

Linker

Utils: Resolve cycles under distinct MDNodes

2015-02-04 19:44:34 +00:00

LTO

Introduce llvm/test/LTO/X86. LTO tests may be assumed as target-specific.

2015-01-30 10:09:26 +00:00

MC

This change implements the following three logical vector operations:

2015-02-09 17:03:18 +00:00

Object

[ELFYAML] Provide default value 0 for YAML relocation addendum field

2015-01-29 06:56:24 +00:00

Other

[PM] Teach the module-to-function adaptor to not run function passes

2015-02-01 10:47:25 +00:00

SymbolRewriter

SymbolRewriter: allow rewriting with comdats

2015-01-27 22:57:39 +00:00

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

Fix statepoint verifier tests to actually test verifier.

2015-01-30 23:18:42 +00:00

YAMLParser

…

.clang-format

…

CMakeLists.txt

Revert r224149, llvm-dsymutil was already here.

2014-12-12 21:25:07 +00:00

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

Reverting r226937: lit: Make MCJIT's supported arch check case insensitive

2015-01-24 01:42:44 +00:00

Makefile

[lit] Make config.llvm_lib_dir available on cmake, too.

2014-12-30 03:24:11 +00:00

Makefile.tests

…

TestRunner.sh

…