 Andy Wingo
|
cd5ab6377b
Add $switch CPS term kind
|
4 years ago |
|
Andy Wingo
|
d238566d0e
CPS compiler reduces eq? on constant to eq-constant?
|
4 years ago |
|
Andy Wingo
|
a706b7e465
Fold (logior 0 INT) to INT
|
5 years ago |
|
Andy Wingo
|
70ad8a2e72
Reduce quo, rem, mod for power-of-two divisors
|
5 years ago |
|
Andy Wingo
|
d1cf892880
Optimize fixnum or s64 -> f64 conversions
|
5 years ago |
|
Andy Wingo
|
9b3c4612bd
CPS type analysis support for mutable vs immutable vectors
|
7 years ago |
|
Andy Wingo
|
29fee39c2a
Variable renaming in type-fold.scm
|
7 years ago |
|
Andy Wingo
|
afb0a92d50
$branch is now a distinct CPS term type
|
7 years ago |
|
Andy Wingo
|
108ade6b0e
Re-add support for logbit?
|
7 years ago |
|
Andy Wingo
|
64acf24b40
Fix NaN handling in <= and >=
|
7 years ago |
|
Andy Wingo
|
40dac99d42
Integer comparison folding refactors
|
7 years ago |
|
Andy Wingo
|
695362a830
Better type folding for = on exact numbers
|
7 years ago |
|
Andy Wingo
|
6f3ae92b37
Improve type and range inference on bignums
|
7 years ago |
|
Andy Wingo
|
6a11fb1532
Add &exact-number helper definition
|
7 years ago |
|
Andy Wingo
|
c22e61a7ff
Fix u64/s64 typesafety around fixnum (un)tagging
|
7 years ago |
|
Andy Wingo
|
a48735f56c
Fix s64->scm reducer
|
7 years ago |
|
Andy Wingo
|
294dbaad35
Add support for comparisons against integer immediates
|
7 years ago |
|
Andy Wingo
|
4a0a930f1c
Don't fold comparisons that might contain a NaN.
|
7 years ago |
|
Andy Wingo
|
7e79a3291e
Better untagging of fixnums
|
7 years ago |
|
Andy Wingo
|
e8226be0c0
Type folding has "macro reduction" phase
|
7 years ago |
|
Andy Wingo
|
7a7f71de5c
Canonicalize <=, >=, and > primcalls to <
|
7 years ago |
|
Andy Wingo
|
17bd5a8938
Add lsh, rsh instructions
|
7 years ago |
|
Andy Wingo
|
c54c151eb6
$primcall has a "param" member
|
7 years ago |
|
Andy Wingo
|
0d42f5467f
Lower logtest branches to instead be 'zero? logand'
|
7 years ago |
|
Andy Wingo
|
d1c69b5c95
Remove compiler support for u64-scm comparisons
|
7 years ago |
|
Andy Wingo
|
31e7f44340
Add compiler support for fixnum? primcall predicate
|
7 years ago |
|
Andy Wingo
|
79a2748f83
Add compiler support for s64 comparisons.
|
7 years ago |
|
Andy Wingo
|
73d1502630
Lower eqv? and equal? to new instructions.
|
7 years ago |
|
Andy Wingo
|
c2fa345093
Add missing compiler support for heap-object? primcall et al.
|
7 years ago |
|
Andy Wingo
|
c119623e45
Simplify $branch to always take a $primcall
|
7 years ago |
