David Majnemer 3bd87826e5 [InstCombine] Clear out nsw/nuw if we modify computation in the chain ...

An nsw/nuw operation relies on the values feeding into it to not
overflow if 'poison' is not to be produced.  This means that
optimizations which make modifications to the bottom of a chain (like
SimplifyDemandedBits) must strip out nsw/nuw if they cannot ensure that
they will be preserved.

This fixes PR23309.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@235544 91177308-0d34-0410-b5e6-96231b3b80d8

2015-04-22 20:59:28 +00:00

..

ADCE

…

AddDiscriminators

…

AlignmentFromAssumptions

…

ArgumentPromotion

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

AtomicExpand/ARM

…

BBVectorize

…

BDCE

…

BranchFolding

…

CodeExtractor

…

CodeGenPrepare

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

ConstantHoisting

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

ConstantMerge

…

ConstProp

…

CorrelatedValuePropagation

…

DeadArgElim

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

DeadStoreElimination

DebugInfo: Add missing !dbg attachments to intrinsics

2015-04-15 21:04:10 +00:00

EarlyCSE

…

Float2Int

…

FunctionAttrs

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

GCOVProfiling

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

GlobalDCE

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

GlobalOpt

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

GVN

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

IndVarSimplify

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

Inline

[InlineFunction] Don't add lifetime markers for zero-sized allocas.

2015-04-20 16:11:05 +00:00

InstCombine

[InstCombine] Clear out nsw/nuw if we modify computation in the chain

2015-04-22 20:59:28 +00:00

InstMerge

…

InstSimplify

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

Internalize

…

IPConstantProp

…

IRCE

…

JumpThreading

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

LCSSA

…

LICM

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

LoadCombine

…

LoopDeletion

…

LoopIdiom

…

LoopInterchange

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

LoopReroll

…

LoopRotate

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

LoopSimplify

…

LoopStrengthReduce

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

LoopUnroll

[LoopUnrollRuntime] Avoid high-cost trip count computation.

2015-04-14 03:20:38 +00:00

LoopUnswitch

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

LoopVectorize

…

LowerAtomic

…

LowerBitSets

…

LowerExpectIntrinsic

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

LowerInvoke

…

LowerSwitch

…

Mem2Reg

DebugInfo: Remove 'inlinedAt:' field from MDLocalVariable

2015-04-15 22:29:27 +00:00

MemCpyOpt

[MemCpyOpt] Use the raw i8* dest when optimizing memset+memcpy.

2015-04-21 21:28:33 +00:00

MergeFunc

…

MetaRenamer

…

NaryReassociate

[NaryReassociate] run NaryReassociate iteratively

2015-04-17 00:25:10 +00:00

ObjCARC

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

PartiallyInlineLibCalls

…

PhaseOrdering

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

PlaceSafepoints

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

PruneEH

…

Reassociate

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

Reg2Mem

…

RewriteStatepointsForGC

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

SampleProfile

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

Scalarizer

…

ScalarRepl

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

SCCP

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

SeparateConstOffsetFromGEP/NVPTX

[SeparateConstOffsetFromGEP] garbage-collect intermediate instructions

2015-04-21 19:53:18 +00:00

SimplifyCFG

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

Sink

…

SLPVectorizer

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

SROA

[ConstantFold] Don't fold ppc_fp128 <-> int bitcasts

2015-03-28 16:44:57 +00:00

StraightLineStrengthReduce

[SLSR] garbage-collect unused instructions

2015-04-21 19:56:18 +00:00

StripSymbols

…

StructurizeCFG

…

TailCallElim

…

TailDup

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

Util

…