Import debugging traces from WinDBG into IDA. Color the graph, fill in the value of all the operands, etc.