You never stop learning, I just explored how I can force a compiler into producing the sbb op on x86. It’s quite difficult actually, most of them produce for example cmp + seta + neg for the term -(a > b). In fact the only deterministic behaviour is with a very special ternery term (a [...]