Is anyone aware pf any public QEMU's TCG operational semantics description? I rather found something about LLVM, but I'm not sure if these two are quite similar? especially that TCGs use sometimes custom helper functions rather than micro-ops.
Any pointers would be appreciated.
Thanks. Best regards,