REC_PQR_X
LOAD(x, REC_PQR_X);
XOR_ACC(p, REC_PQR_X);
COPY(REC_PQR_X, REC_PQR_XS);
MUL(mul[MUL_PQR_XP], REC_PQR_X); /* Xp = Pxyz * xp */
XOR(REC_PQR_Y, REC_PQR_X);
XOR(REC_PQR_Z, REC_PQR_X); /* X = Xp + Xq + Xr */
STORE(x, REC_PQR_X);
XOR(REC_PQR_X, REC_PQR_XS); /* Pyz = Pxyz + X */
MUL(mul[MUL_PQR_YU], REC_PQR_X); /* Xq = X * upd_q */
XOR(REC_PQR_X, REC_PQR_YS); /* Qyz = Qxyz + Xq */
COPY(REC_PQR_XS, REC_PQR_X); /* restore Pyz */
MUL(mul[MUL_PQR_YP], REC_PQR_X); /* Yp = Pyz * yp */
XOR(REC_PQR_X, REC_PQR_YS); /* Y = Yp + Yq */