Thanks to Andrew Jenner for disassembling the 8086 microcode.
reenigne.org/blog/8086-microco