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 } 121