The patterns within the pseudocode for AMD TBM and x86 BMI1 are
as follows:
-* first pattern A: `x / ~x`
-* second pattern B: `| / & / ^`
-* third pattern C: `x+1 / x-1 / ~(x+1) / (~x)+1`
+* first pattern A: two options `x` or `~x`
+* second pattern B: three options `|` `&` or `^`
+* third pattern C: four options `x+1`, `x-1`, `~(x+1)` or `(~x)+1`
Thus it makes sense to create a single instruction
that covers all of these. A crucial addition that is essential