Inline assembly

[vegard]

I imagine an asm macro that defines symbols for registers and instruction mnemonics and takes arguments for inputs/outputs/constraints as well as the actual instructions. (Constraints will necessarily be limited for now, since there is no dynamic register allocation to start with.)