Lines Matching defs:res1
99 mpf_t res1, res2, res3;
116 mpf_init (res1);
131 (dss_funcs[i]) (res1, in1, in2);
141 if (mpf_cmp (res1, res2) != 0)
142 dump_abort (dss_func_names[i], res1, res2);
143 if (mpf_cmp (res1, res3) != 0)
144 dump_abort (dss_func_names[i], res1, res3);
162 (dsi_funcs[i]) (res1, in1, this_in2i);
168 if (mpf_cmp (res1, res2) != 0)
169 dump_abort (dsi_func_names[i], res1, res2);
180 (dis_funcs[i]) (res1, in1i, in2);
186 if (mpf_cmp (res1, res2) != 0)
187 dump_abort (dis_func_names[i], res1, res2);
195 mpf_clear (res1);
204 dump_abort (const char *name, mpf_t res1, mpf_t res2)
207 mpf_dump (res1);