t7
t7 = -3.68452016781138256760e-03, /* 0xBF6E2EFF, 0xB3E914D7 */
p2 = t1+w*(t4+w*(t7+w*(t10+w*t13)));
p2 = t1+w*(t4+w*(t7+w*(t10+w*t13)));
t7 = -3.6845202558e-03, /* 0xbb7177fe */
{ t7, "JJ" },
ldq t7, OFFSET_T7(sp)
stq t7, OFFSET_T7(sp)
uint32_t t0, t1, t2, t3, t4, t5, t6, t7, t8, t9;
t7 = y13 & y16;
t9 = t8 ^ t7;
t11 = t10 ^ t7;