Export IDA microcode to BinExport format so that you can use BinDiff to diff microcodes - View it on GitHub