Luke Serné

Decompiler: Improve `for`-loop detection

5

Sometimes, `BlockWhileDo` blocks would be marked as using overflow syntax based on the unoptimised pcode. After the pcode had been optimised, the exit condition block was no longer "complex." Still,...

Decompiler: Optimise `do-while` inside `if` with same condition to `while-do`

1

**Is your feature request related to a problem? Please describe.** Ghidra fails to recognise that a `do-while` loop depending on the same condition as the enclosing "proper" `if` (i.e. it...

Before, the cleanup rule `Rule2Comp2Sub` only worked on explicit negations that used `INT_2COMP`. However, subtractions with constants are also replaced by additions during decompilation. This resulted in decompiler output like...

This new cleanup rule tries to eliminate comparisons with booleans. Such comparisons would often be shown as `x != false` in decompiler output, which is more complex than strictly necessary...

Closes #7283 These two commits improve the support of in-place operations by 1. Adding support for float addition, subtraction, multiplication and division to also be shown using in-place operations 2....