RolfRolles的答复

OpenRCE的RolfRolles答复如下：
Nice job on the decompilation.
My experience diffing patches (noticing that sometimes the only difference between two functions seemed to be register/stack allocation) makes me suspect that MSVC uses a non-deterministic register allocator.  I may be wrong, and would be interested to hear the correct answer if so.  Register allocation is often formulated as a graph-coloring problem, which is in NP, and therefore there can exist no algorithm to solve it optimally in polynomial time (assuming P != NP).  Consequently, approximation algorithms are often used to "solve" problems such as this, and these algorithms often employ the use of random variables.
Therefore, in general, there is no guarantee that two successive compilations of the same source code (or a conforming decompilation/recompilation) will see the same variables assigned to the same registers at the same program points.  If the only differences between your recompilation and the original binary are register assignments / stack spills, you should consider it a job well-done; I would, anyway.