P1
(P1(W0 ^ W7 ^ crypto_rol_u32(W13, 15)) ^ crypto_rol_u32(W3, 7) ^ W10)
p = P0 + z*(P1 + z*(P2 + z*(P3 + z*P4)));
c = x - t*(P1+t*(P2+t*(P3+t*(P4+t*P5))));
P1 = 1.66666666666666019037e-01, /* 0x3FC55555, 0x5555553E */
P1 = 1.6666667163e-01, /* 0x3e2aaaab */
c = x - t*(P1+t*(P2+t*(P3+t*(P4+t*P5))));
t1 = z - t*(P1+t*(P2+t*(P3+t*(P4+t*P5))));
P1 = 1.66666666666666019037e-01, /* 0x3FC55555, 0x5555553E */
t1 = z - t*(P1+t*(P2+t*(P3+t*(P4+t*P5))));
P1 = 1.6666667163e-01, /* 0x3e2aaaab */
r = t + t * z * (P1 + z * (P2 + z * (P3 + z * (P4 + z * (P5 + z * (P6
P1 = 0x1.62e42fefa39ef35793c7673007e6p-1L,
+ P5) * x + P4) * x + P3) * x + P2) * x + P1) * x + P0) * x;
P1 = -5.722847283900608941516165725053359168840E7L,
+ P1) * x
P1 = 7.771154681358524243729929227226708890930E4L,
r = t_lo + (t_hi + t_lo) * z * (P1 + z * (P2 + z * (P3 + z * (P4
P1 = 0x1.62e42fefa39efp-1,
+ P1) * x
P1 = 2.642771505685952966904660652518429479531E3L,
r = t + t * z * (P1 + z * (P2 + z * (P3 + z * (P4 + z * P5))));
P1 = 0x1.62e42fefa39efp-1,
tv = tv + u * (P1 + z * P2) + u * (z * z) * (P3 + z * P4);
P1 = 0x1.62e430p-1f,
*P1(p) = (fgpat | bgpat);
*P1(p) = (fgpat | bgpat);
*P1(p) = (fgpat | bgpat);
getandputrop(P1(psrc), srcBit, dstBit, cx, P1(pdst), rop);
getandputrop(P1(psrc), (sx & 0x1f),
(dx & 0x1f), nstart, P1(pdst), rop);
*P1(pdst) = 0;
*P1(pdst) = *P1(psrc);
*P1(pdst) = 0;
getunalignedword(P1(psrc),
xoffSrc, *P1(pdst));
getandputrop(P1(psrc), xoffSrc, 0, nend,
P1(pdst), rop);
getandputrop(P1(psrc), xoffSrc, 0, nend,
P1(pdst), rop);
*P1(pdst) = 0;
getunalignedword(P1(psrc),
xoffSrc, *P1(pdst));
getandputrop(P1(psrc), (sx & 0x1f),
(dx & 0x1f), nstart, P1(pdst), rop);