Serguei Katkov d58a989008 [SCEV] Do not cache S -> V if S is not equivalent of V ...

SCEV tracks the correspondence of created SCEV to original instruction.
However during creation of SCEV it is possible that nuw/nsw/exact flags are
lost.

As a result during expansion of the SCEV the instruction with nuw/nsw/exact
will be used where it was expected and we produce poison incorreclty.

Reviewers: sanjoy, mkazantsev, sebpop, jbhateja
Reviewed By: sanjoy
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D41578

llvm-svn: 322058

2018-01-09 06:47:14 +00:00

..

ADCE

[ADCE][Dominators] Reapply: Teach ADCE to preserve dominators

2017-08-22 16:30:21 +00:00

AddDiscriminators

…

AlignmentFromAssumptions

…

ArgumentPromotion

[Debugify] Handled unsized types

2018-01-06 00:37:01 +00:00

AtomicExpand

…

BDCE

[BDCE] Don't check demanded bits on unsized types

2017-08-16 16:09:22 +00:00

BranchFolding

…

CalledValuePropagation

Add CalledValuePropagation pass

2017-10-25 13:40:08 +00:00

CallSiteSplitting

[CallSiteSplitting] Remove isOrHeader restriction.

2017-12-23 20:02:26 +00:00

CodeExtractor

[CodeExtractor] Use subset of function attributes for extracted function.

2018-01-07 11:22:25 +00:00

CodeGenPrepare

[CGP] Fix Complex addressing mode for offset

2018-01-09 04:37:06 +00:00

ConstantHoisting

Fix out-of-order stepping behavior in programs with hoisted constants.

2017-11-09 20:01:31 +00:00

ConstantMerge

Canonicalize the representation of empty an expression in DIGlobalVariableExpression

2017-08-30 18:06:51 +00:00

ConstProp

[TargetLibraryInfo] fix finite mathlib function availability

2018-01-08 17:38:09 +00:00

Coroutines

[coroutines] Add support for symmetric control transfer (musttail on coro.resumes followed by a suspend)

2017-08-25 02:25:10 +00:00

CorrelatedValuePropagation

[CVP] Replace incoming values from unreachable blocks with undef.

2018-01-08 16:34:06 +00:00

CrossDSOCFI

[cfi] Build __cfi_check as Thumb when applicable.

2017-08-29 22:29:15 +00:00

DCE

Add an @llvm.sideeffect intrinsic

2017-11-08 21:59:51 +00:00

DeadArgElim

Remove the obsolete offset parameter from @llvm.dbg.value

2017-07-28 20:21:02 +00:00

DeadStoreElimination

Add an @llvm.sideeffect intrinsic

2017-11-08 21:59:51 +00:00

DivRemPairs

[DivRemPairs] split tests per target to account for bots that don't build for all targets

2017-09-09 14:10:59 +00:00

EarlyCSE

[EarlyCSE] recognize swapped variants of abs/nabs as equivalent

2017-12-13 22:57:35 +00:00

EliminateAvailableExternally

…

EntryExitInstrumenter

EntryExitInstrumenter: set DebugLocs on the inserted call instructions (PR35412)

2017-11-28 18:44:26 +00:00

ExpandMemCmp/X86

[x86, MemCmpExpansion] allow 2 pairs of loads per block (PR33325)

2018-01-06 16:16:04 +00:00

Float2Int

…

ForcedFunctionAttrs

…

FunctionAttrs

Add an @llvm.sideeffect intrinsic

2017-11-08 21:59:51 +00:00

FunctionImport

[LTO] Make processing of combined module more consistent

2017-12-16 02:10:00 +00:00

GCOVProfiling

Canonicalize the representation of empty an expression in DIGlobalVariableExpression

2017-08-30 18:06:51 +00:00

GlobalDCE

…

GlobalMerge

Canonicalize the representation of empty an expression in DIGlobalVariableExpression

2017-08-30 18:06:51 +00:00

GlobalOpt

Add an @llvm.sideeffect intrinsic

2017-11-08 21:59:51 +00:00

GlobalSplit

…

GuardWidening

…

GVN

[PRE] Add a bunch of test cases for LICM-like PRE patterns

2018-01-03 22:28:26 +00:00

GVNHoist

[GVNHoist] Fix: PR35222 gvn-hoist incorrectly erases load in case of a loop

2018-01-04 07:47:24 +00:00

GVNSink

Add an @llvm.sideeffect intrinsic

2017-11-08 21:59:51 +00:00

IndVarSimplify

[SCEV] Fix the movement of insertion point in expander. PR35406.

2017-12-15 05:24:42 +00:00

InferAddressSpaces

InferAddressSpaces: Fix bug about replacing addrspacecast

2017-10-30 21:19:41 +00:00

InferFunctionAttrs

Add argmononly attribute to strlen and wcslen, i.e. they only read memory (string) passed to them.

2017-06-18 03:10:26 +00:00

Inline

[InlineFunction] Preserve calling convention when forwarding VarArgs.

2018-01-06 20:56:27 +00:00

InstCombine

[ValueTracking] remove overzealous assert

2018-01-08 18:31:13 +00:00

InstMerge

…

InstNamer

…

InstSimplify

[InstSimplify] Missed optimization in math expression: squashing exp(log), log(exp)

2018-01-03 14:37:42 +00:00

InterleavedAccess

[X86][LLVM]Expanding Supports lowerInterleaved{store|load}() in X86InterleavedAccess (VF64 stride 3-4)

2017-10-02 07:35:25 +00:00

Internalize

…

IPConstantProp

…

IRCE

[IRCE] Smart range intersection

2017-11-20 06:07:57 +00:00

JumpThreading

Revert "[JumpThreading] Preservation of DT and LVI across the pass"

2018-01-04 23:23:46 +00:00

LCSSA

…

LICM

Re-commit : [LICM] Allow sinking when foldable in loop

2017-12-15 20:33:24 +00:00

LoadStoreVectorizer

Add an @llvm.sideeffect intrinsic

2017-11-08 21:59:51 +00:00

LoopDataPrefetch

…

LoopDeletion

[Dominators] Teach LoopDeletion to use the new incremental API

2017-08-02 18:17:52 +00:00

LoopDistribute

…

LoopIdiom

Add an @llvm.sideeffect intrinsic

2017-11-08 21:59:51 +00:00

LoopInterchange

[LoopInterchange] Fix phi node ordering miscompile.

2017-10-21 13:58:37 +00:00

LoopLoadElim

…

LoopPredication

[Loop Predication] Teach LP about reverse loops

2017-12-04 15:11:48 +00:00

LoopReroll

Remove the obsolete offset parameter from @llvm.dbg.value

2017-07-28 20:21:02 +00:00

LoopRotate

[PM] pass -debug-pass-manager flag into FunctionToLoopPassAdaptor's canonicalization PM

2017-12-29 08:16:06 +00:00

LoopSimplify

[BasicBlockUtils] Check for unreachable preds before updating LI in UpdateAnalysisInformation

2018-01-02 16:25:50 +00:00

LoopSimplifyCFG

…

LoopStrengthReduce

[SCEV] Do not cache S -> V if S is not equivalent of V

2018-01-09 06:47:14 +00:00

LoopUnroll

[Unroll][DebugInfo] Propagate loop body's debug location to epilog preheader

2017-12-26 23:31:21 +00:00

LoopUnswitch

[LoopUnswitch] Fix a simple bug which disables loop unswitch for select statement

2017-08-29 21:45:11 +00:00

LoopVectorize

[LV] Remove unnecessary DoExtraAnalysis guard (silent bug)

2017-12-20 13:28:38 +00:00

LoopVersioning

…

LoopVersioningLICM

…

LowerAtomic

LowerAtomic: Don't skip optnone functions; atomic still need lowering (PR34020)

2017-08-23 15:43:28 +00:00

LowerExpectIntrinsic

Fix builin_expect lowering bug

2017-06-07 18:32:24 +00:00

LowerGuardIntrinsic

…

LowerInvoke

…

LowerSwitch

…

LowerTypeTests

Current implementation of Value::replaceUsesExceptBlockAddr() uses UseList

2017-11-17 00:30:24 +00:00

Mem2Reg

[Debugify] Add a pass to test debug info preservation

2017-12-08 21:57:28 +00:00

MemCpyOpt

Revert "[memcpyopt] Teach memcpyopt to optimize across basic blocks"

2017-12-28 05:10:33 +00:00

MergeFunc

[TailRecursionElimination] Skip debug intrinsics.

2017-11-28 09:32:25 +00:00

MergeICmps

Re-land "[MergeICmps] Disable mergeicmps if the target does not want to handle memcmp expansion."

2017-10-10 08:00:45 +00:00

MetaRenamer

[MetaRenamer] Leave @main alone.

2017-08-01 05:14:45 +00:00

NameAnonGlobals

…

NaryReassociate

…

NewGVN

[Analysis] Generate more precise TBAA tags when one access encloses the other

2017-12-18 20:05:20 +00:00

ObjCARC

ObjCARC: do not increment past the end of the BB

2017-10-24 00:09:10 +00:00

PartiallyInlineLibCalls

[PartiallyInlineLibCalls][x86] add TTI hook to allow sqrt inlining to depend on arg rather than result

2017-11-27 21:15:43 +00:00

PGOProfile

[ICP] Expose unconditional call promotion interface

2017-12-20 19:26:37 +00:00

PhaseOrdering

[SimplifyCFG] don't sink common insts too soon (PR34603)

2017-12-14 22:05:20 +00:00

PlaceSafepoints

All libcalls should be considered to be GC-leaf functions.

2017-07-27 16:49:39 +00:00

PreISelIntrinsicLowering

…

PruneEH

…

Reassociate

Reassociate: add global reassociation algorithm

2017-12-12 19:18:02 +00:00

Reg2Mem

…

RewriteStatepointsForGC

[RewriteStatepoints] Fix incorrect assertion

2017-12-28 12:03:12 +00:00

SafeStack

Parse and print DIExpressions inline to ease IR and MIR testing

2017-08-23 20:31:27 +00:00

SampleProfile

[PGO] Fix handling of cold entry count for instrumented PGO

2017-12-18 20:02:43 +00:00

Scalarizer

Remove the obsolete offset parameter from @llvm.dbg.value

2017-07-28 20:21:02 +00:00

SCCP

[SCCP] Pick the right lattice value for constants.

2017-11-22 03:04:55 +00:00

SeparateConstOffsetFromGEP

…

SimpleLoopUnswitch

[PM/Unswitch] Teach SimpleLoopUnswitch to do non-trivial unswitching,

2017-11-17 19:58:36 +00:00

SimplifyCFG

[SimplifyCFG] Stop hoisting musttail calls incorrectly.

2017-12-31 16:47:16 +00:00

Sink

Enhance synchscope representation

2017-07-11 22:23:00 +00:00

SLPVectorizer

[SLP] Fix PR35777: Incorrect handling of aggregate values.

2018-01-08 14:43:06 +00:00

SpeculateAroundPHIs

Add a new pass to speculate around PHI nodes with constant (integer) operands when profitable.

2017-11-28 11:32:31 +00:00

SpeculativeExecution

…

SROA

[SROA] Disable non-whole-alloca splits by default

2017-12-18 06:47:37 +00:00

StraightLineStrengthReduce

…

StripDeadPrototypes

…

StripSymbols

Canonicalize the representation of empty an expression in DIGlobalVariableExpression

2017-08-30 18:06:51 +00:00

StructurizeCFG

StructurizeCFG: xfail one of the testcases from r321751

2018-01-04 17:23:24 +00:00

TailCallElim

Remove this test

2017-11-28 22:39:38 +00:00

ThinLTOBitcodeWriter

ThinLTOBitcodeWriter: Try harder to discard unused references to the merged module.

2017-11-30 23:05:52 +00:00

Util

[InstCombine] Add a flag to disable LowerDbgDeclare

2017-09-13 01:43:25 +00:00

WholeProgramDevirt

[LTO][ThinLTO] Use the linker resolutions to mark global values as dso_local.

2017-11-04 17:04:39 +00:00