Skip to content

Add composable C++ graph pattern rewriter #33631

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
G. Ramalingam (gramalingam) wants to merge 45 commits into
base: main
Choose a base branch
from
Draft

Add composable C++ graph pattern rewriter #33631

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
45 commits
Select commit Hold shift + click to select a range
98bd94a
Add core C++ pattern rewriter and correctness coverage
gramalingam Oct 14, 2026
07afc06
Check example rewrite types on relevant value bindings
gramalingam Oct 14, 2026
a62df40
Make rewrite definitions parser-only and document matcher semantics
gramalingam Oct 14, 2026
f0ff67f
Express extra-attribute rollback coverage with a parsed replacement
gramalingam Oct 14, 2026
8f15fdf
Resolve callback replacement names against the winning rule
gramalingam Oct 14, 2026
7d3850b
Own the untyped guard-test value outside graph cleanup
gramalingam Oct 14, 2026
1f38691
Separate named returns and support braced rewrite definitions
gramalingam Oct 14, 2026
af63ee2
Disambiguate parser construction expressions in syntax tests
gramalingam Oct 14, 2026
e06a09f
Support dotted pattern operators and rank-one literal lists
gramalingam Oct 14, 2026
ec7c6b7
Keep rejected vector rule disjoint from all negative test inputs
gramalingam Oct 14, 2026
8d8c7cb
Extend rewriter boundaries, attribute captures, optional inputs and d…
gramalingam Oct 14, 2026
8cd0964
Clarify rewriter introspection and diagnostic allocation semantics
gramalingam Oct 14, 2026
be3e0d1
Allow one-node and nonshrinking rewrites with bounded candidate itera…
gramalingam Oct 14, 2026
f5b6d5e
Finish candidate batches outside the descendant invalidation loop
gramalingam Oct 14, 2026
90a830e
Keep replacement rollback regression invalid through schema validation
gramalingam Oct 14, 2026
ec4e473
Outline backward matching and indexed bounded rule scheduling
gramalingam Oct 14, 2026
7893d8c
Add tensor type and shape annotations with implicit dimension bindings
gramalingam Oct 15, 2026
328ef44
Support bounded type unions and express optional inputs with None
gramalingam Oct 15, 2026
eb1fff2
Simplify rewrite rule construction and reorder parameters
gramalingam Oct 15, 2026
b330a56
Compare shared replacement recipes rather than pointer wrappers
gramalingam Oct 15, 2026
09ac206
Combine rewrite checks and match-local binding preparation
gramalingam Oct 15, 2026
b3c3083
Keep tensor binding coverage executable and preserve helper preparation
gramalingam Oct 15, 2026
acb15c1
Support hash line comments in rewrite definitions
gramalingam Oct 16, 2026
9f49711
Default rewrite checks to acceptance and simplify annotated example
gramalingam Oct 16, 2026
819f459
Explain check-and-bind with an attribute-checking example
gramalingam Oct 16, 2026
47b6e7e
Add composable rewriter fragments and scoped match views
gramalingam Oct 21, 2026
f9c717a
Unify reusable rewriter bodies and alternatives under pattern
gramalingam Oct 21, 2026
db9e223
Fix composable pattern validation and parser portability
gramalingam Oct 23, 2026
45599ea
Preserve composable matcher contracts across grouped dispatch
gramalingam Oct 23, 2026
d939120
Preserve compositional contracts and bounded matching semantics
gramalingam Oct 23, 2026
be8de02
Reject late attribute conversion of composed tensor annotations
gramalingam Oct 23, 2026
d6eb407
Require known equality for repeated selected dimension names
gramalingam Oct 23, 2026
e6627eb
Keep illustrative rewrite rules local to optimizer tests
gramalingam Oct 23, 2026
6dfae4d
Lead pattern rewriter documentation with a concrete example
gramalingam Oct 23, 2026
a9ffc7c
Introduce composition details after graph alternatives
gramalingam Oct 23, 2026
6473996
Add positional outputs and expression alternatives to rewrite patterns
gramalingam Oct 23, 2026
90bf0f0
Fix positional output reconciliation and binding validation
gramalingam Oct 23, 2026
661422f
Expose standalone pattern and replacement components
gramalingam Oct 25, 2026
bcb4daf
Minor fixes
gramalingam Oct 26, 2026
9570a14
Add direct anchored matching and clarify component documentation
gramalingam Oct 26, 2026
ac7d3b1
Use readable whitespace throughout rewriter documentation examples
gramalingam Oct 26, 2026
bfc52c7
Keep diagnostic text and C++ punctuation unchanged in examples
gramalingam Oct 26, 2026
6d70708
Explain ordered match visitation after pattern disjunction
gramalingam Oct 26, 2026
e5927fe
Support optional attribute captures and replacement omission
gramalingam Oct 26, 2026
319fa38
Present pattern libraries immediately after patterns
gramalingam Oct 26, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading