akkartik
/
mu
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

7026

This commit is contained in:
Kartik Agaram 2020-10-14 10:52:03 -07:00
parent d93841e347
commit 28274eebc3
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
mu.md
View File

@ -617,12 +617,16 @@ copy-handle x, y
I said at the start that most instructions map 1:1 to x86 machine code. To
enforce type- and memory-safety, I was forced to carve out a few exceptions:
* the `index` instruction on arrays, for bounds-checking
* the `index` instruction on arrays, for bounds-checking (not yet implemented)
* the `length` instruction on arrays, for translating the array size in bytes
into the number of elements.
* the `lookup` instruction on handles, for validating fat-pointer metadata
* `var` instructions, for initializing memory
If you're curious, [the compiler summary page](http://akkartik.github.io/mu/html/mu_instructions.html)
has the complete nitty-gritty on how each instruction is implemented. Including
the above exceptions.
## Conclusion
Anything not allowed here is forbidden. Even if the compiler doesn't currently