Everyone says assembly is untyped—everyone is wrong

Everyone Says Assembly Is Untyped—Everyone Is Wrong Series: Syntax and how it Matters

TL;DR: I believe Odin’s inline assembly is currently the best out of any language.

The most important aspects are of this article listed below. I am not aware of any other assembly (GCC/Clang/Rust/Go…) that would combine all of these aspects:

Inline assembly is organized into asm “templates”, similar to and callable as procedures.

“templates”, similar to and callable as procedures. asm templates integrate with rest of the code, through bindings specifying clobbers, pinned, tied, and scratch registers.

templates integrate with rest of the code, through bindings specifying clobbers, pinned, tied, and scratch registers. Assembly syntax is unified across ISAs and consistent with Odin syntax.

Assembly is fully type checked, just like rest of Odin code.

Understanding that assembly is actually typed.

Real semantic diagnostics via core:rexcode encoding tables.

encoding tables. It was built in ~7 days.

... continue reading