Skip to content

Improve IRDL region constraints#234

Open
jackalcooper wants to merge 15 commits intomainfrom
improve-irdl-region-constraints
Open

Improve IRDL region constraints#234
jackalcooper wants to merge 15 commits intomainfrom
improve-irdl-region-constraints

Conversation

@jackalcooper
Copy link
Copy Markdown
Contributor

No description provided.

Copy link
Copy Markdown
Contributor Author

@jackalcooper jackalcooper Dec 13, 2023

Choose a reason for hiding this comment

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

dedicated regions block won't work well when we want to add a constrain like this:

  • entry block argument#1 has the same type of a result (because it can't access variable in the do block)

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.

1 participant