Steinar H. Gunderson: Decompiler patterns, part 8: Un-repetition of conditions

Today, for a slightly more complicated snippet, but still in the same general area; say you have code like this: x = (0x1000 – y) / 24; z = var_s5 < 5; if (x >= 0x81) { x = 0x80; z = var_s5 < 5; } var_s4 = 0; if (z == 0) { In particular, note the z = var_s5 < 5; repeated. Most likely, this is the compiler sticking stuff into branch delay slots, or else re-checking the…

Quelle: Originalartikel öffnen