Skip to content

[Relax] Implement StructInfoPattern for dataflow pattern matching#16685

Merged
Lunderberg merged 1 commit intoapache:mainfrom
Lunderberg:relax_struct_info_pattern_match
Mar 10, 2024
Merged

[Relax] Implement StructInfoPattern for dataflow pattern matching#16685
Lunderberg merged 1 commit intoapache:mainfrom
Lunderberg:relax_struct_info_pattern_match

Conversation

@Lunderberg
Copy link
Copy Markdown
Contributor

This commit implements StructInfoPattern, which can be applied to any existing DFPattern, and requires the expression to have a specific struct info. Any symbolic variables that occur in the struct info are treated as free parameters, to be defined by the match.

@Lunderberg Lunderberg force-pushed the relax_struct_info_pattern_match branch from 8583078 to 84dd579 Compare March 6, 2024 16:19
Copy link
Copy Markdown
Contributor

@slyubomirsky slyubomirsky left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This sounds like a great feature to have. The implementation is also easy to follow.

This commit implements `StructInfoPattern`, which can be applied to
any existing `DFPattern`, and requires the expression to have a
specific struct info.  Any symbolic variables that occur in the struct
info are treated as free parameters, to be defined by the match.
@Lunderberg Lunderberg force-pushed the relax_struct_info_pattern_match branch from 84dd579 to b4edccf Compare March 8, 2024 17:25
@Lunderberg Lunderberg merged commit c43fad1 into apache:main Mar 10, 2024
@Lunderberg Lunderberg deleted the relax_struct_info_pattern_match branch March 10, 2024 17:23
Lunderberg added a commit to Lunderberg/tvm that referenced this pull request Mar 12, 2024
…ache#16685)

This commit implements `StructInfoPattern`, which can be applied to
any existing `DFPattern`, and requires the expression to have a
specific struct info.  Any symbolic variables that occur in the struct
info are treated as free parameters, to be defined by the match.
thaisacs pushed a commit to thaisacs/tvm that referenced this pull request Apr 3, 2024
…ache#16685)

This commit implements `StructInfoPattern`, which can be applied to
any existing `DFPattern`, and requires the expression to have a
specific struct info.  Any symbolic variables that occur in the struct
info are treated as free parameters, to be defined by the match.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants