Skip to content

[WIP] [gen] Introduce async variant in diy#1789

Draft
ShaleXIONG wants to merge 3 commits into
herd:masterfrom
ShaleXIONG:mte-async-flt-diychange
Draft

[WIP] [gen] Introduce async variant in diy#1789
ShaleXIONG wants to merge 3 commits into
herd:masterfrom
ShaleXIONG:mte-async-flt-diychange

Conversation

@ShaleXIONG
Copy link
Copy Markdown
Collaborator

This pull adds generator-side support for the async variant and updates the MTE diy regression target.

  • add async to the generator variant set so it matches the variant already supported by herd7
  • update fault-check generation to omit label and variable details when async is enabled
  • pass -variant async in diy-test-mte target in the CI and refresh the affected gen/tests/AArch64.MTE/*.expected logs.

ref #1786

diaolo01 and others added 3 commits April 10, 2026 11:25
Introduce a new variant `async` which corresponds to the same variant in
`herd7`. When this variant is switched on, we also remove the label and
variable information in the fault check clause.
Since the new `async` syntax, we add the `-variant async` in CI
script for the `test-diy-mte` target. We update the expected logs.
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