lib/msun/tests/conj_test.c

   1 /*-
   2  * Copyright (c) 2008 David Schultz <das@FreeBSD.org>
   3  * All rights reserved.
   4  *
   5  * Redistribution and use in source and binary forms, with or without
   6  * modification, are permitted provided that the following conditions
   7  * are met:
   8  * 1. Redistributions of source code must retain the above copyright
   9  *    notice, this list of conditions and the following disclaimer.
  10  * 2. Redistributions in binary form must reproduce the above copyright
  11  *    notice, this list of conditions and the following disclaimer in the
  12  *    documentation and/or other materials provided with the distribution.
  13  *
  14  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
  15  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  16  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  17  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
  18  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  19  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  20  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  21  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  22  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  23  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  24  * SUCH DAMAGE.
  25  */
  26
  27 /*
  28  * Tests for conj{,f,l}()
  29  */
  30
  31 #include <sys/cdefs.h>
  32 #include <complex.h>
  33 #include <fenv.h>
  34 #include <math.h>
  35 #include <stdio.h>
  36
  37 #include "test-utils.h"
  38
  39 #pragma STDC CX_LIMITED_RANGE   OFF
  40
  41 /* Make sure gcc doesn't use builtin versions of these or honor __pure2. */
  42 static float complex (*libconjf)(float complex) = conjf;
  43 static double complex (*libconj)(double complex) = conj;
  44 static long double complex (*libconjl)(long double complex) = conjl;
  45 static float (*libcrealf)(float complex) = crealf;
  46 static double (*libcreal)(double complex) = creal;
  47 static long double (*libcreall)(long double complex) = creall;
  48 static float (*libcimagf)(float complex) = cimagf;
  49 static double (*libcimag)(double complex) = cimag;
  50 static long double (*libcimagl)(long double complex) = cimagl;
  51
  52 static const double tests[] = {
  53         /* a +  bI */
  54         0.0,    0.0,
  55         0.0,    1.0,
  56         1.0,    0.0,
  57         -1.0,   0.0,
  58         1.0,    -0.0,
  59         0.0,    -1.0,
  60         2.0,    4.0,
  61         0.0,    INFINITY,
  62         0.0,    -INFINITY,
  63         INFINITY, 0.0,
  64         NAN,    1.0,
  65         1.0,    NAN,
  66         NAN,    NAN,
  67         -INFINITY, INFINITY,
  68 };
  69
  70 ATF_TC_WITHOUT_HEAD(main);
  71 ATF_TC_BODY(main, tc)
  72 {
  73         static const int ntests = sizeof(tests) / sizeof(tests[0]) / 2;
  74         complex float in;
  75         complex long double expected;
  76         int i;
  77
  78         for (i = 0; i < ntests; i++) {
  79                 __real__ expected = __real__ in = tests[2 * i];
  80                 __imag__ in = tests[2 * i + 1];
  81                 __imag__ expected = -cimag(in);
  82
  83                 ATF_REQUIRE(fpequal_cs(libcrealf(in), __real__ in, true));
  84                 ATF_REQUIRE(fpequal_cs(libcreal(in), __real__ in, true));
  85                 ATF_REQUIRE(fpequal_cs(libcreall(in), __real__ in, true));
  86                 ATF_REQUIRE(fpequal_cs(libcimagf(in), __imag__ in, true));
  87                 ATF_REQUIRE(fpequal_cs(libcimag(in), __imag__ in, true));
  88                 ATF_REQUIRE(fpequal_cs(libcimagl(in), __imag__ in, true));
  89
  90                 ATF_REQUIRE_EQ(0, feclearexcept(FE_ALL_EXCEPT));
  91                 ATF_REQUIRE_MSG(
  92                     cfpequal(libconjf(in), expected),
  93                     "conjf(%#.2g + %#.2gI): wrong value", creal(in), cimag(in)
  94                 );
  95                 ATF_REQUIRE_EQ_MSG(0, fetestexcept(FE_ALL_EXCEPT),
  96                     "conj(%#.2g + %#.2gI): threw an exception: %#x", creal(in),
  97                     cimag(in), fetestexcept(FE_ALL_EXCEPT));
  98
  99                 ATF_REQUIRE_EQ(0, feclearexcept(FE_ALL_EXCEPT));
 100                 ATF_REQUIRE_MSG(cfpequal(libconj(in), expected),
 101                     "conj(%#.2g + %#.2gI): wrong value", creal(in), cimag(in));
 102                 ATF_REQUIRE_EQ_MSG(0, fetestexcept(FE_ALL_EXCEPT),
 103                     "conj(%#.2g + %#.2gI): threw an exception: %#x", creal(in),
 104                     cimag(in), fetestexcept(FE_ALL_EXCEPT));
 105
 106                 ATF_REQUIRE_EQ(0, feclearexcept(FE_ALL_EXCEPT));
 107                 ATF_REQUIRE_MSG(cfpequal(libconjl(in), expected),
 108                     "conjl(%#.2g + %#.2gI): wrong value", creal(in), cimag(in));
 109                 ATF_REQUIRE_EQ_MSG(0, fetestexcept(FE_ALL_EXCEPT),
 110                     "conjl(%#.2g + %#.2gI): threw an exception: %#x", creal(in),
 111                     cimag(in), fetestexcept(FE_ALL_EXCEPT));
 112         }
 113 }
 114
 115 ATF_TP_ADD_TCS(tp)
 116 {
 117         ATF_TP_ADD_TC(tp, main);
 118
 119         return (atf_no_error());
 120 }