[all-commits] [llvm/llvm-project] 9d074f: [SCCP] Add test for icmp that requires DL to fold ...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 9d074fd37066b133cab77322633717268cc3f2f9
      https://github.com/llvm/llvm-project/commit/9d074fd37066b133cab77322633717268cc3f2f9
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-11-02 (Wed, 02 Nov 2022)

  Changed paths:
    M llvm/test/Transforms/SCCP/conditions-ranges.ll

  Log Message:
  -----------
  [SCCP] Add test for icmp that requires DL to fold (NFC)


  Commit: 28b31d9ccc2420f4cb6fdaeb5630e63f502b810c
      https://github.com/llvm/llvm-project/commit/28b31d9ccc2420f4cb6fdaeb5630e63f502b810c
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-11-02 (Wed, 02 Nov 2022)

  Changed paths:
    M llvm/include/llvm/Analysis/ValueLattice.h
    M llvm/lib/Analysis/ValueLattice.cpp

  Log Message:
  -----------
  [ValueLattice] Move getCompare() out of line (NFC)

This is a fairly large method that is unlikely to benefit from
inlining.


  Commit: 134bda4b61ac9f5fd0583989771be8736e3dbf83
      https://github.com/llvm/llvm-project/commit/134bda4b61ac9f5fd0583989771be8736e3dbf83
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-11-02 (Wed, 02 Nov 2022)

  Changed paths:
    M llvm/include/llvm/Analysis/ValueLattice.h
    M llvm/lib/Analysis/ValueLattice.cpp
    M llvm/lib/Transforms/Utils/SCCPSolver.cpp
    M llvm/test/Transforms/SCCP/conditions-ranges.ll
    M llvm/unittests/Analysis/ValueLatticeTest.cpp

  Log Message:
  -----------
  [ValueLattice] Use DL-aware folding in getCompare()

Use DL-aware ConstantFoldCompareInstOperands() API instead of
ConstantExpr API. The practical effect of this is that SCCP can
now fold comparisons that require DL.


Compare: https://github.com/llvm/llvm-project/compare/7ad3bb527e25...134bda4b61ac