[all-commits] [llvm/llvm-project] 9b1419: [NFC][LVI][CVP] Tests where pre-specified `add` no...

[Roman Lebedev via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 9b1419a9e501389ec4b98553d9e00a8e327e43d0
      https://github.com/llvm/llvm-project/commit/9b1419a9e501389ec4b98553d9e00a8e327e43d0
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2019-10-22 (Tue, 22 Oct 2019)

  Changed paths:
    M llvm/test/Transforms/CorrelatedValuePropagation/icmp.ll

  Log Message:
  -----------
  [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.


  Commit: 4334892e7b077feac3124b789733dbec3380db4c
      https://github.com/llvm/llvm-project/commit/4334892e7b077feac3124b789733dbec3380db4c
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2019-10-22 (Tue, 22 Oct 2019)

  Changed paths:
    M llvm/include/llvm/CodeGen/TargetLowering.h
    M llvm/lib/CodeGen/SelectionDAG/TargetLowering.cpp
    M llvm/test/CodeGen/ARM/addsubcarry-promotion.ll

  Log Message:
  -----------
  [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


Compare: https://github.com/llvm/llvm-project/compare/f9b1dc5553c9...4334892e7b07