Initial ISLE integration for x64#3506

Merged

fitzgen merged 95 commits into

bytecodealliance:mainfrom

Nov 15, 2021

Commits on Oct 13, 2021

Initial ISLE integration with the x64 backend
fitzgen
committed

Commits on Nov 10, 2021

ISLE: use `lower_to_amode` inside `sink_load` implementation
fitzgen
committed
MachInst: always rematerialize constants, rather than assign them registers
fitzgen
committed
x64: special case `0` to use `xor` in `Inst::gen_constant` for `i128`s
fitzgen
committed

Commits on Nov 11, 2021

ISLE: implement x64 lowering for `band_not` in ISLE
fitzgen
committed
Initial public commit of ISLE prototype DSL compiler.
cfallin
committed
WIP: rip out a bunch of stuff and rework
cfallin
committed
WIP
cfallin
committed
WIP -- more thinking about how to work priorities into FSM
cfallin
committed
Start of significant rework: compile to a trie, not an FSM, and handle rule priorities appropriately.
cfallin
committed
trie insertion
cfallin
committed
skeleton for codegen
cfallin
committed
Generate internal enum types.
cfallin
committed
Support for file input and output, including multiple input files with proper position tracking.
cfallin
committed
more codegen WIP: start to generate functions
cfallin
committed
WIP.
cfallin
committed
WIP.
cfallin
committed
WIP.
cfallin
committed
Working extractor and constructor generation from rules!
cfallin
committed
Working example and README
cfallin
committed
Add TODO
cfallin
committed
Another example, testing rule priorities a bit
cfallin
committed
Update long block comment describing priority trie in codegen.rs.
cfallin
committed
Priority-trie: merge edges with different priorities into ranges when possible.
cfallin
committed
Generate match {} statements by merging adjacent MatchVariant trie edges.
cfallin
committed
Codegen: parameterize on a generated Context trait that contains external ctors/etors.
cfallin
committed
More work on sketch for isel and some TODO items derived from it.
cfallin
committed
(and ...) combinator in patterns
cfallin
committed
Initial draft of DSL semantics complete.
cfallin
committed
Infallible extractors, and some fixes to fallibility in return types (Option<T> vs T).
cfallin
committed
Support for bools. Also fix fallible/infallible mixup for ctors.
cfallin
committed
Some test cases for arg-less enums.
cfallin
committed
Some fixes to the internal-extractor macro substitution
cfallin
committed
Remove old .gitmodules -- no longer using wasmtime as a submodule
cfallin
committed
Remove old/no longer used `lower.rs`
cfallin
committed
Revamped error handling: keep going beyond some errors to accumulate a list of build errors, like most conventional compilers.
cfallin
committed
Properly track locations on every AST node. Semantic errors are much more useful now. Also print parse errors in same (pseudo-standard compiler error) output format.
cfallin
committed
README update.
cfallin
committed
bugfix to macro template generation: exclude Pos on ident from equality (broken by recent commit)
cfallin
committed
Refactor to allow use as library, in order to allow build.rs usage.
cfallin
committed
Split into isle and islec crates
cfallin
committed
TODO update.
cfallin
committed
Support extern constants of any primitive type.
cfallin
committed
TODO items from call with fitzgen
cfallin
committed
Remove TODO we don't want to do

fitzgen
authored and
cfallin
committed
Use `matches!(..)` to make `TrieNode::is_empty` more concise

fitzgen
authored and
cfallin
committed
Update TODO

fitzgen
authored and
cfallin
committed
Remove an unused field in `TermFunctionBuilder`

fitzgen
authored and
cfallin
committed
Don't use `&mut dyn Write` in codegen

fitzgen
authored and
cfallin
committed
Fix `let` variable typing rules

fitzgen
authored and
cfallin
committed
Add docs to all public exports and `deny(missing_docs)` going forward

fitzgen
authored and
cfallin
committed
Switch to using `thiserror`

fitzgen
authored and
cfallin
committed
Use `miette` for reporting errors

fitzgen
authored and
cfallin
committed
Use `structopt` to derive CLI flags

fitzgen
authored and
cfallin
committed
Define a fuzz target for the parser

fitzgen
authored and
cfallin
committed
Fix overflows when tokenizing integer literals

fitzgen
authored and
cfallin
committed
Fix some panics on parsing error paths

fitzgen
authored and
cfallin
committed
Fix a panic when parsing var patterns

fitzgen
authored and
cfallin
committed
Add a top-level parse function

fitzgen
authored and
cfallin
committed
Use `.copied()` instead of `.cloned()`

fitzgen
authored and
cfallin
committed
Extend fuzzing to semantic analysis and codegen

fitzgen
authored and
cfallin
committed
Check that integer literals are a primitive type

fitzgen
authored and
cfallin
committed
Check that integer literals are primitive types in patterns

fitzgen
authored and
cfallin
committed
Make sure that every `decl` has a definition at the end of type checking

fitzgen
authored and
cfallin
committed
Add a tutorial to the README

fitzgen
authored and
cfallin
committed
Move trie construction out to its own module

fitzgen
authored and
cfallin
committed
Fill out implementation overview in README

fitzgen
authored and
cfallin
committed
Report the recursive calls when an extractor is recursive

fitzgen
authored and
cfallin
committed
Fix a panic when checking the call graph for an extractor with type errors in its definition

fitzgen
authored and
cfallin
committed
Allow terms to have both extractors and constructors

fitzgen
authored and
cfallin
committed
Yield source positions from lexer that have file-relative offsets

fitzgen
authored and
cfallin
committed
Keep track of where primitives are defined for better error messages

fitzgen
authored and
cfallin
committed
Use `BTree{Map,Set}` instead of `Hash{Map,Set}` to ensure deterministic output

fitzgen
authored and
cfallin
committed
Do not use 1-member tuples in external constructor/extractor trait methods

fitzgen
authored and
cfallin
committed
Allow irrefutable let patterns in the generated code

fitzgen
authored and
cfallin
committed
Emit `if let`s against `Option<x>` instead of `Option<(x,)>`

fitzgen
authored and
cfallin
committed
Fix `allow` declaration

fitzgen
authored and
cfallin
committed
Add a method to pretty-print a trie

fitzgen
authored and
cfallin
committed
Make sure that infallible match operations come after fallible ones

fitzgen
authored and
cfallin
committed
Remove `eprintln!`s that shouldn't have been committed

fitzgen
authored and
cfallin
committed
Add better error messages for duplicate term declarations

fitzgen
authored and
cfallin
committed
Add support for hex integer literals

fitzgen
authored and
cfallin
committed
Add myself as a second author

fitzgen
authored and
cfallin
committed
Add Cargo.toml metadata

fitzgen
authored and
cfallin
committed

Commits on Nov 12, 2021

Make ISLE part of the root Cargo workspace.
cfallin
committed