[all-commits] [llvm/llvm-project] fe7b3a: [CVP] LVI: Use in-block values when checking value...

[Roman Lebedev via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: fe7b3ad8d5f7bf5f38ccdc5bd11ba0ff5656aeb5
      https://github.com/llvm/llvm-project/commit/fe7b3ad8d5f7bf5f38ccdc5bd11ba0ff5656aeb5
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2021-04-10 (Sat, 10 Apr 2021)

  Changed paths:
    M llvm/lib/Transforms/Scalar/CorrelatedValuePropagation.cpp

  Log Message:
  -----------
  [CVP] LVI: Use in-block values when checking value signedness domain

This has a huge positive impact on all the folds that use these helpers,
as it can be seen on vanilla test-suite + rawspeed + darktable:
correlated-value-propagation.NumSRems             +75.68% (+ 28)
correlated-value-propagation.NumAShrs             +63.87% (+198)
correlated-value-propagation.NumSDivs             +49.42% (+127)
correlated-value-propagation.NumSExt              + 8.85% (+593)
correlated-value-propagation.NumUDivURemsNarrowed	+ 8.65% (+34)

... while having pretty minimal compile-time impact:
https://llvm-compile-time-tracker.com/compare.php?from=e8c7f43e2c2c6f3581ec1c6489ec21ad9f98958a&to=4cd197711e58ee1b2faeee0c35eea54540185569&stat=instructions


  Commit: a407738def187baedf9413d94fc4560efc9d6b43
      https://github.com/llvm/llvm-project/commit/a407738def187baedf9413d94fc4560efc9d6b43
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2021-04-10 (Sat, 10 Apr 2021)

  Changed paths:
    M llvm/lib/Transforms/Scalar/CorrelatedValuePropagation.cpp

  Log Message:
  -----------
  [NFC][CVP] Add statistic for function pointer argument non-null-ness deduction


  Commit: f041757e9c2f7e343f5c4458797ee97687096020
      https://github.com/llvm/llvm-project/commit/f041757e9c2f7e343f5c4458797ee97687096020
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2021-04-10 (Sat, 10 Apr 2021)

  Changed paths:
    M llvm/lib/Transforms/Scalar/JumpThreading.cpp

  Log Message:
  -----------
  [NFC][JumpThreading] Increment 'NumFolds' statistic all places terminator becomes uncond


Compare: https://github.com/llvm/llvm-project/compare/257eda07940d...f041757e9c2f