History

Vincent Zhao 654e8aadfd [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

2020-08-09 03:16:03 +05:30

cmake/modules

Install the MLIRTableGen static library.

2020-06-11 18:23:24 -07:00

docs

[mlir] Remove the need to define kindof on attribute and type classes.

2020-08-07 13:43:25 -07:00

examples

[mlir] Remove the need to define kindof on attribute and type classes.

2020-08-07 13:43:25 -07:00

include

[MLIR] Consider AffineIfOp when getting the index set of an Op wrapped in nested loops