refactor: use different sections for this rule
;; Replace with negative 1.
(=> (bor_imm -1 $x) -1)
+
+;; Other replacments
(=> (bxor_imm -1 $x) (bnot $x))
;; Transform `[(x << N) >> N]` into a (un)signed-extending move.
