Skip to content

ISLE standard prelude: Additional types and helpers#3703

Merged
fitzgen merged 1 commit into
bytecodealliance:mainfrom
uweigand:isle-prep-common
Jan 20, 2022
Merged

ISLE standard prelude: Additional types and helpers#3703
fitzgen merged 1 commit into
bytecodealliance:mainfrom
uweigand:isle-prep-common

Conversation

@uweigand
Copy link
Copy Markdown
Member

In preparing to move the s390x back-end to ISLE, I noticed a few
missing pieces in the common prelude code. This patch:

  • Defines the reference types $R32 / $R64.
  • Provides a trap_code_bad_conversion_to_integer helper.
  • Provides an avoid_div_traps helper. This requires passing the
    generic flags in addition to the ISA-specifc flags into the
    ISLE lowering context.

CC @cfallin

In preparing to move the s390x back-end to ISLE, I noticed a few
missing pieces in the common prelude code.  This patch:

- Defines the reference types $R32 / $R64.
- Provides a trap_code_bad_conversion_to_integer helper.
- Provides an avoid_div_traps helper.  This requires passing the
  generic flags in addition to the ISA-specifc flags into the
  ISLE lowering context.
@github-actions github-actions Bot added cranelift Issues related to the Cranelift code generator cranelift:area:machinst Issues related to instruction selection and the new MachInst backend. cranelift:area:aarch64 Issues related to AArch64 backend. cranelift:area:x64 Issues related to x64 codegen isle Related to the ISLE domain-specific language labels Jan 20, 2022
@github-actions
Copy link
Copy Markdown

Subscribe to Label Action

cc @cfallin, @fitzgen

Details This issue or pull request has been labeled: "cranelift", "cranelift:area:aarch64", "cranelift:area:machinst", "cranelift:area:x64", "isle"

Thus the following users have been cc'd because of the following labels:

  • cfallin: isle
  • fitzgen: isle

To subscribe or unsubscribe from this label, edit the .github/subscribe-to-label.json configuration file.

Learn more.

Copy link
Copy Markdown
Member

@fitzgen fitzgen left a comment

Choose a reason for hiding this comment

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

Looks great!

@fitzgen fitzgen merged commit 0670d7b into bytecodealliance:main Jan 20, 2022
@uweigand uweigand deleted the isle-prep-common branch January 20, 2022 18:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cranelift:area:aarch64 Issues related to AArch64 backend. cranelift:area:machinst Issues related to instruction selection and the new MachInst backend. cranelift:area:x64 Issues related to x64 codegen cranelift Issues related to the Cranelift code generator isle Related to the ISLE domain-specific language

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants