diff options
| author | Matthias Springer <me@m-sp.org> | 2023-03-23 09:25:01 +0100 |
|---|---|---|
| committer | Matthias Springer <me@m-sp.org> | 2023-03-23 09:38:12 +0100 |
| commit | 5b0055a4ae8d27bf2a8db903eed22ff642fc27c3 (patch) | |
| tree | 8dfc69bb4344b5d268eeb1f51bd0b1157a8a14c2 /llvm/lib/CodeGen/MachineCheckDebugify.cpp | |
| parent | b08d35f826a6b7696a02f1d811da7a2f951e74a1 (diff) | |
| download | llvm-5b0055a4ae8d27bf2a8db903eed22ff642fc27c3.zip llvm-5b0055a4ae8d27bf2a8db903eed22ff642fc27c3.tar.gz llvm-5b0055a4ae8d27bf2a8db903eed22ff642fc27c3.tar.bz2 | |
[mlir][Analysis][NFC] Split FlatAffineValueConstraints into multiple classes
The new class hierarchy is as follows:
* `IntegerRelation` (no change)
* `IntegerPolyhedron` (no change)
* `FlatLinearConstraints`: provides an AffineExpr-based API
* `FlatLinearValueConstraints`: stores an additional mapping of non-local vars to SSA values
* `FlatAffineValueConstraints`: provides additional helper functions for Affine dialect ops
* `FlatAffineRelation` (no change)
`FlatConstraints` and `FlatValueConstraints` are moved from `MLIRAffineAnalysis` to `MLIRAnalysis` and can be used without depending on the Affine dialect.
This change is in preparation of D145681, which adds an MLIR interface that depends on `FlatConstraints` (and cannot depend on the Affine dialect or any other dialect).
Differential Revision: https://reviews.llvm.org/D146201
Diffstat (limited to 'llvm/lib/CodeGen/MachineCheckDebugify.cpp')
0 files changed, 0 insertions, 0 deletions