> I feel like a smarter compiler could have a friendlier asm syntax, similar to the one used by FreeBASIC[1].

Feel free to propose a better syntax, then. This feature is not yet part of Stable Rust, so syntax improvements are very much possible.

The FreeBASIC syntax seems problematic though, since it would require architecture-specific smarts in the compiler and make it hard to port it to different architectures or add support for newer asm features. It might be better to have these additional features as separate tooling or crates, that might even wrap the asm! syntax itself via proc macros.