Changes

Summary

  1. [mlir][sparse] remove unused TENSOR environment (details)
  2. Fixing vector add pattern that incorrectly returns success. (details)
  3. [symbolizer] Change libcxx paths in buildscript. (details)
  4. [LoopIdiomRecognize][Remarks] Track loop-strided store to/from blocks (details)
  5. NFC. Add tests exposing missing analysis invalidation in LoopPredication. (details)
  6. [LoopPredication] Report changes correctly when attempting loop exit predication (details)
  7. [flang] More precise checks for NULL() operands (details)
Commit 233b42a8bbdc4e604b6f3454d8d91702bebe008b by ajcbik
[mlir][sparse] remove unused TENSOR environment

Reviewed By: bixia

Differential Revision: https://reviews.llvm.org/D109919
The file was modifiedmlir/test/Integration/Dialect/SparseTensor/CPU/sparse_cast.mlir
Commit 04a66f8d2b8f3dfba32ba3f7652dbeb3427a3df4 by ravishankarm
Fixing vector add pattern that incorrectly returns success.

The pattern is returning success even if it does no work leading to pattern application running up to the max iteration count and failing.

Reviewed By: nicolasvasilache, mravishankar

Differential Revision: https://reviews.llvm.org/D109791
The file was modifiedmlir/lib/Dialect/Vector/VectorOps.cpp
Commit 65feb9f4447364e103f17e6feec552a3c51ccb86 by 31459023+hctim
[symbolizer] Change libcxx paths in buildscript.

D107799 changed the paths from lib/libcxx(abi)?.a to
lib/<triple>/libcxx(abi)?.a. The build script needs to know to pick up
the files from the triple subfolder instead.

See https://lab.llvm.org/buildbot/#/builders/37/builds/6764 for buildbot log failure.

Reviewed By: MaskRay

Differential Revision: https://reviews.llvm.org/D109924
The file was modifiedcompiler-rt/lib/sanitizer_common/symbolizer/scripts/build_symbolizer.sh
Commit 4b19e7dfaee9a966f4bfb8e4378adb3bd43539de by Jon Roelofs
[LoopIdiomRecognize][Remarks] Track loop-strided store to/from blocks

Differential revision: https://reviews.llvm.org/D109929
The file was modifiedllvm/test/Transforms/LoopIdiom/memcpy-debugify-remarks.ll
The file was modifiedllvm/test/Transforms/LoopIdiom/memset-debugify-remarks.ll
The file was modifiedllvm/lib/Transforms/Scalar/LoopIdiomRecognize.cpp
Commit 5f2b7879f16ad5023f0684febeb0a20f7d53e4a8 by dsuchkov
NFC. Add tests exposing missing analysis invalidation in LoopPredication.
The file was addedllvm/test/Transforms/LoopPredication/invalidate-analyses.ll
Commit 0e362883182db53da9d6dd8e90f8eafb4e3b916c by dsuchkov
[LoopPredication] Report changes correctly when attempting loop exit predication

To make the IR easier to analyze, this pass makes some minor transformations.
After that, even if it doesn't decide to optimize anything, it can't report that
it changed nothing and preserved all the analyses.

Reviewed By: reames

Differential Revision: https://reviews.llvm.org/D109855
The file was modifiedllvm/test/Transforms/LoopPredication/invalidate-analyses.ll
The file was modifiedllvm/lib/Transforms/Scalar/LoopPredication.cpp
Commit d9195d6603f2c95124e29beacec9129ae8fd616e by pklausler
[flang] More precise checks for NULL() operands

Improve checking for NULL() and NULL(MOLD=) when used as
variables and expressions outside the few contexts where
a disassociated pointer can be valid.  There were both
inappropriate errors and missing checks.

Differential Revision: https://reviews.llvm.org/D109905
The file was modifiedflang/lib/Semantics/check-omp-structure.cpp
The file was modifiedflang/test/Semantics/resolve63.f90
The file was modifiedflang/lib/Semantics/expression.cpp
The file was modifiedflang/lib/Evaluate/tools.cpp
The file was modifiedflang/include/flang/Evaluate/expression.h
The file was modifiedflang/lib/Semantics/check-call.cpp