diff options
| author | Vincent Zhao <vincentzhaorz@gmail.com> | 2020-08-09 03:11:44 +0530 |
|---|---|---|
| committer | Uday Bondhugula <uday@polymagelabs.com> | 2020-08-09 03:16:03 +0530 |
| commit | 654e8aadfdda97524c463bcf3552d2ecf2feda93 (patch) | |
| tree | 64d6728dc1560d8990d91a999cfeb29598a7aba1 /llvm/lib/Support/Compression.cpp | |
| parent | d3153b5ca29b80d73af449727ca557eb6ccbd973 (diff) | |
| download | llvm-654e8aadfdda97524c463bcf3552d2ecf2feda93.zip llvm-654e8aadfdda97524c463bcf3552d2ecf2feda93.tar.gz llvm-654e8aadfdda97524c463bcf3552d2ecf2feda93.tar.bz2 | |
[MLIR] Consider AffineIfOp when getting the index set of an Op wrapped in nested loops
This diff attempts to resolve the TODO in `getOpIndexSet` (formerly
known as `getInstIndexSet`), which states "Add support to handle IfInsts
surronding `op`".
Major changes in this diff:
1. Overload `getIndexSet`. The overloaded version considers both
`AffineForOp` and `AffineIfOp`.
2. The `getInstIndexSet` is updated accordingly: its name is changed to
`getOpIndexSet` and its implementation is based on a new API `getIVs`
instead of `getLoopIVs`.
3. Add `addAffineIfOpDomain` to `FlatAffineConstraints`, which extracts
new constraints from the integer set of `AffineIfOp` and merges it to
the current constraint system.
4. Update how a `Value` is determined as dim or symbol for
`ValuePositionMap` in `buildDimAndSymbolPositionMaps`.
Differential Revision: https://reviews.llvm.org/D84698
Diffstat (limited to 'llvm/lib/Support/Compression.cpp')
0 files changed, 0 insertions, 0 deletions