Lines Matching defs:op1
33 mpz_t op1, op2, r1, r2;
50 mpz_init (op1);
62 mpz_rrandomb (op1, rands, op1n);
71 mpz_neg (op1, op1);
77 mpz_add (r1, op1, op2);
79 if (mpz_cmp (r2, op1) != 0)
80 dump_abort (i, "mpz_add or mpz_sub incorrect", op1, op2);
85 mpz_add_ui (r1, op1, op2long);
87 if (mpz_cmp (r2, op1) != 0)
88 dump_abort (i, "mpz_add_ui or mpz_sub_ui incorrect", op1, op2);
90 mpz_ui_sub (r1, op2long, op1);
91 mpz_sub_ui (r2, op1, op2long);
94 dump_abort (i, "mpz_add_ui or mpz_ui_sub incorrect", op1, op2);
99 mpz_clear (op1);
109 dump_abort (int i, const char *s, mpz_t op1, mpz_t op2)
112 fprintf (stderr, "op1 = "); debug_mp (op1, -16);