| Commit message (Collapse) | Author | Age | Files | Lines |
|\ |
|
| |
| |
| |
| |
| | |
The name_of_register and register_of_name function are shared between
all architectures and can be moved in a common file.
|
| |
| |
| |
| |
| | |
The function is in fact just a call to the
function`is_callee_save_register` from `Conventions1.v`.
|
| |
| |
| |
| |
| | |
Replace the pattern `try Some (Hashtbl.find ...) with Not_found -> None`
by a call to the function Hashtbl.find_opt.
|
|/ |
|
|
This commit adds a back-end for the AArch64 architecture, namely ARMv8
in 64-bit mode.
|