Page MenuHomePhabricator

Please use GitHub pull requests for new patches. Avoid migrating existing patches. Phabricator shutdown timeline

[MLIR][PDL] Add Bytecode support for negated native constraints
ClosedPublic

Authored by martin-luecke on Jun 27 2023, 7:46 AM.

Details

Summary

This commit adds support for negated native constraints in the PDL Bytecode.

A native constraint represented using the operation pdl_interp.apply_constraint has an attribute isNegated, which represents negation. This now influences the matching behavior during interpretation of the bytecode by inverting the branching if set to true.

Depends on D153871

Diff Detail

Event Timeline

martin-luecke created this revision.Jun 27 2023, 7:46 AM
Herald added a project: Restricted Project. · View Herald TranscriptJun 27 2023, 7:46 AM
martin-luecke requested review of this revision.Jun 27 2023, 7:46 AM
Mogball accepted this revision.Jun 29 2023, 9:43 AM
This revision is now accepted and ready to land.Jun 29 2023, 9:43 AM