T0b1/wasmtime
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

TODO update.

Browse Source
This commit is contained in:
Chris Fallin
2021-09-14 23:30:42 -07:00
parent 521010cc4f
commit d0ace640a2
1 changed files with 10 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
cranelift/isle/TODO
View File

@@ -2,9 +2,18 @@
- Clean up and factor the codegen properly. - Clean up and factor the codegen properly.
- Get rid of the expression syntax `<EXPR` in patterns; do a type-dependent
parse instead where we know the polarity of pattern-term args and parse
in-args as exprs.
- Support extern constants.
- Look into whether optimizations are possible: - Look into whether optimizations are possible:
- More in-depth fallibility analysis (avoid failure edges where possible) - More in-depth fallibility analysis (avoid failure edges where possible)
- Slightly nicer human-readable generated code - Slightly nicer human-readable generated code
- Include full rule body (S-expression) in comment, not just line number - Include full rule body (S-expression) in comment, not just line number
- Inline some expressions (no more `let val23 = 1234; ... f(val23);`) - Inline some expressions (no more `let val23 = 1234; ... f(val23);`)
- Build inlining and simplification: inline invocations of internal
constructors, and eliminate ctor-etor or makevariant-matchvariant pairs.