[TNorthover]

I'm vaguely sympathetic to these crypto people's end goals (talking about things like constant time evaluation & secret hiding), but it's really not what general purpose compilers are even thinking about most of the time so I doubt it'll ever be more than a hack that mostly works.

They'll probably need some kind of specialized compiler of their own if they want to be serious about it. Or carry on with asm.

[Retr0id]

The author has written such a compiler: https://cr.yp.to/qhasm.html (or at least, a prototype for one)

[jedisct1]

Jasmin has largely replaced qhasm.

[pjmlp]

Jasmin is also an assembler for JVM bytecode, love overloaded names.