# Osiris/Set:Standard
This crate provides an instruction set for a virtual machine
built with pieces from crates [osiris-data](https://crates.io/crates/osiris-data) and [osiris-process](https://crates.io/crates/osiris-process).
An exemple implementation in [my forge](https://asgard.trehinos.eu/osiris/virtual-process).
## Warning
**Before v1.0.0, the API may change a lot** :
* The set is incomplete. A lot is planed, but more is to be defined,
* Operations will be added,
* Arguments scheme may change,
* Operations could be moved or removed.
## Operations
* `0x0000` noop
### Flow control
* `0x0101` jump:`address`
* `0x0102` call:`address`
* `0x0103` return
* `0x0104` goto `direct:32`
* `0x0105` gosub `direct:32`
* `0x0108` loop:`counter_init`
* `0x0109` next `direct:32`
* `0x010A` goto-if:`CMP` `direct:32`
* `0x010B` gosub-if:`CMP` `direct:32`
* `0x010C` goto-check:`checked` `direct:32`
* `0x010D` gosub-check:`checked` `direct:32`
* `0x010E` skip-if:`CMP`
* `0x010F` skip-check:`checked`
* `0x01FF` halt
### Registers control
* `0x0201` set-top:`target` `top:32`
* `0x0202` set-bottom:`target` `bottom:32`
* `0x0203` clear-range
* `0x0204` move-to-float:`float` `unsigned:16`
* `0x0205` move-from-float:`unsigned` `float:16`
* `0x0210` push:`unsigned`
* `0x0211` pop:`unsigned`
* `0x0220` get-compare:`target`
### Memory control
* `0x0301` store-words:`target` `[start:end]`
* `0x0302` load-words:`target` `[start:end]`
* `0x0303` get-memory-size:`target`
* `0x0304` store-floats:`target` `[start:end]`
* `0x0305` load-floats:`target` `[start:end]`
### Logic operations
* `0x0400` is:`CMP` `target:16`:`compare:16`
* `0x0401` not:`target` 0:`origin:16`
* `0x0402` or:`target` `[start:end]`
* `0x0403` and:`target` `[start:end]`
* `0x0404` xor:`target` `[start:end]`
* `0x0405` nor:`target` `[start:end]`
* `0x0406` nand:`target` `[start:end]`
* `0x0407` nxor:`target` `[start:end]`
### Unsigned-integral arithmetic
* `0x1001` sum-unsigned:`target` `[start:end]`
* `0x1002` product-unsigned:`target` `[start:end]`
* `0x1003` difference-unsigned:`target` `[start:end]`
* `0x1004` quotient-unsigned:`target` `[start:end]`
* `0x100F` compare-unsigned `r1:16`:`r2:16`
## License
* Copyright (c) 2024 Sébastien Geldreich
* [License MIT](LICENSE)