Simplify sbb ternary pattern

[plafosse]

The following pattern:

a = sbb(x, x, y != 0) & -4

Can be simplified down to:

if (y != 0)
  a = -4
else
  a = 0

Example: sparkle giraffe juggling toaster.zip @ 1c00013a0

Seen @ 1c00013a0 as

a = (sbb(x, x, y != 0) & -4) + 5

notice the additional + 5 at the end. Most likely we'd need to take that into account too and do the whole simplification in one step. So the output becomes

if (y != 0)
  a = 1
else
  a = 5

Compare with other tools here: https://dogbolt.org/?id=eed48ff1-8c4b-4a5d-8fc8-abc82a21b1fe#BinaryNinja=215&Hex-Rays=523

[xusheng6]

There are many more such assembly riddles like this: https://www.xorpd.net/pages/xchg_rax/snip_00.html. Solutions can be found https://github.com/0xdea/xorpd-solutions