Home | History | Annotate | Download | only in tests

Lines Matching refs:res3

153   mpz_t res1, res2, res3;
171   mpz_init (res3);
404 	  mpz_gcdext (res1, res2, res3, res1, in2);
407 	  mpz_check_format (res3);
409 	      || mpz_cmp (ref3, res3) != 0)
413 	  mpz_gcdext (res1, res2, res3, res2, in2);
416 	  mpz_check_format (res3);
418 	      || mpz_cmp (ref3, res3) != 0)
421 	  mpz_set (res3, in1);
422 	  mpz_gcdext (res1, res2, res3, res3, in2);
425 	  mpz_check_format (res3);
427 	      || mpz_cmp (ref3, res3) != 0)
431 	  mpz_gcdext (res1, res2, res3, in1, res1);
434 	  mpz_check_format (res3);
436 	      || mpz_cmp (ref3, res3) != 0)
440 	  mpz_gcdext (res1, res2, res3, in1, res2);
443 	  mpz_check_format (res3);
445 	      || mpz_cmp (ref3, res3) != 0)
448 	  mpz_set (res3, in2);
449 	  mpz_gcdext (res1, res2, res3, in1, res3);
452 	  mpz_check_format (res3);
454 	      || mpz_cmp (ref3, res3) != 0)
462 	      || mpz_cmp (ref3, res3) != 0)
470 	      || mpz_cmp (ref3, res3) != 0)
478 	      || mpz_cmp (ref3, res3) != 0)
486 	      || mpz_cmp (ref3, res3) != 0)
623   mpz_clear (res3);