raviqqe / autophagy

Yet another AOT compiler for Rust

Yota Toyama

It is a software engineer.

autophagy's Issues

Struct literal

Universal AST

• Migrate from the syn crate to its own AST.
• This allows us to parse sources from strings efficiently.
• This enables storing AST in global variables in a thread-safe way.

Slices

• Use the memref.view operation.

Initial support of syntax constructs

We do not need to validate types as the instruction macro keeps the original function definitions.

Constructs

• Arithmetic/binary/boolean operators
• Dereference operator
• Function calls
• let binding
• = assignment
  • Variables
  • struct fields
• while statement
• loop statement
• if expression
• struct field access

Types

• Boolean
• Integers
• Floating-point numbers
• References

Not supported

• Operator assignment (e.g. +=)
• Method calls
• for loop
• async functions

Auto dereference in MLIR backend

LLVM backend

Assignment with complete pointer dereference

• To implement complete pointer dereference, we need to look at both LHS and RHS (and potentially their types?) due to lack of address arithmetic in MLIR.

Arrays

Type inference (www)

• Type propagation like Scala and Go instead of unification.