Serguei Katkov 090a0d657f [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



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

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

..

AArch64

Reapply [LSR] Create fewer redundant instructions.

2016-06-06 19:10:46 +00:00

AMDGPU

LSR: Check more intrinsic pointer operands

2017-12-11 21:38:43 +00:00

ARM

ARM: handle post-indexed NEON ops where the offset isn't the access width.

2017-04-20 19:54:02 +00:00

NVPTX

[NVPTX] truncating 64-bit to 32-bit is free

2015-08-20 20:59:02 +00:00

X86

Revert "[X86] Improvement in CodeGen instruction selection for LEAs."

2017-12-01 22:20:26 +00:00

2005-08-15-AddRecIV.ll

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

2015-02-27 21:17:42 +00:00

2005-08-17-OutOfLoopVariant.ll

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

2015-02-27 21:17:42 +00:00

2005-09-12-UsesOutOutsideOfLoop.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

2007-04-23-UseIterator.ll

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

2015-02-27 19:29:02 +00:00

2008-08-13-CmpStride.ll

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

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

2008-09-09-Overflow.ll

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

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

2009-01-13-nonconstant-stride-outside-loop.ll

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

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

2009-04-28-no-reduce-mul.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

2011-07-19-CritEdgeBreakCrash.ll

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

2015-02-27 21:17:42 +00:00

2011-10-03-CritEdgeMerge.ll

Make DataLayout Non-Optional in the Module

2015-03-04 18:43:29 +00:00

2011-10-06-ReusePhi.ll

[LSR] canonicalize Prod*(1<<C) to Prod<<C

2015-06-24 19:28:40 +00:00

2011-10-13-SCEVChain.ll

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

2015-02-27 19:29:02 +00:00

2011-10-14-IntPtr.ll

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

2015-02-27 19:29:02 +00:00

2011-12-19-PostincQuadratic.ll

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

2015-02-27 21:17:42 +00:00

2012-01-02-nopreheader.ll

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

2015-02-27 19:29:02 +00:00

2012-01-16-nopreheader.ll

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

2015-02-27 19:29:02 +00:00

2012-03-15-nopreheader.ll

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

2015-02-27 21:17:42 +00:00

2012-03-26-constexpr.ll

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

2015-02-27 21:17:42 +00:00

2012-07-13-ExpandUDiv.ll

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

2015-02-27 21:17:42 +00:00

2012-07-18-LimitReassociate.ll

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

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

2013-01-05-IndBr.ll

Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change.

2013-07-14 01:42:54 +00:00

2013-01-14-ReuseCast.ll

[LSR] Narrow search space by filtering non-optimal formulae with the same ScaledReg and Scale.

2017-07-06 15:52:14 +00:00

addrec-gep-address-space.ll

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

2015-02-27 21:17:42 +00:00

addrec-gep.ll

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

2015-02-27 21:17:42 +00:00

address-space-loop.ll

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

2015-02-27 21:17:42 +00:00

count-to-zero.ll

Make DataLayout Non-Optional in the Module

2015-03-04 18:43:29 +00:00

dead-phi.ll

Use opt -S instead of piping bitcode output through llvm-dis.

2009-09-08 22:34:10 +00:00

different-type-ivs.ll

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

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

dominate-assert.ll

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

dont_insert_redundant_ops.ll

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

2015-02-27 19:29:02 +00:00

dont_reduce_bytes.ll

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

2015-02-27 19:29:02 +00:00

dont_reverse.ll

Make DataLayout Non-Optional in the Module

2015-03-04 18:43:29 +00:00

dont-hoist-simple-loop-constants.ll

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

2015-02-27 19:29:02 +00:00

ephemeral.ll

[LSR] don't attempt to promote ephemeral values to indvars

2015-07-13 03:28:53 +00:00

exit_compare_live_range.ll

Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID

2012-12-30 01:28:40 +00:00

funclet.ll

[LoopStrengthReduce] Don't rewrite PHIs with incoming values from CatchSwitches

2016-02-03 21:30:34 +00:00

hoist-parent-preheader.ll

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

2015-02-27 19:29:02 +00:00

illegal-addr-modes.ll

[ARM, Thumb1] Prevent ARMTargetLowering::isLegalAddressingMode from accepting illegal modes

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

invariant_value_first_arg.ll

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

2015-02-27 19:29:02 +00:00

invariant_value_first.ll

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

2015-02-27 19:29:02 +00:00

ivchain.ll

[PM] Convert Loop Strength Reduce pass to new PM

2016-07-18 21:41:50 +00:00

negative-scale.ll

[NoTTI] reject negative scale in addressing mode

2015-05-08 18:07:24 +00:00

nested-reduce.ll

Make DataLayout Non-Optional in the Module

2015-03-04 18:43:29 +00:00

nonintegral.ll

[SCEVExpander] Try harder to avoid introducing inttoptr

2017-05-27 03:22:55 +00:00

nonlinear-postinc.ll

Non-affine post-inc SCEV expansions have more code which must be

2010-03-02 01:59:21 +00:00

ops_after_indvar.ll

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

2015-02-27 19:29:02 +00:00

phi_node_update_multiple_preds.ll

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

2015-02-27 19:29:02 +00:00

post-inc-icmpzero.ll

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

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

post-inc-optsize.ll

[LSR] Don't try and create post-inc expressions on non-rotated loops

2016-08-15 07:53:03 +00:00

pr2537.ll

add newlines at the end of files.

2010-04-07 22:53:17 +00:00

pr2570.ll

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

2015-02-27 21:17:42 +00:00

pr3086.ll

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

2015-02-27 21:17:42 +00:00

pr3399.ll

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

2015-02-27 21:17:42 +00:00

pr3571.ll

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

2015-02-27 21:17:42 +00:00

pr12018.ll

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

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

pr12048.ll

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

2015-02-27 19:29:02 +00:00

pr12691.ll

Make DataLayout Non-Optional in the Module

2015-03-04 18:43:29 +00:00

pr18165.ll

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

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

pr25541.ll

[IR] Reformulate LLVM's EH funclet IR

2015-12-12 05:38:55 +00:00

pr27056.ll

Fix PR33514

2017-08-04 18:46:13 +00:00

pr31627.ll

[LoopStrengthReduce] Don't bother rewriting PHIs in catchswitch blocks

2017-01-13 22:24:27 +00:00

preserve-gep-loop-variant.ll

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

2015-02-27 19:29:02 +00:00

related_indvars.ll

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

2015-02-27 19:29:02 +00:00

remove_indvar.ll

Make DataLayout Non-Optional in the Module

2015-03-04 18:43:29 +00:00

scaling_factor_cost_crash.ll

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

2015-02-27 19:29:02 +00:00

scev-insertpt-bug.ll

Reapply [LSR] Create fewer redundant instructions.

2016-06-06 19:10:46 +00:00

sext-ind-var.ll

[SCEV] Preserve NSW information for sext(subtract).

2017-08-04 20:19:46 +00:00

share_code_in_preheader.ll

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

2015-02-27 21:17:42 +00:00

share_ivs.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

shl.ll

[LSR] canonicalize Prod*(1<<C) to Prod<<C

2015-06-24 19:28:40 +00:00

uglygep-address-space.ll

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

2015-02-27 21:17:42 +00:00

uglygep.ll

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

2015-02-27 21:17:42 +00:00

use_postinc_value_outside_loop.ll

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

2015-02-27 19:29:02 +00:00

var_stride_used_by_compare.ll

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

2015-02-27 19:29:02 +00:00

variable_stride.ll

Make DataLayout Non-Optional in the Module

2015-03-04 18:43:29 +00:00