MaxGraey
305659427d
changes according review
2020-07-07 01:55:18 +03:00
MaxGraey
d21ca7f2a3
fixed added fits-in-native-word contrain
2020-07-03 11:46:37 +03:00
MaxGraey
1033cf5748
use (isub 1 $C) instead (iadd -1 $C)
2020-07-03 11:01:35 +03:00
MaxGraey
d839d83f7e
add reminder by a power of two peephole rule
2020-07-03 09:44:59 +03:00
Declan Kelly
a3feb8a412
Implement customer [de]serialization for IntegerInterner
...
Added some basic tests that the representation of the interner
is only the `values` sequence, and that it round-trips successfully.
2020-06-30 01:21:27 -07:00
Nick Fitzgerald
210b036320
peepmatic: Represent various id types with u16
...
These ids end up in the automaton, so making them smaller should give us better
data cache locality and also smaller serialized sizes.
2020-05-14 07:52:23 -07:00
Nick Fitzgerald
469104c4d3
peepmatic: Make the results of match operations a smaller and more cache friendly
2020-05-14 07:52:23 -07:00
Nick Fitzgerald
090d1c2d32
cranelift: Port most of simple_preopt.rs over to the peepmatic DSL
...
This ports all of the identity, no-op, simplification, and canonicalization
related optimizations over from being hand-coded to the `peepmatic` DSL. This
does not handle the branch-to-branch optimizations or most of the
divide-by-constant optimizations.
2020-05-14 07:52:23 -07:00
