Skip to content

Implement intermediate representation with join points#5

Merged
Technius merged 24 commits into
masterfrom
feature/joinpoint-ir
Apr 4, 2019
Merged

Implement intermediate representation with join points#5
Technius merged 24 commits into
masterfrom
feature/joinpoint-ir

Conversation

@Technius

@Technius Technius commented Feb 23, 2019 •
edited
Loading

Copy link
Copy Markdown
Owner

This PR implements JoinIR, an IR in ANF form with explicit join points to make code generation simpler and easier (especially maintenance).

Todo:

  • Pretty printer
  • Helper functions or TemplateHaskell magic
  • A function to verify that all names are unique
  • A function to verify that all jumps are to bound jump labels
  • Unit tests
  • Translation from AST to JoinIR
  • Working code generation
  • Documentation

@Technius Technius added the enhancement New feature or request label Feb 23, 2019
@Technius Technius self-assigned this Feb 23, 2019
@Technius Technius force-pushed the feature/joinpoint-ir branch from 7e8c600 to daa628b Compare February 25, 2019 23:47
@Technius
Use a newer version of vinyl
0ddb2bb
@Technius
Add a function to extract types from annotated JoinIR ASTs
fd6b30d
@Technius
Add some helper functions for dealing with annotated JoinIR AST
67e9e5d
@Technius
Fix let expressions in JoinIR to include next expression
aa24be0
@Technius
[skip-ci] Non-working attempt at JoinIR codegen
f9c1280 
Codegen for JoinIR currently can't be implemented because annotations are not
attached for variable bindings, only for next expressions.

The IR needs to be modified so it is a linear list of statements rather than
expressions in linked-list firm.
@Technius
[skip ci] Finish JoinIR codegen
d43b0f4 
Not tested yet
@Technius
[skip ci] WIP start on AST to JoinIR transformation
bb9235d
@Technius
[skip ci] WIP finish most of AST to Join IR transforms
603418f
@Technius
Complete AST to Join IR transformation (not tested yet)
bc71900
@Technius
Fix JoinIR code generation variable binding bug
1a42cd9
@Technius
Remove code generation for Simpl AST
cafb6a6
@Technius
Improve JoinIR pretty printing
3c48d34
@Technius
[skip ci] WIP modify Join IR to support more efficient control flow
e14de82
@Technius
Update AST to JoinIR transformation
c4b4d26
@Technius
Rename CodegenJoin to Codegen
28c469f
@Technius
Implement JoinIR AST verification algorithm
38ab68a
@Technius
Refactor JoinIR syntax definitions to JoinIR subfolder
001bcd5
@Technius
Fix JoinIR if cfe pretty printing
d24ae79
@Technius
For JoinIR Verify: Export VerifyError, take VerifyCtx as argument
247439c
@Technius
Add unit tests for JoinIR verification
fa650af
@Technius Technius mentioned this pull request Apr 3, 2019
Open
23 tasks
@Technius Technius marked this pull request as ready for review April 4, 2019 06:41
@Technius Technius changed the title [WIP] Implement intermediate representation with join points Implement intermediate representation with join points Apr 4, 2019
@Technius Technius merged commit 0e35fd6 into master Apr 4, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@Technius Technius

Labels

enhancement New feature or request

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@Technius