Изменения
→Нахождение минимума и максимума из двух чисел без использования условного оператора
'''int32''' abs1(x: '''int32'''):
mask = x >> 31
'''return''' (x + mask) <tex>\oplus</tex> '''XOR''' mask
'''int32''' abs2(x: '''int32'''):
mask = x >> 31
'''return''' (x <tex>\oplus</tex> + mask) - '''XOR''' mask
</code>
Этот способ корректен только если можно утверждать, что величина <tex>(x - y)</tex> лежит между граничными значениями типа int.
Пусть даны числа <tex>x</tex> и <tex>y</tex> разрядности <tex>n</tex>. Тогда, если <tex>x < y</tex>, то <tex>((x - y) >> (n - 1)) = -1</tex> , а если <tex>x \geqslant y</tex>, то <tex>((x - y) >> (n - 1)) = 0</tex>. Выражение <tex>((x - y) \& ((x - y) >> (n - 1))</tex> принимает значение <tex>0</tex>, если <tex>x \geqslant y</tex> , и <tex>(x - y)</tex>, если <tex>x < y</tex>.
<code>
'''int32''' min(x, y: '''int32'''):
