Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

New transform :xform_hoist-lets #7

Closed
wants to merge 8 commits into from

Conversation

alastairreid
Copy link
Owner

This transformation moves let expressions as high as possible in an expression.

For example, it turns code like

y = IsZero(__let i = F(x) __in x[i +: w]);

into

let i = F(x);
y = IsZero(x[i +: w]);

This is important because there is an optimization for "IsZero(x[i +: w]);" that only works if the function call is right next to the bitslice operation.

alastairreid and others added 2 commits February 5, 2025 09:14
With ubuntu-latest, we can no longer install clang-16 using the llvm.sh script.
It seems that the llvm.sh script broke when 22.04 was first released so maybe
this is a temporary blip because ubuntu-latest just changed to 22.04.1.

This crude workaround just uses an older version of Ubuntu - hopefully fixing
the problem until we are ready to change to using clang-17 or later.

Signed-off-by: Alastair Reid <[email protected]>
Since available_features is a list.

Signed-off-by: Nikolay Kosarev <[email protected]>
Note that this changes the thread-local flag to thread-shared
This is done to make thread-local be the default

Signed-off-by: Alastair Reid <[email protected]>
Signed-off-by: Alastair Reid <[email protected]>
@alastairreid alastairreid force-pushed the areid-hoist-lets branch 2 times, most recently from 153b7b0 to a14075f Compare February 12, 2025 15:05
@alastairreid alastairreid deleted the areid-hoist-lets branch February 13, 2025 10:51
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