Actually I knew someone who worked on special compilers for embedded stuff for the military which would only emit code which uses specific asm operations which

Actually I knew someone who worked on special compilers for embedded stuff for the military which would only emit code which uses specific asm operations which had been verified on specific cpus. So it’s really not that far fetched.