REC_QR_X
LOAD(x, REC_QR_X);
XOR_ACC(p, REC_QR_X);
COPY(REC_QR_X, REC_QR_T);
MUL(mul[MUL_QR_XQ], REC_QR_X); /* X = Q * xqm */
XOR(REC_QR_Y, REC_QR_X); /* X = R ^ X */
MUL(mul[MUL_QR_X], REC_QR_X); /* X = X * xm */
STORE(x, REC_QR_X);