libm-test.inc 158 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756175717581759176017611762176317641765176617671768176917701771177217731774177517761777177817791780178117821783178417851786178717881789179017911792179317941795179617971798179918001801180218031804180518061807180818091810181118121813181418151816181718181819182018211822182318241825182618271828182918301831183218331834183518361837183818391840184118421843184418451846184718481849185018511852185318541855185618571858185918601861186218631864186518661867186818691870187118721873187418751876187718781879188018811882188318841885188618871888188918901891189218931894189518961897189818991900190119021903190419051906190719081909191019111912191319141915191619171918191919201921192219231924192519261927192819291930193119321933193419351936193719381939194019411942194319441945194619471948194919501951195219531954195519561957195819591960196119621963196419651966196719681969197019711972197319741975197619771978197919801981198219831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420252026202720282029203020312032203320342035203620372038203920402041204220432044204520462047204820492050205120522053205420552056205720582059206020612062206320642065206620672068206920702071207220732074207520762077207820792080208120822083208420852086208720882089209020912092209320942095209620972098209921002101210221032104210521062107210821092110211121122113211421152116211721182119212021212122212321242125212621272128212921302131213221332134213521362137213821392140214121422143214421452146214721482149215021512152215321542155215621572158215921602161216221632164216521662167216821692170217121722173217421752176217721782179218021812182218321842185218621872188218921902191219221932194219521962197219821992200220122022203220422052206220722082209221022112212221322142215221622172218221922202221222222232224222522262227222822292230223122322233223422352236223722382239224022412242224322442245224622472248224922502251225222532254225522562257225822592260226122622263226422652266226722682269227022712272227322742275227622772278227922802281228222832284228522862287228822892290229122922293229422952296229722982299230023012302230323042305230623072308230923102311231223132314231523162317231823192320232123222323232423252326232723282329233023312332233323342335233623372338233923402341234223432344234523462347234823492350235123522353235423552356235723582359236023612362236323642365236623672368236923702371237223732374237523762377237823792380238123822383238423852386238723882389239023912392239323942395239623972398239924002401240224032404240524062407240824092410241124122413241424152416241724182419242024212422242324242425242624272428242924302431243224332434243524362437243824392440244124422443244424452446244724482449245024512452245324542455245624572458245924602461246224632464246524662467246824692470247124722473247424752476247724782479248024812482248324842485248624872488248924902491249224932494249524962497249824992500250125022503250425052506250725082509251025112512251325142515251625172518251925202521252225232524252525262527252825292530253125322533253425352536253725382539254025412542254325442545254625472548254925502551255225532554255525562557255825592560256125622563256425652566256725682569257025712572257325742575257625772578257925802581258225832584258525862587258825892590259125922593259425952596259725982599260026012602260326042605260626072608260926102611261226132614261526162617261826192620262126222623262426252626262726282629263026312632263326342635263626372638263926402641264226432644264526462647264826492650265126522653265426552656265726582659266026612662266326642665266626672668266926702671267226732674267526762677267826792680268126822683268426852686268726882689269026912692269326942695269626972698269927002701270227032704270527062707270827092710271127122713271427152716271727182719272027212722272327242725272627272728272927302731273227332734273527362737273827392740274127422743274427452746274727482749275027512752275327542755275627572758275927602761276227632764276527662767276827692770277127722773277427752776277727782779278027812782278327842785278627872788278927902791279227932794279527962797279827992800280128022803280428052806280728082809281028112812281328142815281628172818281928202821282228232824282528262827282828292830283128322833283428352836283728382839284028412842284328442845284628472848284928502851285228532854285528562857285828592860286128622863286428652866286728682869287028712872287328742875287628772878287928802881288228832884288528862887288828892890289128922893289428952896289728982899290029012902290329042905290629072908290929102911291229132914291529162917291829192920292129222923292429252926292729282929293029312932293329342935293629372938293929402941294229432944294529462947294829492950295129522953295429552956295729582959296029612962296329642965296629672968296929702971297229732974297529762977297829792980298129822983298429852986298729882989299029912992299329942995299629972998299930003001300230033004300530063007300830093010301130123013301430153016301730183019302030213022302330243025302630273028302930303031303230333034303530363037303830393040304130423043304430453046304730483049305030513052305330543055305630573058305930603061306230633064306530663067306830693070307130723073307430753076307730783079308030813082308330843085308630873088308930903091309230933094309530963097309830993100310131023103310431053106310731083109311031113112311331143115311631173118311931203121312231233124312531263127312831293130313131323133313431353136313731383139314031413142314331443145314631473148314931503151315231533154315531563157315831593160316131623163316431653166316731683169317031713172317331743175317631773178317931803181318231833184318531863187318831893190319131923193319431953196319731983199320032013202320332043205320632073208320932103211321232133214321532163217321832193220322132223223322432253226322732283229323032313232323332343235323632373238323932403241324232433244324532463247324832493250325132523253325432553256325732583259326032613262326332643265326632673268326932703271327232733274327532763277327832793280328132823283328432853286328732883289329032913292329332943295329632973298329933003301330233033304330533063307330833093310331133123313331433153316331733183319332033213322332333243325332633273328332933303331333233333334333533363337333833393340334133423343334433453346334733483349335033513352335333543355335633573358335933603361336233633364336533663367336833693370337133723373337433753376337733783379338033813382338333843385338633873388338933903391339233933394339533963397339833993400340134023403340434053406340734083409341034113412341334143415341634173418341934203421342234233424342534263427342834293430343134323433343434353436343734383439344034413442344334443445344634473448344934503451345234533454345534563457345834593460346134623463346434653466346734683469347034713472347334743475347634773478347934803481348234833484348534863487348834893490349134923493349434953496349734983499350035013502350335043505350635073508350935103511351235133514351535163517351835193520352135223523352435253526352735283529353035313532353335343535353635373538353935403541354235433544354535463547354835493550355135523553355435553556355735583559356035613562356335643565356635673568356935703571357235733574357535763577357835793580358135823583358435853586358735883589359035913592359335943595359635973598359936003601360236033604360536063607360836093610361136123613361436153616361736183619362036213622362336243625362636273628362936303631363236333634363536363637363836393640364136423643364436453646364736483649365036513652365336543655365636573658365936603661366236633664366536663667366836693670367136723673367436753676367736783679368036813682368336843685368636873688368936903691369236933694369536963697369836993700370137023703370437053706370737083709371037113712371337143715371637173718371937203721372237233724372537263727372837293730373137323733373437353736373737383739374037413742374337443745374637473748374937503751375237533754375537563757375837593760376137623763376437653766376737683769377037713772377337743775377637773778377937803781378237833784378537863787378837893790379137923793379437953796379737983799380038013802380338043805380638073808380938103811381238133814381538163817381838193820382138223823382438253826382738283829383038313832383338343835383638373838383938403841384238433844384538463847384838493850385138523853385438553856385738583859386038613862386338643865386638673868386938703871387238733874387538763877387838793880388138823883388438853886388738883889389038913892389338943895389638973898389939003901390239033904390539063907390839093910391139123913391439153916391739183919392039213922392339243925392639273928392939303931393239333934393539363937393839393940394139423943394439453946394739483949395039513952395339543955395639573958395939603961396239633964396539663967396839693970397139723973397439753976397739783979398039813982398339843985398639873988398939903991399239933994399539963997399839994000400140024003400440054006400740084009401040114012401340144015401640174018401940204021402240234024402540264027402840294030403140324033403440354036403740384039404040414042404340444045404640474048404940504051405240534054405540564057405840594060406140624063406440654066406740684069407040714072407340744075407640774078407940804081408240834084408540864087408840894090409140924093409440954096409740984099410041014102410341044105410641074108410941104111411241134114411541164117411841194120412141224123412441254126412741284129413041314132413341344135413641374138413941404141414241434144414541464147414841494150415141524153415441554156415741584159416041614162416341644165416641674168416941704171417241734174417541764177417841794180418141824183418441854186418741884189419041914192419341944195419641974198419942004201420242034204420542064207420842094210421142124213421442154216421742184219422042214222422342244225422642274228422942304231423242334234423542364237423842394240424142424243424442454246424742484249425042514252425342544255425642574258425942604261426242634264426542664267426842694270427142724273427442754276427742784279428042814282428342844285428642874288428942904291429242934294429542964297429842994300430143024303430443054306430743084309431043114312431343144315431643174318431943204321432243234324432543264327432843294330433143324333433443354336433743384339434043414342434343444345434643474348434943504351435243534354435543564357435843594360436143624363436443654366436743684369437043714372437343744375437643774378437943804381438243834384438543864387438843894390439143924393439443954396439743984399440044014402440344044405440644074408440944104411441244134414441544164417441844194420442144224423442444254426442744284429443044314432443344344435443644374438443944404441444244434444444544464447444844494450445144524453445444554456445744584459446044614462446344644465446644674468446944704471447244734474447544764477447844794480448144824483448444854486448744884489449044914492449344944495449644974498449945004501450245034504450545064507450845094510451145124513451445154516451745184519452045214522452345244525452645274528452945304531453245334534453545364537453845394540454145424543454445454546454745484549455045514552455345544555455645574558455945604561456245634564456545664567456845694570457145724573457445754576457745784579458045814582458345844585458645874588458945904591459245934594459545964597459845994600460146024603460446054606460746084609461046114612461346144615461646174618461946204621462246234624462546264627462846294630463146324633463446354636463746384639464046414642464346444645464646474648464946504651465246534654465546564657465846594660466146624663466446654666466746684669467046714672467346744675467646774678467946804681468246834684468546864687468846894690469146924693469446954696469746984699470047014702470347044705470647074708470947104711471247134714471547164717471847194720472147224723472447254726472747284729473047314732473347344735473647374738473947404741474247434744474547464747474847494750475147524753475447554756475747584759476047614762476347644765476647674768476947704771477247734774477547764777477847794780478147824783478447854786478747884789479047914792479347944795479647974798479948004801480248034804480548064807480848094810481148124813481448154816481748184819482048214822482348244825482648274828482948304831483248334834483548364837483848394840484148424843484448454846484748484849485048514852485348544855485648574858485948604861486248634864486548664867486848694870487148724873487448754876487748784879488048814882488348844885488648874888488948904891489248934894489548964897489848994900490149024903490449054906490749084909491049114912491349144915491649174918491949204921492249234924492549264927492849294930493149324933493449354936493749384939494049414942494349444945494649474948494949504951495249534954495549564957495849594960496149624963496449654966496749684969497049714972497349744975497649774978497949804981498249834984498549864987498849894990499149924993499449954996499749984999500050015002500350045005500650075008500950105011501250135014501550165017501850195020502150225023502450255026502750285029503050315032503350345035503650375038503950405041504250435044504550465047504850495050505150525053505450555056505750585059506050615062506350645065506650675068506950705071507250735074507550765077507850795080508150825083508450855086508750885089509050915092509350945095509650975098
  1. /* Copyright (C) 1997-2002, 2003, 2004, 2005, 2006 Free Software Foundation, Inc.
  2. This file is part of the GNU C Library.
  3. Contributed by Andreas Jaeger <aj@suse.de>, 1997.
  4. The GNU C Library is free software; you can redistribute it and/or
  5. modify it under the terms of the GNU Lesser General Public
  6. License as published by the Free Software Foundation; either
  7. version 2.1 of the License, or (at your option) any later version.
  8. The GNU C Library is distributed in the hope that it will be useful,
  9. but WITHOUT ANY WARRANTY; without even the implied warranty of
  10. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
  11. Lesser General Public License for more details.
  12. You should have received a copy of the GNU Lesser General Public
  13. License along with the GNU C Library; if not, see
  14. <http://www.gnu.org/licenses/>. */
  15. /* Part of testsuite for libm.
  16. This file is processed by a perl script. The resulting file has to
  17. be included by a master file that defines:
  18. Macros:
  19. FUNC(function): converts general function name (like cos) to
  20. name with correct suffix (e.g. cosl or cosf)
  21. MATHCONST(x): like FUNC but for constants (e.g convert 0.0 to 0.0L)
  22. FLOAT: floating point type to test
  23. - TEST_MSG: informal message to be displayed
  24. CHOOSE(Clongdouble,Cdouble,Cfloat,Cinlinelongdouble,Cinlinedouble,Cinlinefloat):
  25. chooses one of the parameters as delta for testing
  26. equality
  27. PRINTF_EXPR Floating point conversion specification to print a variable
  28. of type FLOAT with printf. PRINTF_EXPR just contains
  29. the specifier, not the percent and width arguments,
  30. e.g. "f".
  31. PRINTF_XEXPR Like PRINTF_EXPR, but print in hexadecimal format.
  32. PRINTF_NEXPR Like PRINTF_EXPR, but print nice. */
  33. /* This testsuite has currently tests for:
  34. acos, acosh, asin, asinh, atan, atan2, atanh,
  35. cbrt, ceil, copysign, cos, cosh, erf, erfc, exp, exp10, exp2, expm1,
  36. fabs, fdim, floor, fma, fmax, fmin, fmod, fpclassify,
  37. frexp, gamma, hypot,
  38. ilogb, isfinite, isinf, isnan, isnormal,
  39. isless, islessequal, isgreater, isgreaterequal, islessgreater, isunordered,
  40. j0, j1, jn,
  41. ldexp, lgamma, log, log10, log1p, log2, logb,
  42. modf, nearbyint, nextafter,
  43. pow, remainder, remquo, rint, lrint, llrint,
  44. round, lround, llround,
  45. scalb, scalbn, scalbln, signbit, sin, sincos, sinh, sqrt, tan, tanh, tgamma, trunc,
  46. y0, y1, yn, significand
  47. and for the following complex math functions:
  48. cabs, cacos, cacosh, carg, casin, casinh, catan, catanh,
  49. ccos, ccosh, cexp, clog, cpow, cproj, csin, csinh, csqrt, ctan, ctanh.
  50. At the moment the following functions aren't tested:
  51. drem, nan
  52. Parameter handling is primitive in the moment:
  53. --verbose=[0..3] for different levels of output:
  54. 0: only error count
  55. 1: basic report on failed tests (default)
  56. 2: full report on all tests
  57. -v for full output (equals --verbose=3)
  58. -u for generation of an ULPs file
  59. */
  60. /* "Philosophy":
  61. This suite tests some aspects of the correct implementation of
  62. mathematical functions in libm. Some simple, specific parameters
  63. are tested for correctness but there's no exhaustive
  64. testing. Handling of specific inputs (e.g. infinity, not-a-number)
  65. is also tested. Correct handling of exceptions is checked
  66. against. These implemented tests should check all cases that are
  67. specified in ISO C99.
  68. Exception testing: At the moment only divide-by-zero and invalid
  69. exceptions are tested. Overflow/underflow and inexact exceptions
  70. aren't checked at the moment.
  71. NaN values: There exist signalling and quiet NaNs. This implementation
  72. only uses quiet NaN as parameter but does not differenciate
  73. between the two kinds of NaNs as result.
  74. Inline functions: Inlining functions should give an improvement in
  75. speed - but not in precission. The inlined functions return
  76. reasonable values for a reasonable range of input values. The
  77. result is not necessarily correct for all values and exceptions are
  78. not correctly raised in all cases. Problematic input and return
  79. values are infinity, not-a-number and minus zero. This suite
  80. therefore does not check these specific inputs and the exception
  81. handling for inlined mathematical functions - just the "reasonable"
  82. values are checked.
  83. Beware: The tests might fail for any of the following reasons:
  84. - Tests are wrong
  85. - Functions are wrong
  86. - Floating Point Unit not working properly
  87. - Compiler has errors
  88. With e.g. gcc 2.7.2.2 the test for cexp fails because of a compiler error.
  89. To Do: All parameter should be numbers that can be represented as
  90. exact floating point values. Currently some values cannot be
  91. represented exactly and therefore the result is not the expected
  92. result. For this we will use 36 digits so that numbers can be
  93. represented exactly. */
  94. #ifndef _GNU_SOURCE
  95. # define _GNU_SOURCE
  96. #endif
  97. #undef __CHK_COMPLEX_STUFF
  98. #define __CHK_COMPLEX_STUFF 0
  99. #include "libm-test-ulps.h"
  100. #include <complex.h>
  101. #include <math.h>
  102. #include <float.h>
  103. #include "fenv.h"
  104. #include <limits.h>
  105. #include <errno.h>
  106. #include <stdlib.h>
  107. #include <stdio.h>
  108. #include <string.h>
  109. #include <getopt.h>
  110. /* Possible exceptions */
  111. #define NO_EXCEPTION 0x0
  112. #define INVALID_EXCEPTION 0x1
  113. #define DIVIDE_BY_ZERO_EXCEPTION 0x2
  114. /* The next flags signals that those exceptions are allowed but not required. */
  115. #define INVALID_EXCEPTION_OK 0x4
  116. #define DIVIDE_BY_ZERO_EXCEPTION_OK 0x8
  117. #define EXCEPTIONS_OK INVALID_EXCEPTION_OK+DIVIDE_BY_ZERO_EXCEPTION_OK
  118. /* Some special test flags, passed togther with exceptions. */
  119. #define IGNORE_ZERO_INF_SIGN 0x10
  120. /* Various constants (we must supply them precalculated for accuracy). */
  121. #define M_PI_6l .52359877559829887307710723054658383L
  122. #define M_E2l 7.389056098930650227230427460575008L
  123. #define M_E3l 20.085536923187667740928529654581719L
  124. #define M_2_SQRT_PIl 3.5449077018110320545963349666822903L /* 2 sqrt (M_PIl) */
  125. #define M_SQRT_PIl 1.7724538509055160272981674833411451L /* sqrt (M_PIl) */
  126. #define M_LOG_SQRT_PIl 0.57236494292470008707171367567652933L /* log(sqrt(M_PIl)) */
  127. #define M_LOG_2_SQRT_PIl 1.265512123484645396488945797134706L /* log(2*sqrt(M_PIl)) */
  128. #define M_PI_34l (M_PIl - M_PI_4l) /* 3*pi/4 */
  129. #define M_PI_34_LOG10El (M_PIl - M_PI_4l) * M_LOG10El
  130. #define M_PI2_LOG10El M_PI_2l * M_LOG10El
  131. #define M_PI4_LOG10El M_PI_4l * M_LOG10El
  132. #define M_PI_LOG10El M_PIl * M_LOG10El
  133. #define M_SQRT_2_2 0.70710678118654752440084436210484903L /* sqrt (2) / 2 */
  134. static FILE *ulps_file; /* File to document difference. */
  135. static int output_ulps; /* Should ulps printed? */
  136. static int noErrors; /* number of errors */
  137. static int noTests; /* number of tests (without testing exceptions) */
  138. static int noExcTests; /* number of tests for exception flags */
  139. static int noXFails; /* number of expected failures. */
  140. static int noXPasses; /* number of unexpected passes. */
  141. static int verbose;
  142. static int output_max_error; /* Should the maximal errors printed? */
  143. static int output_points; /* Should the single function results printed? */
  144. static int ignore_max_ulp; /* Should we ignore max_ulp? */
  145. static FLOAT minus_zero, plus_zero;
  146. static FLOAT plus_infty, minus_infty, nan_value, max_value, min_value;
  147. static FLOAT max_error, real_max_error, imag_max_error;
  148. #define BUILD_COMPLEX(real, imag) \
  149. ({ __complex__ FLOAT __retval; \
  150. __real__ __retval = (real); \
  151. __imag__ __retval = (imag); \
  152. __retval; })
  153. #define BUILD_COMPLEX_INT(real, imag) \
  154. ({ __complex__ int __retval; \
  155. __real__ __retval = (real); \
  156. __imag__ __retval = (imag); \
  157. __retval; })
  158. #define MANT_DIG CHOOSE ((LDBL_MANT_DIG-1), (DBL_MANT_DIG-1), (FLT_MANT_DIG-1), \
  159. (LDBL_MANT_DIG-1), (DBL_MANT_DIG-1), (FLT_MANT_DIG-1))
  160. static void
  161. init_max_error (void)
  162. {
  163. max_error = 0;
  164. real_max_error = 0;
  165. imag_max_error = 0;
  166. feclearexcept (FE_ALL_EXCEPT);
  167. }
  168. static void
  169. set_max_error (FLOAT current, FLOAT *curr_max_error)
  170. {
  171. if (current > *curr_max_error)
  172. *curr_max_error = current;
  173. }
  174. /* Should the message print to screen? This depends on the verbose flag,
  175. and the test status. */
  176. static int
  177. print_screen (int ok, int xfail)
  178. {
  179. if (output_points
  180. && (verbose > 1
  181. || (verbose == 1 && ok == xfail)))
  182. return 1;
  183. return 0;
  184. }
  185. /* Should the message print to screen? This depends on the verbose flag,
  186. and the test status. */
  187. static int
  188. print_screen_max_error (int ok, int xfail)
  189. {
  190. if (output_max_error
  191. && (verbose > 1
  192. || ((verbose == 1) && (ok == xfail))))
  193. return 1;
  194. return 0;
  195. }
  196. /* Update statistic counters. */
  197. static void
  198. update_stats (int ok, int xfail)
  199. {
  200. ++noTests;
  201. if (ok && xfail)
  202. ++noXPasses;
  203. else if (!ok && xfail)
  204. ++noXFails;
  205. else if (!ok && !xfail)
  206. ++noErrors;
  207. }
  208. static void
  209. print_ulps (const char *test_name, FLOAT ulp)
  210. {
  211. if (output_ulps)
  212. {
  213. fprintf (ulps_file, "Test \"%s\":\n", test_name);
  214. fprintf (ulps_file, "%s: %.0" PRINTF_NEXPR "\n",
  215. CHOOSE("ldouble", "double", "float",
  216. "ildouble", "idouble", "ifloat"),
  217. FUNC(ceil) (ulp));
  218. }
  219. }
  220. static void
  221. print_function_ulps (const char *function_name, FLOAT ulp)
  222. {
  223. if (output_ulps)
  224. {
  225. fprintf (ulps_file, "Function: \"%s\":\n", function_name);
  226. fprintf (ulps_file, "%s: %.0" PRINTF_NEXPR "\n",
  227. CHOOSE("ldouble", "double", "float",
  228. "ildouble", "idouble", "ifloat"),
  229. FUNC(ceil) (ulp));
  230. }
  231. }
  232. static void
  233. print_complex_function_ulps (const char *function_name, FLOAT real_ulp,
  234. FLOAT imag_ulp)
  235. {
  236. if (output_ulps)
  237. {
  238. if (real_ulp != 0.0)
  239. {
  240. fprintf (ulps_file, "Function: Real part of \"%s\":\n", function_name);
  241. fprintf (ulps_file, "%s: %.0" PRINTF_NEXPR "\n",
  242. CHOOSE("ldouble", "double", "float",
  243. "ildouble", "idouble", "ifloat"),
  244. FUNC(ceil) (real_ulp));
  245. }
  246. if (imag_ulp != 0.0)
  247. {
  248. fprintf (ulps_file, "Function: Imaginary part of \"%s\":\n", function_name);
  249. fprintf (ulps_file, "%s: %.0" PRINTF_NEXPR "\n",
  250. CHOOSE("ldouble", "double", "float",
  251. "ildouble", "idouble", "ifloat"),
  252. FUNC(ceil) (imag_ulp));
  253. }
  254. }
  255. }
  256. /* Test if Floating-Point stack hasn't changed */
  257. static void
  258. fpstack_test (const char *test_name)
  259. {
  260. #ifdef i386
  261. static int old_stack;
  262. int sw;
  263. __asm__ ("fnstsw" : "=a" (sw));
  264. sw >>= 11;
  265. sw &= 7;
  266. if (sw != old_stack)
  267. {
  268. printf ("FP-Stack wrong after test %s (%d, should be %d)\n",
  269. test_name, sw, old_stack);
  270. ++noErrors;
  271. old_stack = sw;
  272. }
  273. #endif
  274. }
  275. static void
  276. print_max_error (const char *func_name, FLOAT allowed, int xfail)
  277. {
  278. int ok = 0;
  279. if (max_error == 0.0 || (max_error <= allowed && !ignore_max_ulp))
  280. {
  281. ok = 1;
  282. }
  283. if (!ok)
  284. print_function_ulps (func_name, max_error);
  285. if (print_screen_max_error (ok, xfail))
  286. {
  287. printf ("Maximal error of `%s'\n", func_name);
  288. printf (" is : %.0" PRINTF_NEXPR " ulp\n", FUNC(ceil) (max_error));
  289. printf (" accepted: %.0" PRINTF_NEXPR " ulp\n", FUNC(ceil) (allowed));
  290. }
  291. update_stats (ok, xfail);
  292. }
  293. static void
  294. print_complex_max_error (const char *func_name, __complex__ FLOAT allowed,
  295. __complex__ int xfail)
  296. {
  297. int ok = 0;
  298. if ((real_max_error == 0 && imag_max_error == 0)
  299. || (real_max_error <= __real__ allowed
  300. && imag_max_error <= __imag__ allowed
  301. && !ignore_max_ulp))
  302. {
  303. ok = 1;
  304. }
  305. if (!ok)
  306. print_complex_function_ulps (func_name, real_max_error, imag_max_error);
  307. if (print_screen_max_error (ok, xfail))
  308. {
  309. printf ("Maximal error of real part of: %s\n", func_name);
  310. printf (" is : %.0" PRINTF_NEXPR " ulp\n",
  311. FUNC(ceil) (real_max_error));
  312. printf (" accepted: %.0" PRINTF_NEXPR " ulp\n",
  313. FUNC(ceil) (__real__ allowed));
  314. printf ("Maximal error of imaginary part of: %s\n", func_name);
  315. printf (" is : %.0" PRINTF_NEXPR " ulp\n",
  316. FUNC(ceil) (imag_max_error));
  317. printf (" accepted: %.0" PRINTF_NEXPR " ulp\n",
  318. FUNC(ceil) (__imag__ allowed));
  319. }
  320. update_stats (ok, xfail);
  321. }
  322. /* Test whether a given exception was raised. */
  323. static void
  324. test_single_exception (const char *test_name,
  325. int exception,
  326. int exc_flag,
  327. int fe_flag,
  328. const char *flag_name)
  329. {
  330. #ifndef TEST_INLINE
  331. int ok = 1;
  332. if (exception & exc_flag)
  333. {
  334. if (fetestexcept (fe_flag))
  335. {
  336. if (print_screen (1, 0))
  337. printf ("Pass: %s: Exception \"%s\" set\n", test_name, flag_name);
  338. }
  339. else
  340. {
  341. ok = 0;
  342. if (print_screen (0, 0))
  343. printf ("Failure: %s: Exception \"%s\" not set\n",
  344. test_name, flag_name);
  345. }
  346. }
  347. else
  348. {
  349. if (fetestexcept (fe_flag))
  350. {
  351. ok = 0;
  352. if (print_screen (0, 0))
  353. printf ("Failure: %s: Exception \"%s\" set\n",
  354. test_name, flag_name);
  355. }
  356. else
  357. {
  358. if (print_screen (1, 0))
  359. printf ("%s: Exception \"%s\" not set\n", test_name,
  360. flag_name);
  361. }
  362. }
  363. if (!ok)
  364. ++noErrors;
  365. #endif
  366. }
  367. /* Test whether exceptions given by EXCEPTION are raised. Ignore thereby
  368. allowed but not required exceptions.
  369. */
  370. static void
  371. test_exceptions (const char *test_name, int exception)
  372. {
  373. ++noExcTests;
  374. #ifdef FE_DIVBYZERO
  375. if ((exception & DIVIDE_BY_ZERO_EXCEPTION_OK) == 0)
  376. test_single_exception (test_name, exception,
  377. DIVIDE_BY_ZERO_EXCEPTION, FE_DIVBYZERO,
  378. "Divide by zero");
  379. #endif
  380. #ifdef FE_INVALID
  381. if ((exception & INVALID_EXCEPTION_OK) == 0)
  382. test_single_exception (test_name, exception, INVALID_EXCEPTION, FE_INVALID,
  383. "Invalid operation");
  384. #endif
  385. feclearexcept (FE_ALL_EXCEPT);
  386. }
  387. static void
  388. check_float_internal (const char *test_name, FLOAT computed, FLOAT expected,
  389. FLOAT max_ulp, int xfail, int exceptions,
  390. FLOAT *curr_max_error)
  391. {
  392. int ok = 0;
  393. int print_diff = 0;
  394. FLOAT diff = 0;
  395. FLOAT ulp = 0;
  396. test_exceptions (test_name, exceptions);
  397. if (isnan (computed) && isnan (expected))
  398. ok = 1;
  399. else if (isinf (computed) && isinf (expected))
  400. {
  401. /* Test for sign of infinities. */
  402. if ((exceptions & IGNORE_ZERO_INF_SIGN) == 0
  403. && signbit (computed) != signbit (expected))
  404. {
  405. ok = 0;
  406. printf ("infinity has wrong sign.\n");
  407. }
  408. else
  409. ok = 1;
  410. }
  411. /* Don't calc ulp for NaNs or infinities. */
  412. else if (isinf (computed) || isnan (computed) || isinf (expected) || isnan (expected))
  413. ok = 0;
  414. else
  415. {
  416. diff = FUNC(fabs) (computed - expected);
  417. /* ilogb (0) isn't allowed. */
  418. if (expected == 0.0)
  419. ulp = diff / FUNC(ldexp) (1.0, - MANT_DIG);
  420. else
  421. ulp = diff / FUNC(ldexp) (1.0, FUNC(ilogb) (expected) - MANT_DIG);
  422. set_max_error (ulp, curr_max_error);
  423. print_diff = 1;
  424. if ((exceptions & IGNORE_ZERO_INF_SIGN) == 0
  425. && computed == 0.0 && expected == 0.0
  426. && signbit(computed) != signbit (expected))
  427. ok = 0;
  428. else if (ulp <= 0.5 || (ulp <= max_ulp && !ignore_max_ulp))
  429. ok = 1;
  430. else
  431. {
  432. ok = 0;
  433. print_ulps (test_name, ulp);
  434. }
  435. }
  436. if (print_screen (ok, xfail))
  437. {
  438. if (!ok)
  439. printf ("Failure: ");
  440. printf ("Test: %s\n", test_name);
  441. printf ("Result:\n");
  442. printf (" is: % .20" PRINTF_EXPR " % .20" PRINTF_XEXPR "\n",
  443. computed, computed);
  444. printf (" should be: % .20" PRINTF_EXPR " % .20" PRINTF_XEXPR "\n",
  445. expected, expected);
  446. if (print_diff)
  447. {
  448. printf (" difference: % .20" PRINTF_EXPR " % .20" PRINTF_XEXPR
  449. "\n", diff, diff);
  450. printf (" ulp : % .4" PRINTF_NEXPR "\n", ulp);
  451. printf (" max.ulp : % .4" PRINTF_NEXPR "\n", max_ulp);
  452. }
  453. }
  454. update_stats (ok, xfail);
  455. fpstack_test (test_name);
  456. }
  457. static void
  458. check_float (const char *test_name, FLOAT computed, FLOAT expected,
  459. FLOAT max_ulp, int xfail, int exceptions)
  460. {
  461. check_float_internal (test_name, computed, expected, max_ulp, xfail,
  462. exceptions, &max_error);
  463. }
  464. static void
  465. check_complex (const char *test_name, __complex__ FLOAT computed,
  466. __complex__ FLOAT expected,
  467. __complex__ FLOAT max_ulp, __complex__ int xfail,
  468. int exception)
  469. {
  470. FLOAT part_comp, part_exp, part_max_ulp;
  471. int part_xfail;
  472. char str[200];
  473. sprintf (str, "Real part of: %s", test_name);
  474. part_comp = __real__ computed;
  475. part_exp = __real__ expected;
  476. part_max_ulp = __real__ max_ulp;
  477. part_xfail = __real__ xfail;
  478. check_float_internal (str, part_comp, part_exp, part_max_ulp, part_xfail,
  479. exception, &real_max_error);
  480. sprintf (str, "Imaginary part of: %s", test_name);
  481. part_comp = __imag__ computed;
  482. part_exp = __imag__ expected;
  483. part_max_ulp = __imag__ max_ulp;
  484. part_xfail = __imag__ xfail;
  485. /* Don't check again for exceptions, just pass through the
  486. zero/inf sign test. */
  487. check_float_internal (str, part_comp, part_exp, part_max_ulp, part_xfail,
  488. exception & IGNORE_ZERO_INF_SIGN,
  489. &imag_max_error);
  490. }
  491. /* Check that computed and expected values are equal (int values). */
  492. static void
  493. check_int (const char *test_name, int computed, int expected, int max_ulp,
  494. int xfail, int exceptions)
  495. {
  496. int diff = computed - expected;
  497. int ok = 0;
  498. test_exceptions (test_name, exceptions);
  499. noTests++;
  500. if (abs (diff) <= max_ulp)
  501. ok = 1;
  502. if (!ok)
  503. print_ulps (test_name, diff);
  504. if (print_screen (ok, xfail))
  505. {
  506. if (!ok)
  507. printf ("Failure: ");
  508. printf ("Test: %s\n", test_name);
  509. printf ("Result:\n");
  510. printf (" is: %d\n", computed);
  511. printf (" should be: %d\n", expected);
  512. }
  513. update_stats (ok, xfail);
  514. fpstack_test (test_name);
  515. }
  516. /* Check that computed and expected values are equal (long int values). */
  517. static void
  518. check_long (const char *test_name, long int computed, long int expected,
  519. long int max_ulp, int xfail, int exceptions)
  520. {
  521. long int diff = computed - expected;
  522. int ok = 0;
  523. test_exceptions (test_name, exceptions);
  524. noTests++;
  525. if (labs (diff) <= max_ulp)
  526. ok = 1;
  527. if (!ok)
  528. print_ulps (test_name, diff);
  529. if (print_screen (ok, xfail))
  530. {
  531. if (!ok)
  532. printf ("Failure: ");
  533. printf ("Test: %s\n", test_name);
  534. printf ("Result:\n");
  535. printf (" is: %ld\n", computed);
  536. printf (" should be: %ld\n", expected);
  537. }
  538. update_stats (ok, xfail);
  539. fpstack_test (test_name);
  540. }
  541. /* Check that computed value is true/false. */
  542. static void
  543. check_bool (const char *test_name, int computed, int expected,
  544. long int max_ulp, int xfail, int exceptions)
  545. {
  546. int ok = 0;
  547. test_exceptions (test_name, exceptions);
  548. noTests++;
  549. if ((computed == 0) == (expected == 0))
  550. ok = 1;
  551. if (print_screen (ok, xfail))
  552. {
  553. if (!ok)
  554. printf ("Failure: ");
  555. printf ("Test: %s\n", test_name);
  556. printf ("Result:\n");
  557. printf (" is: %d\n", computed);
  558. printf (" should be: %d\n", expected);
  559. }
  560. update_stats (ok, xfail);
  561. fpstack_test (test_name);
  562. }
  563. /* check that computed and expected values are equal (long int values) */
  564. static void
  565. check_longlong (const char *test_name, long long int computed,
  566. long long int expected,
  567. long long int max_ulp, int xfail,
  568. int exceptions)
  569. {
  570. long long int diff = computed - expected;
  571. int ok = 0;
  572. test_exceptions (test_name, exceptions);
  573. noTests++;
  574. if (llabs (diff) <= max_ulp)
  575. ok = 1;
  576. if (!ok)
  577. print_ulps (test_name, diff);
  578. if (print_screen (ok, xfail))
  579. {
  580. if (!ok)
  581. printf ("Failure:");
  582. printf ("Test: %s\n", test_name);
  583. printf ("Result:\n");
  584. printf (" is: %lld\n", computed);
  585. printf (" should be: %lld\n", expected);
  586. }
  587. update_stats (ok, xfail);
  588. fpstack_test (test_name);
  589. }
  590. /* This is to prevent messages from the SVID libm emulation. */
  591. int
  592. matherr (struct exception *x __attribute__ ((unused)))
  593. {
  594. return 1;
  595. }
  596. /****************************************************************************
  597. Tests for single functions of libm.
  598. Please keep them alphabetically sorted!
  599. ****************************************************************************/
  600. static void
  601. acos_test (void)
  602. {
  603. errno = 0;
  604. FUNC(acos) (0);
  605. if (errno == ENOSYS)
  606. /* Function not implemented. */
  607. return;
  608. START (acos);
  609. TEST_f_f (acos, plus_infty, nan_value, INVALID_EXCEPTION);
  610. TEST_f_f (acos, minus_infty, nan_value, INVALID_EXCEPTION);
  611. TEST_f_f (acos, nan_value, nan_value);
  612. /* |x| > 1: */
  613. TEST_f_f (acos, 1.125L, nan_value, INVALID_EXCEPTION);
  614. TEST_f_f (acos, -1.125L, nan_value, INVALID_EXCEPTION);
  615. TEST_f_f (acos, 0, M_PI_2l);
  616. TEST_f_f (acos, minus_zero, M_PI_2l);
  617. TEST_f_f (acos, 1, 0);
  618. TEST_f_f (acos, -1, M_PIl);
  619. TEST_f_f (acos, 0.5, M_PI_6l*2.0);
  620. TEST_f_f (acos, -0.5, M_PI_6l*4.0);
  621. TEST_f_f (acos, 0.75L, 0.722734247813415611178377352641333362L);
  622. TEST_f_f (acos, 2e-17L, 1.57079632679489659923132169163975144L);
  623. TEST_f_f (acos, 0.0625L, 1.50825556499840522843072005474337068L);
  624. END (acos);
  625. }
  626. static void
  627. acosh_test (void)
  628. {
  629. errno = 0;
  630. FUNC(acosh) (7);
  631. if (errno == ENOSYS)
  632. /* Function not implemented. */
  633. return;
  634. START (acosh);
  635. TEST_f_f (acosh, plus_infty, plus_infty);
  636. TEST_f_f (acosh, minus_infty, nan_value, INVALID_EXCEPTION);
  637. /* x < 1: */
  638. TEST_f_f (acosh, -1.125L, nan_value, INVALID_EXCEPTION);
  639. TEST_f_f (acosh, 1, 0);
  640. TEST_f_f (acosh, 7, 2.63391579384963341725009269461593689L);
  641. END (acosh);
  642. }
  643. static void
  644. asin_test (void)
  645. {
  646. errno = 0;
  647. FUNC(asin) (0);
  648. if (errno == ENOSYS)
  649. /* Function not implemented. */
  650. return;
  651. START (asin);
  652. TEST_f_f (asin, plus_infty, nan_value, INVALID_EXCEPTION);
  653. TEST_f_f (asin, minus_infty, nan_value, INVALID_EXCEPTION);
  654. TEST_f_f (asin, nan_value, nan_value);
  655. /* asin x == NaN plus invalid exception for |x| > 1. */
  656. TEST_f_f (asin, 1.125L, nan_value, INVALID_EXCEPTION);
  657. TEST_f_f (asin, -1.125L, nan_value, INVALID_EXCEPTION);
  658. TEST_f_f (asin, 0, 0);
  659. TEST_f_f (asin, minus_zero, minus_zero);
  660. TEST_f_f (asin, 0.5, M_PI_6l);
  661. TEST_f_f (asin, -0.5, -M_PI_6l);
  662. TEST_f_f (asin, 1.0, M_PI_2l);
  663. TEST_f_f (asin, -1.0, -M_PI_2l);
  664. TEST_f_f (asin, 0.75L, 0.848062078981481008052944338998418080L);
  665. END (asin);
  666. }
  667. static void
  668. asinh_test (void)
  669. {
  670. errno = 0;
  671. FUNC(asinh) (0.7L);
  672. if (errno == ENOSYS)
  673. /* Function not implemented. */
  674. return;
  675. START (asinh);
  676. TEST_f_f (asinh, 0, 0);
  677. TEST_f_f (asinh, minus_zero, minus_zero);
  678. #ifndef TEST_INLINE
  679. TEST_f_f (asinh, plus_infty, plus_infty);
  680. TEST_f_f (asinh, minus_infty, minus_infty);
  681. #endif
  682. TEST_f_f (asinh, nan_value, nan_value);
  683. TEST_f_f (asinh, 0.75L, 0.693147180559945309417232121458176568L);
  684. END (asinh);
  685. }
  686. static void
  687. atan_test (void)
  688. {
  689. errno = 0;
  690. FUNC(atan) (0);
  691. if (errno == ENOSYS)
  692. /* Function not implemented. */
  693. return;
  694. START (atan);
  695. TEST_f_f (atan, 0, 0);
  696. TEST_f_f (atan, minus_zero, minus_zero);
  697. TEST_f_f (atan, plus_infty, M_PI_2l);
  698. TEST_f_f (atan, minus_infty, -M_PI_2l);
  699. TEST_f_f (atan, nan_value, nan_value);
  700. TEST_f_f (atan, 1, M_PI_4l);
  701. TEST_f_f (atan, -1, -M_PI_4l);
  702. TEST_f_f (atan, 0.75L, 0.643501108793284386802809228717322638L);
  703. END (atan);
  704. }
  705. static void
  706. atanh_test (void)
  707. {
  708. errno = 0;
  709. FUNC(atanh) (0.7L);
  710. if (errno == ENOSYS)
  711. /* Function not implemented. */
  712. return;
  713. START (atanh);
  714. TEST_f_f (atanh, 0, 0);
  715. TEST_f_f (atanh, minus_zero, minus_zero);
  716. TEST_f_f (atanh, 1, plus_infty, DIVIDE_BY_ZERO_EXCEPTION);
  717. TEST_f_f (atanh, -1, minus_infty, DIVIDE_BY_ZERO_EXCEPTION);
  718. TEST_f_f (atanh, nan_value, nan_value);
  719. /* atanh (x) == NaN plus invalid exception if |x| > 1. */
  720. TEST_f_f (atanh, 1.125L, nan_value, INVALID_EXCEPTION);
  721. TEST_f_f (atanh, -1.125L, nan_value, INVALID_EXCEPTION);
  722. TEST_f_f (atanh, 0.75L, 0.972955074527656652552676371721589865L);
  723. END (atanh);
  724. }
  725. static void
  726. atan2_test (void)
  727. {
  728. errno = 0;
  729. FUNC(atan2) (-0, 1);
  730. if (errno == ENOSYS)
  731. /* Function not implemented. */
  732. return;
  733. START (atan2);
  734. /* atan2 (0,x) == 0 for x > 0. */
  735. TEST_ff_f (atan2, 0, 1, 0);
  736. /* atan2 (-0,x) == -0 for x > 0. */
  737. TEST_ff_f (atan2, minus_zero, 1, minus_zero);
  738. TEST_ff_f (atan2, 0, 0, 0);
  739. TEST_ff_f (atan2, minus_zero, 0, minus_zero);
  740. /* atan2 (+0,x) == +pi for x < 0. */
  741. TEST_ff_f (atan2, 0, -1, M_PIl);
  742. /* atan2 (-0,x) == -pi for x < 0. */
  743. TEST_ff_f (atan2, minus_zero, -1, -M_PIl);
  744. TEST_ff_f (atan2, 0, minus_zero, M_PIl);
  745. TEST_ff_f (atan2, minus_zero, minus_zero, -M_PIl);
  746. /* atan2 (y,+0) == pi/2 for y > 0. */
  747. TEST_ff_f (atan2, 1, 0, M_PI_2l);
  748. /* atan2 (y,-0) == pi/2 for y > 0. */
  749. TEST_ff_f (atan2, 1, minus_zero, M_PI_2l);
  750. /* atan2 (y,+0) == -pi/2 for y < 0. */
  751. TEST_ff_f (atan2, -1, 0, -M_PI_2l);
  752. /* atan2 (y,-0) == -pi/2 for y < 0. */
  753. TEST_ff_f (atan2, -1, minus_zero, -M_PI_2l);
  754. /* atan2 (y,inf) == +0 for finite y > 0. */
  755. TEST_ff_f (atan2, 1, plus_infty, 0);
  756. /* atan2 (y,inf) == -0 for finite y < 0. */
  757. TEST_ff_f (atan2, -1, plus_infty, minus_zero);
  758. /* atan2(+inf, x) == pi/2 for finite x. */
  759. TEST_ff_f (atan2, plus_infty, -1, M_PI_2l);
  760. /* atan2(-inf, x) == -pi/2 for finite x. */
  761. TEST_ff_f (atan2, minus_infty, 1, -M_PI_2l);
  762. /* atan2 (y,-inf) == +pi for finite y > 0. */
  763. TEST_ff_f (atan2, 1, minus_infty, M_PIl);
  764. /* atan2 (y,-inf) == -pi for finite y < 0. */
  765. TEST_ff_f (atan2, -1, minus_infty, -M_PIl);
  766. TEST_ff_f (atan2, plus_infty, plus_infty, M_PI_4l);
  767. TEST_ff_f (atan2, minus_infty, plus_infty, -M_PI_4l);
  768. TEST_ff_f (atan2, plus_infty, minus_infty, M_PI_34l);
  769. TEST_ff_f (atan2, minus_infty, minus_infty, -M_PI_34l);
  770. TEST_ff_f (atan2, nan_value, nan_value, nan_value);
  771. TEST_ff_f (atan2, 0.75L, 1, 0.643501108793284386802809228717322638L);
  772. TEST_ff_f (atan2, -0.75L, 1.0L, -0.643501108793284386802809228717322638L);
  773. TEST_ff_f (atan2, 0.75L, -1.0L, 2.49809154479650885165983415456218025L);
  774. TEST_ff_f (atan2, -0.75L, -1.0L, -2.49809154479650885165983415456218025L);
  775. TEST_ff_f (atan2, 0.390625L, .00029L, 1.57005392693128974780151246612928941L);
  776. TEST_ff_f (atan2, 1.390625L, 0.9296875L, 0.981498387184244311516296577615519772L);
  777. TEST_ff_f (atan2, -0.00756827042671106339L, -.001792735857538728036L, -1.80338464113663849327153994379639112L);
  778. END (atan2);
  779. }
  780. static void
  781. cabs_test (void)
  782. {
  783. errno = 0;
  784. FUNC(cabs) (BUILD_COMPLEX (0.7L, 12.4L));
  785. if (errno == ENOSYS)
  786. /* Function not implemented. */
  787. return;
  788. START (cabs);
  789. /* cabs (x + iy) is specified as hypot (x,y) */
  790. /* cabs (+inf + i x) == +inf. */
  791. TEST_c_f (cabs, plus_infty, 1.0, plus_infty);
  792. /* cabs (-inf + i x) == +inf. */
  793. TEST_c_f (cabs, minus_infty, 1.0, plus_infty);
  794. TEST_c_f (cabs, minus_infty, nan_value, plus_infty);
  795. TEST_c_f (cabs, minus_infty, nan_value, plus_infty);
  796. TEST_c_f (cabs, nan_value, nan_value, nan_value);
  797. /* cabs (x,y) == cabs (y,x). */
  798. TEST_c_f (cabs, 0.75L, 12.390625L, 12.4133028598606664302388810868156657L);
  799. /* cabs (x,y) == cabs (-x,y). */
  800. TEST_c_f (cabs, -12.390625L, 0.75L, 12.4133028598606664302388810868156657L);
  801. /* cabs (x,y) == cabs (-y,x). */
  802. TEST_c_f (cabs, -0.75L, 12.390625L, 12.4133028598606664302388810868156657L);
  803. /* cabs (x,y) == cabs (-x,-y). */
  804. TEST_c_f (cabs, -12.390625L, -0.75L, 12.4133028598606664302388810868156657L);
  805. /* cabs (x,y) == cabs (-y,-x). */
  806. TEST_c_f (cabs, -0.75L, -12.390625L, 12.4133028598606664302388810868156657L);
  807. /* cabs (x,0) == fabs (x). */
  808. TEST_c_f (cabs, -0.75L, 0, 0.75L);
  809. TEST_c_f (cabs, 0.75L, 0, 0.75L);
  810. TEST_c_f (cabs, -1.0L, 0, 1.0L);
  811. TEST_c_f (cabs, 1.0L, 0, 1.0L);
  812. TEST_c_f (cabs, -5.7e7L, 0, 5.7e7L);
  813. TEST_c_f (cabs, 5.7e7L, 0, 5.7e7L);
  814. TEST_c_f (cabs, 0.75L, 1.25L, 1.45773797371132511771853821938639577L);
  815. END (cabs);
  816. }
  817. #if 0
  818. static void
  819. cacos_test (void)
  820. {
  821. errno = 0;
  822. FUNC(cacos) (BUILD_COMPLEX (0.7L, 1.2L));
  823. if (errno == ENOSYS)
  824. /* Function not implemented. */
  825. return;
  826. START (cacos);
  827. TEST_c_c (cacos, 0, 0, M_PI_2l, minus_zero);
  828. TEST_c_c (cacos, minus_zero, 0, M_PI_2l, minus_zero);
  829. TEST_c_c (cacos, minus_zero, minus_zero, M_PI_2l, 0.0);
  830. TEST_c_c (cacos, 0, minus_zero, M_PI_2l, 0.0);
  831. TEST_c_c (cacos, minus_infty, plus_infty, M_PI_34l, minus_infty);
  832. TEST_c_c (cacos, minus_infty, minus_infty, M_PI_34l, plus_infty);
  833. TEST_c_c (cacos, plus_infty, plus_infty, M_PI_4l, minus_infty);
  834. TEST_c_c (cacos, plus_infty, minus_infty, M_PI_4l, plus_infty);
  835. TEST_c_c (cacos, -10.0, plus_infty, M_PI_2l, minus_infty);
  836. TEST_c_c (cacos, -10.0, minus_infty, M_PI_2l, plus_infty);
  837. TEST_c_c (cacos, 0, plus_infty, M_PI_2l, minus_infty);
  838. TEST_c_c (cacos, 0, minus_infty, M_PI_2l, plus_infty);
  839. TEST_c_c (cacos, 0.1L, plus_infty, M_PI_2l, minus_infty);
  840. TEST_c_c (cacos, 0.1L, minus_infty, M_PI_2l, plus_infty);
  841. TEST_c_c (cacos, minus_infty, 0, M_PIl, minus_infty);
  842. TEST_c_c (cacos, minus_infty, minus_zero, M_PIl, plus_infty);
  843. TEST_c_c (cacos, minus_infty, 100, M_PIl, minus_infty);
  844. TEST_c_c (cacos, minus_infty, -100, M_PIl, plus_infty);
  845. TEST_c_c (cacos, plus_infty, 0, 0.0, minus_infty);
  846. TEST_c_c (cacos, plus_infty, minus_zero, 0.0, plus_infty);
  847. TEST_c_c (cacos, plus_infty, 0.5, 0.0, minus_infty);
  848. TEST_c_c (cacos, plus_infty, -0.5, 0.0, plus_infty);
  849. TEST_c_c (cacos, plus_infty, nan_value, nan_value, plus_infty, IGNORE_ZERO_INF_SIGN);
  850. TEST_c_c (cacos, minus_infty, nan_value, nan_value, plus_infty, IGNORE_ZERO_INF_SIGN);
  851. TEST_c_c (cacos, 0, nan_value, M_PI_2l, nan_value);
  852. TEST_c_c (cacos, minus_zero, nan_value, M_PI_2l, nan_value);
  853. TEST_c_c (cacos, nan_value, plus_infty, nan_value, minus_infty);
  854. TEST_c_c (cacos, nan_value, minus_infty, nan_value, plus_infty);
  855. TEST_c_c (cacos, 10.5, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  856. TEST_c_c (cacos, -10.5, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  857. TEST_c_c (cacos, nan_value, 0.75, nan_value, nan_value, INVALID_EXCEPTION_OK);
  858. TEST_c_c (cacos, nan_value, -0.75, nan_value, nan_value, INVALID_EXCEPTION_OK);
  859. TEST_c_c (cacos, nan_value, nan_value, nan_value, nan_value);
  860. TEST_c_c (cacos, 0.75L, 1.25L, 1.11752014915610270578240049553777969L, -1.13239363160530819522266333696834467L);
  861. TEST_c_c (cacos, -2, -3, 2.1414491111159960199416055713254211L, 1.9833870299165354323470769028940395L);
  862. END (cacos, complex);
  863. }
  864. static void
  865. cacosh_test (void)
  866. {
  867. errno = 0;
  868. FUNC(cacosh) (BUILD_COMPLEX (0.7L, 1.2L));
  869. if (errno == ENOSYS)
  870. /* Function not implemented. */
  871. return;
  872. START (cacosh);
  873. TEST_c_c (cacosh, 0, 0, 0.0, M_PI_2l);
  874. TEST_c_c (cacosh, minus_zero, 0, 0.0, M_PI_2l);
  875. TEST_c_c (cacosh, 0, minus_zero, 0.0, -M_PI_2l);
  876. TEST_c_c (cacosh, minus_zero, minus_zero, 0.0, -M_PI_2l);
  877. TEST_c_c (cacosh, minus_infty, plus_infty, plus_infty, M_PI_34l);
  878. TEST_c_c (cacosh, minus_infty, minus_infty, plus_infty, -M_PI_34l);
  879. TEST_c_c (cacosh, plus_infty, plus_infty, plus_infty, M_PI_4l);
  880. TEST_c_c (cacosh, plus_infty, minus_infty, plus_infty, -M_PI_4l);
  881. TEST_c_c (cacosh, -10.0, plus_infty, plus_infty, M_PI_2l);
  882. TEST_c_c (cacosh, -10.0, minus_infty, plus_infty, -M_PI_2l);
  883. TEST_c_c (cacosh, 0, plus_infty, plus_infty, M_PI_2l);
  884. TEST_c_c (cacosh, 0, minus_infty, plus_infty, -M_PI_2l);
  885. TEST_c_c (cacosh, 0.1L, plus_infty, plus_infty, M_PI_2l);
  886. TEST_c_c (cacosh, 0.1L, minus_infty, plus_infty, -M_PI_2l);
  887. TEST_c_c (cacosh, minus_infty, 0, plus_infty, M_PIl);
  888. TEST_c_c (cacosh, minus_infty, minus_zero, plus_infty, -M_PIl);
  889. TEST_c_c (cacosh, minus_infty, 100, plus_infty, M_PIl);
  890. TEST_c_c (cacosh, minus_infty, -100, plus_infty, -M_PIl);
  891. TEST_c_c (cacosh, plus_infty, 0, plus_infty, 0.0);
  892. TEST_c_c (cacosh, plus_infty, minus_zero, plus_infty, minus_zero);
  893. TEST_c_c (cacosh, plus_infty, 0.5, plus_infty, 0.0);
  894. TEST_c_c (cacosh, plus_infty, -0.5, plus_infty, minus_zero);
  895. TEST_c_c (cacosh, plus_infty, nan_value, plus_infty, nan_value);
  896. TEST_c_c (cacosh, minus_infty, nan_value, plus_infty, nan_value);
  897. TEST_c_c (cacosh, 0, nan_value, nan_value, nan_value);
  898. TEST_c_c (cacosh, minus_zero, nan_value, nan_value, nan_value);
  899. TEST_c_c (cacosh, nan_value, plus_infty, plus_infty, nan_value);
  900. TEST_c_c (cacosh, nan_value, minus_infty, plus_infty, nan_value);
  901. TEST_c_c (cacosh, 10.5, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  902. TEST_c_c (cacosh, -10.5, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  903. TEST_c_c (cacosh, nan_value, 0.75, nan_value, nan_value, INVALID_EXCEPTION_OK);
  904. TEST_c_c (cacosh, nan_value, -0.75, nan_value, nan_value, INVALID_EXCEPTION_OK);
  905. TEST_c_c (cacosh, nan_value, nan_value, nan_value, nan_value);
  906. TEST_c_c (cacosh, 0.75L, 1.25L, 1.13239363160530819522266333696834467L, 1.11752014915610270578240049553777969L);
  907. TEST_c_c (cacosh, -2, -3, 1.9833870299165354323470769028940395L, -2.1414491111159960199416055713254211L);
  908. END (cacosh, complex);
  909. }
  910. #endif
  911. #if __CHK_COMPLEX_STUFF
  912. static void
  913. carg_test (void)
  914. {
  915. START (carg);
  916. /* carg (x + iy) is specified as atan2 (y, x) */
  917. /* carg (x + i 0) == 0 for x > 0. */
  918. TEST_c_f (carg, 2.0, 0, 0);
  919. /* carg (x - i 0) == -0 for x > 0. */
  920. TEST_c_f (carg, 2.0, minus_zero, minus_zero);
  921. TEST_c_f (carg, 0, 0, 0);
  922. TEST_c_f (carg, 0, minus_zero, minus_zero);
  923. /* carg (x + i 0) == +pi for x < 0. */
  924. TEST_c_f (carg, -2.0, 0, M_PIl);
  925. /* carg (x - i 0) == -pi for x < 0. */
  926. TEST_c_f (carg, -2.0, minus_zero, -M_PIl);
  927. TEST_c_f (carg, minus_zero, 0, M_PIl);
  928. TEST_c_f (carg, minus_zero, minus_zero, -M_PIl);
  929. /* carg (+0 + i y) == pi/2 for y > 0. */
  930. TEST_c_f (carg, 0, 2.0, M_PI_2l);
  931. /* carg (-0 + i y) == pi/2 for y > 0. */
  932. TEST_c_f (carg, minus_zero, 2.0, M_PI_2l);
  933. /* carg (+0 + i y) == -pi/2 for y < 0. */
  934. TEST_c_f (carg, 0, -2.0, -M_PI_2l);
  935. /* carg (-0 + i y) == -pi/2 for y < 0. */
  936. TEST_c_f (carg, minus_zero, -2.0, -M_PI_2l);
  937. /* carg (inf + i y) == +0 for finite y > 0. */
  938. TEST_c_f (carg, plus_infty, 2.0, 0);
  939. /* carg (inf + i y) == -0 for finite y < 0. */
  940. TEST_c_f (carg, plus_infty, -2.0, minus_zero);
  941. /* carg(x + i inf) == pi/2 for finite x. */
  942. TEST_c_f (carg, 10.0, plus_infty, M_PI_2l);
  943. /* carg(x - i inf) == -pi/2 for finite x. */
  944. TEST_c_f (carg, 10.0, minus_infty, -M_PI_2l);
  945. /* carg (-inf + i y) == +pi for finite y > 0. */
  946. TEST_c_f (carg, minus_infty, 10.0, M_PIl);
  947. /* carg (-inf + i y) == -pi for finite y < 0. */
  948. TEST_c_f (carg, minus_infty, -10.0, -M_PIl);
  949. TEST_c_f (carg, plus_infty, plus_infty, M_PI_4l);
  950. TEST_c_f (carg, plus_infty, minus_infty, -M_PI_4l);
  951. TEST_c_f (carg, minus_infty, plus_infty, 3 * M_PI_4l);
  952. TEST_c_f (carg, minus_infty, minus_infty, -3 * M_PI_4l);
  953. TEST_c_f (carg, nan_value, nan_value, nan_value);
  954. END (carg);
  955. }
  956. #endif /* __CHK_COMPLEX_STUFF */
  957. #if 0
  958. static void
  959. casin_test (void)
  960. {
  961. errno = 0;
  962. FUNC(casin) (BUILD_COMPLEX (0.7L, 1.2L));
  963. if (errno == ENOSYS)
  964. /* Function not implemented. */
  965. return;
  966. START (casin);
  967. TEST_c_c (casin, 0, 0, 0.0, 0.0);
  968. TEST_c_c (casin, minus_zero, 0, minus_zero, 0.0);
  969. TEST_c_c (casin, 0, minus_zero, 0.0, minus_zero);
  970. TEST_c_c (casin, minus_zero, minus_zero, minus_zero, minus_zero);
  971. TEST_c_c (casin, plus_infty, plus_infty, M_PI_4l, plus_infty);
  972. TEST_c_c (casin, plus_infty, minus_infty, M_PI_4l, minus_infty);
  973. TEST_c_c (casin, minus_infty, plus_infty, -M_PI_4l, plus_infty);
  974. TEST_c_c (casin, minus_infty, minus_infty, -M_PI_4l, minus_infty);
  975. TEST_c_c (casin, -10.0, plus_infty, minus_zero, plus_infty);
  976. TEST_c_c (casin, -10.0, minus_infty, minus_zero, minus_infty);
  977. TEST_c_c (casin, 0, plus_infty, 0.0, plus_infty);
  978. TEST_c_c (casin, 0, minus_infty, 0.0, minus_infty);
  979. TEST_c_c (casin, minus_zero, plus_infty, minus_zero, plus_infty);
  980. TEST_c_c (casin, minus_zero, minus_infty, minus_zero, minus_infty);
  981. TEST_c_c (casin, 0.1L, plus_infty, 0.0, plus_infty);
  982. TEST_c_c (casin, 0.1L, minus_infty, 0.0, minus_infty);
  983. TEST_c_c (casin, minus_infty, 0, -M_PI_2l, plus_infty);
  984. TEST_c_c (casin, minus_infty, minus_zero, -M_PI_2l, minus_infty);
  985. TEST_c_c (casin, minus_infty, 100, -M_PI_2l, plus_infty);
  986. TEST_c_c (casin, minus_infty, -100, -M_PI_2l, minus_infty);
  987. TEST_c_c (casin, plus_infty, 0, M_PI_2l, plus_infty);
  988. TEST_c_c (casin, plus_infty, minus_zero, M_PI_2l, minus_infty);
  989. TEST_c_c (casin, plus_infty, 0.5, M_PI_2l, plus_infty);
  990. TEST_c_c (casin, plus_infty, -0.5, M_PI_2l, minus_infty);
  991. TEST_c_c (casin, nan_value, plus_infty, nan_value, plus_infty);
  992. TEST_c_c (casin, nan_value, minus_infty, nan_value, minus_infty);
  993. TEST_c_c (casin, 0.0, nan_value, 0.0, nan_value);
  994. TEST_c_c (casin, minus_zero, nan_value, minus_zero, nan_value);
  995. TEST_c_c (casin, plus_infty, nan_value, nan_value, plus_infty, IGNORE_ZERO_INF_SIGN);
  996. TEST_c_c (casin, minus_infty, nan_value, nan_value, plus_infty, IGNORE_ZERO_INF_SIGN);
  997. TEST_c_c (casin, nan_value, 10.5, nan_value, nan_value, INVALID_EXCEPTION_OK);
  998. TEST_c_c (casin, nan_value, -10.5, nan_value, nan_value, INVALID_EXCEPTION_OK);
  999. TEST_c_c (casin, 0.75, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1000. TEST_c_c (casin, -0.75, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1001. TEST_c_c (casin, nan_value, nan_value, nan_value, nan_value);
  1002. TEST_c_c (casin, 0.75L, 1.25L, 0.453276177638793913448921196101971749L, 1.13239363160530819522266333696834467L);
  1003. TEST_c_c (casin, -2, -3, -0.57065278432109940071028387968566963L, -1.9833870299165354323470769028940395L);
  1004. END (casin, complex);
  1005. }
  1006. static void
  1007. casinh_test (void)
  1008. {
  1009. errno = 0;
  1010. FUNC(casinh) (BUILD_COMPLEX (0.7L, 1.2L));
  1011. if (errno == ENOSYS)
  1012. /* Function not implemented. */
  1013. return;
  1014. START (casinh);
  1015. TEST_c_c (casinh, 0, 0, 0.0, 0.0);
  1016. TEST_c_c (casinh, minus_zero, 0, minus_zero, 0);
  1017. TEST_c_c (casinh, 0, minus_zero, 0.0, minus_zero);
  1018. TEST_c_c (casinh, minus_zero, minus_zero, minus_zero, minus_zero);
  1019. TEST_c_c (casinh, plus_infty, plus_infty, plus_infty, M_PI_4l);
  1020. TEST_c_c (casinh, plus_infty, minus_infty, plus_infty, -M_PI_4l);
  1021. TEST_c_c (casinh, minus_infty, plus_infty, minus_infty, M_PI_4l);
  1022. TEST_c_c (casinh, minus_infty, minus_infty, minus_infty, -M_PI_4l);
  1023. TEST_c_c (casinh, -10.0, plus_infty, minus_infty, M_PI_2l);
  1024. TEST_c_c (casinh, -10.0, minus_infty, minus_infty, -M_PI_2l);
  1025. TEST_c_c (casinh, 0, plus_infty, plus_infty, M_PI_2l);
  1026. TEST_c_c (casinh, 0, minus_infty, plus_infty, -M_PI_2l);
  1027. TEST_c_c (casinh, minus_zero, plus_infty, minus_infty, M_PI_2l);
  1028. TEST_c_c (casinh, minus_zero, minus_infty, minus_infty, -M_PI_2l);
  1029. TEST_c_c (casinh, 0.1L, plus_infty, plus_infty, M_PI_2l);
  1030. TEST_c_c (casinh, 0.1L, minus_infty, plus_infty, -M_PI_2l);
  1031. TEST_c_c (casinh, minus_infty, 0, minus_infty, 0.0);
  1032. TEST_c_c (casinh, minus_infty, minus_zero, minus_infty, minus_zero);
  1033. TEST_c_c (casinh, minus_infty, 100, minus_infty, 0.0);
  1034. TEST_c_c (casinh, minus_infty, -100, minus_infty, minus_zero);
  1035. TEST_c_c (casinh, plus_infty, 0, plus_infty, 0.0);
  1036. TEST_c_c (casinh, plus_infty, minus_zero, plus_infty, minus_zero);
  1037. TEST_c_c (casinh, plus_infty, 0.5, plus_infty, 0.0);
  1038. TEST_c_c (casinh, plus_infty, -0.5, plus_infty, minus_zero);
  1039. TEST_c_c (casinh, plus_infty, nan_value, plus_infty, nan_value);
  1040. TEST_c_c (casinh, minus_infty, nan_value, minus_infty, nan_value);
  1041. TEST_c_c (casinh, nan_value, 0, nan_value, 0.0);
  1042. TEST_c_c (casinh, nan_value, minus_zero, nan_value, minus_zero);
  1043. TEST_c_c (casinh, nan_value, plus_infty, plus_infty, nan_value, IGNORE_ZERO_INF_SIGN);
  1044. TEST_c_c (casinh, nan_value, minus_infty, plus_infty, nan_value, IGNORE_ZERO_INF_SIGN);
  1045. TEST_c_c (casinh, 10.5, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1046. TEST_c_c (casinh, -10.5, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1047. TEST_c_c (casinh, nan_value, 0.75, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1048. TEST_c_c (casinh, -0.75, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1049. TEST_c_c (casinh, nan_value, nan_value, nan_value, nan_value);
  1050. TEST_c_c (casinh, 0.75L, 1.25L, 1.03171853444778027336364058631006594L, 0.911738290968487636358489564316731207L);
  1051. TEST_c_c (casinh, -2, -3, -1.9686379257930962917886650952454982L, -0.96465850440760279204541105949953237L);
  1052. END (casinh, complex);
  1053. }
  1054. static void
  1055. catan_test (void)
  1056. {
  1057. errno = 0;
  1058. FUNC(catan) (BUILD_COMPLEX (0.7L, 1.2L));
  1059. if (errno == ENOSYS)
  1060. /* Function not implemented. */
  1061. return;
  1062. START (catan);
  1063. TEST_c_c (catan, 0, 0, 0, 0);
  1064. TEST_c_c (catan, minus_zero, 0, minus_zero, 0);
  1065. TEST_c_c (catan, 0, minus_zero, 0, minus_zero);
  1066. TEST_c_c (catan, minus_zero, minus_zero, minus_zero, minus_zero);
  1067. TEST_c_c (catan, plus_infty, plus_infty, M_PI_2l, 0);
  1068. TEST_c_c (catan, plus_infty, minus_infty, M_PI_2l, minus_zero);
  1069. TEST_c_c (catan, minus_infty, plus_infty, -M_PI_2l, 0);
  1070. TEST_c_c (catan, minus_infty, minus_infty, -M_PI_2l, minus_zero);
  1071. TEST_c_c (catan, plus_infty, -10.0, M_PI_2l, minus_zero);
  1072. TEST_c_c (catan, minus_infty, -10.0, -M_PI_2l, minus_zero);
  1073. TEST_c_c (catan, plus_infty, minus_zero, M_PI_2l, minus_zero);
  1074. TEST_c_c (catan, minus_infty, minus_zero, -M_PI_2l, minus_zero);
  1075. TEST_c_c (catan, plus_infty, 0.0, M_PI_2l, 0);
  1076. TEST_c_c (catan, minus_infty, 0.0, -M_PI_2l, 0);
  1077. TEST_c_c (catan, plus_infty, 0.1L, M_PI_2l, 0);
  1078. TEST_c_c (catan, minus_infty, 0.1L, -M_PI_2l, 0);
  1079. TEST_c_c (catan, 0.0, minus_infty, M_PI_2l, minus_zero);
  1080. TEST_c_c (catan, minus_zero, minus_infty, -M_PI_2l, minus_zero);
  1081. TEST_c_c (catan, 100.0, minus_infty, M_PI_2l, minus_zero);
  1082. TEST_c_c (catan, -100.0, minus_infty, -M_PI_2l, minus_zero);
  1083. TEST_c_c (catan, 0.0, plus_infty, M_PI_2l, 0);
  1084. TEST_c_c (catan, minus_zero, plus_infty, -M_PI_2l, 0);
  1085. TEST_c_c (catan, 0.5, plus_infty, M_PI_2l, 0);
  1086. TEST_c_c (catan, -0.5, plus_infty, -M_PI_2l, 0);
  1087. TEST_c_c (catan, nan_value, 0.0, nan_value, 0);
  1088. TEST_c_c (catan, nan_value, minus_zero, nan_value, minus_zero);
  1089. TEST_c_c (catan, nan_value, plus_infty, nan_value, 0);
  1090. TEST_c_c (catan, nan_value, minus_infty, nan_value, minus_zero);
  1091. TEST_c_c (catan, 0.0, nan_value, nan_value, nan_value);
  1092. TEST_c_c (catan, minus_zero, nan_value, nan_value, nan_value);
  1093. TEST_c_c (catan, plus_infty, nan_value, M_PI_2l, 0, IGNORE_ZERO_INF_SIGN);
  1094. TEST_c_c (catan, minus_infty, nan_value, -M_PI_2l, 0, IGNORE_ZERO_INF_SIGN);
  1095. TEST_c_c (catan, nan_value, 10.5, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1096. TEST_c_c (catan, nan_value, -10.5, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1097. TEST_c_c (catan, 0.75, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1098. TEST_c_c (catan, -0.75, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1099. TEST_c_c (catan, nan_value, nan_value, nan_value, nan_value);
  1100. TEST_c_c (catan, 0.75L, 1.25L, 1.10714871779409050301706546017853704L, 0.549306144334054845697622618461262852L);
  1101. TEST_c_c (catan, -2, -3, -1.4099210495965755225306193844604208L, -0.22907268296853876629588180294200276L);
  1102. END (catan, complex);
  1103. }
  1104. static void
  1105. catanh_test (void)
  1106. {
  1107. errno = 0;
  1108. FUNC(catanh) (BUILD_COMPLEX (0.7L, 1.2L));
  1109. if (errno == ENOSYS)
  1110. /* Function not implemented. */
  1111. return;
  1112. START (catanh);
  1113. TEST_c_c (catanh, 0, 0, 0.0, 0.0);
  1114. TEST_c_c (catanh, minus_zero, 0, minus_zero, 0.0);
  1115. TEST_c_c (catanh, 0, minus_zero, 0.0, minus_zero);
  1116. TEST_c_c (catanh, minus_zero, minus_zero, minus_zero, minus_zero);
  1117. TEST_c_c (catanh, plus_infty, plus_infty, 0.0, M_PI_2l);
  1118. TEST_c_c (catanh, plus_infty, minus_infty, 0.0, -M_PI_2l);
  1119. TEST_c_c (catanh, minus_infty, plus_infty, minus_zero, M_PI_2l);
  1120. TEST_c_c (catanh, minus_infty, minus_infty, minus_zero, -M_PI_2l);
  1121. TEST_c_c (catanh, -10.0, plus_infty, minus_zero, M_PI_2l);
  1122. TEST_c_c (catanh, -10.0, minus_infty, minus_zero, -M_PI_2l);
  1123. TEST_c_c (catanh, minus_zero, plus_infty, minus_zero, M_PI_2l);
  1124. TEST_c_c (catanh, minus_zero, minus_infty, minus_zero, -M_PI_2l);
  1125. TEST_c_c (catanh, 0, plus_infty, 0.0, M_PI_2l);
  1126. TEST_c_c (catanh, 0, minus_infty, 0.0, -M_PI_2l);
  1127. TEST_c_c (catanh, 0.1L, plus_infty, 0.0, M_PI_2l);
  1128. TEST_c_c (catanh, 0.1L, minus_infty, 0.0, -M_PI_2l);
  1129. TEST_c_c (catanh, minus_infty, 0, minus_zero, M_PI_2l);
  1130. TEST_c_c (catanh, minus_infty, minus_zero, minus_zero, -M_PI_2l);
  1131. TEST_c_c (catanh, minus_infty, 100, minus_zero, M_PI_2l);
  1132. TEST_c_c (catanh, minus_infty, -100, minus_zero, -M_PI_2l);
  1133. TEST_c_c (catanh, plus_infty, 0, 0.0, M_PI_2l);
  1134. TEST_c_c (catanh, plus_infty, minus_zero, 0.0, -M_PI_2l);
  1135. TEST_c_c (catanh, plus_infty, 0.5, 0.0, M_PI_2l);
  1136. TEST_c_c (catanh, plus_infty, -0.5, 0.0, -M_PI_2l);
  1137. TEST_c_c (catanh, 0, nan_value, 0.0, nan_value);
  1138. TEST_c_c (catanh, minus_zero, nan_value, minus_zero, nan_value);
  1139. TEST_c_c (catanh, plus_infty, nan_value, 0.0, nan_value);
  1140. TEST_c_c (catanh, minus_infty, nan_value, minus_zero, nan_value);
  1141. TEST_c_c (catanh, nan_value, 0, nan_value, nan_value);
  1142. TEST_c_c (catanh, nan_value, minus_zero, nan_value, nan_value);
  1143. TEST_c_c (catanh, nan_value, plus_infty, 0.0, M_PI_2l, IGNORE_ZERO_INF_SIGN);
  1144. TEST_c_c (catanh, nan_value, minus_infty, 0.0, -M_PI_2l, IGNORE_ZERO_INF_SIGN);
  1145. TEST_c_c (catanh, 10.5, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1146. TEST_c_c (catanh, -10.5, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1147. TEST_c_c (catanh, nan_value, 0.75, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1148. TEST_c_c (catanh, nan_value, -0.75, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1149. TEST_c_c (catanh, nan_value, nan_value, nan_value, nan_value);
  1150. TEST_c_c (catanh, 0.75L, 1.25L, 0.261492138795671927078652057366532140L, 0.996825126463918666098902241310446708L);
  1151. TEST_c_c (catanh, -2, -3, -0.14694666622552975204743278515471595L, -1.3389725222944935611241935759091443L);
  1152. END (catanh, complex);
  1153. }
  1154. #endif
  1155. static void
  1156. cbrt_test (void)
  1157. {
  1158. errno = 0;
  1159. FUNC(cbrt) (8);
  1160. if (errno == ENOSYS)
  1161. /* Function not implemented. */
  1162. return;
  1163. START (cbrt);
  1164. TEST_f_f (cbrt, 0.0, 0.0);
  1165. TEST_f_f (cbrt, minus_zero, minus_zero);
  1166. TEST_f_f (cbrt, plus_infty, plus_infty);
  1167. TEST_f_f (cbrt, minus_infty, minus_infty);
  1168. TEST_f_f (cbrt, nan_value, nan_value);
  1169. TEST_f_f (cbrt, -0.001L, -0.1L);
  1170. TEST_f_f (cbrt, 8, 2);
  1171. TEST_f_f (cbrt, -27.0, -3.0);
  1172. TEST_f_f (cbrt, 0.9921875L, 0.997389022060725270579075195353955217L);
  1173. TEST_f_f (cbrt, 0.75L, 0.908560296416069829445605878163630251L);
  1174. END (cbrt);
  1175. }
  1176. #if 0
  1177. static void
  1178. ccos_test (void)
  1179. {
  1180. errno = 0;
  1181. FUNC(ccos) (BUILD_COMPLEX (0, 0));
  1182. if (errno == ENOSYS)
  1183. /* Function not implemented. */
  1184. return;
  1185. START (ccos);
  1186. TEST_c_c (ccos, 0.0, 0.0, 1.0, minus_zero);
  1187. TEST_c_c (ccos, minus_zero, 0.0, 1.0, 0.0);
  1188. TEST_c_c (ccos, 0.0, minus_zero, 1.0, 0.0);
  1189. TEST_c_c (ccos, minus_zero, minus_zero, 1.0, minus_zero);
  1190. TEST_c_c (ccos, plus_infty, 0.0, nan_value, 0.0, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
  1191. TEST_c_c (ccos, plus_infty, minus_zero, nan_value, 0.0, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
  1192. TEST_c_c (ccos, minus_infty, 0.0, nan_value, 0.0, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
  1193. TEST_c_c (ccos, minus_infty, minus_zero, nan_value, 0.0, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
  1194. TEST_c_c (ccos, 0.0, plus_infty, plus_infty, minus_zero);
  1195. TEST_c_c (ccos, 0.0, minus_infty, plus_infty, 0.0);
  1196. TEST_c_c (ccos, minus_zero, plus_infty, plus_infty, 0.0);
  1197. TEST_c_c (ccos, minus_zero, minus_infty, plus_infty, minus_zero);
  1198. TEST_c_c (ccos, plus_infty, plus_infty, plus_infty, nan_value, INVALID_EXCEPTION);
  1199. TEST_c_c (ccos, minus_infty, plus_infty, plus_infty, nan_value, INVALID_EXCEPTION);
  1200. TEST_c_c (ccos, plus_infty, minus_infty, plus_infty, nan_value, INVALID_EXCEPTION);
  1201. TEST_c_c (ccos, minus_infty, minus_infty, plus_infty, nan_value, INVALID_EXCEPTION);
  1202. TEST_c_c (ccos, 4.625, plus_infty, minus_infty, plus_infty);
  1203. TEST_c_c (ccos, 4.625, minus_infty, minus_infty, minus_infty);
  1204. TEST_c_c (ccos, -4.625, plus_infty, minus_infty, minus_infty);
  1205. TEST_c_c (ccos, -4.625, minus_infty, minus_infty, plus_infty);
  1206. TEST_c_c (ccos, plus_infty, 6.75, nan_value, nan_value, INVALID_EXCEPTION);
  1207. TEST_c_c (ccos, plus_infty, -6.75, nan_value, nan_value, INVALID_EXCEPTION);
  1208. TEST_c_c (ccos, minus_infty, 6.75, nan_value, nan_value, INVALID_EXCEPTION);
  1209. TEST_c_c (ccos, minus_infty, -6.75, nan_value, nan_value, INVALID_EXCEPTION);
  1210. TEST_c_c (ccos, nan_value, 0.0, nan_value, 0.0, IGNORE_ZERO_INF_SIGN);
  1211. TEST_c_c (ccos, nan_value, minus_zero, nan_value, 0.0, IGNORE_ZERO_INF_SIGN);
  1212. TEST_c_c (ccos, nan_value, plus_infty, plus_infty, nan_value);
  1213. TEST_c_c (ccos, nan_value, minus_infty, plus_infty, nan_value);
  1214. TEST_c_c (ccos, nan_value, 9.0, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1215. TEST_c_c (ccos, nan_value, -9.0, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1216. TEST_c_c (ccos, 0.0, nan_value, nan_value, 0.0, IGNORE_ZERO_INF_SIGN);
  1217. TEST_c_c (ccos, minus_zero, nan_value, nan_value, 0.0, IGNORE_ZERO_INF_SIGN);
  1218. TEST_c_c (ccos, 10.0, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1219. TEST_c_c (ccos, -10.0, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1220. TEST_c_c (ccos, plus_infty, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1221. TEST_c_c (ccos, minus_infty, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1222. TEST_c_c (ccos, nan_value, nan_value, nan_value, nan_value);
  1223. TEST_c_c (ccos, 0.75L, 1.25L, 1.38173873063425888530729933139078645L, -1.09193013555397466170919531722024128L);
  1224. TEST_c_c (ccos, -2, -3, -4.18962569096880723013255501961597373L, -9.10922789375533659797919726277886212L);
  1225. END (ccos, complex);
  1226. }
  1227. static void
  1228. ccosh_test (void)
  1229. {
  1230. errno = 0;
  1231. FUNC(ccosh) (BUILD_COMPLEX (0.7L, 1.2L));
  1232. if (errno == ENOSYS)
  1233. /* Function not implemented. */
  1234. return;
  1235. START (ccosh);
  1236. TEST_c_c (ccosh, 0.0, 0.0, 1.0, 0.0);
  1237. TEST_c_c (ccosh, minus_zero, 0.0, 1.0, minus_zero);
  1238. TEST_c_c (ccosh, 0.0, minus_zero, 1.0, minus_zero);
  1239. TEST_c_c (ccosh, minus_zero, minus_zero, 1.0, 0.0);
  1240. TEST_c_c (ccosh, 0.0, plus_infty, nan_value, 0.0, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
  1241. TEST_c_c (ccosh, minus_zero, plus_infty, nan_value, 0.0, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
  1242. TEST_c_c (ccosh, 0.0, minus_infty, nan_value, 0.0, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
  1243. TEST_c_c (ccosh, minus_zero, minus_infty, nan_value, 0.0, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
  1244. TEST_c_c (ccosh, plus_infty, 0.0, plus_infty, 0.0);
  1245. TEST_c_c (ccosh, minus_infty, 0.0, plus_infty, minus_zero);
  1246. TEST_c_c (ccosh, plus_infty, minus_zero, plus_infty, minus_zero);
  1247. TEST_c_c (ccosh, minus_infty, minus_zero, plus_infty, 0.0);
  1248. TEST_c_c (ccosh, plus_infty, plus_infty, plus_infty, nan_value, INVALID_EXCEPTION);
  1249. TEST_c_c (ccosh, minus_infty, plus_infty, plus_infty, nan_value, INVALID_EXCEPTION);
  1250. TEST_c_c (ccosh, plus_infty, minus_infty, plus_infty, nan_value, INVALID_EXCEPTION);
  1251. TEST_c_c (ccosh, minus_infty, minus_infty, plus_infty, nan_value, INVALID_EXCEPTION);
  1252. TEST_c_c (ccosh, plus_infty, 4.625, minus_infty, minus_infty);
  1253. TEST_c_c (ccosh, minus_infty, 4.625, minus_infty, plus_infty);
  1254. TEST_c_c (ccosh, plus_infty, -4.625, minus_infty, plus_infty);
  1255. TEST_c_c (ccosh, minus_infty, -4.625, minus_infty, minus_infty);
  1256. TEST_c_c (ccosh, 6.75, plus_infty, nan_value, nan_value, INVALID_EXCEPTION);
  1257. TEST_c_c (ccosh, -6.75, plus_infty, nan_value, nan_value, INVALID_EXCEPTION);
  1258. TEST_c_c (ccosh, 6.75, minus_infty, nan_value, nan_value, INVALID_EXCEPTION);
  1259. TEST_c_c (ccosh, -6.75, minus_infty, nan_value, nan_value, INVALID_EXCEPTION);
  1260. TEST_c_c (ccosh, 0.0, nan_value, nan_value, 0.0, IGNORE_ZERO_INF_SIGN);
  1261. TEST_c_c (ccosh, minus_zero, nan_value, nan_value, 0.0, IGNORE_ZERO_INF_SIGN);
  1262. TEST_c_c (ccosh, plus_infty, nan_value, plus_infty, nan_value);
  1263. TEST_c_c (ccosh, minus_infty, nan_value, plus_infty, nan_value);
  1264. TEST_c_c (ccosh, 9.0, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1265. TEST_c_c (ccosh, -9.0, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1266. TEST_c_c (ccosh, nan_value, 0.0, nan_value, 0.0, IGNORE_ZERO_INF_SIGN);
  1267. TEST_c_c (ccosh, nan_value, minus_zero, nan_value, 0.0, IGNORE_ZERO_INF_SIGN);
  1268. TEST_c_c (ccosh, nan_value, 10.0, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1269. TEST_c_c (ccosh, nan_value, -10.0, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1270. TEST_c_c (ccosh, nan_value, plus_infty, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1271. TEST_c_c (ccosh, nan_value, minus_infty, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1272. TEST_c_c (ccosh, nan_value, nan_value, nan_value, nan_value);
  1273. TEST_c_c (ccosh, 0.75L, 1.25L, 0.408242591877968807788852146397499084L, 0.780365930845853240391326216300863152L);
  1274. TEST_c_c (ccosh, -2, -3, -3.72454550491532256547397070325597253L, 0.511822569987384608834463849801875634L);
  1275. END (ccosh, complex);
  1276. }
  1277. #endif
  1278. static void
  1279. ceil_test (void)
  1280. {
  1281. START (ceil);
  1282. TEST_f_f (ceil, 0.0, 0.0);
  1283. TEST_f_f (ceil, minus_zero, minus_zero);
  1284. TEST_f_f (ceil, plus_infty, plus_infty);
  1285. TEST_f_f (ceil, minus_infty, minus_infty);
  1286. TEST_f_f (ceil, nan_value, nan_value);
  1287. TEST_f_f (ceil, M_PIl, 4.0);
  1288. TEST_f_f (ceil, -M_PIl, -3.0);
  1289. TEST_f_f (ceil, 0.25, 1.0);
  1290. TEST_f_f (ceil, -0.25, minus_zero);
  1291. #ifdef TEST_LDOUBLE
  1292. /* The result can only be represented in long double. */
  1293. TEST_f_f (ceil, 4503599627370495.5L, 4503599627370496.0L);
  1294. TEST_f_f (ceil, 4503599627370496.25L, 4503599627370497.0L);
  1295. TEST_f_f (ceil, 4503599627370496.5L, 4503599627370497.0L);
  1296. TEST_f_f (ceil, 4503599627370496.75L, 4503599627370497.0L);
  1297. TEST_f_f (ceil, 4503599627370497.5L, 4503599627370498.0L);
  1298. TEST_f_f (ceil, -4503599627370495.5L, -4503599627370495.0L);
  1299. TEST_f_f (ceil, -4503599627370496.25L, -4503599627370496.0L);
  1300. TEST_f_f (ceil, -4503599627370496.5L, -4503599627370496.0L);
  1301. TEST_f_f (ceil, -4503599627370496.75L, -4503599627370496.0L);
  1302. TEST_f_f (ceil, -4503599627370497.5L, -4503599627370497.0L);
  1303. TEST_f_f (ceil, 9007199254740991.5L, 9007199254740992.0L);
  1304. TEST_f_f (ceil, 9007199254740992.25L, 9007199254740993.0L);
  1305. TEST_f_f (ceil, 9007199254740992.5L, 9007199254740993.0L);
  1306. TEST_f_f (ceil, 9007199254740992.75L, 9007199254740993.0L);
  1307. TEST_f_f (ceil, 9007199254740993.5L, 9007199254740994.0L);
  1308. TEST_f_f (ceil, -9007199254740991.5L, -9007199254740991.0L);
  1309. TEST_f_f (ceil, -9007199254740992.25L, -9007199254740992.0L);
  1310. TEST_f_f (ceil, -9007199254740992.5L, -9007199254740992.0L);
  1311. TEST_f_f (ceil, -9007199254740992.75L, -9007199254740992.0L);
  1312. TEST_f_f (ceil, -9007199254740993.5L, -9007199254740993.0L);
  1313. TEST_f_f (ceil, 72057594037927935.5L, 72057594037927936.0L);
  1314. TEST_f_f (ceil, 72057594037927936.25L, 72057594037927937.0L);
  1315. TEST_f_f (ceil, 72057594037927936.5L, 72057594037927937.0L);
  1316. TEST_f_f (ceil, 72057594037927936.75L, 72057594037927937.0L);
  1317. TEST_f_f (ceil, 72057594037927937.5L, 72057594037927938.0L);
  1318. TEST_f_f (ceil, -72057594037927935.5L, -72057594037927935.0L);
  1319. TEST_f_f (ceil, -72057594037927936.25L, -72057594037927936.0L);
  1320. TEST_f_f (ceil, -72057594037927936.5L, -72057594037927936.0L);
  1321. TEST_f_f (ceil, -72057594037927936.75L, -72057594037927936.0L);
  1322. TEST_f_f (ceil, -72057594037927937.5L, -72057594037927937.0L);
  1323. TEST_f_f (ceil, 10141204801825835211973625643007.5L, 10141204801825835211973625643008.0L);
  1324. TEST_f_f (ceil, 10141204801825835211973625643008.25L, 10141204801825835211973625643009.0L);
  1325. TEST_f_f (ceil, 10141204801825835211973625643008.5L, 10141204801825835211973625643009.0L);
  1326. TEST_f_f (ceil, 10141204801825835211973625643008.75L, 10141204801825835211973625643009.0L);
  1327. TEST_f_f (ceil, 10141204801825835211973625643009.5L, 10141204801825835211973625643010.0L);
  1328. #endif
  1329. END (ceil);
  1330. }
  1331. #if __CHK_COMPLEX_STUFF
  1332. static void
  1333. cexp_test (void)
  1334. {
  1335. errno = 0;
  1336. FUNC(cexp) (BUILD_COMPLEX (0, 0));
  1337. if (errno == ENOSYS)
  1338. /* Function not implemented. */
  1339. return;
  1340. START (cexp);
  1341. TEST_c_c (cexp, plus_zero, plus_zero, 1, 0.0);
  1342. TEST_c_c (cexp, minus_zero, plus_zero, 1, 0.0);
  1343. TEST_c_c (cexp, plus_zero, minus_zero, 1, minus_zero);
  1344. TEST_c_c (cexp, minus_zero, minus_zero, 1, minus_zero);
  1345. TEST_c_c (cexp, plus_infty, plus_zero, plus_infty, 0.0);
  1346. TEST_c_c (cexp, plus_infty, minus_zero, plus_infty, minus_zero);
  1347. TEST_c_c (cexp, minus_infty, plus_zero, 0.0, 0.0);
  1348. TEST_c_c (cexp, minus_infty, minus_zero, 0.0, minus_zero);
  1349. TEST_c_c (cexp, 0.0, plus_infty, nan_value, nan_value, INVALID_EXCEPTION);
  1350. TEST_c_c (cexp, minus_zero, plus_infty, nan_value, nan_value, INVALID_EXCEPTION);
  1351. TEST_c_c (cexp, 0.0, minus_infty, nan_value, nan_value, INVALID_EXCEPTION);
  1352. TEST_c_c (cexp, minus_zero, minus_infty, nan_value, nan_value, INVALID_EXCEPTION);
  1353. TEST_c_c (cexp, 100.0, plus_infty, nan_value, nan_value, INVALID_EXCEPTION);
  1354. TEST_c_c (cexp, -100.0, plus_infty, nan_value, nan_value, INVALID_EXCEPTION);
  1355. TEST_c_c (cexp, 100.0, minus_infty, nan_value, nan_value, INVALID_EXCEPTION);
  1356. TEST_c_c (cexp, -100.0, minus_infty, nan_value, nan_value, INVALID_EXCEPTION);
  1357. TEST_c_c (cexp, minus_infty, 2.0, minus_zero, 0.0);
  1358. TEST_c_c (cexp, minus_infty, 4.0, minus_zero, minus_zero);
  1359. TEST_c_c (cexp, plus_infty, 2.0, minus_infty, plus_infty);
  1360. TEST_c_c (cexp, plus_infty, 4.0, minus_infty, minus_infty);
  1361. TEST_c_c (cexp, plus_infty, plus_infty, plus_infty, nan_value, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
  1362. TEST_c_c (cexp, plus_infty, minus_infty, plus_infty, nan_value, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
  1363. TEST_c_c (cexp, minus_infty, plus_infty, 0.0, 0.0, IGNORE_ZERO_INF_SIGN);
  1364. TEST_c_c (cexp, minus_infty, minus_infty, 0.0, minus_zero, IGNORE_ZERO_INF_SIGN);
  1365. TEST_c_c (cexp, minus_infty, nan_value, 0, 0, IGNORE_ZERO_INF_SIGN);
  1366. TEST_c_c (cexp, plus_infty, nan_value, plus_infty, nan_value);
  1367. TEST_c_c (cexp, nan_value, 0.0, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1368. TEST_c_c (cexp, nan_value, 1.0, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1369. TEST_c_c (cexp, nan_value, plus_infty, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1370. TEST_c_c (cexp, 0, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1371. TEST_c_c (cexp, 1, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1372. TEST_c_c (cexp, nan_value, nan_value, nan_value, nan_value);
  1373. TEST_c_c (cexp, 0.75L, 1.25L, 0.667537446429131586942201977015932112L, 2.00900045494094876258347228145863909L);
  1374. TEST_c_c (cexp, -2.0, -3.0, -0.13398091492954261346140525546115575L, -0.019098516261135196432576240858800925L);
  1375. END (cexp, complex);
  1376. }
  1377. #endif /* __CHK_COMPLEX_STUFF */
  1378. #if 0
  1379. static void
  1380. cimag_test (void)
  1381. {
  1382. START (cimag);
  1383. TEST_c_f (cimag, 1.0, 0.0, 0.0);
  1384. TEST_c_f (cimag, 1.0, minus_zero, minus_zero);
  1385. TEST_c_f (cimag, 1.0, nan_value, nan_value);
  1386. TEST_c_f (cimag, nan_value, nan_value, nan_value);
  1387. TEST_c_f (cimag, 1.0, plus_infty, plus_infty);
  1388. TEST_c_f (cimag, 1.0, minus_infty, minus_infty);
  1389. TEST_c_f (cimag, 2.0, 3.0, 3.0);
  1390. END (cimag);
  1391. }
  1392. static void
  1393. clog_test (void)
  1394. {
  1395. errno = 0;
  1396. FUNC(clog) (BUILD_COMPLEX (-2, -3));
  1397. if (errno == ENOSYS)
  1398. /* Function not implemented. */
  1399. return;
  1400. START (clog);
  1401. TEST_c_c (clog, minus_zero, 0, minus_infty, M_PIl, DIVIDE_BY_ZERO_EXCEPTION);
  1402. TEST_c_c (clog, minus_zero, minus_zero, minus_infty, -M_PIl, DIVIDE_BY_ZERO_EXCEPTION);
  1403. TEST_c_c (clog, 0, 0, minus_infty, 0.0, DIVIDE_BY_ZERO_EXCEPTION);
  1404. TEST_c_c (clog, 0, minus_zero, minus_infty, minus_zero, DIVIDE_BY_ZERO_EXCEPTION);
  1405. TEST_c_c (clog, minus_infty, plus_infty, plus_infty, M_PI_34l);
  1406. TEST_c_c (clog, minus_infty, minus_infty, plus_infty, -M_PI_34l);
  1407. TEST_c_c (clog, plus_infty, plus_infty, plus_infty, M_PI_4l);
  1408. TEST_c_c (clog, plus_infty, minus_infty, plus_infty, -M_PI_4l);
  1409. TEST_c_c (clog, 0, plus_infty, plus_infty, M_PI_2l);
  1410. TEST_c_c (clog, 3, plus_infty, plus_infty, M_PI_2l);
  1411. TEST_c_c (clog, minus_zero, plus_infty, plus_infty, M_PI_2l);
  1412. TEST_c_c (clog, -3, plus_infty, plus_infty, M_PI_2l);
  1413. TEST_c_c (clog, 0, minus_infty, plus_infty, -M_PI_2l);
  1414. TEST_c_c (clog, 3, minus_infty, plus_infty, -M_PI_2l);
  1415. TEST_c_c (clog, minus_zero, minus_infty, plus_infty, -M_PI_2l);
  1416. TEST_c_c (clog, -3, minus_infty, plus_infty, -M_PI_2l);
  1417. TEST_c_c (clog, minus_infty, 0, plus_infty, M_PIl);
  1418. TEST_c_c (clog, minus_infty, 1, plus_infty, M_PIl);
  1419. TEST_c_c (clog, minus_infty, minus_zero, plus_infty, -M_PIl);
  1420. TEST_c_c (clog, minus_infty, -1, plus_infty, -M_PIl);
  1421. TEST_c_c (clog, plus_infty, 0, plus_infty, 0.0);
  1422. TEST_c_c (clog, plus_infty, 1, plus_infty, 0.0);
  1423. TEST_c_c (clog, plus_infty, minus_zero, plus_infty, minus_zero);
  1424. TEST_c_c (clog, plus_infty, -1, plus_infty, minus_zero);
  1425. TEST_c_c (clog, plus_infty, nan_value, plus_infty, nan_value);
  1426. TEST_c_c (clog, minus_infty, nan_value, plus_infty, nan_value);
  1427. TEST_c_c (clog, nan_value, plus_infty, plus_infty, nan_value);
  1428. TEST_c_c (clog, nan_value, minus_infty, plus_infty, nan_value);
  1429. TEST_c_c (clog, 0, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1430. TEST_c_c (clog, 3, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1431. TEST_c_c (clog, minus_zero, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1432. TEST_c_c (clog, -3, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1433. TEST_c_c (clog, nan_value, 0, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1434. TEST_c_c (clog, nan_value, 5, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1435. TEST_c_c (clog, nan_value, minus_zero, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1436. TEST_c_c (clog, nan_value, -5, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1437. TEST_c_c (clog, nan_value, nan_value, nan_value, nan_value);
  1438. TEST_c_c (clog, 0.75L, 1.25L, 0.376885901188190075998919126749298416L, 1.03037682652431246378774332703115153L);
  1439. TEST_c_c (clog, -2, -3, 1.2824746787307683680267437207826593L, -2.1587989303424641704769327722648368L);
  1440. END (clog, complex);
  1441. }
  1442. static void
  1443. clog10_test (void)
  1444. {
  1445. errno = 0;
  1446. FUNC(clog10) (BUILD_COMPLEX (0.7L, 1.2L));
  1447. if (errno == ENOSYS)
  1448. /* Function not implemented. */
  1449. return;
  1450. START (clog10);
  1451. TEST_c_c (clog10, minus_zero, 0, minus_infty, M_PIl, DIVIDE_BY_ZERO_EXCEPTION);
  1452. TEST_c_c (clog10, minus_zero, minus_zero, minus_infty, -M_PIl, DIVIDE_BY_ZERO_EXCEPTION);
  1453. TEST_c_c (clog10, 0, 0, minus_infty, 0.0, DIVIDE_BY_ZERO_EXCEPTION);
  1454. TEST_c_c (clog10, 0, minus_zero, minus_infty, minus_zero, DIVIDE_BY_ZERO_EXCEPTION);
  1455. TEST_c_c (clog10, minus_infty, plus_infty, plus_infty, M_PI_34_LOG10El);
  1456. TEST_c_c (clog10, plus_infty, plus_infty, plus_infty, M_PI4_LOG10El);
  1457. TEST_c_c (clog10, plus_infty, minus_infty, plus_infty, -M_PI4_LOG10El);
  1458. TEST_c_c (clog10, 0, plus_infty, plus_infty, M_PI2_LOG10El);
  1459. TEST_c_c (clog10, 3, plus_infty, plus_infty, M_PI2_LOG10El);
  1460. TEST_c_c (clog10, minus_zero, plus_infty, plus_infty, M_PI2_LOG10El);
  1461. TEST_c_c (clog10, -3, plus_infty, plus_infty, M_PI2_LOG10El);
  1462. TEST_c_c (clog10, 0, minus_infty, plus_infty, -M_PI2_LOG10El);
  1463. TEST_c_c (clog10, 3, minus_infty, plus_infty, -M_PI2_LOG10El);
  1464. TEST_c_c (clog10, minus_zero, minus_infty, plus_infty, -M_PI2_LOG10El);
  1465. TEST_c_c (clog10, -3, minus_infty, plus_infty, -M_PI2_LOG10El);
  1466. TEST_c_c (clog10, minus_infty, 0, plus_infty, M_PI_LOG10El);
  1467. TEST_c_c (clog10, minus_infty, 1, plus_infty, M_PI_LOG10El);
  1468. TEST_c_c (clog10, minus_infty, minus_zero, plus_infty, -M_PI_LOG10El);
  1469. TEST_c_c (clog10, minus_infty, -1, plus_infty, -M_PI_LOG10El);
  1470. TEST_c_c (clog10, plus_infty, 0, plus_infty, 0.0);
  1471. TEST_c_c (clog10, plus_infty, 1, plus_infty, 0.0);
  1472. TEST_c_c (clog10, plus_infty, minus_zero, plus_infty, minus_zero);
  1473. TEST_c_c (clog10, plus_infty, -1, plus_infty, minus_zero);
  1474. TEST_c_c (clog10, plus_infty, nan_value, plus_infty, nan_value);
  1475. TEST_c_c (clog10, minus_infty, nan_value, plus_infty, nan_value);
  1476. TEST_c_c (clog10, nan_value, plus_infty, plus_infty, nan_value);
  1477. TEST_c_c (clog10, nan_value, minus_infty, plus_infty, nan_value);
  1478. TEST_c_c (clog10, 0, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1479. TEST_c_c (clog10, 3, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1480. TEST_c_c (clog10, minus_zero, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1481. TEST_c_c (clog10, -3, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1482. TEST_c_c (clog10, nan_value, 0, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1483. TEST_c_c (clog10, nan_value, 5, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1484. TEST_c_c (clog10, nan_value, minus_zero, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1485. TEST_c_c (clog10, nan_value, -5, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1486. TEST_c_c (clog10, nan_value, nan_value, nan_value, nan_value);
  1487. TEST_c_c (clog10, 0.75L, 1.25L, 0.163679467193165171449476605077428975L, 0.447486970040493067069984724340855636L);
  1488. TEST_c_c (clog10, -2, -3, 0.556971676153418384603252578971164214L, -0.937554462986374708541507952140189646L);
  1489. END (clog10, complex);
  1490. }
  1491. #endif
  1492. #if 0
  1493. static void
  1494. conj_test (void)
  1495. {
  1496. START (conj);
  1497. TEST_c_c (conj, 0.0, 0.0, 0.0, minus_zero);
  1498. TEST_c_c (conj, 0.0, minus_zero, 0.0, 0.0);
  1499. TEST_c_c (conj, nan_value, nan_value, nan_value, nan_value);
  1500. TEST_c_c (conj, plus_infty, minus_infty, plus_infty, plus_infty);
  1501. TEST_c_c (conj, plus_infty, plus_infty, plus_infty, minus_infty);
  1502. TEST_c_c (conj, 1.0, 2.0, 1.0, -2.0);
  1503. TEST_c_c (conj, 3.0, -4.0, 3.0, 4.0);
  1504. END (conj, complex);
  1505. }
  1506. #endif
  1507. static void
  1508. copysign_test (void)
  1509. {
  1510. START (copysign);
  1511. TEST_ff_f (copysign, 0, 4, 0);
  1512. TEST_ff_f (copysign, 0, -4, minus_zero);
  1513. TEST_ff_f (copysign, minus_zero, 4, 0);
  1514. TEST_ff_f (copysign, minus_zero, -4, minus_zero);
  1515. TEST_ff_f (copysign, plus_infty, 0, plus_infty);
  1516. TEST_ff_f (copysign, plus_infty, minus_zero, minus_infty);
  1517. TEST_ff_f (copysign, minus_infty, 0, plus_infty);
  1518. TEST_ff_f (copysign, minus_infty, minus_zero, minus_infty);
  1519. TEST_ff_f (copysign, 0, plus_infty, 0);
  1520. TEST_ff_f (copysign, 0, minus_zero, minus_zero);
  1521. TEST_ff_f (copysign, minus_zero, plus_infty, 0);
  1522. TEST_ff_f (copysign, minus_zero, minus_zero, minus_zero);
  1523. /* XXX More correctly we would have to check the sign of the NaN. */
  1524. TEST_ff_f (copysign, nan_value, 0, nan_value);
  1525. TEST_ff_f (copysign, nan_value, minus_zero, nan_value);
  1526. TEST_ff_f (copysign, -nan_value, 0, nan_value);
  1527. TEST_ff_f (copysign, -nan_value, minus_zero, nan_value);
  1528. END (copysign);
  1529. }
  1530. static void
  1531. cos_test (void)
  1532. {
  1533. errno = 0;
  1534. FUNC(cos) (0);
  1535. if (errno == ENOSYS)
  1536. /* Function not implemented. */
  1537. return;
  1538. START (cos);
  1539. TEST_f_f (cos, 0, 1);
  1540. TEST_f_f (cos, minus_zero, 1);
  1541. TEST_f_f (cos, plus_infty, nan_value, INVALID_EXCEPTION);
  1542. TEST_f_f (cos, minus_infty, nan_value, INVALID_EXCEPTION);
  1543. TEST_f_f (cos, nan_value, nan_value);
  1544. TEST_f_f (cos, M_PI_6l * 2.0, 0.5);
  1545. TEST_f_f (cos, M_PI_6l * 4.0, -0.5);
  1546. TEST_f_f (cos, M_PI_2l, 0);
  1547. TEST_f_f (cos, 0.75L, 0.731688868873820886311838753000084544L);
  1548. #ifdef TEST_DOUBLE
  1549. TEST_f_f (cos, 0.80190127184058835, 0.69534156199418473);
  1550. #endif
  1551. END (cos);
  1552. }
  1553. static void
  1554. cosh_test (void)
  1555. {
  1556. errno = 0;
  1557. FUNC(cosh) (0.7L);
  1558. if (errno == ENOSYS)
  1559. /* Function not implemented. */
  1560. return;
  1561. START (cosh);
  1562. TEST_f_f (cosh, 0, 1);
  1563. TEST_f_f (cosh, minus_zero, 1);
  1564. #ifndef TEST_INLINE
  1565. TEST_f_f (cosh, plus_infty, plus_infty);
  1566. TEST_f_f (cosh, minus_infty, plus_infty);
  1567. #endif
  1568. TEST_f_f (cosh, nan_value, nan_value);
  1569. TEST_f_f (cosh, 0.75L, 1.29468328467684468784170818539018176L);
  1570. END (cosh);
  1571. }
  1572. #if 0
  1573. static void
  1574. cpow_test (void)
  1575. {
  1576. errno = 0;
  1577. FUNC(cpow) (BUILD_COMPLEX (1, 0), BUILD_COMPLEX (0, 0));
  1578. if (errno == ENOSYS)
  1579. /* Function not implemented. */
  1580. return;
  1581. START (cpow);
  1582. TEST_cc_c (cpow, 1, 0, 0, 0, 1.0, 0.0);
  1583. TEST_cc_c (cpow, 2, 0, 10, 0, 1024.0, 0.0);
  1584. TEST_cc_c (cpow, M_El, 0, 0, 2 * M_PIl, 1.0, 0.0);
  1585. TEST_cc_c (cpow, 2, 3, 4, 0, -119.0, -120.0);
  1586. TEST_cc_c (cpow, nan_value, nan_value, nan_value, nan_value, nan_value, nan_value);
  1587. TEST_cc_c (cpow, 0.75L, 1.25L, 0.75L, 1.25L, 0.117506293914473555420279832210420483L, 0.346552747708338676483025352060418001L);
  1588. TEST_cc_c (cpow, 0.75L, 1.25L, 1.0L, 1.0L, 0.0846958290317209430433805274189191353L, 0.513285749182902449043287190519090481L);
  1589. TEST_cc_c (cpow, 0.75L, 1.25L, 1.0L, 0.0L, 0.75L, 1.25L);
  1590. TEST_cc_c (cpow, 0.75L, 1.25L, 0.0L, 1.0L, 0.331825439177608832276067945276730566L, 0.131338600281188544930936345230903032L);
  1591. END (cpow, complex);
  1592. }
  1593. static void
  1594. cproj_test (void)
  1595. {
  1596. START (cproj);
  1597. TEST_c_c (cproj, 0.0, 0.0, 0.0, 0.0);
  1598. TEST_c_c (cproj, minus_zero, minus_zero, minus_zero, minus_zero);
  1599. TEST_c_c (cproj, 0.0, minus_zero, 0.0, minus_zero);
  1600. TEST_c_c (cproj, minus_zero, 0.0, minus_zero, 0.0);
  1601. TEST_c_c (cproj, nan_value, nan_value, nan_value, nan_value);
  1602. TEST_c_c (cproj, plus_infty, plus_infty, plus_infty, 0.0);
  1603. TEST_c_c (cproj, plus_infty, minus_infty, plus_infty, minus_zero);
  1604. TEST_c_c (cproj, minus_infty, plus_infty, plus_infty, 0.0);
  1605. TEST_c_c (cproj, minus_infty, minus_infty, plus_infty, minus_zero);
  1606. TEST_c_c (cproj, 1.0, 0.0, 1.0, 0.0);
  1607. TEST_c_c (cproj, 2.0, 3.0, 0.2857142857142857142857142857142857L, 0.42857142857142857142857142857142855L);
  1608. END (cproj, complex);
  1609. }
  1610. static void
  1611. creal_test (void)
  1612. {
  1613. START (creal);
  1614. TEST_c_f (creal, 0.0, 1.0, 0.0);
  1615. TEST_c_f (creal, minus_zero, 1.0, minus_zero);
  1616. TEST_c_f (creal, nan_value, 1.0, nan_value);
  1617. TEST_c_f (creal, nan_value, nan_value, nan_value);
  1618. TEST_c_f (creal, plus_infty, 1.0, plus_infty);
  1619. TEST_c_f (creal, minus_infty, 1.0, minus_infty);
  1620. TEST_c_f (creal, 2.0, 3.0, 2.0);
  1621. END (creal);
  1622. }
  1623. static void
  1624. csin_test (void)
  1625. {
  1626. errno = 0;
  1627. FUNC(csin) (BUILD_COMPLEX (0.7L, 1.2L));
  1628. if (errno == ENOSYS)
  1629. /* Function not implemented. */
  1630. return;
  1631. START (csin);
  1632. TEST_c_c (csin, 0.0, 0.0, 0.0, 0.0);
  1633. TEST_c_c (csin, minus_zero, 0.0, minus_zero, 0.0);
  1634. TEST_c_c (csin, 0.0, minus_zero, 0, minus_zero);
  1635. TEST_c_c (csin, minus_zero, minus_zero, minus_zero, minus_zero);
  1636. TEST_c_c (csin, 0.0, plus_infty, 0.0, plus_infty);
  1637. TEST_c_c (csin, minus_zero, plus_infty, minus_zero, plus_infty);
  1638. TEST_c_c (csin, 0.0, minus_infty, 0.0, minus_infty);
  1639. TEST_c_c (csin, minus_zero, minus_infty, minus_zero, minus_infty);
  1640. TEST_c_c (csin, plus_infty, 0.0, nan_value, 0.0, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
  1641. TEST_c_c (csin, minus_infty, 0.0, nan_value, 0.0, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
  1642. TEST_c_c (csin, plus_infty, minus_zero, nan_value, 0.0, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
  1643. TEST_c_c (csin, minus_infty, minus_zero, nan_value, 0.0, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
  1644. TEST_c_c (csin, plus_infty, plus_infty, nan_value, plus_infty, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
  1645. TEST_c_c (csin, minus_infty, plus_infty, nan_value, plus_infty, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
  1646. TEST_c_c (csin, plus_infty, minus_infty, nan_value, plus_infty, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
  1647. TEST_c_c (csin, minus_infty, minus_infty, nan_value, plus_infty, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
  1648. TEST_c_c (csin, plus_infty, 6.75, nan_value, nan_value, INVALID_EXCEPTION);
  1649. TEST_c_c (csin, plus_infty, -6.75, nan_value, nan_value, INVALID_EXCEPTION);
  1650. TEST_c_c (csin, minus_infty, 6.75, nan_value, nan_value, INVALID_EXCEPTION);
  1651. TEST_c_c (csin, minus_infty, -6.75, nan_value, nan_value, INVALID_EXCEPTION);
  1652. TEST_c_c (csin, 4.625, plus_infty, minus_infty, minus_infty);
  1653. TEST_c_c (csin, 4.625, minus_infty, minus_infty, plus_infty);
  1654. TEST_c_c (csin, -4.625, plus_infty, plus_infty, minus_infty);
  1655. TEST_c_c (csin, -4.625, minus_infty, plus_infty, plus_infty);
  1656. TEST_c_c (csin, nan_value, 0.0, nan_value, 0.0, IGNORE_ZERO_INF_SIGN);
  1657. TEST_c_c (csin, nan_value, minus_zero, nan_value, 0.0, IGNORE_ZERO_INF_SIGN);
  1658. TEST_c_c (csin, nan_value, plus_infty, nan_value, plus_infty, IGNORE_ZERO_INF_SIGN);
  1659. TEST_c_c (csin, nan_value, minus_infty, nan_value, plus_infty, IGNORE_ZERO_INF_SIGN);
  1660. TEST_c_c (csin, nan_value, 9.0, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1661. TEST_c_c (csin, nan_value, -9.0, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1662. TEST_c_c (csin, 0.0, nan_value, 0.0, nan_value);
  1663. TEST_c_c (csin, minus_zero, nan_value, minus_zero, nan_value);
  1664. TEST_c_c (csin, 10.0, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1665. TEST_c_c (csin, nan_value, -10.0, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1666. TEST_c_c (csin, plus_infty, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1667. TEST_c_c (csin, minus_infty, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1668. TEST_c_c (csin, nan_value, nan_value, nan_value, nan_value);
  1669. TEST_c_c (csin, 0.75L, 1.25L, 1.28722291002649188575873510790565441L, 1.17210635989270256101081285116138863L);
  1670. TEST_c_c (csin, -2, -3, -9.15449914691142957346729954460983256L, 4.16890695996656435075481305885375484L);
  1671. END (csin, complex);
  1672. }
  1673. static void
  1674. csinh_test (void)
  1675. {
  1676. errno = 0;
  1677. FUNC(csinh) (BUILD_COMPLEX (0.7L, 1.2L));
  1678. if (errno == ENOSYS)
  1679. /* Function not implemented. */
  1680. return;
  1681. START (csinh);
  1682. TEST_c_c (csinh, 0.0, 0.0, 0.0, 0.0);
  1683. TEST_c_c (csinh, minus_zero, 0.0, minus_zero, 0.0);
  1684. TEST_c_c (csinh, 0.0, minus_zero, 0.0, minus_zero);
  1685. TEST_c_c (csinh, minus_zero, minus_zero, minus_zero, minus_zero);
  1686. TEST_c_c (csinh, 0.0, plus_infty, 0.0, nan_value, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
  1687. TEST_c_c (csinh, minus_zero, plus_infty, 0.0, nan_value, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
  1688. TEST_c_c (csinh, 0.0, minus_infty, 0.0, nan_value, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
  1689. TEST_c_c (csinh, minus_zero, minus_infty, 0.0, nan_value, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
  1690. TEST_c_c (csinh, plus_infty, 0.0, plus_infty, 0.0);
  1691. TEST_c_c (csinh, minus_infty, 0.0, minus_infty, 0.0);
  1692. TEST_c_c (csinh, plus_infty, minus_zero, plus_infty, minus_zero);
  1693. TEST_c_c (csinh, minus_infty, minus_zero, minus_infty, minus_zero);
  1694. TEST_c_c (csinh, plus_infty, plus_infty, plus_infty, nan_value, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
  1695. TEST_c_c (csinh, minus_infty, plus_infty, plus_infty, nan_value, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
  1696. TEST_c_c (csinh, plus_infty, minus_infty, plus_infty, nan_value, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
  1697. TEST_c_c (csinh, minus_infty, minus_infty, plus_infty, nan_value, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
  1698. TEST_c_c (csinh, plus_infty, 4.625, minus_infty, minus_infty);
  1699. TEST_c_c (csinh, minus_infty, 4.625, plus_infty, minus_infty);
  1700. TEST_c_c (csinh, plus_infty, -4.625, minus_infty, plus_infty);
  1701. TEST_c_c (csinh, minus_infty, -4.625, plus_infty, plus_infty);
  1702. TEST_c_c (csinh, 6.75, plus_infty, nan_value, nan_value, INVALID_EXCEPTION);
  1703. TEST_c_c (csinh, -6.75, plus_infty, nan_value, nan_value, INVALID_EXCEPTION);
  1704. TEST_c_c (csinh, 6.75, minus_infty, nan_value, nan_value, INVALID_EXCEPTION);
  1705. TEST_c_c (csinh, -6.75, minus_infty, nan_value, nan_value, INVALID_EXCEPTION);
  1706. TEST_c_c (csinh, 0.0, nan_value, 0.0, nan_value, IGNORE_ZERO_INF_SIGN);
  1707. TEST_c_c (csinh, minus_zero, nan_value, 0.0, nan_value, IGNORE_ZERO_INF_SIGN);
  1708. TEST_c_c (csinh, plus_infty, nan_value, plus_infty, nan_value, IGNORE_ZERO_INF_SIGN);
  1709. TEST_c_c (csinh, minus_infty, nan_value, plus_infty, nan_value, IGNORE_ZERO_INF_SIGN);
  1710. TEST_c_c (csinh, 9.0, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1711. TEST_c_c (csinh, -9.0, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1712. TEST_c_c (csinh, nan_value, 0.0, nan_value, 0.0);
  1713. TEST_c_c (csinh, nan_value, minus_zero, nan_value, minus_zero);
  1714. TEST_c_c (csinh, nan_value, 10.0, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1715. TEST_c_c (csinh, nan_value, -10.0, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1716. TEST_c_c (csinh, nan_value, plus_infty, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1717. TEST_c_c (csinh, nan_value, minus_infty, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1718. TEST_c_c (csinh, nan_value, nan_value, nan_value, nan_value);
  1719. TEST_c_c (csinh, 0.75L, 1.25L, 0.259294854551162779153349830618433028L, 1.22863452409509552219214606515777594L);
  1720. TEST_c_c (csinh, -2, -3, 3.59056458998577995201256544779481679L, -0.530921086248519805267040090660676560L);
  1721. END (csinh, complex);
  1722. }
  1723. static void
  1724. csqrt_test (void)
  1725. {
  1726. errno = 0;
  1727. FUNC(csqrt) (BUILD_COMPLEX (-1, 0));
  1728. if (errno == ENOSYS)
  1729. /* Function not implemented. */
  1730. return;
  1731. START (csqrt);
  1732. TEST_c_c (csqrt, 0, 0, 0.0, 0.0);
  1733. TEST_c_c (csqrt, 0, minus_zero, 0, minus_zero);
  1734. TEST_c_c (csqrt, minus_zero, 0, 0.0, 0.0);
  1735. TEST_c_c (csqrt, minus_zero, minus_zero, 0.0, minus_zero);
  1736. TEST_c_c (csqrt, minus_infty, 0, 0.0, plus_infty);
  1737. TEST_c_c (csqrt, minus_infty, 6, 0.0, plus_infty);
  1738. TEST_c_c (csqrt, minus_infty, minus_zero, 0.0, minus_infty);
  1739. TEST_c_c (csqrt, minus_infty, -6, 0.0, minus_infty);
  1740. TEST_c_c (csqrt, plus_infty, 0, plus_infty, 0.0);
  1741. TEST_c_c (csqrt, plus_infty, 6, plus_infty, 0.0);
  1742. TEST_c_c (csqrt, plus_infty, minus_zero, plus_infty, minus_zero);
  1743. TEST_c_c (csqrt, plus_infty, -6, plus_infty, minus_zero);
  1744. TEST_c_c (csqrt, 0, plus_infty, plus_infty, plus_infty);
  1745. TEST_c_c (csqrt, 4, plus_infty, plus_infty, plus_infty);
  1746. TEST_c_c (csqrt, plus_infty, plus_infty, plus_infty, plus_infty);
  1747. TEST_c_c (csqrt, minus_zero, plus_infty, plus_infty, plus_infty);
  1748. TEST_c_c (csqrt, -4, plus_infty, plus_infty, plus_infty);
  1749. TEST_c_c (csqrt, minus_infty, plus_infty, plus_infty, plus_infty);
  1750. TEST_c_c (csqrt, 0, minus_infty, plus_infty, minus_infty);
  1751. TEST_c_c (csqrt, 4, minus_infty, plus_infty, minus_infty);
  1752. TEST_c_c (csqrt, plus_infty, minus_infty, plus_infty, minus_infty);
  1753. TEST_c_c (csqrt, minus_zero, minus_infty, plus_infty, minus_infty);
  1754. TEST_c_c (csqrt, -4, minus_infty, plus_infty, minus_infty);
  1755. TEST_c_c (csqrt, minus_infty, minus_infty, plus_infty, minus_infty);
  1756. TEST_c_c (csqrt, minus_infty, nan_value, nan_value, plus_infty, IGNORE_ZERO_INF_SIGN);
  1757. TEST_c_c (csqrt, plus_infty, nan_value, plus_infty, nan_value);
  1758. TEST_c_c (csqrt, 0, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1759. TEST_c_c (csqrt, 1, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1760. TEST_c_c (csqrt, minus_zero, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1761. TEST_c_c (csqrt, -1, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1762. TEST_c_c (csqrt, nan_value, 0, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1763. TEST_c_c (csqrt, nan_value, 8, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1764. TEST_c_c (csqrt, nan_value, minus_zero, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1765. TEST_c_c (csqrt, nan_value, -8, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1766. TEST_c_c (csqrt, nan_value, nan_value, nan_value, nan_value);
  1767. TEST_c_c (csqrt, 16.0, -30.0, 5.0, -3.0);
  1768. TEST_c_c (csqrt, -1, 0, 0.0, 1.0);
  1769. TEST_c_c (csqrt, 0, 2, 1.0, 1.0);
  1770. TEST_c_c (csqrt, 119, 120, 12.0, 5.0);
  1771. TEST_c_c (csqrt, 0.75L, 1.25L, 1.05065169626078392338656675760808326L, 0.594868882070379067881984030639932657L);
  1772. TEST_c_c (csqrt, -2, -3, 0.89597747612983812471573375529004348L, -1.6741492280355400404480393008490519L);
  1773. TEST_c_c (csqrt, -2, 3, 0.89597747612983812471573375529004348L, 1.6741492280355400404480393008490519L);
  1774. /* Principal square root should be returned (i.e., non-negative real
  1775. part). */
  1776. TEST_c_c (csqrt, 0, -1, M_SQRT_2_2, -M_SQRT_2_2);
  1777. END (csqrt, complex);
  1778. }
  1779. static void
  1780. ctan_test (void)
  1781. {
  1782. errno = 0;
  1783. FUNC(ctan) (BUILD_COMPLEX (0.7L, 1.2L));
  1784. if (errno == ENOSYS)
  1785. /* Function not implemented. */
  1786. return;
  1787. START (ctan);
  1788. TEST_c_c (ctan, 0, 0, 0.0, 0.0);
  1789. TEST_c_c (ctan, 0, minus_zero, 0.0, minus_zero);
  1790. TEST_c_c (ctan, minus_zero, 0, minus_zero, 0.0);
  1791. TEST_c_c (ctan, minus_zero, minus_zero, minus_zero, minus_zero);
  1792. TEST_c_c (ctan, 0, plus_infty, 0.0, 1.0);
  1793. TEST_c_c (ctan, 1, plus_infty, 0.0, 1.0);
  1794. TEST_c_c (ctan, minus_zero, plus_infty, minus_zero, 1.0);
  1795. TEST_c_c (ctan, -1, plus_infty, minus_zero, 1.0);
  1796. TEST_c_c (ctan, 0, minus_infty, 0.0, -1.0);
  1797. TEST_c_c (ctan, 1, minus_infty, 0.0, -1.0);
  1798. TEST_c_c (ctan, minus_zero, minus_infty, minus_zero, -1.0);
  1799. TEST_c_c (ctan, -1, minus_infty, minus_zero, -1.0);
  1800. TEST_c_c (ctan, plus_infty, 0, nan_value, nan_value, INVALID_EXCEPTION);
  1801. TEST_c_c (ctan, plus_infty, 2, nan_value, nan_value, INVALID_EXCEPTION);
  1802. TEST_c_c (ctan, minus_infty, 0, nan_value, nan_value, INVALID_EXCEPTION);
  1803. TEST_c_c (ctan, minus_infty, 2, nan_value, nan_value, INVALID_EXCEPTION);
  1804. TEST_c_c (ctan, plus_infty, minus_zero, nan_value, nan_value, INVALID_EXCEPTION);
  1805. TEST_c_c (ctan, plus_infty, -2, nan_value, nan_value, INVALID_EXCEPTION);
  1806. TEST_c_c (ctan, minus_infty, minus_zero, nan_value, nan_value, INVALID_EXCEPTION);
  1807. TEST_c_c (ctan, minus_infty, -2, nan_value, nan_value, INVALID_EXCEPTION);
  1808. TEST_c_c (ctan, nan_value, plus_infty, 0.0, 1.0, IGNORE_ZERO_INF_SIGN);
  1809. TEST_c_c (ctan, nan_value, minus_infty, 0.0, -1.0, IGNORE_ZERO_INF_SIGN);
  1810. TEST_c_c (ctan, 0, nan_value, 0.0, nan_value);
  1811. TEST_c_c (ctan, minus_zero, nan_value, minus_zero, nan_value);
  1812. TEST_c_c (ctan, 0.5, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1813. TEST_c_c (ctan, -4.5, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1814. TEST_c_c (ctan, nan_value, 0, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1815. TEST_c_c (ctan, nan_value, 5, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1816. TEST_c_c (ctan, nan_value, minus_zero, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1817. TEST_c_c (ctan, nan_value, -0.25, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1818. TEST_c_c (ctan, nan_value, nan_value, nan_value, nan_value);
  1819. TEST_c_c (ctan, 0.75L, 1.25L, 0.160807785916206426725166058173438663L, 0.975363285031235646193581759755216379L);
  1820. TEST_c_c (ctan, -2, -3, 0.376402564150424829275122113032269084e-2L, -1.00323862735360980144635859782192726L);
  1821. END (ctan, complex);
  1822. }
  1823. static void
  1824. ctanh_test (void)
  1825. {
  1826. errno = 0;
  1827. FUNC(ctanh) (BUILD_COMPLEX (0, 0));
  1828. if (errno == ENOSYS)
  1829. /* Function not implemented. */
  1830. return;
  1831. START (ctanh);
  1832. TEST_c_c (ctanh, 0, 0, 0.0, 0.0);
  1833. TEST_c_c (ctanh, 0, minus_zero, 0.0, minus_zero);
  1834. TEST_c_c (ctanh, minus_zero, 0, minus_zero, 0.0);
  1835. TEST_c_c (ctanh, minus_zero, minus_zero, minus_zero, minus_zero);
  1836. TEST_c_c (ctanh, plus_infty, 0, 1.0, 0.0);
  1837. TEST_c_c (ctanh, plus_infty, 1, 1.0, 0.0);
  1838. TEST_c_c (ctanh, plus_infty, minus_zero, 1.0, minus_zero);
  1839. TEST_c_c (ctanh, plus_infty, -1, 1.0, minus_zero);
  1840. TEST_c_c (ctanh, minus_infty, 0, -1.0, 0.0);
  1841. TEST_c_c (ctanh, minus_infty, 1, -1.0, 0.0);
  1842. TEST_c_c (ctanh, minus_infty, minus_zero, -1.0, minus_zero);
  1843. TEST_c_c (ctanh, minus_infty, -1, -1.0, minus_zero);
  1844. TEST_c_c (ctanh, 0, plus_infty, nan_value, nan_value, INVALID_EXCEPTION);
  1845. TEST_c_c (ctanh, 2, plus_infty, nan_value, nan_value, INVALID_EXCEPTION);
  1846. TEST_c_c (ctanh, 0, minus_infty, nan_value, nan_value, INVALID_EXCEPTION);
  1847. TEST_c_c (ctanh, 2, minus_infty, nan_value, nan_value, INVALID_EXCEPTION);
  1848. TEST_c_c (ctanh, minus_zero, plus_infty, nan_value, nan_value, INVALID_EXCEPTION);
  1849. TEST_c_c (ctanh, -2, plus_infty, nan_value, nan_value, INVALID_EXCEPTION);
  1850. TEST_c_c (ctanh, minus_zero, minus_infty, nan_value, nan_value, INVALID_EXCEPTION);
  1851. TEST_c_c (ctanh, -2, minus_infty, nan_value, nan_value, INVALID_EXCEPTION);
  1852. TEST_c_c (ctanh, plus_infty, nan_value, 1.0, 0.0, IGNORE_ZERO_INF_SIGN);
  1853. TEST_c_c (ctanh, minus_infty, nan_value, -1.0, 0.0, IGNORE_ZERO_INF_SIGN);
  1854. TEST_c_c (ctanh, nan_value, 0, nan_value, 0.0);
  1855. TEST_c_c (ctanh, nan_value, minus_zero, nan_value, minus_zero);
  1856. TEST_c_c (ctanh, nan_value, 0.5, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1857. TEST_c_c (ctanh, nan_value, -4.5, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1858. TEST_c_c (ctanh, 0, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1859. TEST_c_c (ctanh, 5, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1860. TEST_c_c (ctanh, minus_zero, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1861. TEST_c_c (ctanh, -0.25, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
  1862. TEST_c_c (ctanh, nan_value, nan_value, nan_value, nan_value);
  1863. TEST_c_c (ctanh, 0, M_PI_4l, 0.0, 1.0);
  1864. TEST_c_c (ctanh, 0.75L, 1.25L, 1.37260757053378320258048606571226857L, 0.385795952609750664177596760720790220L);
  1865. TEST_c_c (ctanh, -2, -3, -0.965385879022133124278480269394560686L, 0.988437503832249372031403430350121098e-2L);
  1866. END (ctanh, complex);
  1867. }
  1868. #endif
  1869. static void
  1870. erf_test (void)
  1871. {
  1872. errno = 0;
  1873. FUNC(erf) (0);
  1874. if (errno == ENOSYS)
  1875. /* Function not implemented. */
  1876. return;
  1877. START (erf);
  1878. TEST_f_f (erf, 0, 0);
  1879. TEST_f_f (erf, minus_zero, minus_zero);
  1880. TEST_f_f (erf, plus_infty, 1);
  1881. TEST_f_f (erf, minus_infty, -1);
  1882. TEST_f_f (erf, nan_value, nan_value);
  1883. TEST_f_f (erf, 0.125L, 0.140316204801333817393029446521623398L);
  1884. TEST_f_f (erf, 0.75L, 0.711155633653515131598937834591410777L);
  1885. TEST_f_f (erf, 1.25L, 0.922900128256458230136523481197281140L);
  1886. TEST_f_f (erf, 2.0L, 0.995322265018952734162069256367252929L);
  1887. TEST_f_f (erf, 4.125L, 0.999999994576599200434933994687765914L);
  1888. TEST_f_f (erf, 27.0L, 1.0L);
  1889. END (erf);
  1890. }
  1891. static void
  1892. erfc_test (void)
  1893. {
  1894. errno = 0;
  1895. FUNC(erfc) (0);
  1896. if (errno == ENOSYS)
  1897. /* Function not implemented. */
  1898. return;
  1899. START (erfc);
  1900. TEST_f_f (erfc, plus_infty, 0.0);
  1901. TEST_f_f (erfc, minus_infty, 2.0);
  1902. TEST_f_f (erfc, 0.0, 1.0);
  1903. TEST_f_f (erfc, minus_zero, 1.0);
  1904. TEST_f_f (erfc, nan_value, nan_value);
  1905. TEST_f_f (erfc, 0.125L, 0.859683795198666182606970553478376602L);
  1906. TEST_f_f (erfc, 0.75L, 0.288844366346484868401062165408589223L);
  1907. TEST_f_f (erfc, 1.25L, 0.0770998717435417698634765188027188596L);
  1908. TEST_f_f (erfc, 2.0L, 0.00467773498104726583793074363274707139L);
  1909. TEST_f_f (erfc, 4.125L, 0.542340079956506600531223408575531062e-8L);
  1910. #ifdef TEST_LDOUBLE
  1911. /* The result can only be represented in long double. */
  1912. # if LDBL_MIN_10_EXP < -319
  1913. TEST_f_f (erfc, 27.0L, 0.523704892378925568501606768284954709e-318L);
  1914. # endif
  1915. #endif
  1916. END (erfc);
  1917. }
  1918. static void
  1919. exp_test (void)
  1920. {
  1921. errno = 0;
  1922. FUNC(exp) (0);
  1923. if (errno == ENOSYS)
  1924. /* Function not implemented. */
  1925. return;
  1926. START (exp);
  1927. TEST_f_f (exp, 0, 1);
  1928. TEST_f_f (exp, minus_zero, 1);
  1929. #ifndef TEST_INLINE
  1930. TEST_f_f (exp, plus_infty, plus_infty);
  1931. TEST_f_f (exp, minus_infty, 0);
  1932. #endif
  1933. TEST_f_f (exp, nan_value, nan_value);
  1934. TEST_f_f (exp, 1, M_El);
  1935. TEST_f_f (exp, 2, M_E2l);
  1936. TEST_f_f (exp, 3, M_E3l);
  1937. TEST_f_f (exp, 0.75L, 2.11700001661267466854536981983709561L);
  1938. TEST_f_f (exp, 50.0L, 5184705528587072464087.45332293348538L);
  1939. #ifdef TEST_LDOUBLE
  1940. /* The result can only be represented in long double. */
  1941. TEST_f_f (exp, 1000.0L, 0.197007111401704699388887935224332313e435L);
  1942. #endif
  1943. END (exp);
  1944. }
  1945. #if 0
  1946. static void
  1947. exp10_test (void)
  1948. {
  1949. errno = 0;
  1950. FUNC(exp10) (0);
  1951. if (errno == ENOSYS)
  1952. /* Function not implemented. */
  1953. return;
  1954. START (exp10);
  1955. TEST_f_f (exp10, 0, 1);
  1956. TEST_f_f (exp10, minus_zero, 1);
  1957. TEST_f_f (exp10, plus_infty, plus_infty);
  1958. TEST_f_f (exp10, minus_infty, 0);
  1959. TEST_f_f (exp10, nan_value, nan_value);
  1960. TEST_f_f (exp10, 3, 1000);
  1961. TEST_f_f (exp10, -1, 0.1L);
  1962. TEST_f_f (exp10, 1e6, plus_infty);
  1963. TEST_f_f (exp10, -1e6, 0);
  1964. TEST_f_f (exp10, 0.75L, 5.62341325190349080394951039776481231L);
  1965. END (exp10);
  1966. }
  1967. static void
  1968. exp2_test (void)
  1969. {
  1970. errno = 0;
  1971. FUNC(exp2) (0);
  1972. if (errno == ENOSYS)
  1973. /* Function not implemented. */
  1974. return;
  1975. START (exp2);
  1976. TEST_f_f (exp2, 0, 1);
  1977. TEST_f_f (exp2, minus_zero, 1);
  1978. TEST_f_f (exp2, plus_infty, plus_infty);
  1979. TEST_f_f (exp2, minus_infty, 0);
  1980. TEST_f_f (exp2, nan_value, nan_value);
  1981. TEST_f_f (exp2, 10, 1024);
  1982. TEST_f_f (exp2, -1, 0.5);
  1983. TEST_f_f (exp2, 1e6, plus_infty);
  1984. TEST_f_f (exp2, -1e6, 0);
  1985. TEST_f_f (exp2, 0.75L, 1.68179283050742908606225095246642979L);
  1986. END (exp2);
  1987. }
  1988. #endif
  1989. static void
  1990. expm1_test (void)
  1991. {
  1992. errno = 0;
  1993. FUNC(expm1) (0);
  1994. if (errno == ENOSYS)
  1995. /* Function not implemented. */
  1996. return;
  1997. START (expm1);
  1998. TEST_f_f (expm1, 0, 0);
  1999. TEST_f_f (expm1, minus_zero, minus_zero);
  2000. #ifndef TEST_INLINE
  2001. TEST_f_f (expm1, plus_infty, plus_infty);
  2002. TEST_f_f (expm1, minus_infty, -1);
  2003. #endif
  2004. TEST_f_f (expm1, nan_value, nan_value);
  2005. TEST_f_f (expm1, 1, M_El - 1.0);
  2006. TEST_f_f (expm1, 0.75L, 1.11700001661267466854536981983709561L);
  2007. END (expm1);
  2008. }
  2009. static void
  2010. fabs_test (void)
  2011. {
  2012. START (fabs);
  2013. TEST_f_f (fabs, 0, 0);
  2014. TEST_f_f (fabs, minus_zero, 0);
  2015. TEST_f_f (fabs, plus_infty, plus_infty);
  2016. TEST_f_f (fabs, minus_infty, plus_infty);
  2017. TEST_f_f (fabs, nan_value, nan_value);
  2018. TEST_f_f (fabs, 38.0, 38.0);
  2019. TEST_f_f (fabs, -M_El, M_El);
  2020. END (fabs);
  2021. }
  2022. static void
  2023. fdim_test (void)
  2024. {
  2025. START (fdim);
  2026. TEST_ff_f (fdim, 0, 0, 0);
  2027. TEST_ff_f (fdim, 9, 0, 9);
  2028. TEST_ff_f (fdim, 0, 9, 0);
  2029. TEST_ff_f (fdim, -9, 0, 0);
  2030. TEST_ff_f (fdim, 0, -9, 9);
  2031. TEST_ff_f (fdim, plus_infty, 9, plus_infty);
  2032. TEST_ff_f (fdim, plus_infty, -9, plus_infty);
  2033. TEST_ff_f (fdim, minus_infty, 9, 0);
  2034. TEST_ff_f (fdim, minus_infty, -9, 0);
  2035. TEST_ff_f (fdim, 9, minus_infty, plus_infty);
  2036. TEST_ff_f (fdim, -9, minus_infty, plus_infty);
  2037. TEST_ff_f (fdim, 9, plus_infty, 0);
  2038. TEST_ff_f (fdim, -9, plus_infty, 0);
  2039. TEST_ff_f (fdim, 0, nan_value, nan_value);
  2040. TEST_ff_f (fdim, 9, nan_value, nan_value);
  2041. TEST_ff_f (fdim, -9, nan_value, nan_value);
  2042. TEST_ff_f (fdim, nan_value, 9, nan_value);
  2043. TEST_ff_f (fdim, nan_value, -9, nan_value);
  2044. TEST_ff_f (fdim, plus_infty, nan_value, nan_value);
  2045. TEST_ff_f (fdim, minus_infty, nan_value, nan_value);
  2046. TEST_ff_f (fdim, nan_value, plus_infty, nan_value);
  2047. TEST_ff_f (fdim, nan_value, minus_infty, nan_value);
  2048. TEST_ff_f (fdim, nan_value, nan_value, nan_value);
  2049. TEST_ff_f (fdim, plus_infty, plus_infty, 0);
  2050. END (fdim);
  2051. }
  2052. static void
  2053. floor_test (void)
  2054. {
  2055. START (floor);
  2056. TEST_f_f (floor, 0.0, 0.0);
  2057. TEST_f_f (floor, minus_zero, minus_zero);
  2058. TEST_f_f (floor, plus_infty, plus_infty);
  2059. TEST_f_f (floor, minus_infty, minus_infty);
  2060. TEST_f_f (floor, nan_value, nan_value);
  2061. TEST_f_f (floor, M_PIl, 3.0);
  2062. TEST_f_f (floor, -M_PIl, -4.0);
  2063. TEST_f_f (floor, 0.25, 0.0);
  2064. TEST_f_f (floor, -0.25, -1.0);
  2065. #ifdef TEST_LDOUBLE
  2066. /* The result can only be represented in long double. */
  2067. TEST_f_f (floor, 4503599627370495.5L, 4503599627370495.0L);
  2068. TEST_f_f (floor, 4503599627370496.25L, 4503599627370496.0L);
  2069. TEST_f_f (floor, 4503599627370496.5L, 4503599627370496.0L);
  2070. TEST_f_f (floor, 4503599627370496.75L, 4503599627370496.0L);
  2071. TEST_f_f (floor, 4503599627370497.5L, 4503599627370497.0L);
  2072. TEST_f_f (floor, -4503599627370495.5L, -4503599627370496.0L);
  2073. TEST_f_f (floor, -4503599627370496.25L, -4503599627370497.0L);
  2074. TEST_f_f (floor, -4503599627370496.5L, -4503599627370497.0L);
  2075. TEST_f_f (floor, -4503599627370496.75L, -4503599627370497.0L);
  2076. TEST_f_f (floor, -4503599627370497.5L, -4503599627370498.0L);
  2077. TEST_f_f (floor, 9007199254740991.5L, 9007199254740991.0L);
  2078. TEST_f_f (floor, 9007199254740992.25L, 9007199254740992.0L);
  2079. TEST_f_f (floor, 9007199254740992.5L, 9007199254740992.0L);
  2080. TEST_f_f (floor, 9007199254740992.75L, 9007199254740992.0L);
  2081. TEST_f_f (floor, 9007199254740993.5L, 9007199254740993.0L);
  2082. TEST_f_f (floor, -9007199254740991.5L, -9007199254740992.0L);
  2083. TEST_f_f (floor, -9007199254740992.25L, -9007199254740993.0L);
  2084. TEST_f_f (floor, -9007199254740992.5L, -9007199254740993.0L);
  2085. TEST_f_f (floor, -9007199254740992.75L, -9007199254740993.0L);
  2086. TEST_f_f (floor, -9007199254740993.5L, -9007199254740994.0L);
  2087. TEST_f_f (floor, 72057594037927935.5L, 72057594037927935.0L);
  2088. TEST_f_f (floor, 72057594037927936.25L, 72057594037927936.0L);
  2089. TEST_f_f (floor, 72057594037927936.5L, 72057594037927936.0L);
  2090. TEST_f_f (floor, 72057594037927936.75L, 72057594037927936.0L);
  2091. TEST_f_f (floor, 72057594037927937.5L, 72057594037927937.0L);
  2092. TEST_f_f (floor, -72057594037927935.5L, -72057594037927936.0L);
  2093. TEST_f_f (floor, -72057594037927936.25L, -72057594037927937.0L);
  2094. TEST_f_f (floor, -72057594037927936.5L, -72057594037927937.0L);
  2095. TEST_f_f (floor, -72057594037927936.75L, -72057594037927937.0L);
  2096. TEST_f_f (floor, -72057594037927937.5L, -72057594037927938.0L);
  2097. TEST_f_f (floor, 10141204801825835211973625643007.5L, 10141204801825835211973625643007.0L);
  2098. TEST_f_f (floor, 10141204801825835211973625643008.25L, 10141204801825835211973625643008.0L);
  2099. TEST_f_f (floor, 10141204801825835211973625643008.5L, 10141204801825835211973625643008.0L);
  2100. TEST_f_f (floor, 10141204801825835211973625643008.75L, 10141204801825835211973625643008.0L);
  2101. TEST_f_f (floor, 10141204801825835211973625643009.5L, 10141204801825835211973625643009.0L);
  2102. #endif
  2103. END (floor);
  2104. }
  2105. static void
  2106. fma_test (void)
  2107. {
  2108. START (fma);
  2109. TEST_fff_f (fma, 1.0, 2.0, 3.0, 5.0);
  2110. TEST_fff_f (fma, nan_value, 2.0, 3.0, nan_value);
  2111. TEST_fff_f (fma, 1.0, nan_value, 3.0, nan_value);
  2112. TEST_fff_f (fma, 1.0, 2.0, nan_value, nan_value, INVALID_EXCEPTION_OK);
  2113. TEST_fff_f (fma, plus_infty, 0.0, nan_value, nan_value, INVALID_EXCEPTION_OK);
  2114. TEST_fff_f (fma, minus_infty, 0.0, nan_value, nan_value, INVALID_EXCEPTION_OK);
  2115. TEST_fff_f (fma, 0.0, plus_infty, nan_value, nan_value, INVALID_EXCEPTION_OK);
  2116. TEST_fff_f (fma, 0.0, minus_infty, nan_value, nan_value, INVALID_EXCEPTION_OK);
  2117. TEST_fff_f (fma, plus_infty, 0.0, 1.0, nan_value, INVALID_EXCEPTION);
  2118. TEST_fff_f (fma, minus_infty, 0.0, 1.0, nan_value, INVALID_EXCEPTION);
  2119. TEST_fff_f (fma, 0.0, plus_infty, 1.0, nan_value, INVALID_EXCEPTION);
  2120. TEST_fff_f (fma, 0.0, minus_infty, 1.0, nan_value, INVALID_EXCEPTION);
  2121. TEST_fff_f (fma, plus_infty, plus_infty, minus_infty, nan_value, INVALID_EXCEPTION);
  2122. TEST_fff_f (fma, minus_infty, plus_infty, plus_infty, nan_value, INVALID_EXCEPTION);
  2123. TEST_fff_f (fma, plus_infty, minus_infty, plus_infty, nan_value, INVALID_EXCEPTION);
  2124. TEST_fff_f (fma, minus_infty, minus_infty, minus_infty, nan_value, INVALID_EXCEPTION);
  2125. TEST_fff_f (fma, 1.25L, 0.75L, 0.0625L, 1.0L);
  2126. END (fma);
  2127. }
  2128. static void
  2129. fmax_test (void)
  2130. {
  2131. START (fmax);
  2132. TEST_ff_f (fmax, 0, 0, 0);
  2133. TEST_ff_f (fmax, minus_zero, minus_zero, minus_zero);
  2134. TEST_ff_f (fmax, 9, 0, 9);
  2135. TEST_ff_f (fmax, 0, 9, 9);
  2136. TEST_ff_f (fmax, -9, 0, 0);
  2137. TEST_ff_f (fmax, 0, -9, 0);
  2138. TEST_ff_f (fmax, plus_infty, 9, plus_infty);
  2139. TEST_ff_f (fmax, 0, plus_infty, plus_infty);
  2140. TEST_ff_f (fmax, -9, plus_infty, plus_infty);
  2141. TEST_ff_f (fmax, plus_infty, -9, plus_infty);
  2142. TEST_ff_f (fmax, minus_infty, 9, 9);
  2143. TEST_ff_f (fmax, minus_infty, -9, -9);
  2144. TEST_ff_f (fmax, 9, minus_infty, 9);
  2145. TEST_ff_f (fmax, -9, minus_infty, -9);
  2146. TEST_ff_f (fmax, 0, nan_value, 0);
  2147. TEST_ff_f (fmax, 9, nan_value, 9);
  2148. TEST_ff_f (fmax, -9, nan_value, -9);
  2149. TEST_ff_f (fmax, nan_value, 0, 0);
  2150. TEST_ff_f (fmax, nan_value, 9, 9);
  2151. TEST_ff_f (fmax, nan_value, -9, -9);
  2152. TEST_ff_f (fmax, plus_infty, nan_value, plus_infty);
  2153. TEST_ff_f (fmax, minus_infty, nan_value, minus_infty);
  2154. TEST_ff_f (fmax, nan_value, plus_infty, plus_infty);
  2155. TEST_ff_f (fmax, nan_value, minus_infty, minus_infty);
  2156. TEST_ff_f (fmax, nan_value, nan_value, nan_value);
  2157. END (fmax);
  2158. }
  2159. static void
  2160. fmin_test (void)
  2161. {
  2162. START (fmin);
  2163. TEST_ff_f (fmin, 0, 0, 0);
  2164. TEST_ff_f (fmin, minus_zero, minus_zero, minus_zero);
  2165. TEST_ff_f (fmin, 9, 0, 0);
  2166. TEST_ff_f (fmin, 0, 9, 0);
  2167. TEST_ff_f (fmin, -9, 0, -9);
  2168. TEST_ff_f (fmin, 0, -9, -9);
  2169. TEST_ff_f (fmin, plus_infty, 9, 9);
  2170. TEST_ff_f (fmin, 9, plus_infty, 9);
  2171. TEST_ff_f (fmin, plus_infty, -9, -9);
  2172. TEST_ff_f (fmin, -9, plus_infty, -9);
  2173. TEST_ff_f (fmin, minus_infty, 9, minus_infty);
  2174. TEST_ff_f (fmin, minus_infty, -9, minus_infty);
  2175. TEST_ff_f (fmin, 9, minus_infty, minus_infty);
  2176. TEST_ff_f (fmin, -9, minus_infty, minus_infty);
  2177. TEST_ff_f (fmin, 0, nan_value, 0);
  2178. TEST_ff_f (fmin, 9, nan_value, 9);
  2179. TEST_ff_f (fmin, -9, nan_value, -9);
  2180. TEST_ff_f (fmin, nan_value, 0, 0);
  2181. TEST_ff_f (fmin, nan_value, 9, 9);
  2182. TEST_ff_f (fmin, nan_value, -9, -9);
  2183. TEST_ff_f (fmin, plus_infty, nan_value, plus_infty);
  2184. TEST_ff_f (fmin, minus_infty, nan_value, minus_infty);
  2185. TEST_ff_f (fmin, nan_value, plus_infty, plus_infty);
  2186. TEST_ff_f (fmin, nan_value, minus_infty, minus_infty);
  2187. TEST_ff_f (fmin, nan_value, nan_value, nan_value);
  2188. END (fmin);
  2189. }
  2190. static void
  2191. fmod_test (void)
  2192. {
  2193. errno = 0;
  2194. FUNC(fmod) (6.5, 2.3L);
  2195. if (errno == ENOSYS)
  2196. /* Function not implemented. */
  2197. return;
  2198. START (fmod);
  2199. /* fmod (+0, y) == +0 for y != 0. */
  2200. TEST_ff_f (fmod, 0, 3, 0);
  2201. /* fmod (-0, y) == -0 for y != 0. */
  2202. TEST_ff_f (fmod, minus_zero, 3, minus_zero);
  2203. /* fmod (+inf, y) == NaN plus invalid exception. */
  2204. TEST_ff_f (fmod, plus_infty, 3, nan_value, INVALID_EXCEPTION);
  2205. /* fmod (-inf, y) == NaN plus invalid exception. */
  2206. TEST_ff_f (fmod, minus_infty, 3, nan_value, INVALID_EXCEPTION);
  2207. /* fmod (x, +0) == NaN plus invalid exception. */
  2208. TEST_ff_f (fmod, 3, 0, nan_value, INVALID_EXCEPTION);
  2209. /* fmod (x, -0) == NaN plus invalid exception. */
  2210. TEST_ff_f (fmod, 3, minus_zero, nan_value, INVALID_EXCEPTION);
  2211. /* fmod (x, +inf) == x for x not infinite. */
  2212. TEST_ff_f (fmod, 3.0, plus_infty, 3.0);
  2213. /* fmod (x, -inf) == x for x not infinite. */
  2214. TEST_ff_f (fmod, 3.0, minus_infty, 3.0);
  2215. TEST_ff_f (fmod, nan_value, nan_value, nan_value);
  2216. TEST_ff_f (fmod, 6.5, 2.25L, 2.0L);
  2217. TEST_ff_f (fmod, -6.5, 2.25L, -2.0L);
  2218. TEST_ff_f (fmod, 6.5, -2.25L, 2.0L);
  2219. TEST_ff_f (fmod, -6.5, -2.25L, -2.0L);
  2220. END (fmod);
  2221. }
  2222. static void
  2223. fpclassify_test (void)
  2224. {
  2225. START (fpclassify);
  2226. TEST_f_i (fpclassify, nan_value, FP_NAN);
  2227. TEST_f_i (fpclassify, plus_infty, FP_INFINITE);
  2228. TEST_f_i (fpclassify, minus_infty, FP_INFINITE);
  2229. TEST_f_i (fpclassify, plus_zero, FP_ZERO);
  2230. TEST_f_i (fpclassify, minus_zero, FP_ZERO);
  2231. TEST_f_i (fpclassify, 1000, FP_NORMAL);
  2232. END (fpclassify);
  2233. }
  2234. static void
  2235. frexp_test (void)
  2236. {
  2237. int x;
  2238. START (frexp);
  2239. TEST_fI_f1 (frexp, plus_infty, plus_infty, IGNORE);
  2240. TEST_fI_f1 (frexp, minus_infty, minus_infty, IGNORE);
  2241. TEST_fI_f1 (frexp, nan_value, nan_value, IGNORE);
  2242. TEST_fI_f1 (frexp, 0.0, 0.0, 0.0);
  2243. TEST_fI_f1 (frexp, minus_zero, minus_zero, 0.0);
  2244. TEST_fI_f1 (frexp, 12.8L, 0.8L, 4);
  2245. TEST_fI_f1 (frexp, -27.34L, -0.854375L, 5);
  2246. END (frexp);
  2247. }
  2248. static void
  2249. gamma_test (void)
  2250. {
  2251. errno = 0;
  2252. FUNC(gamma) (1);
  2253. if (errno == ENOSYS)
  2254. /* Function not implemented. */
  2255. return;
  2256. feclearexcept (FE_ALL_EXCEPT);
  2257. START (gamma);
  2258. TEST_f_f (gamma, plus_infty, plus_infty);
  2259. TEST_f_f (gamma, 0, plus_infty, DIVIDE_BY_ZERO_EXCEPTION);
  2260. TEST_f_f (gamma, -3, plus_infty, DIVIDE_BY_ZERO_EXCEPTION);
  2261. TEST_f_f (gamma, minus_infty, plus_infty);
  2262. TEST_f_f (gamma, nan_value, nan_value);
  2263. TEST_f_f1 (gamma, 1, 0, 1);
  2264. TEST_f_f1 (gamma, 3, M_LN2l, 1);
  2265. TEST_f_f1 (gamma, 0.5, M_LOG_SQRT_PIl, 1);
  2266. TEST_f_f1 (gamma, -0.5, M_LOG_2_SQRT_PIl, -1);
  2267. END (gamma);
  2268. }
  2269. static void
  2270. hypot_test (void)
  2271. {
  2272. errno = 0;
  2273. FUNC(hypot) (0.7L, 12.4L);
  2274. if (errno == ENOSYS)
  2275. /* Function not implemented. */
  2276. return;
  2277. START (hypot);
  2278. TEST_ff_f (hypot, plus_infty, 1, plus_infty, IGNORE_ZERO_INF_SIGN);
  2279. TEST_ff_f (hypot, minus_infty, 1, plus_infty, IGNORE_ZERO_INF_SIGN);
  2280. #ifndef TEST_INLINE
  2281. TEST_ff_f (hypot, plus_infty, nan_value, plus_infty);
  2282. TEST_ff_f (hypot, minus_infty, nan_value, plus_infty);
  2283. TEST_ff_f (hypot, nan_value, plus_infty, plus_infty);
  2284. TEST_ff_f (hypot, nan_value, minus_infty, plus_infty);
  2285. #endif
  2286. TEST_ff_f (hypot, nan_value, nan_value, nan_value);
  2287. /* hypot (x,y) == hypot (+-x, +-y) */
  2288. TEST_ff_f (hypot, 0.7L, 12.4L, 12.419742348374220601176836866763271L);
  2289. TEST_ff_f (hypot, -0.7L, 12.4L, 12.419742348374220601176836866763271L);
  2290. TEST_ff_f (hypot, 0.7L, -12.4L, 12.419742348374220601176836866763271L);
  2291. TEST_ff_f (hypot, -0.7L, -12.4L, 12.419742348374220601176836866763271L);
  2292. TEST_ff_f (hypot, 12.4L, 0.7L, 12.419742348374220601176836866763271L);
  2293. TEST_ff_f (hypot, -12.4L, 0.7L, 12.419742348374220601176836866763271L);
  2294. TEST_ff_f (hypot, 12.4L, -0.7L, 12.419742348374220601176836866763271L);
  2295. TEST_ff_f (hypot, -12.4L, -0.7L, 12.419742348374220601176836866763271L);
  2296. /* hypot (x,0) == fabs (x) */
  2297. TEST_ff_f (hypot, 0.75L, 0, 0.75L);
  2298. TEST_ff_f (hypot, -0.75L, 0, 0.75L);
  2299. TEST_ff_f (hypot, -5.7e7, 0, 5.7e7L);
  2300. TEST_ff_f (hypot, 0.75L, 1.25L, 1.45773797371132511771853821938639577L);
  2301. END (hypot);
  2302. }
  2303. static void
  2304. ilogb_test (void)
  2305. {
  2306. START (ilogb);
  2307. TEST_f_i (ilogb, 1, 0);
  2308. TEST_f_i (ilogb, M_El, 1);
  2309. TEST_f_i (ilogb, 1024, 10);
  2310. TEST_f_i (ilogb, -2000, 10);
  2311. /* XXX We have a problem here: the standard does not tell us whether
  2312. exceptions are allowed/required. ignore them for now. */
  2313. TEST_f_i (ilogb, 0.0, FP_ILOGB0, EXCEPTIONS_OK);
  2314. TEST_f_i (ilogb, nan_value, FP_ILOGBNAN, EXCEPTIONS_OK);
  2315. TEST_f_i (ilogb, plus_infty, INT_MAX, EXCEPTIONS_OK);
  2316. TEST_f_i (ilogb, minus_infty, INT_MAX, EXCEPTIONS_OK);
  2317. END (ilogb);
  2318. }
  2319. static void
  2320. isfinite_test (void)
  2321. {
  2322. START (isfinite);
  2323. TEST_f_b (isfinite, 0, 1);
  2324. TEST_f_b (isfinite, minus_zero, 1);
  2325. TEST_f_b (isfinite, 10, 1);
  2326. TEST_f_b (isfinite, plus_infty, 0);
  2327. TEST_f_b (isfinite, minus_infty, 0);
  2328. TEST_f_b (isfinite, nan_value, 0);
  2329. END (isfinite);
  2330. }
  2331. static void
  2332. isnormal_test (void)
  2333. {
  2334. START (isnormal);
  2335. TEST_f_b (isnormal, 0, 0);
  2336. TEST_f_b (isnormal, minus_zero, 0);
  2337. TEST_f_b (isnormal, 10, 1);
  2338. TEST_f_b (isnormal, plus_infty, 0);
  2339. TEST_f_b (isnormal, minus_infty, 0);
  2340. TEST_f_b (isnormal, nan_value, 0);
  2341. END (isnormal);
  2342. }
  2343. #if defined __DO_XSI_MATH__ && !(defined TEST_LDOUBLE || defined TEST_FLOAT)
  2344. static void
  2345. j0_test (void)
  2346. {
  2347. errno = 0;
  2348. #if 0
  2349. FLOAT s, c;
  2350. FUNC (sincos) (0, &s, &c);
  2351. if (errno == ENOSYS)
  2352. /* Required function not implemented. */
  2353. return;
  2354. #endif
  2355. FUNC(j0) (0);
  2356. if (errno == ENOSYS)
  2357. /* Function not implemented. */
  2358. return;
  2359. START (j0);
  2360. /* j0 is the Bessel function of the first kind of order 0 */
  2361. TEST_f_f (j0, nan_value, nan_value);
  2362. TEST_f_f (j0, plus_infty, 0);
  2363. TEST_f_f (j0, -1.0, 0.765197686557966551449717526102663221L);
  2364. TEST_f_f (j0, 0.0, 1.0);
  2365. TEST_f_f (j0, 0.125L, 0.996097563041985204620768999453174712L);
  2366. TEST_f_f (j0, 0.75L, 0.864242275166648623555731103820923211L);
  2367. TEST_f_f (j0, 1.0, 0.765197686557966551449717526102663221L);
  2368. TEST_f_f (j0, 1.5, 0.511827671735918128749051744283411720L);
  2369. TEST_f_f (j0, 2.0, 0.223890779141235668051827454649948626L);
  2370. TEST_f_f (j0, 8.0, 0.171650807137553906090869407851972001L);
  2371. TEST_f_f (j0, 10.0, -0.245935764451348335197760862485328754L);
  2372. TEST_f_f (j0, 4.0, -3.9714980986384737228659076845169804197562E-1L);
  2373. TEST_f_f (j0, -4.0, -3.9714980986384737228659076845169804197562E-1L);
  2374. END (j0);
  2375. }
  2376. static void
  2377. j1_test (void)
  2378. {
  2379. errno = 0;
  2380. #if 0
  2381. FLOAT s, c;
  2382. FUNC (sincos) (0, &s, &c);
  2383. if (errno == ENOSYS)
  2384. /* Required function not implemented. */
  2385. return;
  2386. #endif
  2387. FUNC(j1) (0);
  2388. if (errno == ENOSYS)
  2389. /* Function not implemented. */
  2390. return;
  2391. /* j1 is the Bessel function of the first kind of order 1 */
  2392. START (j1);
  2393. TEST_f_f (j1, nan_value, nan_value);
  2394. TEST_f_f (j1, plus_infty, 0);
  2395. TEST_f_f (j1, -1.0, -0.440050585744933515959682203718914913L);
  2396. TEST_f_f (j1, 0.0, 0.0);
  2397. TEST_f_f (j1, 0.125L, 0.0623780091344946810942311355879361177L);
  2398. TEST_f_f (j1, 0.75L, 0.349243602174862192523281016426251335L);
  2399. TEST_f_f (j1, 1.0, 0.440050585744933515959682203718914913L);
  2400. TEST_f_f (j1, 1.5, 0.557936507910099641990121213156089400L);
  2401. TEST_f_f (j1, 2.0, 0.576724807756873387202448242269137087L);
  2402. TEST_f_f (j1, 8.0, 0.234636346853914624381276651590454612L);
  2403. TEST_f_f (j1, 10.0, 0.0434727461688614366697487680258592883L);
  2404. END (j1);
  2405. }
  2406. static void
  2407. jn_test (void)
  2408. {
  2409. errno = 0;
  2410. #if 0
  2411. FLOAT s, c;
  2412. FUNC (sincos) (0, &s, &c);
  2413. if (errno == ENOSYS)
  2414. /* Required function not implemented. */
  2415. return;
  2416. #endif
  2417. FUNC(jn) (1, 1);
  2418. if (errno == ENOSYS)
  2419. /* Function not implemented. */
  2420. return;
  2421. /* jn is the Bessel function of the first kind of order n. */
  2422. START (jn);
  2423. /* jn (0, x) == j0 (x) */
  2424. TEST_ff_f (jn, 0, nan_value, nan_value);
  2425. TEST_ff_f (jn, 0, plus_infty, 0);
  2426. TEST_ff_f (jn, 0, -1.0, 0.765197686557966551449717526102663221L);
  2427. TEST_ff_f (jn, 0, 0.0, 1.0);
  2428. TEST_ff_f (jn, 0, 0.125L, 0.996097563041985204620768999453174712L);
  2429. TEST_ff_f (jn, 0, 0.75L, 0.864242275166648623555731103820923211L);
  2430. TEST_ff_f (jn, 0, 1.0, 0.765197686557966551449717526102663221L);
  2431. TEST_ff_f (jn, 0, 1.5, 0.511827671735918128749051744283411720L);
  2432. TEST_ff_f (jn, 0, 2.0, 0.223890779141235668051827454649948626L);
  2433. TEST_ff_f (jn, 0, 8.0, 0.171650807137553906090869407851972001L);
  2434. TEST_ff_f (jn, 0, 10.0, -0.245935764451348335197760862485328754L);
  2435. TEST_ff_f (jn, 0, 4.0, -3.9714980986384737228659076845169804197562E-1L);
  2436. TEST_ff_f (jn, 0, -4.0, -3.9714980986384737228659076845169804197562E-1L);
  2437. /* jn (1, x) == j1 (x) */
  2438. TEST_ff_f (jn, 1, nan_value, nan_value);
  2439. TEST_ff_f (jn, 1, plus_infty, 0);
  2440. TEST_ff_f (jn, 1, -1.0, -0.440050585744933515959682203718914913L);
  2441. TEST_ff_f (jn, 1, 0.0, 0.0);
  2442. TEST_ff_f (jn, 1, 0.125L, 0.0623780091344946810942311355879361177L);
  2443. TEST_ff_f (jn, 1, 0.75L, 0.349243602174862192523281016426251335L);
  2444. TEST_ff_f (jn, 1, 1.0, 0.440050585744933515959682203718914913L);
  2445. TEST_ff_f (jn, 1, 1.5, 0.557936507910099641990121213156089400L);
  2446. TEST_ff_f (jn, 1, 2.0, 0.576724807756873387202448242269137087L);
  2447. TEST_ff_f (jn, 1, 8.0, 0.234636346853914624381276651590454612L);
  2448. TEST_ff_f (jn, 1, 10.0, 0.0434727461688614366697487680258592883L);
  2449. /* jn (3, x) */
  2450. TEST_ff_f (jn, 3, nan_value, nan_value);
  2451. TEST_ff_f (jn, 3, plus_infty, 0);
  2452. TEST_ff_f (jn, 3, -1.0, -0.0195633539826684059189053216217515083L);
  2453. TEST_ff_f (jn, 3, 0.0, 0.0);
  2454. TEST_ff_f (jn, 3, 0.125L, 0.406503832554912875023029337653442868e-4L);
  2455. TEST_ff_f (jn, 3, 0.75L, 0.848438342327410884392755236884386804e-2L);
  2456. TEST_ff_f (jn, 3, 1.0, 0.0195633539826684059189053216217515083L);
  2457. TEST_ff_f (jn, 3, 2.0, 0.128943249474402051098793332969239835L);
  2458. TEST_ff_f (jn, 3, 10.0, 0.0583793793051868123429354784103409563L);
  2459. /* jn (10, x) */
  2460. TEST_ff_f (jn, 10, nan_value, nan_value);
  2461. TEST_ff_f (jn, 10, plus_infty, 0);
  2462. TEST_ff_f (jn, 10, -1.0, 0.263061512368745320699785368779050294e-9L);
  2463. TEST_ff_f (jn, 10, 0.0, 0.0);
  2464. TEST_ff_f (jn, 10, 0.125L, 0.250543369809369890173993791865771547e-18L);
  2465. TEST_ff_f (jn, 10, 0.75L, 0.149621713117596814698712483621682835e-10L);
  2466. TEST_ff_f (jn, 10, 1.0, 0.263061512368745320699785368779050294e-9L);
  2467. TEST_ff_f (jn, 10, 2.0, 0.251538628271673670963516093751820639e-6L);
  2468. TEST_ff_f (jn, 10, 10.0, 0.207486106633358857697278723518753428L);
  2469. END (jn);
  2470. }
  2471. #endif /* __DO_XSI_MATH__ */
  2472. static void
  2473. ldexp_test (void)
  2474. {
  2475. TEST_ff_f (ldexp, 0, 0, 0);
  2476. TEST_ff_f (ldexp, minus_zero, 0, minus_zero);
  2477. TEST_ff_f (ldexp, plus_infty, 1, plus_infty);
  2478. TEST_ff_f (ldexp, minus_infty, 1, minus_infty);
  2479. TEST_ff_f (ldexp, nan_value, 1, nan_value);
  2480. TEST_ff_f (ldexp, 0.8L, 4, 12.8L);
  2481. TEST_ff_f (ldexp, -0.854375L, 5, -27.34L);
  2482. /* ldexp (x, 0) == x. */
  2483. TEST_ff_f (ldexp, 1.0L, 0L, 1.0L);
  2484. }
  2485. static void
  2486. lgamma_test (void)
  2487. {
  2488. errno = 0;
  2489. FUNC(lgamma) (0);
  2490. if (errno == ENOSYS)
  2491. /* Function not implemented. */
  2492. return;
  2493. feclearexcept (FE_ALL_EXCEPT);
  2494. START (lgamma);
  2495. TEST_f_f (lgamma, plus_infty, plus_infty);
  2496. TEST_f_f (lgamma, 0, plus_infty, DIVIDE_BY_ZERO_EXCEPTION);
  2497. TEST_f_f (lgamma, nan_value, nan_value);
  2498. /* lgamma (x) == +inf plus divide by zero exception for integer x <= 0. */
  2499. TEST_f_f (lgamma, -3, plus_infty, DIVIDE_BY_ZERO_EXCEPTION);
  2500. TEST_f_f (lgamma, minus_infty, plus_infty);
  2501. TEST_f_f1 (lgamma, 1, 0, 1);
  2502. TEST_f_f1 (lgamma, 3, M_LN2l, 1);
  2503. TEST_f_f1 (lgamma, 0.5, M_LOG_SQRT_PIl, 1);
  2504. TEST_f_f1 (lgamma, -0.5, M_LOG_2_SQRT_PIl, -1);
  2505. TEST_f_f1 (lgamma, 0.7L, 0.260867246531666514385732417016759578L, 1);
  2506. TEST_f_f1 (lgamma, 1.2L, -0.853740900033158497197028392998854470e-1L, 1);
  2507. END (lgamma);
  2508. }
  2509. #if 0
  2510. static void
  2511. lrint_test (void)
  2512. {
  2513. /* XXX this test is incomplete. We need to have a way to specifiy
  2514. the rounding method and test the critical cases. So far, only
  2515. unproblematic numbers are tested. */
  2516. START (lrint);
  2517. TEST_f_l (lrint, 0.0, 0);
  2518. TEST_f_l (lrint, minus_zero, 0);
  2519. TEST_f_l (lrint, 0.2L, 0);
  2520. TEST_f_l (lrint, -0.2L, 0);
  2521. TEST_f_l (lrint, 1.4L, 1);
  2522. TEST_f_l (lrint, -1.4L, -1);
  2523. TEST_f_l (lrint, 8388600.3L, 8388600);
  2524. TEST_f_l (lrint, -8388600.3L, -8388600);
  2525. TEST_f_l (lrint, 1071930.0008, 1071930);
  2526. #ifndef TEST_FLOAT
  2527. TEST_f_l (lrint, 1073741824.01, 1073741824);
  2528. # if LONG_MAX > 281474976710656
  2529. TEST_f_l (lrint, 281474976710656.025, 281474976710656);
  2530. # endif
  2531. #endif
  2532. END (lrint);
  2533. }
  2534. static void
  2535. llrint_test (void)
  2536. {
  2537. /* XXX this test is incomplete. We need to have a way to specifiy
  2538. the rounding method and test the critical cases. So far, only
  2539. unproblematic numbers are tested. */
  2540. START (llrint);
  2541. TEST_f_L (llrint, 0.0, 0);
  2542. TEST_f_L (llrint, minus_zero, 0);
  2543. TEST_f_L (llrint, 0.2L, 0);
  2544. TEST_f_L (llrint, -0.2L, 0);
  2545. TEST_f_L (llrint, 1.4L, 1);
  2546. TEST_f_L (llrint, -1.4L, -1);
  2547. TEST_f_L (llrint, 8388600.3L, 8388600);
  2548. TEST_f_L (llrint, -8388600.3L, -8388600);
  2549. TEST_f_l (llrint, 1071930.0008, 1071930);
  2550. /* Test boundary conditions. */
  2551. /* 0x1FFFFF */
  2552. TEST_f_L (llrint, 2097151.0,2097151LL);
  2553. /* 0x800000 */
  2554. TEST_f_L (llrint, 8388608.0, 8388608LL);
  2555. /* 0x1000000 */
  2556. TEST_f_L (llrint, 16777216.0, 16777216LL);
  2557. /* 0x20000000000 */
  2558. TEST_f_L (llrint, 2199023255552.0, 2199023255552LL);
  2559. /* 0x40000000000 */
  2560. TEST_f_L (llrint, 4398046511104.0, 4398046511104LL);
  2561. /* 0x1000000000000 */
  2562. TEST_f_L (llrint, 281474976710656.0, 281474976710656LL);
  2563. /* 0x10000000000000 */
  2564. TEST_f_L (llrint, 4503599627370496.0, 4503599627370496LL);
  2565. /* 0x10000080000000 */
  2566. TEST_f_L (llrint, 4503601774854144.0, 4503601774854144LL);
  2567. /* 0x20000000000000 */
  2568. TEST_f_L (llrint, 9007199254740992.0, 9007199254740992LL);
  2569. /* 0x80000000000000 */
  2570. TEST_f_L (llrint, 36028797018963968.0, 36028797018963968LL);
  2571. /* 0x100000000000000 */
  2572. TEST_f_L (llrint, 72057594037927936.0, 72057594037927936LL);
  2573. #ifdef TEST_LDOUBLE
  2574. /* The input can only be represented in long double. */
  2575. TEST_f_L (llrint, 4503599627370495.5L, 4503599627370496LL);
  2576. TEST_f_L (llrint, 4503599627370496.25L, 4503599627370496LL);
  2577. TEST_f_L (llrint, 4503599627370496.5L, 4503599627370496LL);
  2578. TEST_f_L (llrint, 4503599627370496.75L, 4503599627370497LL);
  2579. TEST_f_L (llrint, 4503599627370497.5L, 4503599627370498LL);
  2580. TEST_f_L (llrint, -4503599627370495.5L, -4503599627370496LL);
  2581. TEST_f_L (llrint, -4503599627370496.25L, -4503599627370496LL);
  2582. TEST_f_L (llrint, -4503599627370496.5L, -4503599627370496LL);
  2583. TEST_f_L (llrint, -4503599627370496.75L, -4503599627370497LL);
  2584. TEST_f_L (llrint, -4503599627370497.5L, -4503599627370498LL);
  2585. TEST_f_L (llrint, 9007199254740991.5L, 9007199254740992LL);
  2586. TEST_f_L (llrint, 9007199254740992.25L, 9007199254740992LL);
  2587. TEST_f_L (llrint, 9007199254740992.5L, 9007199254740992LL);
  2588. TEST_f_L (llrint, 9007199254740992.75L, 9007199254740993LL);
  2589. TEST_f_L (llrint, 9007199254740993.5L, 9007199254740994LL);
  2590. TEST_f_L (llrint, -9007199254740991.5L, -9007199254740992LL);
  2591. TEST_f_L (llrint, -9007199254740992.25L, -9007199254740992LL);
  2592. TEST_f_L (llrint, -9007199254740992.5L, -9007199254740992LL);
  2593. TEST_f_L (llrint, -9007199254740992.75L, -9007199254740993LL);
  2594. TEST_f_L (llrint, -9007199254740993.5L, -9007199254740994LL);
  2595. TEST_f_L (llrint, 72057594037927935.5L, 72057594037927936LL);
  2596. TEST_f_L (llrint, 72057594037927936.25L, 72057594037927936LL);
  2597. TEST_f_L (llrint, 72057594037927936.5L, 72057594037927936LL);
  2598. TEST_f_L (llrint, 72057594037927936.75L, 72057594037927937LL);
  2599. TEST_f_L (llrint, 72057594037927937.5L, 72057594037927938LL);
  2600. TEST_f_L (llrint, -72057594037927935.5L, -72057594037927936LL);
  2601. TEST_f_L (llrint, -72057594037927936.25L, -72057594037927936LL);
  2602. TEST_f_L (llrint, -72057594037927936.5L, -72057594037927936LL);
  2603. TEST_f_L (llrint, -72057594037927936.75L, -72057594037927937LL);
  2604. TEST_f_L (llrint, -72057594037927937.5L, -72057594037927938LL);
  2605. #endif
  2606. END (llrint);
  2607. }
  2608. #endif
  2609. static void
  2610. log_test (void)
  2611. {
  2612. errno = 0;
  2613. FUNC(log) (1);
  2614. if (errno == ENOSYS)
  2615. /* Function not implemented. */
  2616. return;
  2617. START (log);
  2618. TEST_f_f (log, 0, minus_infty, DIVIDE_BY_ZERO_EXCEPTION);
  2619. TEST_f_f (log, minus_zero, minus_infty, DIVIDE_BY_ZERO_EXCEPTION);
  2620. TEST_f_f (log, 1, 0);
  2621. TEST_f_f (log, -1, nan_value, INVALID_EXCEPTION);
  2622. TEST_f_f (log, plus_infty, plus_infty);
  2623. TEST_f_f (log, M_El, 1);
  2624. TEST_f_f (log, 1.0 / M_El, -1);
  2625. TEST_f_f (log, 2, M_LN2l);
  2626. TEST_f_f (log, 10, M_LN10l);
  2627. TEST_f_f (log, 0.75L, -0.287682072451780927439219005993827432L);
  2628. END (log);
  2629. }
  2630. static void
  2631. log10_test (void)
  2632. {
  2633. errno = 0;
  2634. FUNC(log10) (1);
  2635. if (errno == ENOSYS)
  2636. /* Function not implemented. */
  2637. return;
  2638. START (log10);
  2639. TEST_f_f (log10, 0, minus_infty, DIVIDE_BY_ZERO_EXCEPTION);
  2640. TEST_f_f (log10, minus_zero, minus_infty, DIVIDE_BY_ZERO_EXCEPTION);
  2641. TEST_f_f (log10, 1, 0);
  2642. /* log10 (x) == NaN plus invalid exception if x < 0. */
  2643. TEST_f_f (log10, -1, nan_value, INVALID_EXCEPTION);
  2644. TEST_f_f (log10, plus_infty, plus_infty);
  2645. TEST_f_f (log10, nan_value, nan_value);
  2646. TEST_f_f (log10, 0.1L, -1);
  2647. TEST_f_f (log10, 10.0, 1);
  2648. TEST_f_f (log10, 100.0, 2);
  2649. TEST_f_f (log10, 10000.0, 4);
  2650. TEST_f_f (log10, M_El, M_LOG10El);
  2651. TEST_f_f (log10, 0.75L, -0.124938736608299953132449886193870744L);
  2652. END (log10);
  2653. }
  2654. static void
  2655. log1p_test (void)
  2656. {
  2657. errno = 0;
  2658. FUNC(log1p) (0);
  2659. if (errno == ENOSYS)
  2660. /* Function not implemented. */
  2661. return;
  2662. START (log1p);
  2663. TEST_f_f (log1p, 0, 0);
  2664. TEST_f_f (log1p, minus_zero, minus_zero);
  2665. TEST_f_f (log1p, -1, minus_infty, DIVIDE_BY_ZERO_EXCEPTION);
  2666. TEST_f_f (log1p, -2, nan_value, INVALID_EXCEPTION);
  2667. TEST_f_f (log1p, plus_infty, plus_infty);
  2668. TEST_f_f (log1p, nan_value, nan_value);
  2669. TEST_f_f (log1p, M_El - 1.0, 1);
  2670. TEST_f_f (log1p, -0.25L, -0.287682072451780927439219005993827432L);
  2671. TEST_f_f (log1p, -0.875, -2.07944154167983592825169636437452970L);
  2672. END (log1p);
  2673. }
  2674. static void
  2675. log2_test (void)
  2676. {
  2677. errno = 0;
  2678. FUNC(log2) (1);
  2679. if (errno == ENOSYS)
  2680. /* Function not implemented. */
  2681. return;
  2682. START (log2);
  2683. TEST_f_f (log2, 0, minus_infty, DIVIDE_BY_ZERO_EXCEPTION);
  2684. TEST_f_f (log2, minus_zero, minus_infty, DIVIDE_BY_ZERO_EXCEPTION);
  2685. TEST_f_f (log2, 1, 0);
  2686. TEST_f_f (log2, -1, nan_value, INVALID_EXCEPTION);
  2687. TEST_f_f (log2, plus_infty, plus_infty);
  2688. TEST_f_f (log2, nan_value, nan_value);
  2689. TEST_f_f (log2, M_El, M_LOG2El);
  2690. TEST_f_f (log2, 2.0, 1);
  2691. TEST_f_f (log2, 16.0, 4);
  2692. TEST_f_f (log2, 256.0, 8);
  2693. TEST_f_f (log2, 0.75L, -.415037499278843818546261056052183492L);
  2694. END (log2);
  2695. }
  2696. static void
  2697. logb_test (void)
  2698. {
  2699. START (logb);
  2700. TEST_f_f (logb, plus_infty, plus_infty);
  2701. TEST_f_f (logb, minus_infty, plus_infty);
  2702. TEST_f_f (logb, 0, minus_infty, DIVIDE_BY_ZERO_EXCEPTION);
  2703. TEST_f_f (logb, minus_zero, minus_infty, DIVIDE_BY_ZERO_EXCEPTION);
  2704. TEST_f_f (logb, nan_value, nan_value);
  2705. TEST_f_f (logb, 1, 0);
  2706. TEST_f_f (logb, M_El, 1);
  2707. TEST_f_f (logb, 1024, 10);
  2708. TEST_f_f (logb, -2000, 10);
  2709. END (logb);
  2710. }
  2711. #if 0
  2712. static void
  2713. lround_test (void)
  2714. {
  2715. START (lround);
  2716. TEST_f_l (lround, 0, 0);
  2717. TEST_f_l (lround, minus_zero, 0);
  2718. TEST_f_l (lround, 0.2L, 0.0);
  2719. TEST_f_l (lround, -0.2L, 0);
  2720. TEST_f_l (lround, 0.5, 1);
  2721. TEST_f_l (lround, -0.5, -1);
  2722. TEST_f_l (lround, 0.8L, 1);
  2723. TEST_f_l (lround, -0.8L, -1);
  2724. TEST_f_l (lround, 1.5, 2);
  2725. TEST_f_l (lround, -1.5, -2);
  2726. TEST_f_l (lround, 22514.5, 22515);
  2727. TEST_f_l (lround, -22514.5, -22515);
  2728. TEST_f_l (lround, 1071930.0008, 1071930);
  2729. #ifndef TEST_FLOAT
  2730. TEST_f_l (lround, 1073741824.01, 1073741824);
  2731. # if LONG_MAX > 281474976710656
  2732. TEST_f_l (lround, 281474976710656.025, 281474976710656);
  2733. # endif
  2734. TEST_f_l (lround, 2097152.5, 2097153);
  2735. TEST_f_l (lround, -2097152.5, -2097153);
  2736. #endif
  2737. END (lround);
  2738. }
  2739. static void
  2740. llround_test (void)
  2741. {
  2742. START (llround);
  2743. TEST_f_L (llround, 0, 0);
  2744. TEST_f_L (llround, minus_zero, 0);
  2745. TEST_f_L (llround, 0.2L, 0.0);
  2746. TEST_f_L (llround, -0.2L, 0);
  2747. TEST_f_L (llround, 0.5, 1);
  2748. TEST_f_L (llround, -0.5, -1);
  2749. TEST_f_L (llround, 0.8L, 1);
  2750. TEST_f_L (llround, -0.8L, -1);
  2751. TEST_f_L (llround, 1.5, 2);
  2752. TEST_f_L (llround, -1.5, -2);
  2753. TEST_f_L (llround, 22514.5, 22515);
  2754. TEST_f_L (llround, -22514.5, -22515);
  2755. TEST_f_l (llround, 1071930.0008, 1071930);
  2756. #ifndef TEST_FLOAT
  2757. TEST_f_L (llround, 2097152.5, 2097153);
  2758. TEST_f_L (llround, -2097152.5, -2097153);
  2759. TEST_f_L (llround, 34359738368.5, 34359738369ll);
  2760. TEST_f_L (llround, -34359738368.5, -34359738369ll);
  2761. #endif
  2762. /* Test boundary conditions. */
  2763. /* 0x1FFFFF */
  2764. TEST_f_L (llround, 2097151.0, 2097151LL);
  2765. /* 0x800000 */
  2766. TEST_f_L (llround, 8388608.0, 8388608LL);
  2767. /* 0x1000000 */
  2768. TEST_f_L (llround, 16777216.0, 16777216LL);
  2769. /* 0x20000000000 */
  2770. TEST_f_L (llround, 2199023255552.0, 2199023255552LL);
  2771. /* 0x40000000000 */
  2772. TEST_f_L (llround, 4398046511104.0, 4398046511104LL);
  2773. /* 0x1000000000000 */
  2774. TEST_f_L (llround, 281474976710656.0, 281474976710656LL);
  2775. /* 0x10000000000000 */
  2776. TEST_f_L (llround, 4503599627370496.0, 4503599627370496LL);
  2777. /* 0x10000080000000 */
  2778. TEST_f_L (llround, 4503601774854144.0, 4503601774854144LL);
  2779. /* 0x20000000000000 */
  2780. TEST_f_L (llround, 9007199254740992.0, 9007199254740992LL);
  2781. /* 0x80000000000000 */
  2782. TEST_f_L (llround, 36028797018963968.0, 36028797018963968LL);
  2783. /* 0x100000000000000 */
  2784. TEST_f_L (llround, 72057594037927936.0, 72057594037927936LL);
  2785. #ifndef TEST_FLOAT
  2786. /* 0x100000000 */
  2787. TEST_f_L (llround, 4294967295.5, 4294967296LL);
  2788. /* 0x200000000 */
  2789. TEST_f_L (llround, 8589934591.5, 8589934592LL);
  2790. #endif
  2791. #ifdef TEST_LDOUBLE
  2792. /* The input can only be represented in long double. */
  2793. TEST_f_L (llround, 4503599627370495.5L, 4503599627370496LL);
  2794. TEST_f_L (llround, 4503599627370496.25L, 4503599627370496LL);
  2795. TEST_f_L (llround, 4503599627370496.5L, 4503599627370497LL);
  2796. TEST_f_L (llround, 4503599627370496.75L, 4503599627370497LL);
  2797. TEST_f_L (llround, 4503599627370497.5L, 4503599627370498LL);
  2798. TEST_f_L (llround, -4503599627370495.5L, -4503599627370496LL);
  2799. TEST_f_L (llround, -4503599627370496.25L, -4503599627370496LL);
  2800. TEST_f_L (llround, -4503599627370496.5L, -4503599627370497LL);
  2801. TEST_f_L (llround, -4503599627370496.75L, -4503599627370497LL);
  2802. TEST_f_L (llround, -4503599627370497.5L, -4503599627370498LL);
  2803. TEST_f_L (llround, 9007199254740991.5L, 9007199254740992LL);
  2804. TEST_f_L (llround, 9007199254740992.25L, 9007199254740992LL);
  2805. TEST_f_L (llround, 9007199254740992.5L, 9007199254740993LL);
  2806. TEST_f_L (llround, 9007199254740992.75L, 9007199254740993LL);
  2807. TEST_f_L (llround, 9007199254740993.5L, 9007199254740994LL);
  2808. TEST_f_L (llround, -9007199254740991.5L, -9007199254740992LL);
  2809. TEST_f_L (llround, -9007199254740992.25L, -9007199254740992LL);
  2810. TEST_f_L (llround, -9007199254740992.5L, -9007199254740993LL);
  2811. TEST_f_L (llround, -9007199254740992.75L, -9007199254740993LL);
  2812. TEST_f_L (llround, -9007199254740993.5L, -9007199254740994LL);
  2813. TEST_f_L (llround, 72057594037927935.5L, 72057594037927936LL);
  2814. TEST_f_L (llround, 72057594037927936.25L, 72057594037927936LL);
  2815. TEST_f_L (llround, 72057594037927936.5L, 72057594037927937LL);
  2816. TEST_f_L (llround, 72057594037927936.75L, 72057594037927937LL);
  2817. TEST_f_L (llround, 72057594037927937.5L, 72057594037927938LL);
  2818. TEST_f_L (llround, -72057594037927935.5L, -72057594037927936LL);
  2819. TEST_f_L (llround, -72057594037927936.25L, -72057594037927936LL);
  2820. TEST_f_L (llround, -72057594037927936.5L, -72057594037927937LL);
  2821. TEST_f_L (llround, -72057594037927936.75L, -72057594037927937LL);
  2822. TEST_f_L (llround, -72057594037927937.5L, -72057594037927938LL);
  2823. TEST_f_L (llround, 9223372036854775806.25L, 9223372036854775806LL);
  2824. TEST_f_L (llround, -9223372036854775806.25L, -9223372036854775806LL);
  2825. TEST_f_L (llround, 9223372036854775806.5L, 9223372036854775807LL);
  2826. TEST_f_L (llround, -9223372036854775806.5L, -9223372036854775807LL);
  2827. TEST_f_L (llround, 9223372036854775807.0L, 9223372036854775807LL);
  2828. TEST_f_L (llround, -9223372036854775807.0L, -9223372036854775807LL);
  2829. #endif
  2830. END (llround);
  2831. }
  2832. #endif
  2833. static void
  2834. modf_test (void)
  2835. {
  2836. FLOAT x;
  2837. START (modf);
  2838. TEST_fF_f1 (modf, plus_infty, 0, plus_infty);
  2839. TEST_fF_f1 (modf, minus_infty, minus_zero, minus_infty);
  2840. TEST_fF_f1 (modf, nan_value, nan_value, nan_value);
  2841. TEST_fF_f1 (modf, 0, 0, 0);
  2842. TEST_fF_f1 (modf, 1.5, 0.5, 1);
  2843. TEST_fF_f1 (modf, 2.5, 0.5, 2);
  2844. TEST_fF_f1 (modf, -2.5, -0.5, -2);
  2845. TEST_fF_f1 (modf, 20, 0, 20);
  2846. TEST_fF_f1 (modf, 21, 0, 21);
  2847. TEST_fF_f1 (modf, 89.5, 0.5, 89);
  2848. END (modf);
  2849. }
  2850. static void
  2851. nearbyint_test (void)
  2852. {
  2853. START (nearbyint);
  2854. TEST_f_f (nearbyint, 0.0, 0.0);
  2855. TEST_f_f (nearbyint, minus_zero, minus_zero);
  2856. TEST_f_f (nearbyint, plus_infty, plus_infty);
  2857. TEST_f_f (nearbyint, minus_infty, minus_infty);
  2858. TEST_f_f (nearbyint, nan_value, nan_value);
  2859. /* Default rounding mode is round to nearest. */
  2860. TEST_f_f (nearbyint, 0.5, 0.0);
  2861. TEST_f_f (nearbyint, 1.5, 2.0);
  2862. TEST_f_f (nearbyint, -0.5, minus_zero);
  2863. TEST_f_f (nearbyint, -1.5, -2.0);
  2864. END (nearbyint);
  2865. }
  2866. static void
  2867. nextafter_test (void)
  2868. {
  2869. START (nextafter);
  2870. TEST_ff_f (nextafter, 0, 0, 0);
  2871. TEST_ff_f (nextafter, minus_zero, 0, 0);
  2872. TEST_ff_f (nextafter, 0, minus_zero, minus_zero);
  2873. TEST_ff_f (nextafter, minus_zero, minus_zero, minus_zero);
  2874. TEST_ff_f (nextafter, 9, 9, 9);
  2875. TEST_ff_f (nextafter, -9, -9, -9);
  2876. TEST_ff_f (nextafter, plus_infty, plus_infty, plus_infty);
  2877. TEST_ff_f (nextafter, minus_infty, minus_infty, minus_infty);
  2878. TEST_ff_f (nextafter, nan_value, 1.1L, nan_value);
  2879. TEST_ff_f (nextafter, 1.1L, nan_value, nan_value);
  2880. TEST_ff_f (nextafter, nan_value, nan_value, nan_value);
  2881. FLOAT fltmax = CHOOSE (LDBL_MAX, DBL_MAX, FLT_MAX,
  2882. LDBL_MAX, DBL_MAX, FLT_MAX);
  2883. TEST_ff_f (nextafter, fltmax, plus_infty, plus_infty);
  2884. TEST_ff_f (nextafter, -fltmax, minus_infty, minus_infty);
  2885. #ifdef TEST_LDOUBLE
  2886. // XXX Enable once gcc is fixed.
  2887. //TEST_ff_f (nextafter, 0x0.00000040000000000000p-16385L, -0.1L, 0x0.0000003ffffffff00000p-16385L);
  2888. #endif
  2889. /* XXX We need the hexadecimal FP number representation here for further
  2890. tests. */
  2891. END (nextafter);
  2892. }
  2893. static void
  2894. nexttoward_test (void)
  2895. {
  2896. START (nexttoward);
  2897. TEST_ff_f (nexttoward, 0, 0, 0);
  2898. TEST_ff_f (nexttoward, minus_zero, 0, 0);
  2899. TEST_ff_f (nexttoward, 0, minus_zero, minus_zero);
  2900. TEST_ff_f (nexttoward, minus_zero, minus_zero, minus_zero);
  2901. TEST_ff_f (nexttoward, 9, 9, 9);
  2902. TEST_ff_f (nexttoward, -9, -9, -9);
  2903. TEST_ff_f (nexttoward, plus_infty, plus_infty, plus_infty);
  2904. TEST_ff_f (nexttoward, minus_infty, minus_infty, minus_infty);
  2905. TEST_ff_f (nexttoward, nan_value, 1.1L, nan_value);
  2906. TEST_ff_f (nexttoward, 1.1L, nan_value, nan_value);
  2907. TEST_ff_f (nexttoward, nan_value, nan_value, nan_value);
  2908. /* XXX We need the hexadecimal FP number representation here for further
  2909. tests. */
  2910. END (nexttoward);
  2911. }
  2912. static void
  2913. pow_test (void)
  2914. {
  2915. errno = 0;
  2916. FUNC(pow) (0, 0);
  2917. if (errno == ENOSYS)
  2918. /* Function not implemented. */
  2919. return;
  2920. START (pow);
  2921. TEST_ff_f (pow, 0, 0, 1);
  2922. TEST_ff_f (pow, 0, minus_zero, 1);
  2923. TEST_ff_f (pow, minus_zero, 0, 1);
  2924. TEST_ff_f (pow, minus_zero, minus_zero, 1);
  2925. TEST_ff_f (pow, 10, 0, 1);
  2926. TEST_ff_f (pow, 10, minus_zero, 1);
  2927. TEST_ff_f (pow, -10, 0, 1);
  2928. TEST_ff_f (pow, -10, minus_zero, 1);
  2929. TEST_ff_f (pow, nan_value, 0, 1);
  2930. TEST_ff_f (pow, nan_value, minus_zero, 1);
  2931. #ifndef TEST_INLINE
  2932. TEST_ff_f (pow, 1.1L, plus_infty, plus_infty);
  2933. TEST_ff_f (pow, plus_infty, plus_infty, plus_infty);
  2934. TEST_ff_f (pow, -1.1L, plus_infty, plus_infty);
  2935. TEST_ff_f (pow, minus_infty, plus_infty, plus_infty);
  2936. TEST_ff_f (pow, 0.9L, plus_infty, 0);
  2937. TEST_ff_f (pow, 1e-7L, plus_infty, 0);
  2938. TEST_ff_f (pow, -0.9L, plus_infty, 0);
  2939. TEST_ff_f (pow, -1e-7L, plus_infty, 0);
  2940. TEST_ff_f (pow, 1.1L, minus_infty, 0);
  2941. TEST_ff_f (pow, plus_infty, minus_infty, 0);
  2942. TEST_ff_f (pow, -1.1L, minus_infty, 0);
  2943. TEST_ff_f (pow, minus_infty, minus_infty, 0);
  2944. TEST_ff_f (pow, 0.9L, minus_infty, plus_infty);
  2945. TEST_ff_f (pow, 1e-7L, minus_infty, plus_infty);
  2946. TEST_ff_f (pow, -0.9L, minus_infty, plus_infty);
  2947. TEST_ff_f (pow, -1e-7L, minus_infty, plus_infty);
  2948. TEST_ff_f (pow, plus_infty, 1e-7L, plus_infty);
  2949. TEST_ff_f (pow, plus_infty, 1, plus_infty);
  2950. TEST_ff_f (pow, plus_infty, 1e7L, plus_infty);
  2951. TEST_ff_f (pow, plus_infty, -1e-7L, 0);
  2952. TEST_ff_f (pow, plus_infty, -1, 0);
  2953. TEST_ff_f (pow, plus_infty, -1e7L, 0);
  2954. TEST_ff_f (pow, minus_infty, 1, minus_infty);
  2955. TEST_ff_f (pow, minus_infty, 11, minus_infty);
  2956. TEST_ff_f (pow, minus_infty, 1001, minus_infty);
  2957. TEST_ff_f (pow, minus_infty, 2, plus_infty);
  2958. TEST_ff_f (pow, minus_infty, 12, plus_infty);
  2959. TEST_ff_f (pow, minus_infty, 1002, plus_infty);
  2960. TEST_ff_f (pow, minus_infty, 0.1L, plus_infty);
  2961. TEST_ff_f (pow, minus_infty, 1.1L, plus_infty);
  2962. TEST_ff_f (pow, minus_infty, 11.1L, plus_infty);
  2963. TEST_ff_f (pow, minus_infty, 1001.1L, plus_infty);
  2964. TEST_ff_f (pow, minus_infty, -1, minus_zero);
  2965. TEST_ff_f (pow, minus_infty, -11, minus_zero);
  2966. TEST_ff_f (pow, minus_infty, -1001, minus_zero);
  2967. TEST_ff_f (pow, minus_infty, -2, 0);
  2968. TEST_ff_f (pow, minus_infty, -12, 0);
  2969. TEST_ff_f (pow, minus_infty, -1002, 0);
  2970. TEST_ff_f (pow, minus_infty, -0.1L, 0);
  2971. TEST_ff_f (pow, minus_infty, -1.1L, 0);
  2972. TEST_ff_f (pow, minus_infty, -11.1L, 0);
  2973. TEST_ff_f (pow, minus_infty, -1001.1L, 0);
  2974. #endif
  2975. TEST_ff_f (pow, nan_value, nan_value, nan_value);
  2976. TEST_ff_f (pow, 0, nan_value, nan_value);
  2977. TEST_ff_f (pow, 1, nan_value, 1);
  2978. TEST_ff_f (pow, -1, nan_value, nan_value);
  2979. TEST_ff_f (pow, nan_value, 1, nan_value);
  2980. TEST_ff_f (pow, nan_value, -1, nan_value);
  2981. /* pow (x, NaN) == NaN. */
  2982. TEST_ff_f (pow, 3.0, nan_value, nan_value);
  2983. TEST_ff_f (pow, 1, plus_infty, 1);
  2984. TEST_ff_f (pow, -1, plus_infty, 1);
  2985. TEST_ff_f (pow, 1, minus_infty, 1);
  2986. TEST_ff_f (pow, -1, minus_infty, 1);
  2987. TEST_ff_f (pow, 1, 1, 1);
  2988. TEST_ff_f (pow, 1, -1, 1);
  2989. TEST_ff_f (pow, 1, 1.25, 1);
  2990. TEST_ff_f (pow, 1, -1.25, 1);
  2991. TEST_ff_f (pow, 1, 0x1p62L, 1);
  2992. TEST_ff_f (pow, 1, 0x1p63L, 1);
  2993. TEST_ff_f (pow, 1, 0x1p64L, 1);
  2994. TEST_ff_f (pow, 1, 0x1p72L, 1);
  2995. /* pow (x, +-0) == 1. */
  2996. TEST_ff_f (pow, plus_infty, 0, 1);
  2997. TEST_ff_f (pow, plus_infty, minus_zero, 1);
  2998. TEST_ff_f (pow, minus_infty, 0, 1);
  2999. TEST_ff_f (pow, minus_infty, minus_zero, 1);
  3000. TEST_ff_f (pow, 32.75L, 0, 1);
  3001. TEST_ff_f (pow, 32.75L, minus_zero, 1);
  3002. TEST_ff_f (pow, -32.75L, 0, 1);
  3003. TEST_ff_f (pow, -32.75L, minus_zero, 1);
  3004. TEST_ff_f (pow, 0x1p72L, 0, 1);
  3005. TEST_ff_f (pow, 0x1p72L, minus_zero, 1);
  3006. TEST_ff_f (pow, 0x1p-72L, 0, 1);
  3007. TEST_ff_f (pow, 0x1p-72L, minus_zero, 1);
  3008. TEST_ff_f (pow, -0.1L, 1.1L, nan_value, INVALID_EXCEPTION);
  3009. TEST_ff_f (pow, -0.1L, -1.1L, nan_value, INVALID_EXCEPTION);
  3010. TEST_ff_f (pow, -10.1L, 1.1L, nan_value, INVALID_EXCEPTION);
  3011. TEST_ff_f (pow, -10.1L, -1.1L, nan_value, INVALID_EXCEPTION);
  3012. TEST_ff_f (pow, 0, -1, plus_infty, DIVIDE_BY_ZERO_EXCEPTION);
  3013. TEST_ff_f (pow, 0, -11, plus_infty, DIVIDE_BY_ZERO_EXCEPTION);
  3014. TEST_ff_f (pow, minus_zero, -1, minus_infty, DIVIDE_BY_ZERO_EXCEPTION);
  3015. TEST_ff_f (pow, minus_zero, -11, minus_infty, DIVIDE_BY_ZERO_EXCEPTION);
  3016. TEST_ff_f (pow, 0, -2, plus_infty, DIVIDE_BY_ZERO_EXCEPTION);
  3017. TEST_ff_f (pow, 0, -11.1L, plus_infty, DIVIDE_BY_ZERO_EXCEPTION);
  3018. TEST_ff_f (pow, minus_zero, -2, plus_infty, DIVIDE_BY_ZERO_EXCEPTION);
  3019. TEST_ff_f (pow, minus_zero, -11.1L, plus_infty, DIVIDE_BY_ZERO_EXCEPTION);
  3020. TEST_ff_f (pow, 0x1p72L, 0x1p72L, plus_infty);
  3021. TEST_ff_f (pow, 10, -0x1p72L, 0);
  3022. TEST_ff_f (pow, max_value, max_value, plus_infty);
  3023. TEST_ff_f (pow, 10, -max_value, 0);
  3024. TEST_ff_f (pow, 0, 1, 0);
  3025. TEST_ff_f (pow, 0, 11, 0);
  3026. TEST_ff_f (pow, minus_zero, 1, minus_zero);
  3027. TEST_ff_f (pow, minus_zero, 11, minus_zero);
  3028. TEST_ff_f (pow, 0, 2, 0);
  3029. TEST_ff_f (pow, 0, 11.1L, 0);
  3030. TEST_ff_f (pow, minus_zero, 2, 0);
  3031. TEST_ff_f (pow, minus_zero, 11.1L, 0);
  3032. TEST_ff_f (pow, 0, plus_infty, 0);
  3033. TEST_ff_f (pow, minus_zero, plus_infty, 0);
  3034. #ifndef TEST_INLINE
  3035. /* pow (x, +inf) == +inf for |x| > 1. */
  3036. TEST_ff_f (pow, 1.5, plus_infty, plus_infty);
  3037. /* pow (x, +inf) == +0 for |x| < 1. */
  3038. TEST_ff_f (pow, 0.5, plus_infty, 0.0);
  3039. /* pow (x, -inf) == +0 for |x| > 1. */
  3040. TEST_ff_f (pow, 1.5, minus_infty, 0.0);
  3041. /* pow (x, -inf) == +inf for |x| < 1. */
  3042. TEST_ff_f (pow, 0.5, minus_infty, plus_infty);
  3043. #endif
  3044. /* pow (+inf, y) == +inf for y > 0. */
  3045. TEST_ff_f (pow, plus_infty, 2, plus_infty);
  3046. /* pow (+inf, y) == +0 for y < 0. */
  3047. TEST_ff_f (pow, plus_infty, -1, 0.0);
  3048. /* pow (-inf, y) == -inf for y an odd integer > 0. */
  3049. TEST_ff_f (pow, minus_infty, 27, minus_infty);
  3050. /* pow (-inf, y) == +inf for y > 0 and not an odd integer. */
  3051. TEST_ff_f (pow, minus_infty, 28, plus_infty);
  3052. /* pow (-inf, y) == -0 for y an odd integer < 0. */
  3053. TEST_ff_f (pow, minus_infty, -3, minus_zero);
  3054. /* pow (-inf, y) == +0 for y < 0 and not an odd integer. */
  3055. TEST_ff_f (pow, minus_infty, -2.0, 0.0);
  3056. /* pow (+0, y) == +0 for y an odd integer > 0. */
  3057. TEST_ff_f (pow, 0.0, 27, 0.0);
  3058. /* pow (-0, y) == -0 for y an odd integer > 0. */
  3059. TEST_ff_f (pow, minus_zero, 27, minus_zero);
  3060. /* pow (+0, y) == +0 for y > 0 and not an odd integer. */
  3061. TEST_ff_f (pow, 0.0, 4, 0.0);
  3062. /* pow (-0, y) == +0 for y > 0 and not an odd integer. */
  3063. TEST_ff_f (pow, minus_zero, 4, 0.0);
  3064. TEST_ff_f (pow, 16, 0.25L, 2);
  3065. TEST_ff_f (pow, 0x1p64L, 0.125L, 256);
  3066. TEST_ff_f (pow, 2, 4, 16);
  3067. TEST_ff_f (pow, 256, 8, 0x1p64L);
  3068. TEST_ff_f (pow, 0.75L, 1.25L, 0.697953644326574699205914060237425566L);
  3069. #if defined TEST_DOUBLE || defined TEST_LDOUBLE
  3070. TEST_ff_f (pow, -7.49321e+133, -9.80818e+16, 0);
  3071. #endif
  3072. END (pow);
  3073. }
  3074. static void
  3075. remainder_test (void)
  3076. {
  3077. errno = 0;
  3078. FUNC(remainder) (1.625, 1.0);
  3079. if (errno == ENOSYS)
  3080. /* Function not implemented. */
  3081. return;
  3082. START (remainder);
  3083. TEST_ff_f (remainder, 1, 0, nan_value, INVALID_EXCEPTION);
  3084. TEST_ff_f (remainder, 1, minus_zero, nan_value, INVALID_EXCEPTION);
  3085. TEST_ff_f (remainder, plus_infty, 1, nan_value, INVALID_EXCEPTION);
  3086. TEST_ff_f (remainder, minus_infty, 1, nan_value, INVALID_EXCEPTION);
  3087. TEST_ff_f (remainder, nan_value, nan_value, nan_value);
  3088. TEST_ff_f (remainder, 1.625, 1.0, -0.375);
  3089. TEST_ff_f (remainder, -1.625, 1.0, 0.375);
  3090. TEST_ff_f (remainder, 1.625, -1.0, -0.375);
  3091. TEST_ff_f (remainder, -1.625, -1.0, 0.375);
  3092. TEST_ff_f (remainder, 5.0, 2.0, 1.0);
  3093. TEST_ff_f (remainder, 3.0, 2.0, -1.0);
  3094. END (remainder);
  3095. }
  3096. static void
  3097. remquo_test (void)
  3098. {
  3099. /* x is needed. */
  3100. int x;
  3101. errno = 0;
  3102. FUNC(remquo) (1.625, 1.0, &x);
  3103. if (errno == ENOSYS)
  3104. /* Function not implemented. */
  3105. return;
  3106. START (remquo);
  3107. TEST_ffI_f1 (remquo, 1, 0, nan_value, IGNORE, INVALID_EXCEPTION);
  3108. TEST_ffI_f1 (remquo, 1, minus_zero, nan_value, IGNORE, INVALID_EXCEPTION);
  3109. TEST_ffI_f1 (remquo, plus_infty, 1, nan_value, IGNORE, INVALID_EXCEPTION);
  3110. TEST_ffI_f1 (remquo, minus_infty, 1, nan_value, IGNORE, INVALID_EXCEPTION);
  3111. TEST_ffI_f1 (remquo, nan_value, nan_value, nan_value, IGNORE);
  3112. TEST_ffI_f1 (remquo, 1.625, 1.0, -0.375, 2);
  3113. TEST_ffI_f1 (remquo, -1.625, 1.0, 0.375, -2);
  3114. TEST_ffI_f1 (remquo, 1.625, -1.0, -0.375, -2);
  3115. TEST_ffI_f1 (remquo, -1.625, -1.0, 0.375, 2);
  3116. TEST_ffI_f1 (remquo, 5, 2, 1, 2);
  3117. TEST_ffI_f1 (remquo, 3, 2, -1, 2);
  3118. END (remquo);
  3119. }
  3120. static void
  3121. rint_test (void)
  3122. {
  3123. START (rint);
  3124. TEST_f_f (rint, 0.0, 0.0);
  3125. TEST_f_f (rint, minus_zero, minus_zero);
  3126. TEST_f_f (rint, plus_infty, plus_infty);
  3127. TEST_f_f (rint, minus_infty, minus_infty);
  3128. /* Default rounding mode is round to even. */
  3129. TEST_f_f (rint, 0.5, 0.0);
  3130. TEST_f_f (rint, 1.5, 2.0);
  3131. TEST_f_f (rint, 2.5, 2.0);
  3132. TEST_f_f (rint, 3.5, 4.0);
  3133. TEST_f_f (rint, 4.5, 4.0);
  3134. TEST_f_f (rint, -0.5, -0.0);
  3135. TEST_f_f (rint, -1.5, -2.0);
  3136. TEST_f_f (rint, -2.5, -2.0);
  3137. TEST_f_f (rint, -3.5, -4.0);
  3138. TEST_f_f (rint, -4.5, -4.0);
  3139. #ifdef TEST_LDOUBLE
  3140. /* The result can only be represented in long double. */
  3141. TEST_f_f (rint, 4503599627370495.5L, 4503599627370496.0L);
  3142. TEST_f_f (rint, 4503599627370496.25L, 4503599627370496.0L);
  3143. TEST_f_f (rint, 4503599627370496.5L, 4503599627370496.0L);
  3144. TEST_f_f (rint, 4503599627370496.75L, 4503599627370497.0L);
  3145. TEST_f_f (rint, 4503599627370497.5L, 4503599627370498.0L);
  3146. TEST_f_f (rint, -4503599627370495.5L, -4503599627370496.0L);
  3147. TEST_f_f (rint, -4503599627370496.25L, -4503599627370496.0L);
  3148. TEST_f_f (rint, -4503599627370496.5L, -4503599627370496.0L);
  3149. TEST_f_f (rint, -4503599627370496.75L, -4503599627370497.0L);
  3150. TEST_f_f (rint, -4503599627370497.5L, -4503599627370498.0L);
  3151. TEST_f_f (rint, 9007199254740991.5L, 9007199254740992.0L);
  3152. TEST_f_f (rint, 9007199254740992.25L, 9007199254740992.0L);
  3153. TEST_f_f (rint, 9007199254740992.5L, 9007199254740992.0L);
  3154. TEST_f_f (rint, 9007199254740992.75L, 9007199254740993.0L);
  3155. TEST_f_f (rint, 9007199254740993.5L, 9007199254740994.0L);
  3156. TEST_f_f (rint, -9007199254740991.5L, -9007199254740992.0L);
  3157. TEST_f_f (rint, -9007199254740992.25L, -9007199254740992.0L);
  3158. TEST_f_f (rint, -9007199254740992.5L, -9007199254740992.0L);
  3159. TEST_f_f (rint, -9007199254740992.75L, -9007199254740993.0L);
  3160. TEST_f_f (rint, -9007199254740993.5L, -9007199254740994.0L);
  3161. TEST_f_f (rint, 72057594037927935.5L, 72057594037927936.0L);
  3162. TEST_f_f (rint, 72057594037927936.25L, 72057594037927936.0L);
  3163. TEST_f_f (rint, 72057594037927936.5L, 72057594037927936.0L);
  3164. TEST_f_f (rint, 72057594037927936.75L, 72057594037927937.0L);
  3165. TEST_f_f (rint, 72057594037927937.5L, 72057594037927938.0L);
  3166. TEST_f_f (rint, -72057594037927935.5L, -72057594037927936.0L);
  3167. TEST_f_f (rint, -72057594037927936.25L, -72057594037927936.0L);
  3168. TEST_f_f (rint, -72057594037927936.5L, -72057594037927936.0L);
  3169. TEST_f_f (rint, -72057594037927936.75L, -72057594037927937.0L);
  3170. TEST_f_f (rint, -72057594037927937.5L, -72057594037927938.0L);
  3171. TEST_f_f (rint, 10141204801825835211973625643007.5L, 10141204801825835211973625643008.0L);
  3172. TEST_f_f (rint, 10141204801825835211973625643008.25L, 10141204801825835211973625643008.0L);
  3173. TEST_f_f (rint, 10141204801825835211973625643008.5L, 10141204801825835211973625643008.0L);
  3174. TEST_f_f (rint, 10141204801825835211973625643008.75L, 10141204801825835211973625643009.0L);
  3175. TEST_f_f (rint, 10141204801825835211973625643009.5L, 10141204801825835211973625643010.0L);
  3176. #endif
  3177. END (rint);
  3178. }
  3179. #if 0
  3180. static void
  3181. rint_test_tonearest (void)
  3182. {
  3183. int save_round_mode;
  3184. START (rint_tonearest);
  3185. save_round_mode = fegetround();
  3186. if (!fesetround (FE_TONEAREST))
  3187. {
  3188. TEST_f_f (rint, 2.0, 2.0);
  3189. TEST_f_f (rint, 1.5, 2.0);
  3190. TEST_f_f (rint, 1.0, 1.0);
  3191. TEST_f_f (rint, 0.5, 0.0);
  3192. TEST_f_f (rint, 0.0, 0.0);
  3193. TEST_f_f (rint, minus_zero, minus_zero);
  3194. TEST_f_f (rint, -0.5, -0.0);
  3195. TEST_f_f (rint, -1.0, -1.0);
  3196. TEST_f_f (rint, -1.5, -2.0);
  3197. TEST_f_f (rint, -2.0, -2.0);
  3198. }
  3199. fesetround(save_round_mode);
  3200. END (rint_tonearest);
  3201. }
  3202. static void
  3203. rint_test_towardzero (void)
  3204. {
  3205. int save_round_mode;
  3206. START (rint_towardzero);
  3207. save_round_mode = fegetround();
  3208. if (!fesetround (FE_TOWARDZERO))
  3209. {
  3210. TEST_f_f (rint, 2.0, 2.0);
  3211. TEST_f_f (rint, 1.5, 1.0);
  3212. TEST_f_f (rint, 1.0, 1.0);
  3213. TEST_f_f (rint, 0.5, 0.0);
  3214. TEST_f_f (rint, 0.0, 0.0);
  3215. TEST_f_f (rint, minus_zero, minus_zero);
  3216. TEST_f_f (rint, -0.5, -0.0);
  3217. TEST_f_f (rint, -1.0, -1.0);
  3218. TEST_f_f (rint, -1.5, -1.0);
  3219. TEST_f_f (rint, -2.0, -2.0);
  3220. }
  3221. fesetround(save_round_mode);
  3222. END (rint_towardzero);
  3223. }
  3224. static void
  3225. rint_test_downward (void)
  3226. {
  3227. int save_round_mode;
  3228. START (rint_downward);
  3229. save_round_mode = fegetround();
  3230. if (!fesetround (FE_DOWNWARD))
  3231. {
  3232. TEST_f_f (rint, 2.0, 2.0);
  3233. TEST_f_f (rint, 1.5, 1.0);
  3234. TEST_f_f (rint, 1.0, 1.0);
  3235. TEST_f_f (rint, 0.5, 0.0);
  3236. TEST_f_f (rint, 0.0, 0.0);
  3237. TEST_f_f (rint, minus_zero, minus_zero);
  3238. TEST_f_f (rint, -0.5, -1.0);
  3239. TEST_f_f (rint, -1.0, -1.0);
  3240. TEST_f_f (rint, -1.5, -2.0);
  3241. TEST_f_f (rint, -2.0, -2.0);
  3242. }
  3243. fesetround(save_round_mode);
  3244. END (rint_downward);
  3245. }
  3246. static void
  3247. rint_test_upward (void)
  3248. {
  3249. int save_round_mode;
  3250. START (rint_upward);
  3251. save_round_mode = fegetround();
  3252. if (!fesetround (FE_UPWARD))
  3253. {
  3254. TEST_f_f (rint, 2.0, 2.0);
  3255. TEST_f_f (rint, 1.5, 2.0);
  3256. TEST_f_f (rint, 1.0, 1.0);
  3257. TEST_f_f (rint, 0.5, 1.0);
  3258. TEST_f_f (rint, 0.0, 0.0);
  3259. TEST_f_f (rint, minus_zero, minus_zero);
  3260. TEST_f_f (rint, -0.5, -0.0);
  3261. TEST_f_f (rint, -1.0, -1.0);
  3262. TEST_f_f (rint, -1.5, -1.0);
  3263. TEST_f_f (rint, -2.0, -2.0);
  3264. }
  3265. fesetround(save_round_mode);
  3266. END (rint_upward);
  3267. }
  3268. static void
  3269. round_test (void)
  3270. {
  3271. START (round);
  3272. TEST_f_f (round, 0, 0);
  3273. TEST_f_f (round, minus_zero, minus_zero);
  3274. TEST_f_f (round, 0.2L, 0.0);
  3275. TEST_f_f (round, -0.2L, minus_zero);
  3276. TEST_f_f (round, 0.5, 1.0);
  3277. TEST_f_f (round, -0.5, -1.0);
  3278. TEST_f_f (round, 0.8L, 1.0);
  3279. TEST_f_f (round, -0.8L, -1.0);
  3280. TEST_f_f (round, 1.5, 2.0);
  3281. TEST_f_f (round, -1.5, -2.0);
  3282. TEST_f_f (round, 2097152.5, 2097153);
  3283. TEST_f_f (round, -2097152.5, -2097153);
  3284. #ifdef TEST_LDOUBLE
  3285. /* The result can only be represented in long double. */
  3286. TEST_f_f (round, 4503599627370495.5L, 4503599627370496.0L);
  3287. TEST_f_f (round, 4503599627370496.25L, 4503599627370496.0L);
  3288. TEST_f_f (round, 4503599627370496.5L, 4503599627370497.0L);
  3289. TEST_f_f (round, 4503599627370496.75L, 4503599627370497.0L);
  3290. TEST_f_f (round, 4503599627370497.5L, 4503599627370498.0L);
  3291. TEST_f_f (round, -4503599627370495.5L, -4503599627370496.0L);
  3292. TEST_f_f (round, -4503599627370496.25L, -4503599627370496.0L);
  3293. TEST_f_f (round, -4503599627370496.5L, -4503599627370497.0L);
  3294. TEST_f_f (round, -4503599627370496.75L, -4503599627370497.0L);
  3295. TEST_f_f (round, -4503599627370497.5L, -4503599627370498.0L);
  3296. TEST_f_f (round, 9007199254740991.5L, 9007199254740992.0L);
  3297. TEST_f_f (round, 9007199254740992.25L, 9007199254740992.0L);
  3298. TEST_f_f (round, 9007199254740992.5L, 9007199254740993.0L);
  3299. TEST_f_f (round, 9007199254740992.75L, 9007199254740993.0L);
  3300. TEST_f_f (round, 9007199254740993.5L, 9007199254740994.0L);
  3301. TEST_f_f (round, -9007199254740991.5L, -9007199254740992.0L);
  3302. TEST_f_f (round, -9007199254740992.25L, -9007199254740992.0L);
  3303. TEST_f_f (round, -9007199254740992.5L, -9007199254740993.0L);
  3304. TEST_f_f (round, -9007199254740992.75L, -9007199254740993.0L);
  3305. TEST_f_f (round, -9007199254740993.5L, -9007199254740994.0L);
  3306. TEST_f_f (round, 72057594037927935.5L, 72057594037927936.0L);
  3307. TEST_f_f (round, 72057594037927936.25L, 72057594037927936.0L);
  3308. TEST_f_f (round, 72057594037927936.5L, 72057594037927937.0L);
  3309. TEST_f_f (round, 72057594037927936.75L, 72057594037927937.0L);
  3310. TEST_f_f (round, 72057594037927937.5L, 72057594037927938.0L);
  3311. TEST_f_f (round, -72057594037927935.5L, -72057594037927936.0L);
  3312. TEST_f_f (round, -72057594037927936.25L, -72057594037927936.0L);
  3313. TEST_f_f (round, -72057594037927936.5L, -72057594037927937.0L);
  3314. TEST_f_f (round, -72057594037927936.75L, -72057594037927937.0L);
  3315. TEST_f_f (round, -72057594037927937.5L, -72057594037927938.0L);
  3316. TEST_f_f (round, 10141204801825835211973625643007.5L, 10141204801825835211973625643008.0L);
  3317. TEST_f_f (round, 10141204801825835211973625643008.25L, 10141204801825835211973625643008.0L);
  3318. TEST_f_f (round, 10141204801825835211973625643008.5L, 10141204801825835211973625643009.0L);
  3319. TEST_f_f (round, 10141204801825835211973625643008.75L, 10141204801825835211973625643009.0L);
  3320. TEST_f_f (round, 10141204801825835211973625643009.5L, 10141204801825835211973625643010.0L);
  3321. #endif
  3322. END (round);
  3323. }
  3324. #endif
  3325. #ifdef __UCLIBC_SUSV3_LEGACY__
  3326. static void
  3327. scalb_test (void)
  3328. {
  3329. START (scalb);
  3330. #ifndef TEST_LDOUBLE /* uclibc doesn't have scalbl */
  3331. TEST_ff_f (scalb, 2.0, 0.5, nan_value, INVALID_EXCEPTION);
  3332. TEST_ff_f (scalb, 3.0, -2.5, nan_value, INVALID_EXCEPTION);
  3333. TEST_ff_f (scalb, 0, nan_value, nan_value);
  3334. TEST_ff_f (scalb, 1, nan_value, nan_value);
  3335. TEST_ff_f (scalb, 1, 0, 1);
  3336. TEST_ff_f (scalb, -1, 0, -1);
  3337. TEST_ff_f (scalb, 0, plus_infty, nan_value, INVALID_EXCEPTION);
  3338. TEST_ff_f (scalb, minus_zero, plus_infty, nan_value, INVALID_EXCEPTION);
  3339. TEST_ff_f (scalb, 0, 2, 0);
  3340. TEST_ff_f (scalb, minus_zero, -4, minus_zero);
  3341. TEST_ff_f (scalb, 0, 0, 0);
  3342. TEST_ff_f (scalb, minus_zero, 0, minus_zero);
  3343. TEST_ff_f (scalb, 0, -1, 0);
  3344. TEST_ff_f (scalb, minus_zero, -10, minus_zero);
  3345. TEST_ff_f (scalb, 0, minus_infty, 0);
  3346. TEST_ff_f (scalb, minus_zero, minus_infty, minus_zero);
  3347. TEST_ff_f (scalb, plus_infty, -1, plus_infty);
  3348. TEST_ff_f (scalb, minus_infty, -10, minus_infty);
  3349. TEST_ff_f (scalb, plus_infty, 0, plus_infty);
  3350. TEST_ff_f (scalb, minus_infty, 0, minus_infty);
  3351. TEST_ff_f (scalb, plus_infty, 2, plus_infty);
  3352. TEST_ff_f (scalb, minus_infty, 100, minus_infty);
  3353. TEST_ff_f (scalb, 0.1L, minus_infty, 0.0);
  3354. TEST_ff_f (scalb, -0.1L, minus_infty, minus_zero);
  3355. TEST_ff_f (scalb, 1, plus_infty, plus_infty);
  3356. TEST_ff_f (scalb, -1, plus_infty, minus_infty);
  3357. TEST_ff_f (scalb, plus_infty, plus_infty, plus_infty);
  3358. TEST_ff_f (scalb, minus_infty, plus_infty, minus_infty);
  3359. TEST_ff_f (scalb, plus_infty, minus_infty, nan_value, INVALID_EXCEPTION);
  3360. TEST_ff_f (scalb, minus_infty, minus_infty, nan_value, INVALID_EXCEPTION);
  3361. TEST_ff_f (scalb, nan_value, 1, nan_value);
  3362. TEST_ff_f (scalb, 1, nan_value, nan_value);
  3363. TEST_ff_f (scalb, nan_value, 0, nan_value);
  3364. TEST_ff_f (scalb, 0, nan_value, nan_value);
  3365. TEST_ff_f (scalb, nan_value, plus_infty, nan_value);
  3366. TEST_ff_f (scalb, plus_infty, nan_value, nan_value);
  3367. TEST_ff_f (scalb, nan_value, nan_value, nan_value);
  3368. TEST_ff_f (scalb, 0.8L, 4, 12.8L);
  3369. TEST_ff_f (scalb, -0.854375L, 5, -27.34L);
  3370. #endif /* TEST_LDOUBLE */
  3371. END (scalb);
  3372. }
  3373. #endif
  3374. static void
  3375. scalbn_test (void)
  3376. {
  3377. START (scalbn);
  3378. TEST_fi_f (scalbn, 0, 0, 0);
  3379. TEST_fi_f (scalbn, minus_zero, 0, minus_zero);
  3380. TEST_fi_f (scalbn, plus_infty, 1, plus_infty);
  3381. TEST_fi_f (scalbn, minus_infty, 1, minus_infty);
  3382. TEST_fi_f (scalbn, nan_value, 1, nan_value);
  3383. TEST_fi_f (scalbn, 0.8L, 4, 12.8L);
  3384. TEST_fi_f (scalbn, -0.854375L, 5, -27.34L);
  3385. TEST_fi_f (scalbn, 1, 0L, 1);
  3386. END (scalbn);
  3387. }
  3388. static void
  3389. scalbln_test (void)
  3390. {
  3391. START (scalbln);
  3392. TEST_fl_f (scalbln, 0, 0, 0);
  3393. TEST_fl_f (scalbln, minus_zero, 0, minus_zero);
  3394. TEST_fl_f (scalbln, plus_infty, 1, plus_infty);
  3395. TEST_fl_f (scalbln, minus_infty, 1, minus_infty);
  3396. TEST_fl_f (scalbln, nan_value, 1, nan_value);
  3397. TEST_fl_f (scalbln, 0.8L, 4, 12.8L);
  3398. TEST_fl_f (scalbln, -0.854375L, 5, -27.34L);
  3399. TEST_fl_f (scalbln, 1, 0L, 1);
  3400. END (scalbn);
  3401. }
  3402. static void
  3403. signbit_test (void)
  3404. {
  3405. START (signbit);
  3406. TEST_f_b (signbit, 0, 0);
  3407. TEST_f_b (signbit, minus_zero, 1);
  3408. TEST_f_b (signbit, plus_infty, 0);
  3409. TEST_f_b (signbit, minus_infty, 1);
  3410. /* signbit (x) != 0 for x < 0. */
  3411. TEST_f_b (signbit, -1, 1);
  3412. /* signbit (x) == 0 for x >= 0. */
  3413. TEST_f_b (signbit, 1, 0);
  3414. END (signbit);
  3415. }
  3416. static void
  3417. sin_test (void)
  3418. {
  3419. errno = 0;
  3420. FUNC(sin) (0);
  3421. if (errno == ENOSYS)
  3422. /* Function not implemented. */
  3423. return;
  3424. START (sin);
  3425. TEST_f_f (sin, 0, 0);
  3426. TEST_f_f (sin, minus_zero, minus_zero);
  3427. TEST_f_f (sin, plus_infty, nan_value, INVALID_EXCEPTION);
  3428. TEST_f_f (sin, minus_infty, nan_value, INVALID_EXCEPTION);
  3429. TEST_f_f (sin, nan_value, nan_value);
  3430. TEST_f_f (sin, M_PI_6l, 0.5);
  3431. TEST_f_f (sin, -M_PI_6l, -0.5);
  3432. TEST_f_f (sin, M_PI_2l, 1);
  3433. TEST_f_f (sin, -M_PI_2l, -1);
  3434. TEST_f_f (sin, 0.75L, 0.681638760023334166733241952779893935L);
  3435. #ifdef TEST_DOUBLE
  3436. TEST_f_f (sin, 0.80190127184058835, 0.71867942238767868);
  3437. #endif
  3438. END (sin);
  3439. }
  3440. #if 0
  3441. static void
  3442. sincos_test (void)
  3443. {
  3444. FLOAT sin_res, cos_res;
  3445. errno = 0;
  3446. FUNC(sincos) (0, &sin_res, &cos_res);
  3447. if (errno == ENOSYS)
  3448. /* Function not implemented. */
  3449. return;
  3450. START (sincos);
  3451. /* sincos is treated differently because it returns void. */
  3452. TEST_extra (sincos, 0, 0, 1);
  3453. TEST_extra (sincos, minus_zero, minus_zero, 1);
  3454. TEST_extra (sincos, plus_infty, nan_value, nan_value, INVALID_EXCEPTION);
  3455. TEST_extra (sincos, minus_infty, nan_value, nan_value, INVALID_EXCEPTION);
  3456. TEST_extra (sincos, nan_value, nan_value, nan_value);
  3457. TEST_extra (sincos, M_PI_2l, 1, 0);
  3458. TEST_extra (sincos, M_PI_6l, 0.5, 0.86602540378443864676372317075293616L);
  3459. TEST_extra (sincos, M_PI_6l*2.0, 0.86602540378443864676372317075293616L, 0.5);
  3460. TEST_extra (sincos, 0.75L, 0.681638760023334166733241952779893935L, 0.731688868873820886311838753000084544L);
  3461. #ifdef TEST_DOUBLE
  3462. TEST_extra (sincos, 0.80190127184058835, 0.71867942238767868, 0.69534156199418473);
  3463. #endif
  3464. END (sincos);
  3465. }
  3466. #endif
  3467. static void
  3468. sinh_test (void)
  3469. {
  3470. errno = 0;
  3471. FUNC(sinh) (0.7L);
  3472. if (errno == ENOSYS)
  3473. /* Function not implemented. */
  3474. return;
  3475. START (sinh);
  3476. TEST_f_f (sinh, 0, 0);
  3477. TEST_f_f (sinh, minus_zero, minus_zero);
  3478. #ifndef TEST_INLINE
  3479. TEST_f_f (sinh, plus_infty, plus_infty);
  3480. TEST_f_f (sinh, minus_infty, minus_infty);
  3481. #endif
  3482. TEST_f_f (sinh, nan_value, nan_value);
  3483. TEST_f_f (sinh, 0.75L, 0.822316731935829980703661634446913849L);
  3484. TEST_f_f (sinh, 0x8p-32L, 1.86264514923095703232705808926175479e-9L);
  3485. END (sinh);
  3486. }
  3487. static void
  3488. sqrt_test (void)
  3489. {
  3490. errno = 0;
  3491. FUNC(sqrt) (1);
  3492. if (errno == ENOSYS)
  3493. /* Function not implemented. */
  3494. return;
  3495. START (sqrt);
  3496. TEST_f_f (sqrt, 0, 0);
  3497. TEST_f_f (sqrt, nan_value, nan_value);
  3498. TEST_f_f (sqrt, plus_infty, plus_infty);
  3499. TEST_f_f (sqrt, minus_zero, minus_zero);
  3500. /* sqrt (x) == NaN plus invalid exception for x < 0. */
  3501. TEST_f_f (sqrt, -1, nan_value, INVALID_EXCEPTION);
  3502. TEST_f_f (sqrt, minus_infty, nan_value, INVALID_EXCEPTION);
  3503. TEST_f_f (sqrt, nan_value, nan_value);
  3504. TEST_f_f (sqrt, 2209, 47);
  3505. TEST_f_f (sqrt, 4, 2);
  3506. TEST_f_f (sqrt, 2, M_SQRT2l);
  3507. TEST_f_f (sqrt, 0.25, 0.5);
  3508. TEST_f_f (sqrt, 6642.25, 81.5);
  3509. TEST_f_f (sqrt, 15190.5625L, 123.25L);
  3510. TEST_f_f (sqrt, 0.75L, 0.866025403784438646763723170752936183L);
  3511. END (sqrt);
  3512. }
  3513. static void
  3514. tan_test (void)
  3515. {
  3516. errno = 0;
  3517. FUNC(tan) (0);
  3518. if (errno == ENOSYS)
  3519. /* Function not implemented. */
  3520. return;
  3521. START (tan);
  3522. TEST_f_f (tan, 0, 0);
  3523. TEST_f_f (tan, minus_zero, minus_zero);
  3524. TEST_f_f (tan, plus_infty, nan_value, INVALID_EXCEPTION);
  3525. TEST_f_f (tan, minus_infty, nan_value, INVALID_EXCEPTION);
  3526. TEST_f_f (tan, nan_value, nan_value);
  3527. TEST_f_f (tan, M_PI_4l, 1);
  3528. TEST_f_f (tan, 0.75L, 0.931596459944072461165202756573936428L);
  3529. END (tan);
  3530. }
  3531. static void
  3532. tanh_test (void)
  3533. {
  3534. errno = 0;
  3535. FUNC(tanh) (0.7L);
  3536. if (errno == ENOSYS)
  3537. /* Function not implemented. */
  3538. return;
  3539. START (tanh);
  3540. TEST_f_f (tanh, 0, 0);
  3541. /* vda: uclibc: added IGNORE_ZERO_INF_SIGN to treat -0 as ok */
  3542. TEST_f_f (tanh, minus_zero, minus_zero, IGNORE_ZERO_INF_SIGN);
  3543. #ifndef TEST_INLINE
  3544. TEST_f_f (tanh, plus_infty, 1);
  3545. TEST_f_f (tanh, minus_infty, -1);
  3546. #endif
  3547. TEST_f_f (tanh, nan_value, nan_value);
  3548. TEST_f_f (tanh, 0.75L, 0.635148952387287319214434357312496495L);
  3549. TEST_f_f (tanh, -0.75L, -0.635148952387287319214434357312496495L);
  3550. TEST_f_f (tanh, 1.0L, 0.7615941559557648881194582826047935904L);
  3551. TEST_f_f (tanh, -1.0L, -0.7615941559557648881194582826047935904L);
  3552. /* 2^-57 */
  3553. TEST_f_f (tanh, 0x1p-57L, 6.938893903907228377647697925567626953125e-18L);
  3554. END (tanh);
  3555. }
  3556. static void
  3557. tgamma_test (void)
  3558. {
  3559. errno = 0;
  3560. FUNC(tgamma) (1);
  3561. if (errno == ENOSYS)
  3562. /* Function not implemented. */
  3563. return;
  3564. feclearexcept (FE_ALL_EXCEPT);
  3565. START (tgamma);
  3566. TEST_f_f (tgamma, plus_infty, plus_infty);
  3567. TEST_f_f (tgamma, 0, plus_infty, DIVIDE_BY_ZERO_EXCEPTION);
  3568. TEST_f_f (tgamma, minus_zero, minus_infty, DIVIDE_BY_ZERO_EXCEPTION);
  3569. /* tgamma (x) == NaN plus invalid exception for integer x <= 0. */
  3570. TEST_f_f (tgamma, -2, nan_value, INVALID_EXCEPTION);
  3571. TEST_f_f (tgamma, minus_infty, nan_value, INVALID_EXCEPTION);
  3572. TEST_f_f (tgamma, nan_value, nan_value);
  3573. TEST_f_f (tgamma, 0.5, M_SQRT_PIl);
  3574. TEST_f_f (tgamma, -0.5, -M_2_SQRT_PIl);
  3575. TEST_f_f (tgamma, 1, 1);
  3576. TEST_f_f (tgamma, 4, 6);
  3577. TEST_f_f (tgamma, 0.7L, 1.29805533264755778568117117915281162L);
  3578. TEST_f_f (tgamma, 1.2L, 0.918168742399760610640951655185830401L);
  3579. END (tgamma);
  3580. }
  3581. #if 0
  3582. static void
  3583. trunc_test (void)
  3584. {
  3585. START (trunc);
  3586. TEST_f_f (trunc, plus_infty, plus_infty);
  3587. TEST_f_f (trunc, minus_infty, minus_infty);
  3588. TEST_f_f (trunc, nan_value, nan_value);
  3589. TEST_f_f (trunc, 0, 0);
  3590. TEST_f_f (trunc, minus_zero, minus_zero);
  3591. TEST_f_f (trunc, 0.625, 0);
  3592. TEST_f_f (trunc, -0.625, minus_zero);
  3593. TEST_f_f (trunc, 1, 1);
  3594. TEST_f_f (trunc, -1, -1);
  3595. TEST_f_f (trunc, 1.625, 1);
  3596. TEST_f_f (trunc, -1.625, -1);
  3597. TEST_f_f (trunc, 1048580.625L, 1048580L);
  3598. TEST_f_f (trunc, -1048580.625L, -1048580L);
  3599. TEST_f_f (trunc, 8388610.125L, 8388610.0L);
  3600. TEST_f_f (trunc, -8388610.125L, -8388610.0L);
  3601. TEST_f_f (trunc, 4294967296.625L, 4294967296.0L);
  3602. TEST_f_f (trunc, -4294967296.625L, -4294967296.0L);
  3603. #ifdef TEST_LDOUBLE
  3604. /* The result can only be represented in long double. */
  3605. TEST_f_f (trunc, 4503599627370495.5L, 4503599627370495.0L);
  3606. TEST_f_f (trunc, 4503599627370496.25L, 4503599627370496.0L);
  3607. TEST_f_f (trunc, 4503599627370496.5L, 4503599627370496.0L);
  3608. TEST_f_f (trunc, 4503599627370496.75L, 4503599627370496.0L);
  3609. TEST_f_f (trunc, 4503599627370497.5L, 4503599627370497.0L);
  3610. TEST_f_f (trunc, -4503599627370495.5L, -4503599627370495.0L);
  3611. TEST_f_f (trunc, -4503599627370496.25L, -4503599627370496.0L);
  3612. TEST_f_f (trunc, -4503599627370496.5L, -4503599627370496.0L);
  3613. TEST_f_f (trunc, -4503599627370496.75L, -4503599627370496.0L);
  3614. TEST_f_f (trunc, -4503599627370497.5L, -4503599627370497.0L);
  3615. TEST_f_f (trunc, 9007199254740991.5L, 9007199254740991.0L);
  3616. TEST_f_f (trunc, 9007199254740992.25L, 9007199254740992.0L);
  3617. TEST_f_f (trunc, 9007199254740992.5L, 9007199254740992.0L);
  3618. TEST_f_f (trunc, 9007199254740992.75L, 9007199254740992.0L);
  3619. TEST_f_f (trunc, 9007199254740993.5L, 9007199254740993.0L);
  3620. TEST_f_f (trunc, -9007199254740991.5L, -9007199254740991.0L);
  3621. TEST_f_f (trunc, -9007199254740992.25L, -9007199254740992.0L);
  3622. TEST_f_f (trunc, -9007199254740992.5L, -9007199254740992.0L);
  3623. TEST_f_f (trunc, -9007199254740992.75L, -9007199254740992.0L);
  3624. TEST_f_f (trunc, -9007199254740993.5L, -9007199254740993.0L);
  3625. TEST_f_f (trunc, 72057594037927935.5L, 72057594037927935.0L);
  3626. TEST_f_f (trunc, 72057594037927936.25L, 72057594037927936.0L);
  3627. TEST_f_f (trunc, 72057594037927936.5L, 72057594037927936.0L);
  3628. TEST_f_f (trunc, 72057594037927936.75L, 72057594037927936.0L);
  3629. TEST_f_f (trunc, 72057594037927937.5L, 72057594037927937.0L);
  3630. TEST_f_f (trunc, -72057594037927935.5L, -72057594037927935.0L);
  3631. TEST_f_f (trunc, -72057594037927936.25L, -72057594037927936.0L);
  3632. TEST_f_f (trunc, -72057594037927936.5L, -72057594037927936.0L);
  3633. TEST_f_f (trunc, -72057594037927936.75L, -72057594037927936.0L);
  3634. TEST_f_f (trunc, -72057594037927937.5L, -72057594037927937.0L);
  3635. TEST_f_f (trunc, 10141204801825835211973625643007.5L, 10141204801825835211973625643007.0L);
  3636. TEST_f_f (trunc, 10141204801825835211973625643008.25L, 10141204801825835211973625643008.0L);
  3637. TEST_f_f (trunc, 10141204801825835211973625643008.5L, 10141204801825835211973625643008.0L);
  3638. TEST_f_f (trunc, 10141204801825835211973625643008.75L, 10141204801825835211973625643008.0L);
  3639. TEST_f_f (trunc, 10141204801825835211973625643009.5L, 10141204801825835211973625643009.0L);
  3640. #endif
  3641. END (trunc);
  3642. }
  3643. #endif
  3644. #if defined __DO_XSI_MATH__ && !(defined TEST_LDOUBLE || defined TEST_FLOAT)
  3645. static void
  3646. y0_test (void)
  3647. {
  3648. errno = 0;
  3649. #if 0
  3650. FLOAT s, c;
  3651. FUNC (sincos) (0, &s, &c);
  3652. if (errno == ENOSYS)
  3653. /* Required function not implemented. */
  3654. return;
  3655. #endif
  3656. FUNC(y0) (1);
  3657. if (errno == ENOSYS)
  3658. /* Function not implemented. */
  3659. return;
  3660. /* y0 is the Bessel function of the second kind of order 0 */
  3661. START (y0);
  3662. TEST_f_f (y0, -1.0, minus_infty, INVALID_EXCEPTION);
  3663. TEST_f_f (y0, 0.0, minus_infty);
  3664. TEST_f_f (y0, nan_value, nan_value);
  3665. TEST_f_f (y0, plus_infty, 0);
  3666. TEST_f_f (y0, 0.125L, -1.38968062514384052915582277745018693L);
  3667. TEST_f_f (y0, 0.75L, -0.137172769385772397522814379396581855L);
  3668. TEST_f_f (y0, 1.0, 0.0882569642156769579829267660235151628L);
  3669. TEST_f_f (y0, 1.5, 0.382448923797758843955068554978089862L);
  3670. TEST_f_f (y0, 2.0, 0.510375672649745119596606592727157873L);
  3671. TEST_f_f (y0, 8.0, 0.223521489387566220527323400498620359L);
  3672. TEST_f_f (y0, 10.0, 0.0556711672835993914244598774101900481L);
  3673. END (y0);
  3674. }
  3675. static void
  3676. y1_test (void)
  3677. {
  3678. errno = 0;
  3679. #if 0
  3680. FLOAT s, c;
  3681. FUNC (sincos) (0, &s, &c);
  3682. if (errno == ENOSYS)
  3683. /* Required function not implemented. */
  3684. return;
  3685. #endif
  3686. FUNC(y1) (1);
  3687. if (errno == ENOSYS)
  3688. /* Function not implemented. */
  3689. return;
  3690. /* y1 is the Bessel function of the second kind of order 1 */
  3691. START (y1);
  3692. TEST_f_f (y1, -1.0, minus_infty, INVALID_EXCEPTION);
  3693. TEST_f_f (y1, 0.0, minus_infty);
  3694. TEST_f_f (y1, plus_infty, 0);
  3695. TEST_f_f (y1, nan_value, nan_value);
  3696. TEST_f_f (y1, 0.125L, -5.19993611253477499595928744876579921L);
  3697. TEST_f_f (y1, 0.75L, -1.03759455076928541973767132140642198L);
  3698. TEST_f_f (y1, 1.0, -0.781212821300288716547150000047964821L);
  3699. TEST_f_f (y1, 1.5, -0.412308626973911295952829820633445323L);
  3700. TEST_f_f (y1, 2.0, -0.107032431540937546888370772277476637L);
  3701. TEST_f_f (y1, 8.0, -0.158060461731247494255555266187483550L);
  3702. TEST_f_f (y1, 10.0, 0.249015424206953883923283474663222803L);
  3703. END (y1);
  3704. }
  3705. static void
  3706. yn_test (void)
  3707. {
  3708. errno = 0;
  3709. #if 0
  3710. FLOAT s, c;
  3711. FUNC (sincos) (0, &s, &c);
  3712. if (errno == ENOSYS)
  3713. /* Required function not implemented. */
  3714. return;
  3715. #endif
  3716. FUNC(yn) (1, 1);
  3717. if (errno == ENOSYS)
  3718. /* Function not implemented. */
  3719. return;
  3720. /* yn is the Bessel function of the second kind of order n */
  3721. START (yn);
  3722. /* yn (0, x) == y0 (x) */
  3723. TEST_ff_f (yn, 0, -1.0, minus_infty, INVALID_EXCEPTION);
  3724. TEST_ff_f (yn, 0, 0.0, minus_infty);
  3725. TEST_ff_f (yn, 0, nan_value, nan_value);
  3726. TEST_ff_f (yn, 0, plus_infty, 0);
  3727. TEST_ff_f (yn, 0, 0.125L, -1.38968062514384052915582277745018693L);
  3728. TEST_ff_f (yn, 0, 0.75L, -0.137172769385772397522814379396581855L);
  3729. TEST_ff_f (yn, 0, 1.0, 0.0882569642156769579829267660235151628L);
  3730. TEST_ff_f (yn, 0, 1.5, 0.382448923797758843955068554978089862L);
  3731. TEST_ff_f (yn, 0, 2.0, 0.510375672649745119596606592727157873L);
  3732. TEST_ff_f (yn, 0, 8.0, 0.223521489387566220527323400498620359L);
  3733. TEST_ff_f (yn, 0, 10.0, 0.0556711672835993914244598774101900481L);
  3734. /* yn (1, x) == y1 (x) */
  3735. TEST_ff_f (yn, 1, -1.0, minus_infty, INVALID_EXCEPTION);
  3736. TEST_ff_f (yn, 1, 0.0, minus_infty);
  3737. TEST_ff_f (yn, 1, plus_infty, 0);
  3738. TEST_ff_f (yn, 1, nan_value, nan_value);
  3739. TEST_ff_f (yn, 1, 0.125L, -5.19993611253477499595928744876579921L);
  3740. TEST_ff_f (yn, 1, 0.75L, -1.03759455076928541973767132140642198L);
  3741. TEST_ff_f (yn, 1, 1.0, -0.781212821300288716547150000047964821L);
  3742. TEST_ff_f (yn, 1, 1.5, -0.412308626973911295952829820633445323L);
  3743. TEST_ff_f (yn, 1, 2.0, -0.107032431540937546888370772277476637L);
  3744. TEST_ff_f (yn, 1, 8.0, -0.158060461731247494255555266187483550L);
  3745. TEST_ff_f (yn, 1, 10.0, 0.249015424206953883923283474663222803L);
  3746. /* yn (3, x) */
  3747. TEST_ff_f (yn, 3, plus_infty, 0);
  3748. TEST_ff_f (yn, 3, nan_value, nan_value);
  3749. TEST_ff_f (yn, 3, 0.125L, -2612.69757350066712600220955744091741L);
  3750. TEST_ff_f (yn, 3, 0.75L, -12.9877176234475433186319774484809207L);
  3751. TEST_ff_f (yn, 3, 1.0, -5.82151760596472884776175706442981440L);
  3752. TEST_ff_f (yn, 3, 2.0, -1.12778377684042778608158395773179238L);
  3753. TEST_ff_f (yn, 3, 10.0, -0.251362657183837329779204747654240998L);
  3754. /* yn (10, x) */
  3755. TEST_ff_f (yn, 10, plus_infty, 0);
  3756. TEST_ff_f (yn, 10, nan_value, nan_value);
  3757. TEST_ff_f (yn, 10, 0.125L, -127057845771019398.252538486899753195L);
  3758. TEST_ff_f (yn, 10, 0.75L, -2133501638.90573424452445412893839236L);
  3759. TEST_ff_f (yn, 10, 1.0, -121618014.278689189288130426667971145L);
  3760. TEST_ff_f (yn, 10, 2.0, -129184.542208039282635913145923304214L);
  3761. TEST_ff_f (yn, 10, 10.0, -0.359814152183402722051986577343560609L);
  3762. END (yn);
  3763. }
  3764. #endif /* __DO_XSI_MATH__ */
  3765. static void
  3766. significand_test (void)
  3767. {
  3768. /* significand returns the mantissa of the exponential representation. */
  3769. START (significand);
  3770. TEST_f_f (significand, 4.0, 1.0);
  3771. TEST_f_f (significand, 6.0, 1.5);
  3772. TEST_f_f (significand, 8.0, 1.0);
  3773. END (significand);
  3774. }
  3775. static void
  3776. initialize (void)
  3777. {
  3778. fpstack_test ("start *init*");
  3779. plus_zero = 0.0;
  3780. nan_value = plus_zero / plus_zero; /* Suppress GCC warning */
  3781. minus_zero = FUNC(copysign) (0.0, -1.0);
  3782. plus_infty = CHOOSE (HUGE_VALL, HUGE_VAL, HUGE_VALF,
  3783. HUGE_VALL, HUGE_VAL, HUGE_VALF);
  3784. minus_infty = CHOOSE (-HUGE_VALL, -HUGE_VAL, -HUGE_VALF,
  3785. -HUGE_VALL, -HUGE_VAL, -HUGE_VALF);
  3786. max_value = CHOOSE (LDBL_MAX, DBL_MAX, FLT_MAX,
  3787. LDBL_MAX, DBL_MAX, FLT_MAX);
  3788. min_value = CHOOSE (LDBL_MIN, DBL_MIN, FLT_MIN,
  3789. LDBL_MIN, DBL_MIN, FLT_MIN);
  3790. (void) &plus_zero;
  3791. (void) &nan_value;
  3792. (void) &minus_zero;
  3793. (void) &plus_infty;
  3794. (void) &minus_infty;
  3795. (void) &max_value;
  3796. (void) &min_value;
  3797. /* Clear all exceptions. From now on we must not get random exceptions. */
  3798. feclearexcept (FE_ALL_EXCEPT);
  3799. /* Test to make sure we start correctly. */
  3800. fpstack_test ("end *init*");
  3801. }
  3802. #if 0
  3803. /* function to check our ulp calculation. */
  3804. void
  3805. check_ulp (void)
  3806. {
  3807. int i;
  3808. FLOAT u, diff, ulp;
  3809. /* This gives one ulp. */
  3810. u = FUNC(nextafter) (10, 20);
  3811. check_equal (10.0, u, 1, &diff, &ulp);
  3812. printf ("One ulp: % .4" PRINTF_NEXPR "\n", ulp);
  3813. /* This gives one more ulp. */
  3814. u = FUNC(nextafter) (u, 20);
  3815. check_equal (10.0, u, 2, &diff, &ulp);
  3816. printf ("two ulp: % .4" PRINTF_NEXPR "\n", ulp);
  3817. /* And now calculate 100 ulp. */
  3818. for (i = 2; i < 100; i++)
  3819. u = FUNC(nextafter) (u, 20);
  3820. check_equal (10.0, u, 100, &diff, &ulp);
  3821. printf ("100 ulp: % .4" PRINTF_NEXPR "\n", ulp);
  3822. }
  3823. #endif
  3824. int
  3825. main (int argc, char **argv)
  3826. {
  3827. int key;
  3828. verbose = 1;
  3829. output_ulps = 0;
  3830. output_max_error = 1;
  3831. output_points = 1;
  3832. /* XXX set to 0 for releases. */
  3833. ignore_max_ulp = 0;
  3834. /* Parse and process arguments. */
  3835. while ((key = getopt(argc, argv, "fi:puv")) > 0) {
  3836. switch (key)
  3837. {
  3838. case 'f':
  3839. output_max_error = 0;
  3840. break;
  3841. case 'i':
  3842. if (strcmp (optarg, "yes") == 0)
  3843. ignore_max_ulp = 1;
  3844. else if (strcmp (optarg, "no") == 0)
  3845. ignore_max_ulp = 0;
  3846. break;
  3847. case 'p':
  3848. output_points = 0;
  3849. break;
  3850. case 'u':
  3851. output_ulps = 1;
  3852. break;
  3853. case 'v':
  3854. verbose = 3;
  3855. break;
  3856. default:
  3857. fprintf (stderr, "Unknown argument: %c", key);
  3858. exit (EXIT_FAILURE);
  3859. }
  3860. }
  3861. if (optind != argc)
  3862. {
  3863. fprintf (stderr, "wrong number of arguments");
  3864. exit (EXIT_FAILURE);
  3865. }
  3866. if (output_ulps)
  3867. {
  3868. ulps_file = fopen ("ULPs", "a");
  3869. if (ulps_file == NULL)
  3870. {
  3871. perror ("can't open file `ULPs' for writing: ");
  3872. exit (1);
  3873. }
  3874. }
  3875. initialize ();
  3876. printf (TEST_MSG);
  3877. #if 0
  3878. check_ulp ();
  3879. #endif
  3880. /* Keep the tests a wee bit ordered (according to ISO C99). */
  3881. /* Classification macros: */
  3882. fpclassify_test ();
  3883. isfinite_test ();
  3884. isnormal_test ();
  3885. signbit_test ();
  3886. /* Trigonometric functions: */
  3887. acos_test ();
  3888. asin_test ();
  3889. atan_test ();
  3890. atan2_test ();
  3891. cos_test ();
  3892. sin_test ();
  3893. #if 0
  3894. sincos_test ();
  3895. #endif
  3896. tan_test ();
  3897. /* Hyperbolic functions: */
  3898. acosh_test ();
  3899. asinh_test ();
  3900. atanh_test ();
  3901. cosh_test ();
  3902. sinh_test ();
  3903. tanh_test ();
  3904. /* Exponential and logarithmic functions: */
  3905. exp_test ();
  3906. #if 0
  3907. exp10_test ();
  3908. exp2_test ();
  3909. #endif
  3910. expm1_test ();
  3911. frexp_test ();
  3912. ldexp_test ();
  3913. log_test ();
  3914. log10_test ();
  3915. log1p_test ();
  3916. log2_test ();
  3917. logb_test ();
  3918. modf_test ();
  3919. ilogb_test ();
  3920. #ifdef __UCLIBC_SUSV3_LEGACY__
  3921. scalb_test ();
  3922. #endif
  3923. scalbn_test ();
  3924. scalbln_test ();
  3925. significand_test ();
  3926. /* Power and absolute value functions: */
  3927. cbrt_test ();
  3928. fabs_test ();
  3929. hypot_test ();
  3930. pow_test ();
  3931. sqrt_test ();
  3932. /* Error and gamma functions: */
  3933. erf_test ();
  3934. erfc_test ();
  3935. gamma_test ();
  3936. lgamma_test ();
  3937. tgamma_test ();
  3938. /* Nearest integer functions: */
  3939. ceil_test ();
  3940. floor_test ();
  3941. nearbyint_test ();
  3942. rint_test ();
  3943. #if 0
  3944. rint_test_tonearest ();
  3945. rint_test_towardzero ();
  3946. rint_test_downward ();
  3947. rint_test_upward ();
  3948. lrint_test ();
  3949. llrint_test ();
  3950. round_test ();
  3951. lround_test ();
  3952. llround_test ();
  3953. trunc_test ();
  3954. #endif
  3955. /* Remainder functions: */
  3956. fmod_test ();
  3957. remainder_test ();
  3958. remquo_test ();
  3959. /* Manipulation functions: */
  3960. copysign_test ();
  3961. nextafter_test ();
  3962. nexttoward_test ();
  3963. /* maximum, minimum and positive difference functions */
  3964. fdim_test ();
  3965. fmax_test ();
  3966. fmin_test ();
  3967. /* Multiply and add: */
  3968. fma_test ();
  3969. /* Complex functions: */
  3970. cabs_test ();
  3971. #if __CHK_COMPLEX_STUFF
  3972. #if 0
  3973. cacos_test ();
  3974. cacosh_test ();
  3975. #endif
  3976. carg_test ();
  3977. #if 0
  3978. casin_test ();
  3979. casinh_test ();
  3980. catan_test ();
  3981. catanh_test ();
  3982. ccos_test ();
  3983. ccosh_test ();
  3984. #endif
  3985. cexp_test ();
  3986. #if 0
  3987. cimag_test ();
  3988. clog10_test ();
  3989. clog_test ();
  3990. conj_test ();
  3991. cpow_test ();
  3992. cproj_test ();
  3993. creal_test ();
  3994. csin_test ();
  3995. csinh_test ();
  3996. csqrt_test ();
  3997. ctan_test ();
  3998. ctanh_test ();
  3999. #endif
  4000. #endif /* __CHK_COMPLEX_STUFF */
  4001. #if 0
  4002. /* Bessel functions: */
  4003. #if defined __DO_XSI_MATH__ && !(defined TEST_LDOUBLE || defined TEST_FLOAT)
  4004. j0_test ();
  4005. j1_test ();
  4006. jn_test ();
  4007. y0_test ();
  4008. y1_test ();
  4009. yn_test ();
  4010. #endif /* __DO_XSI_MATH__ */
  4011. #endif
  4012. if (output_ulps)
  4013. fclose (ulps_file);
  4014. printf ("\nTest suite completed:\n");
  4015. printf (" %d test cases plus %d tests for exception flags executed.\n",
  4016. noTests, noExcTests);
  4017. if (noXFails)
  4018. printf (" %d expected failures occurred.\n", noXFails);
  4019. if (noXPasses)
  4020. printf (" %d unexpected passes occurred.\n", noXPasses);
  4021. if (noErrors)
  4022. {
  4023. printf (" %d errors occurred.\n", noErrors);
  4024. return 1;
  4025. }
  4026. printf (" All tests passed successfully.\n");
  4027. return 0;
  4028. }
  4029. /*
  4030. * Local Variables:
  4031. * mode:c
  4032. * End:
  4033. */