[mlir][affine][analysis][NFC] Simplify FlatAffineConstraints API
authorMatthias Springer <me@m-sp.org>
Wed, 15 Mar 2023 08:20:36 +0000 (09:20 +0100)
committerMatthias Springer <me@m-sp.org>
Wed, 15 Mar 2023 08:22:53 +0000 (09:22 +0100)
commitee7c4741506c20ccee0257dae745550135108d7c
tree2301e832c09a0f0bdf6b282a39d9a6be77b382eb
parent82c8bf8fcc91eda75e47856b34a1d68cedd2b46e
[mlir][affine][analysis][NFC] Simplify FlatAffineConstraints API

* Remove `reset` function. Use copy assignment directly (instead of within `reset`).
* Fix potential `nullptr` dereference in `getFlattenedAffineExprs`.
* Make constraint set optional in `checkMemrefAccessDependence`.

Differential Revision: https://reviews.llvm.org/D145935
mlir/include/mlir/Analysis/Presburger/IntegerRelation.h
mlir/include/mlir/Dialect/Affine/Analysis/AffineAnalysis.h
mlir/include/mlir/Dialect/Affine/Analysis/AffineStructures.h
mlir/lib/Dialect/Affine/Analysis/AffineAnalysis.cpp
mlir/lib/Dialect/Affine/Analysis/AffineStructures.cpp
mlir/lib/Dialect/Affine/Analysis/Utils.cpp
mlir/lib/Dialect/Affine/Utils/LoopFusionUtils.cpp
mlir/lib/Dialect/Affine/Utils/LoopUtils.cpp
mlir/lib/Dialect/Affine/Utils/Utils.cpp
mlir/test/lib/Analysis/TestMemRefDependenceCheck.cpp