Page MenuHomePhabricator

[MLIR] Introduce constraint attributes for DenseArrayAttr
ClosedPublic

Authored by chelini on Nov 30 2022, 1:22 AM.

Details

Summary
  • DenseArrayStrictlyPositive all elements are required to be > 0. Returns true if the range is empty.
  • DenseArrayNonNegative all elements are required to be >= 0. Returns true if the range is empty.

Both constraints will simplify verifier logic as we move from using I64ArrayAttr to DenseI64ArrayAttr.

Diff Detail

Event Timeline

chelini created this revision.Nov 30 2022, 1:22 AM
chelini requested review of this revision.Nov 30 2022, 1:22 AM
chelini edited the summary of this revision. (Show Details)Nov 30 2022, 2:31 AM
rriddle accepted this revision.Nov 30 2022, 3:07 PM
This revision is now accepted and ready to land.Nov 30 2022, 3:07 PM
This revision was automatically updated to reflect the committed changes.