which accesses one bit of the 32 bit Power ISA v3.0B
Condition Register).
-
`CR{n}` refers to `CR0` when `n=0` and consequently, for CR0-7, is defined, in v3.0B pseudocode, as:
CR{7-n} = CR[32+n*4:35+n*4]
# finally get the bit from the CR.
CR_bit = (CR_reg & (1<<bit_index)) != 0
-When it comes to applying SV, it is the *CR Field* number `CR\_reg`
+When it comes to applying SV, it is the *CR Field* number `CR_reg`
to which SV EXTRA2/3
-applies, **not** the `CR\_bit` portion (bits 3-4):
+applies, **not** the `CR_bit` portion (bits 3-4):
if extra3_mode:
spec = EXTRA3