search

apt1002 / mijit

Experimental JIT compiler generator
https://github.com/apt1002/mijit/
25 stars 4 forks source link

`aarch64::Assembler::mem()` should take an `enum Address` #43

Closed apt1002 closed 3 years ago

apt1002 commented 3 years ago

Currently aarch64::Assembler::mem() panics if the address offset is not representable. Instead, we should make a type Address which proves that the offset is representable, thereby moving the checks into whatever constructs the Address.

apt1002 commented 3 years ago

We decided to only support the "scaled offset" form. Commit 087f0e6 introduces struct Offset.