Insn definitions for RV64#12

Draft

pmatos wants to merge 28 commits intoportsfrom

Commits on Jun 12, 2020

sync simpler handling of tc U, V, W, X, Y

mflatt
authored and
Paulo Matos
committed
Move from Travis to GitHub Actions
Paulo Matos
committed
Give up on container use - it's broken in Actions
Paulo Matos
committed
Remove broken archs
Paulo Matos
committed
Ensure that the literal 1 is wide enough for a shift (#23)
Paulo Matos
committed
Add further archs for testing (#24)
Paulo Matos
committed
unbox local floating-point arithmetic

mflatt
authored and
Paulo Matos
committed
repairs for unboxing

mflatt
authored and
Paulo Matos
committed
repairs for arm32le

mflatt
authored and
Paulo Matos
committed
fix callable handling of string and bytevector arguments

mflatt
authored and
Paulo Matos
committed
add a `__varargs` FFI convention modifier

mflatt
authored and
Paulo Matos
committed
fix indirect unsigned return for arm32le

mflatt
authored and
Paulo Matos
committed
fix psuedo-random state C view for arm32

mflatt
authored and
Paulo Matos
committed
fix vfasl relocation for arm32

mflatt
authored and
Paulo Matos
committed
fix `ftype-lock!` for arm32le

mflatt
authored and
Paulo Matos
committed
make sure threads from thread tests finish

mflatt
authored and
Paulo Matos
committed
suppress time-stamp-counter test for arm32le

mflatt
authored and
Paulo Matos
committed
Revert "fix callable handling of string and bytevector arguments"

mflatt
authored and
Paulo Matos
committed
fix foreign-callable handling of bytevector arguments

mflatt
authored and
Paulo Matos
committed
repair a hashtable test

mflatt
authored and
Paulo Matos
committed
clean up backend API for floating point

mflatt
authored and
Paulo Matos
committed
fix bounds checking in `flonum->fixnum`

mflatt
authored and
Paulo Matos
committed
Initial asm-module definition
Paulo Matos
committed
Add asm-fpreg-max definition
Paulo Matos
committed
Further changes
Paulo Matos
committed
Changes
Paulo Matos
committed
Add definition for threaded rv64
Paulo Matos
committed

Commits on Jul 10, 2020

Add further instructions
Paulo Matos
committed