diff options
| author | Arjun P <arjunpitchanathan@gmail.com> | 2022-02-08 00:31:27 +0530 |
|---|---|---|
| committer | Arjun P <arjunpitchanathan@gmail.com> | 2022-02-08 00:43:59 +0530 |
| commit | d5a29442191066b70176e59260288d8cb08bd602 (patch) | |
| tree | 85eb2f53cccd7b9da2759c43c207b876efdf86a7 /llvm/lib/Bitcode/Reader/BitReader.cpp | |
| parent | 570471199bfa18fa0ee153336bd84e47dc5480a6 (diff) | |
| download | llvm-d5a29442191066b70176e59260288d8cb08bd602.zip llvm-d5a29442191066b70176e59260288d8cb08bd602.tar.gz llvm-d5a29442191066b70176e59260288d8cb08bd602.tar.bz2 | |
[MLIR][Presburger] Add support for piece-wise multi-affine functions
Add the class MultiAffineFunction which represents functions whose domain is an
IntegerPolyhedron and which produce an output given by a tuple of affine
expressions in the IntegerPolyhedron's ids.
Also add support for piece-wise MultiAffineFunctions, which are defined on a
union of IntegerPolyhedrons, and may have different output affine expressions
on each IntegerPolyhedron. Thus the function is affine on each individual
IntegerPolyhedron piece in the domain.
This is part of a series of patches leading up to parametric integer programming.
Depends on D118778.
Reviewed By: Groverkss
Differential Revision: https://reviews.llvm.org/D118779
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitReader.cpp')
0 files changed, 0 insertions, 0 deletions