Sanjay Patel f2e93d10fe [CVP] prevent propagating poison when substituting edge values into a phi (PR43802) ...

This phi simplification transform was added with:
D45448

However as shown in PR43802:
https://bugs.llvm.org/show_bug.cgi?id=43802

...we must be careful not to propagate poison when we do the substitution.
There might be some more complicated analysis possible to retain the overflow flag,
but it should always be safe and easy to drop flags (we have similar behavior in
instcombine and other passes).

Differential Revision: https://reviews.llvm.org/D69442

2019-10-28 08:58:28 -04:00

..

ADCE.cpp

[ADCE] Fix non-deterministic behaviour due to iterating over a pointer set.

2019-07-16 15:23:10 +00:00

AlignmentFromAssumptions.cpp

[Alignment][NFC] Remove StoreInst::setAlignment(unsigned)

2019-10-03 13:17:21 +00:00

BDCE.cpp

…

CallSiteSplitting.cpp

Change TargetLibraryInfo analysis passes to always require Function

2019-09-07 03:09:36 +00:00

CMakeLists.txt

Reapply r374743 with a fix for the ocaml binding

2019-10-14 16:15:14 +00:00

ConstantHoisting.cpp

ConstantHoisting - Silence static analyzer dyn_cast<PointerType> null dereference warning. NFCI.

2019-09-22 17:45:05 +00:00

ConstantProp.cpp

Change TargetLibraryInfo analysis passes to always require Function

2019-09-07 03:09:36 +00:00

CorrelatedValuePropagation.cpp

[CVP] prevent propagating poison when substituting edge values into a phi (PR43802)

2019-10-28 08:58:28 -04:00

DCE.cpp

[LegacyPassManager] Deprecate the BasicBlockPass/Manager.

2019-09-30 20:17:23 +00:00

DeadStoreElimination.cpp

[Alignment][NFC] Convert StoreInst to MaybeAlign

2019-10-22 12:55:32 +00:00

DivRemPairs.cpp

[DivRemPairs] Don't assert that we won't ever get expanded-form rem pairs in different BB's (PR43500)

2019-09-29 15:25:24 +00:00

EarlyCSE.cpp

[EarlyCSE] Pass preserves AA.

2019-09-30 17:08:40 +00:00

FlattenCFGPass.cpp

Don't use invalidated iterators in FlattenCFGPass

2019-09-19 19:39:42 +00:00

Float2Int.cpp

[Float2Int] avoid crashing on unreachable code (PR38502)

2019-09-19 16:31:17 +00:00

GuardWidening.cpp

GuardWidening - silence static analyzer null dereference warning with assertion. NFCI.

2019-10-21 17:15:37 +00:00

GVN.cpp

[Alignment][NFC] Convert LoadInst to MaybeAlign

2019-10-22 12:35:55 +00:00

GVNHoist.cpp

GVNHoist - silence static analyzer dyn_cast<> null dereference warning in hasEHOrLoadsOnPath call. NFCI.

2019-10-21 17:15:49 +00:00

GVNSink.cpp

[GVNSink] Add unary FNeg support to GVNSink pass

2019-06-28 19:57:31 +00:00

InductiveRangeCheckElimination.cpp

Delete dead stores

2019-07-12 14:58:15 +00:00

IndVarSimplify.cpp

[SCEV] Expose and use maximum constant exit counts for individual loop exits

2019-10-24 19:07:33 -07:00

InferAddressSpaces.cpp

InferAddressSpaces: Move target intrinsic handling to TTI

2019-08-14 18:13:00 +00:00

InstSimplifyPass.cpp

Change TargetLibraryInfo analysis passes to always require Function

2019-09-07 03:09:36 +00:00

IVUsersPrinter.cpp

…

JumpThreading.cpp

[Alignment][NFC] Convert LoadInst to MaybeAlign

2019-10-22 12:35:55 +00:00

LICM.cpp

[Alignment][NFC] Finish transition for Loads

2019-10-21 15:10:26 +00:00

LLVMBuild.txt

…

LoopAccessAnalysisPrinter.cpp

…

LoopDataPrefetch.cpp

Allow prefetching from non-zero address spaces

2019-07-25 16:11:57 +00:00

LoopDeletion.cpp

[SCEV] Rename getMaxBackedgeTakenCount to getConstantMaxBackedgeTakenCount [NFC]

2019-08-14 21:58:13 +00:00

LoopDistribute.cpp

…

LoopFuse.cpp

[LoopFusion] Add ability to fuse guarded loops

2019-09-26 21:42:45 +00:00

LoopIdiomRecognize.cpp

[LoopIdiom] BCmp: check, not assert that loop exits exit out of the loop (PR43687)

2019-10-17 11:01:29 +00:00

LoopInstSimplify.cpp

Change TargetLibraryInfo analysis passes to always require Function

2019-09-07 03:09:36 +00:00

LoopInterchange.cpp

[LoopInterchange] Drop unused splitInnerLoopHeader declaration.

2019-09-11 10:32:15 +00:00

LoopLoadElimination.cpp

[Alignment][NFC] Convert LoadInst to MaybeAlign

2019-10-22 12:35:55 +00:00

LoopPassManager.cpp

…

LoopPredication.cpp

[Instruction] Add hasMetadata(Kind) helper [NFC]

2019-09-04 17:28:48 +00:00

LoopRerollPass.cpp

Change TargetLibraryInfo analysis passes to always require Function

2019-09-07 03:09:36 +00:00

LoopRotation.cpp

[LoopRotate] Unconditionally get DomTree.

2019-10-08 11:54:42 +00:00

LoopSimplifyCFG.cpp

[MemorySSA] Loop passes should mark MSSA preserved when available.

2019-08-17 01:02:12 +00:00

LoopSink.cpp

[IR] Value: add replaceUsesWithIf() utility

2019-08-01 12:32:08 +00:00

LoopStrengthReduce.cpp

recommit: [LoopVectorize][PowerPC] Estimate int and float register pressure separately in loop-vectorize

2019-10-12 02:53:04 +00:00

LoopUnrollAndJamPass.cpp

[Unroll] Do NOT unroll a loop with small runtime upperbound

2019-09-26 21:40:27 +00:00

LoopUnrollPass.cpp

[Unroll] Do NOT unroll a loop with small runtime upperbound

2019-09-26 21:40:27 +00:00

LoopUnswitch.cpp

Use isConvergent helper instead of directly checking attribute

2019-10-27 19:39:14 -07:00

LoopVersioningLICM.cpp

[Loop Utils] Move utilty addStringMetadataToLoop to LoopUtils.cpp. NFC.

2019-07-26 06:10:08 +00:00

LowerAtomic.cpp

…

LowerConstantIntrinsics.cpp

Reapply r374743 with a fix for the ocaml binding

2019-10-14 16:15:14 +00:00

LowerExpectIntrinsic.cpp

LowerExpectIntrinsic handlePhiDef - silence static analyzer dyn_cast<PHINode> null dereference warning. NFCI.

2019-10-02 16:03:45 +00:00

LowerGuardIntrinsic.cpp

…

LowerWidenableCondition.cpp

…

MakeGuardsExplicit.cpp

…

MemCpyOptimizer.cpp

[MemCpyOpt] Fixing Incorrect Code Motion while Handling Aggregate Type Values

2019-10-21 10:00:34 +00:00

MergedLoadStoreMotion.cpp

[MergedLoadStoreMotion] Sink stores to BB with more than 2 predecessors

2019-09-05 17:00:32 +00:00

MergeICmps.cpp

Revert "Reland "r364412 [ExpandMemCmp][MergeICmps] Move passes out of CodeGen into opt pipeline.""

2019-09-10 10:39:09 +00:00

NaryReassociate.cpp

Change TargetLibraryInfo analysis passes to always require Function

2019-09-07 03:09:36 +00:00

NewGVN.cpp

[NewGVN] Check that call has an access.

2019-10-15 17:25:36 +00:00

PartiallyInlineLibCalls.cpp

Change TargetLibraryInfo analysis passes to always require Function

2019-09-07 03:09:36 +00:00

PlaceSafepoints.cpp

Change TargetLibraryInfo analysis passes to always require Function

2019-09-07 03:09:36 +00:00

Reassociate.cpp

[Reassoc] Small fix to support unary FNeg in NegateValue(...)

2019-08-23 15:49:38 +00:00

Reg2Mem.cpp

…

RewriteStatepointsForGC.cpp

[Local] Remove unused LazyValueInfo pointer from removeUnreachableBlock.

2019-10-02 16:58:13 +00:00

Scalar.cpp

Reapply r374743 with a fix for the ocaml binding

2019-10-14 16:15:14 +00:00

Scalarizer.cpp

[Scalarizer] Propagate IR flags

2019-06-21 14:10:18 +00:00

SCCP.cpp

SCCP - silence static analyzer dyn_cast<StructType> null dereference warning. NFCI.

2019-09-27 15:49:10 +00:00

SeparateConstOffsetFromGEP.cpp

Change TargetLibraryInfo analysis passes to always require Function

2019-09-07 03:09:36 +00:00

SimpleLoopUnswitch.cpp

SimpleLoopUnswitch - fix uninitialized variable and null dereference warnings. NFCI.

2019-10-16 10:38:18 +00:00

SimplifyCFGPass.cpp

…

Sink.cpp

Use isConvergent helper instead of directly checking attribute

2019-10-27 19:39:14 -07:00

SpeculateAroundPHIs.cpp

Ignore indirect branches from callbr.

2019-08-14 16:44:07 +00:00

SpeculativeExecution.cpp

…

SROA.cpp

[Alignment][NFC] Convert AllocaInst to MaybeAlign

2019-10-25 22:41:34 +02:00

StraightLineStrengthReduce.cpp

…

StructurizeCFG.cpp

[StructurizeCFG] Enable -structurizecfg-relaxed-uniform-regions by default

2019-08-06 14:30:19 +00:00

TailRecursionElimination.cpp

[Alignment][NFC] Finish transition for Loads

2019-10-21 15:10:26 +00:00

WarnMissedTransforms.cpp

…