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.

Sign up for GitHub

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

Jump to bottom

Determine LLVM patches to support an arbitrary intrinsic #65

Closed
Tracked by #3
thomasgoodfellow opened this issue Apr 26, 2024 · 0 comments
Closed
Tracked by #3

Determine LLVM patches to support an arbitrary intrinsic #65

thomasgoodfellow opened this issue Apr 26, 2024 · 0 comments
Assignees
@thomasgoodfellow
Labels
layer:builtins priority:high type:support
Milestone
Intrinsics/Builti...

Comments

@thomasgoodfellow
Copy link
Collaborator

thomasgoodfellow commented Apr 26, 2024 •
edited
Loading

S4E phase 1 support for intrinsics was developed against LLVM15, with fairly minor changes continued to function in LLVM16. Seal5 is currently placed against LLVM18.1 - need to confirm whether the exact same approach remains valid, or if LLVM design changes need to be accomodated
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@thomasgoodfellow thomasgoodfellow

Labels
layer:builtins priority:high type:support
Projects
None yet
Milestone
Intrinsics/Builtins support
Development

No branches or pull requests
2 participants
@thomasgoodfellow @PhilippvK