Page MenuHomePhabricator

[mlir][SCF] Further simplify affine maps during `for-loop-canonicalization`
ClosedPublic

Authored by springerm on Wed, Nov 17, 9:50 PM.

Details

Summary
  • Implement FlatAffineConstraints::getConstantBound(EQ).
  • Inject a simpler constraint for loops that have at most 1 iteration.
  • Taking into account constant EQ bounds of FlatAffineConstraint dims/symbols during canonicalization of the resulting affine map in canonicalizeMinMaxOp.

Depends On D114137

Diff Detail