Home | History | Annotate | Line # | Download | only in tests 
      1 /* tadd_ui -- test file for mpc_add_ui.
      2 
      3 Copyright (C) 2008, 2010, 2012, 2013 INRIA
      4 
      5 This file is part of GNU MPC.
      6 
      7 GNU MPC is free software; you can redistribute it and/or modify it under
      8 the terms of the GNU Lesser General Public License as published by the
      9 Free Software Foundation; either version 3 of the License, or (at your
     10 option) any later version.
     11 
     12 GNU MPC is distributed in the hope that it will be useful, but WITHOUT ANY
     13 WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
     14 FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for
     15 more details.
     16 
     17 You should have received a copy of the GNU Lesser General Public License
     18 along with this program. If not, see http://www.gnu.org/licenses/ .
     19 */
     20 
     21 #include <stdlib.h>
     22 #include "mpc-tests.h"
     23 
     24 static void
     25 check_ternary_value (void)
     26 {
     27   mpfr_prec_t prec;
     28   mpc_t z;
     29 
     30   mpc_init2 (z, 2);
     31 
     32   for (prec=2; prec <= 1024; prec++)
     33     {
     34       mpc_set_prec (z, prec);
     35 
     36       mpc_set_ui (z, 1, MPC_RNDNN);
     37       if (mpc_add_ui (z, z, 1, MPC_RNDNZ))
     38         {
     39           printf ("Error in mpc_add_ui: 1+1 should be exact\n");
     40           exit (1);
     41         }
     42 
     43       mpc_set_ui (z, 1, MPC_RNDNN);
     44       mpc_mul_2ui (z, z, (unsigned long int) prec, MPC_RNDNN);
     45       if (mpc_add_ui (z, z, 1, MPC_RNDNN) == 0)
     46         {
     47           printf ("Error in mpc_add_ui: 2^prec+1 cannot be exact\n");
     48           exit (1);
     49         }
     50     }
     51 
     52   mpc_clear (z);
     53 }
     54 
     55 #define MPC_FUNCTION_CALL                                               \
     56   P[0].mpc_inex = mpc_add_ui (P[1].mpc, P[2].mpc, P[3].ui, P[4].mpc_rnd)
     57 #define MPC_FUNCTION_CALL_REUSE_OP1                                     \
     58   P[0].mpc_inex = mpc_add_ui (P[1].mpc, P[1].mpc, P[3].ui, P[4].mpc_rnd)
     59 
     60 #include "tgeneric.tpl"
     61 
     62 int
     63 main (void)
     64 {
     65   test_start ();
     66 
     67   check_ternary_value ();
     68 
     69   tgeneric_template ("add_ui.dsc", 2, 1024, 1, 1024);
     70 
     71   test_end ();
     72 
     73   return 0;
     74 }
     75