Decompilation optimization pass should simplify expression `(x - y) != 0`

[mborgerson]

---

Is your feature request related to a problem? Please describe.

(x - y) != 0 can be unnatural

Describe the solution you would like.

This expression can be directly substituted with a more readable version: x != y. It can also be rewritten as x == y (swapping jump targets).

Describe alternatives you have considered.

• Do nothing
• Rewrite as x != y
• Rewrite as x == y and swap the jump targets

[github-actions[bot]]

This issue has been marked as stale because it has no recent activity. Please comment or add the pinned tag to prevent this issue from being closed.