Skip to content

Conversation

maerhart
Copy link
Member

No description provided.

@maerhart maerhart added the RTG Involving the `rtg` dialect label Mar 31, 2025
@maerhart maerhart requested review from youngar and darthscsi March 31, 2025 09:10
@@ -494,6 +494,37 @@ def ArrayExtractOp : RTGOp<"array_extract", [
}];
}

def ArrayInjectOp : RTGOp<"array_inject", [
Copy link
Contributor

Choose a reason for hiding this comment

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

Honestly I have not heard the word inject used in this sense, and I'm wondering if you'd be open to renaming, maybe "update" or "set". Your call, though.

Copy link
Member Author

Choose a reason for hiding this comment

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

In HW there's an operation called hw.struct_inject, that's where it comes from. But I'm also fine with 'update'.

Copy link
Contributor

Choose a reason for hiding this comment

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

OK, array_inject sounds fine then!

@maerhart maerhart force-pushed the maerhart-pyrtg-booleans branch from 44a157d to cf00842 Compare April 15, 2025 10:25
Base automatically changed from maerhart-pyrtg-booleans to main April 15, 2025 10:26
@maerhart maerhart force-pushed the maerhart-rtg-more-array-ops branch from 494944e to 67f6007 Compare April 28, 2025 11:25
@maerhart maerhart force-pushed the maerhart-rtg-more-array-ops branch from 67f6007 to 0e2c7dc Compare April 28, 2025 11:29
@maerhart maerhart merged commit e123e52 into main Apr 28, 2025
5 checks passed
@maerhart maerhart deleted the maerhart-rtg-more-array-ops branch April 28, 2025 11:47
TaoBi22 pushed a commit to TaoBi22/circt that referenced this pull request Jul 17, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
RTG Involving the `rtg` dialect
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants