t11
t11 = -5.38595305356740546715e-04, /* 0xBF41A610, 0x9C73E0EC */
p3 = t2+w*(t5+w*(t8+w*(t11+w*t14)));
p3 = t2+w*(t5+w*(t8+w*(t11+w*t14)));
t11 = -5.3859531181e-04, /* 0xba0d3085 */
{ t11, "" },
ldq t11, OFFSET_T11(sp)
stq t11, OFFSET_T11(sp)
uint32_t t10, t11, t12, t13, t14, t15, t16, t17, t18, t19;
t11 = t10 ^ t7;
t20 = t11 ^ t16;