ALPHA_AESR_INV
__CTASSERT(ALPHA_AESR_INV == (FP_X_INV << 1));
if ((a0 & (ALPHA_AESR_SWC | ALPHA_AESR_INV)) != 0 ||
if ((a0 & (ALPHA_AESR_SWC | ALPHA_AESR_INV)) == 0)