Value Exclusion Simplification

[plafosse]

What is the feature you'd like to have?

Some common expressions can be simplified in HLIL but are not for instance:

if (rbx_2 == 0x20 || rbx_2 == 0x40 || (rbx_2 != 0x60 && rbx_2 != 0x80))

This can be simplified to

if (rbx_2 != 0x60 && rbx_2 != 0x80)

As 0x20 and 0x40 are already in the not in set of {0x60, 0x80}

Address: 0x18000912d in the internal shared binary: unicorn chess taco rainbow