SuccessChanges

Summary

  1. [NFC][LVI][CVP] Tests where pre-specified `add` no-wrap flags could be (details)
  2. [DAGCombine][ARM] x ==/!= c  ->  (x - c) ==/!= 0  iff '-c' can be folded (details)
Commit 9b1419a9e501389ec4b98553d9e00a8e327e43d0 by lebedev.ri
[NFC][LVI][CVP] Tests where pre-specified `add` no-wrap flags could be
used by LVI
There's `ConstantRange::addWithNoWrap()`, LVI could use it to further
constrain the range, if an `add` already has some no-wrap flags
specified.
The file was modifiedllvm/test/Transforms/CorrelatedValuePropagation/icmp.ll
Commit 4334892e7b077feac3124b789733dbec3380db4c by lebedev.ri
[DAGCombine][ARM] x ==/!= c  ->  (x - c) ==/!= 0  iff '-c' can be folded
into the x node.
Summary: This fold, helps recover from the rest of the D62266 ARM
regressions. https://rise4fun.com/Alive/TvpC
Note that while the fold is quite flexible, i've restricted it to the
single interesting pattern at the moment.
Reviewers: efriedma, craig.topper, spatel, RKSimon, deadalnix
Reviewed By: deadalnix
Subscribers: javed.absar, kristof.beyls, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D62450
The file was modifiedllvm/include/llvm/CodeGen/TargetLowering.h
The file was modifiedllvm/lib/CodeGen/SelectionDAG/TargetLowering.cpp
The file was modifiedllvm/test/CodeGen/ARM/addsubcarry-promotion.ll