This PR adds three new primitives that could be used in definition instruction semantics:
invoke-subroutine, especially useful for intrinsic calls
empty, which denotes empty semantics, useful for nops
special to denote special semantics, like hlt
It also implements semantics for several missing semantics (detected with --print-missing), mostly nops, but there's one significant finding - the popa (POPA32 in llvm parlance) instruction from x86, which was surprisingly missing.
This PR adds three new primitives that could be used in definition instruction semantics:
hltIt also implements semantics for several missing semantics (detected with
--print-missing), mostly nops, but there's one significant finding - thepopa(POPA32 in llvm parlance) instruction from x86, which was surprisingly missing.