[PATCH] D61934: [SCEV] Add wrap flags while expanding Add

[Sam Parker via Phabricator via llvm-commits]

samparker created this revision.
samparker added reviewers: loladiro, echristo, wristow.
Herald added subscribers: sanjoy, javed.absar.

If the given SCEVExpr has no (un)signed flags attached to it, transfer these other to the resulting instruction.

@echristo Would you mind taking a particular look at the changes in single-access-no-preloop? As I'm quite confused how both nuw nsw get attached to the add instruction.


https://reviews.llvm.org/D61934

Files:
  lib/Analysis/ScalarEvolutionExpander.cpp
  test/Transforms/IRCE/bad_expander.ll
  test/Transforms/IRCE/conjunctive-checks.ll
  test/Transforms/IRCE/decrementing-loop.ll
  test/Transforms/IRCE/ranges_of_different_types.ll
  test/Transforms/IRCE/rc-negative-bound.ll
  test/Transforms/IRCE/single-access-no-preloop.ll
  test/Transforms/IRCE/single-access-with-preloop.ll
  test/Transforms/IRCE/stride_more_than_1.ll
  test/Transforms/IRCE/unsigned_comparisons_ugt.ll
  test/Transforms/IRCE/unsigned_comparisons_ult.ll
  test/Transforms/IndVarSimplify/lftr-udiv-tripcount.ll
  test/Transforms/IndVarSimplify/loop_evaluate_1.ll
  test/Transforms/LoopStrengthReduce/X86/nested-loop.ll
  test/Transforms/LoopVectorize/AArch64/pr36032.ll
  test/Transforms/LoopVectorize/X86/illegal-parallel-loop-uniform-write.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D61934.199563.patch
Type: text/x-patch
Size: 17830 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190515/a5f46191/attachment.bin>