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

Juvix to VampIR pipeline #2035

Closed
lukaszcz opened this issue Apr 26, 2023 · 0 comments · Fixed by #2103
Closed

Juvix to VampIR pipeline #2035

lukaszcz opened this issue Apr 26, 2023 · 0 comments · Fixed by #2103
Assignees
@lukaszcz
Labels
enhancement New feature or request pipeline:vampir
Milestone
0.4 - Prague

Comments

@lukaszcz
Copy link
Collaborator

Implement a straightforward compilation strategy of Juvix to VampIR based on normalization. Write a test suite for it.

The pipeline consists of:

  1. Translation to JuvixCore.
  2. The pipeline-eval transformations (compilation of pattern matching, nat-to-int, etc).
  3. LetRec lifting.
  4. Recursion unrolling.
  5. Normalization.
  6. Let hoisting.

Depends on issues:
@lukaszcz lukaszcz added enhancement New feature or request pipeline:vampir labels Apr 26, 2023
@lukaszcz lukaszcz added this to the 0.4 - Prague milestone Apr 26, 2023
@lukaszcz lukaszcz mentioned this issue May 12, 2023
Closed
@lukaszcz lukaszcz self-assigned this May 16, 2023
@lukaszcz lukaszcz mentioned this issue May 17, 2023
Merged
jonaprieto added a commit that referenced this issue May 22, 2023
@lukaszcz @jonaprieto
VampIR integration (#2103)
d576111 
* Closes #2035 
* Depends on #2086 
* Depends on #2096 
* Adds end-to-end tests for the Juvix-to-VampIR compilation pipeline.

---------

Co-authored-by: Jonathan Cubides <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lukaszcz lukaszcz

Labels
enhancement New feature or request pipeline:vampir
Projects
None yet
Milestone
0.4 - Prague
Development

Successfully merging a pull request may close this issue.

VampIR integration anoma/juvix
1 participant
@lukaszcz