12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880188118821883188418851886188718881889189018911892189318941895189618971898189919001901190219031904190519061907190819091910191119121913191419151916191719181919192019211922192319241925192619271928192919301931193219331934193519361937193819391940194119421943194419451946194719481949195019511952195319541955195619571958195919601961196219631964196519661967196819691970197119721973197419751976197719781979198019811982198319841985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202520262027202820292030203120322033203420352036203720382039204020412042204320442045204620472048204920502051205220532054205520562057205820592060206120622063206420652066206720682069207020712072207320742075207620772078207920802081208220832084208520862087208820892090209120922093209420952096209720982099210021012102210321042105210621072108210921102111211221132114211521162117211821192120212121222123212421252126212721282129213021312132213321342135213621372138213921402141214221432144214521462147214821492150215121522153215421552156215721582159216021612162216321642165216621672168216921702171217221732174217521762177217821792180218121822183218421852186218721882189219021912192219321942195219621972198219922002201220222032204220522062207220822092210221122122213221422152216221722182219222022212222222322242225222622272228222922302231223222332234223522362237223822392240224122422243224422452246224722482249225022512252225322542255225622572258225922602261226222632264226522662267226822692270227122722273227422752276227722782279228022812282228322842285228622872288228922902291229222932294229522962297229822992300230123022303230423052306230723082309231023112312231323142315231623172318231923202321232223232324232523262327232823292330233123322333233423352336233723382339234023412342234323442345234623472348234923502351235223532354235523562357235823592360236123622363236423652366236723682369237023712372237323742375237623772378237923802381238223832384238523862387238823892390239123922393239423952396239723982399240024012402240324042405240624072408240924102411241224132414241524162417241824192420242124222423242424252426242724282429243024312432243324342435243624372438243924402441244224432444244524462447244824492450245124522453245424552456245724582459246024612462246324642465246624672468246924702471247224732474247524762477247824792480248124822483248424852486248724882489249024912492249324942495249624972498249925002501250225032504250525062507250825092510251125122513251425152516251725182519252025212522252325242525252625272528252925302531253225332534253525362537253825392540254125422543254425452546254725482549255025512552255325542555255625572558255925602561256225632564256525662567256825692570257125722573257425752576257725782579258025812582258325842585258625872588258925902591259225932594259525962597259825992600260126022603260426052606260726082609261026112612261326142615261626172618261926202621262226232624262526262627262826292630263126322633263426352636263726382639264026412642264326442645264626472648264926502651265226532654265526562657265826592660266126622663266426652666266726682669267026712672267326742675267626772678267926802681268226832684268526862687268826892690269126922693269426952696269726982699270027012702270327042705270627072708270927102711271227132714271527162717271827192720272127222723272427252726272727282729273027312732273327342735273627372738273927402741274227432744274527462747274827492750275127522753275427552756275727582759276027612762276327642765276627672768276927702771277227732774277527762777277827792780278127822783278427852786278727882789279027912792279327942795279627972798279928002801280228032804280528062807280828092810281128122813281428152816281728182819282028212822282328242825282628272828282928302831283228332834283528362837283828392840284128422843284428452846284728482849285028512852285328542855285628572858285928602861286228632864286528662867286828692870287128722873287428752876287728782879288028812882288328842885288628872888288928902891289228932894289528962897289828992900290129022903290429052906290729082909291029112912291329142915291629172918291929202921292229232924292529262927292829292930293129322933293429352936293729382939294029412942294329442945294629472948294929502951295229532954295529562957295829592960296129622963296429652966296729682969297029712972297329742975297629772978297929802981298229832984298529862987298829892990299129922993299429952996299729982999300030013002300330043005300630073008300930103011301230133014301530163017301830193020302130223023302430253026302730283029303030313032303330343035303630373038303930403041304230433044304530463047304830493050305130523053305430553056305730583059306030613062306330643065306630673068306930703071307230733074307530763077307830793080308130823083308430853086308730883089309030913092309330943095309630973098309931003101310231033104310531063107310831093110311131123113311431153116311731183119312031213122312331243125312631273128312931303131313231333134313531363137313831393140314131423143314431453146314731483149315031513152315331543155315631573158315931603161316231633164316531663167316831693170317131723173317431753176317731783179318031813182318331843185318631873188318931903191319231933194319531963197319831993200320132023203320432053206320732083209321032113212321332143215321632173218321932203221322232233224322532263227322832293230323132323233323432353236323732383239324032413242324332443245324632473248324932503251325232533254325532563257325832593260326132623263326432653266326732683269327032713272327332743275327632773278327932803281328232833284328532863287328832893290329132923293329432953296329732983299330033013302330333043305330633073308330933103311331233133314331533163317331833193320332133223323332433253326332733283329333033313332333333343335333633373338333933403341334233433344334533463347334833493350335133523353335433553356335733583359336033613362336333643365336633673368336933703371337233733374337533763377337833793380338133823383338433853386338733883389339033913392339333943395339633973398339934003401340234033404340534063407340834093410341134123413341434153416341734183419342034213422342334243425342634273428342934303431343234333434343534363437343834393440344134423443344434453446344734483449345034513452345334543455345634573458345934603461346234633464346534663467346834693470347134723473347434753476347734783479348034813482348334843485348634873488348934903491349234933494349534963497349834993500350135023503350435053506350735083509351035113512351335143515351635173518351935203521352235233524352535263527352835293530353135323533353435353536353735383539354035413542354335443545354635473548354935503551355235533554355535563557355835593560356135623563356435653566356735683569357035713572357335743575357635773578357935803581358235833584358535863587358835893590359135923593359435953596359735983599360036013602360336043605360636073608360936103611361236133614361536163617361836193620362136223623362436253626362736283629363036313632363336343635363636373638363936403641364236433644364536463647364836493650365136523653365436553656365736583659366036613662366336643665366636673668366936703671367236733674367536763677367836793680368136823683368436853686368736883689369036913692369336943695369636973698369937003701370237033704370537063707370837093710371137123713371437153716371737183719372037213722372337243725372637273728372937303731373237333734373537363737373837393740374137423743374437453746374737483749375037513752375337543755375637573758375937603761376237633764376537663767376837693770377137723773377437753776377737783779378037813782378337843785378637873788378937903791379237933794379537963797379837993800380138023803380438053806380738083809381038113812381338143815381638173818381938203821382238233824382538263827382838293830383138323833383438353836383738383839384038413842384338443845384638473848384938503851385238533854385538563857385838593860386138623863386438653866386738683869387038713872387338743875387638773878387938803881388238833884388538863887388838893890389138923893389438953896389738983899390039013902390339043905390639073908390939103911391239133914391539163917391839193920392139223923392439253926392739283929393039313932393339343935393639373938393939403941394239433944394539463947394839493950395139523953395439553956395739583959396039613962396339643965396639673968396939703971397239733974397539763977397839793980398139823983398439853986398739883989399039913992399339943995399639973998399940004001400240034004400540064007400840094010401140124013401440154016401740184019402040214022402340244025402640274028402940304031403240334034403540364037403840394040404140424043404440454046404740484049405040514052405340544055405640574058405940604061406240634064406540664067406840694070407140724073407440754076407740784079408040814082408340844085408640874088408940904091409240934094409540964097409840994100410141024103410441054106410741084109411041114112411341144115411641174118411941204121412241234124412541264127412841294130413141324133413441354136413741384139414041414142414341444145414641474148414941504151415241534154415541564157415841594160416141624163416441654166416741684169417041714172417341744175417641774178417941804181418241834184418541864187418841894190419141924193419441954196419741984199420042014202420342044205420642074208420942104211421242134214421542164217421842194220422142224223422442254226422742284229423042314232423342344235423642374238423942404241424242434244424542464247424842494250425142524253425442554256425742584259426042614262426342644265426642674268426942704271427242734274427542764277427842794280428142824283428442854286428742884289429042914292429342944295429642974298429943004301430243034304430543064307430843094310431143124313431443154316431743184319432043214322432343244325432643274328432943304331433243334334433543364337433843394340434143424343434443454346434743484349435043514352435343544355435643574358435943604361436243634364436543664367436843694370437143724373437443754376437743784379438043814382438343844385438643874388438943904391439243934394439543964397439843994400440144024403440444054406440744084409441044114412441344144415441644174418441944204421442244234424442544264427442844294430443144324433443444354436443744384439444044414442444344444445444644474448444944504451445244534454445544564457445844594460446144624463446444654466446744684469447044714472447344744475447644774478447944804481448244834484448544864487448844894490449144924493449444954496449744984499450045014502450345044505450645074508450945104511451245134514451545164517451845194520452145224523452445254526452745284529453045314532453345344535453645374538453945404541454245434544454545464547454845494550455145524553455445554556455745584559456045614562456345644565456645674568456945704571457245734574457545764577457845794580458145824583458445854586458745884589459045914592459345944595459645974598459946004601460246034604460546064607460846094610461146124613461446154616461746184619462046214622462346244625462646274628462946304631463246334634463546364637463846394640464146424643464446454646464746484649465046514652465346544655465646574658465946604661466246634664466546664667466846694670467146724673467446754676467746784679468046814682468346844685468646874688468946904691469246934694469546964697469846994700470147024703470447054706470747084709471047114712471347144715471647174718471947204721472247234724472547264727472847294730473147324733473447354736473747384739474047414742474347444745474647474748474947504751475247534754475547564757475847594760476147624763476447654766476747684769477047714772477347744775477647774778477947804781478247834784478547864787478847894790479147924793479447954796479747984799480048014802480348044805480648074808480948104811481248134814481548164817481848194820482148224823482448254826482748284829483048314832483348344835483648374838483948404841484248434844484548464847484848494850485148524853485448554856485748584859486048614862486348644865486648674868486948704871487248734874487548764877487848794880488148824883488448854886488748884889489048914892489348944895489648974898489949004901490249034904490549064907490849094910491149124913491449154916491749184919492049214922492349244925492649274928492949304931493249334934493549364937493849394940494149424943494449454946494749484949495049514952495349544955495649574958495949604961496249634964496549664967496849694970497149724973497449754976497749784979498049814982498349844985498649874988498949904991499249934994499549964997499849995000500150025003500450055006500750085009501050115012501350145015501650175018501950205021502250235024502550265027502850295030503150325033503450355036503750385039504050415042504350445045504650475048504950505051505250535054505550565057505850595060506150625063506450655066506750685069507050715072507350745075507650775078507950805081508250835084508550865087508850895090509150925093509450955096509750985099510051015102510351045105510651075108 |
- /* Copyright (C) 1997-2002, 2003, 2004, 2005, 2006 Free Software Foundation, Inc.
- This file is part of the GNU C Library.
- Contributed by Andreas Jaeger <aj@suse.de>, 1997.
- The GNU C Library is free software; you can redistribute it and/or
- modify it under the terms of the GNU Lesser General Public
- License as published by the Free Software Foundation; either
- version 2.1 of the License, or (at your option) any later version.
- The GNU C Library is distributed in the hope that it will be useful,
- but WITHOUT ANY WARRANTY; without even the implied warranty of
- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
- Lesser General Public License for more details.
- You should have received a copy of the GNU Lesser General Public
- License along with the GNU C Library; if not, see
- <http://www.gnu.org/licenses/>. */
- /* Part of testsuite for libm.
- This file is processed by a perl script. The resulting file has to
- be included by a master file that defines:
- Macros:
- FUNC(function): converts general function name (like cos) to
- name with correct suffix (e.g. cosl or cosf)
- MATHCONST(x): like FUNC but for constants (e.g convert 0.0 to 0.0L)
- FLOAT: floating point type to test
- - TEST_MSG: informal message to be displayed
- CHOOSE(Clongdouble,Cdouble,Cfloat,Cinlinelongdouble,Cinlinedouble,Cinlinefloat):
- chooses one of the parameters as delta for testing
- equality
- PRINTF_EXPR Floating point conversion specification to print a variable
- of type FLOAT with printf. PRINTF_EXPR just contains
- the specifier, not the percent and width arguments,
- e.g. "f".
- PRINTF_XEXPR Like PRINTF_EXPR, but print in hexadecimal format.
- PRINTF_NEXPR Like PRINTF_EXPR, but print nice. */
- /* This testsuite has currently tests for:
- acos, acosh, asin, asinh, atan, atan2, atanh,
- cbrt, ceil, copysign, cos, cosh, erf, erfc, exp, exp10, exp2, expm1,
- fabs, fdim, floor, fma, fmax, fmin, fmod, fpclassify,
- frexp, gamma, hypot,
- ilogb, isfinite, isinf, isnan, isnormal,
- isless, islessequal, isgreater, isgreaterequal, islessgreater, isunordered,
- j0, j1, jn,
- ldexp, lgamma, log, log10, log1p, log2, logb,
- modf, nearbyint, nextafter,
- pow, remainder, remquo, rint, lrint, llrint,
- round, lround, llround,
- scalb, scalbn, scalbln, signbit, sin, sincos, sinh, sqrt, tan, tanh, tgamma, trunc,
- y0, y1, yn, significand
- and for the following complex math functions:
- cabs, cacos, cacosh, carg, casin, casinh, catan, catanh,
- ccos, ccosh, cexp, clog, cpow, cproj, csin, csinh, csqrt, ctan, ctanh.
- At the moment the following functions aren't tested:
- drem, nan
- Parameter handling is primitive in the moment:
- --verbose=[0..3] for different levels of output:
- 0: only error count
- 1: basic report on failed tests (default)
- 2: full report on all tests
- -v for full output (equals --verbose=3)
- -u for generation of an ULPs file
- */
- /* "Philosophy":
- This suite tests some aspects of the correct implementation of
- mathematical functions in libm. Some simple, specific parameters
- are tested for correctness but there's no exhaustive
- testing. Handling of specific inputs (e.g. infinity, not-a-number)
- is also tested. Correct handling of exceptions is checked
- against. These implemented tests should check all cases that are
- specified in ISO C99.
- Exception testing: At the moment only divide-by-zero and invalid
- exceptions are tested. Overflow/underflow and inexact exceptions
- aren't checked at the moment.
- NaN values: There exist signalling and quiet NaNs. This implementation
- only uses quiet NaN as parameter but does not differenciate
- between the two kinds of NaNs as result.
- Inline functions: Inlining functions should give an improvement in
- speed - but not in precission. The inlined functions return
- reasonable values for a reasonable range of input values. The
- result is not necessarily correct for all values and exceptions are
- not correctly raised in all cases. Problematic input and return
- values are infinity, not-a-number and minus zero. This suite
- therefore does not check these specific inputs and the exception
- handling for inlined mathematical functions - just the "reasonable"
- values are checked.
- Beware: The tests might fail for any of the following reasons:
- - Tests are wrong
- - Functions are wrong
- - Floating Point Unit not working properly
- - Compiler has errors
- With e.g. gcc 2.7.2.2 the test for cexp fails because of a compiler error.
- To Do: All parameter should be numbers that can be represented as
- exact floating point values. Currently some values cannot be
- represented exactly and therefore the result is not the expected
- result. For this we will use 36 digits so that numbers can be
- represented exactly. */
- #ifndef _GNU_SOURCE
- # define _GNU_SOURCE
- #endif
- #include "libm-test-ulps.h"
- #include <complex.h>
- #include <math.h>
- #include <float.h>
- #include "fenv.h"
- #include <limits.h>
- #include <errno.h>
- #include <stdlib.h>
- #include <stdio.h>
- #include <string.h>
- #include <getopt.h>
- /* Possible exceptions */
- #define NO_EXCEPTION 0x0
- #define INVALID_EXCEPTION 0x1
- #define DIVIDE_BY_ZERO_EXCEPTION 0x2
- /* The next flags signals that those exceptions are allowed but not required. */
- #define INVALID_EXCEPTION_OK 0x4
- #define DIVIDE_BY_ZERO_EXCEPTION_OK 0x8
- #define EXCEPTIONS_OK INVALID_EXCEPTION_OK+DIVIDE_BY_ZERO_EXCEPTION_OK
- /* Some special test flags, passed togther with exceptions. */
- #define IGNORE_ZERO_INF_SIGN 0x10
- /* Various constants (we must supply them precalculated for accuracy). */
- #define M_PI_6l .52359877559829887307710723054658383L
- #define M_E2l 7.389056098930650227230427460575008L
- #define M_E3l 20.085536923187667740928529654581719L
- #define M_2_SQRT_PIl 3.5449077018110320545963349666822903L /* 2 sqrt (M_PIl) */
- #define M_SQRT_PIl 1.7724538509055160272981674833411451L /* sqrt (M_PIl) */
- #define M_LOG_SQRT_PIl 0.57236494292470008707171367567652933L /* log(sqrt(M_PIl)) */
- #define M_LOG_2_SQRT_PIl 1.265512123484645396488945797134706L /* log(2*sqrt(M_PIl)) */
- #define M_PI_34l (M_PIl - M_PI_4l) /* 3*pi/4 */
- #define M_PI_34_LOG10El (M_PIl - M_PI_4l) * M_LOG10El
- #define M_PI2_LOG10El M_PI_2l * M_LOG10El
- #define M_PI4_LOG10El M_PI_4l * M_LOG10El
- #define M_PI_LOG10El M_PIl * M_LOG10El
- #define M_SQRT_2_2 0.70710678118654752440084436210484903L /* sqrt (2) / 2 */
- static FILE *ulps_file; /* File to document difference. */
- static int output_ulps; /* Should ulps printed? */
- static int noErrors; /* number of errors */
- static int noTests; /* number of tests (without testing exceptions) */
- static int noExcTests; /* number of tests for exception flags */
- static int noXFails; /* number of expected failures. */
- static int noXPasses; /* number of unexpected passes. */
- static int verbose;
- static int output_max_error; /* Should the maximal errors printed? */
- static int output_points; /* Should the single function results printed? */
- static int ignore_max_ulp; /* Should we ignore max_ulp? */
- static FLOAT minus_zero, plus_zero;
- static FLOAT plus_infty, minus_infty, nan_value, max_value, min_value;
- static FLOAT max_error, real_max_error, imag_max_error;
- #define BUILD_COMPLEX(real, imag) \
- ({ __complex__ FLOAT __retval; \
- __real__ __retval = (real); \
- __imag__ __retval = (imag); \
- __retval; })
- #define BUILD_COMPLEX_INT(real, imag) \
- ({ __complex__ int __retval; \
- __real__ __retval = (real); \
- __imag__ __retval = (imag); \
- __retval; })
- #define MANT_DIG CHOOSE ((LDBL_MANT_DIG-1), (DBL_MANT_DIG-1), (FLT_MANT_DIG-1), \
- (LDBL_MANT_DIG-1), (DBL_MANT_DIG-1), (FLT_MANT_DIG-1))
- static void
- init_max_error (void)
- {
- max_error = 0;
- real_max_error = 0;
- imag_max_error = 0;
- feclearexcept (FE_ALL_EXCEPT);
- }
- static void
- set_max_error (FLOAT current, FLOAT *curr_max_error)
- {
- if (current > *curr_max_error)
- *curr_max_error = current;
- }
- /* Should the message print to screen? This depends on the verbose flag,
- and the test status. */
- static int
- print_screen (int ok, int xfail)
- {
- if (output_points
- && (verbose > 1
- || (verbose == 1 && ok == xfail)))
- return 1;
- return 0;
- }
- /* Should the message print to screen? This depends on the verbose flag,
- and the test status. */
- static int
- print_screen_max_error (int ok, int xfail)
- {
- if (output_max_error
- && (verbose > 1
- || ((verbose == 1) && (ok == xfail))))
- return 1;
- return 0;
- }
- /* Update statistic counters. */
- static void
- update_stats (int ok, int xfail)
- {
- ++noTests;
- if (ok && xfail)
- ++noXPasses;
- else if (!ok && xfail)
- ++noXFails;
- else if (!ok && !xfail)
- ++noErrors;
- }
- static void
- print_ulps (const char *test_name, FLOAT ulp)
- {
- if (output_ulps)
- {
- fprintf (ulps_file, "Test \"%s\":\n", test_name);
- fprintf (ulps_file, "%s: %.0" PRINTF_NEXPR "\n",
- CHOOSE("ldouble", "double", "float",
- "ildouble", "idouble", "ifloat"),
- FUNC(ceil) (ulp));
- }
- }
- static void
- print_function_ulps (const char *function_name, FLOAT ulp)
- {
- if (output_ulps)
- {
- fprintf (ulps_file, "Function: \"%s\":\n", function_name);
- fprintf (ulps_file, "%s: %.0" PRINTF_NEXPR "\n",
- CHOOSE("ldouble", "double", "float",
- "ildouble", "idouble", "ifloat"),
- FUNC(ceil) (ulp));
- }
- }
- static void
- print_complex_function_ulps (const char *function_name, FLOAT real_ulp,
- FLOAT imag_ulp)
- {
- if (output_ulps)
- {
- if (real_ulp != 0.0)
- {
- fprintf (ulps_file, "Function: Real part of \"%s\":\n", function_name);
- fprintf (ulps_file, "%s: %.0" PRINTF_NEXPR "\n",
- CHOOSE("ldouble", "double", "float",
- "ildouble", "idouble", "ifloat"),
- FUNC(ceil) (real_ulp));
- }
- if (imag_ulp != 0.0)
- {
- fprintf (ulps_file, "Function: Imaginary part of \"%s\":\n", function_name);
- fprintf (ulps_file, "%s: %.0" PRINTF_NEXPR "\n",
- CHOOSE("ldouble", "double", "float",
- "ildouble", "idouble", "ifloat"),
- FUNC(ceil) (imag_ulp));
- }
- }
- }
- /* Test if Floating-Point stack hasn't changed */
- static void
- fpstack_test (const char *test_name)
- {
- #ifdef i386
- static int old_stack;
- int sw;
- __asm__ ("fnstsw" : "=a" (sw));
- sw >>= 11;
- sw &= 7;
- if (sw != old_stack)
- {
- printf ("FP-Stack wrong after test %s (%d, should be %d)\n",
- test_name, sw, old_stack);
- ++noErrors;
- old_stack = sw;
- }
- #endif
- }
- static void
- print_max_error (const char *func_name, FLOAT allowed, int xfail)
- {
- int ok = 0;
- if (max_error == 0.0 || (max_error <= allowed && !ignore_max_ulp))
- {
- ok = 1;
- }
- if (!ok)
- print_function_ulps (func_name, max_error);
- if (print_screen_max_error (ok, xfail))
- {
- printf ("Maximal error of `%s'\n", func_name);
- printf (" is : %.0" PRINTF_NEXPR " ulp\n", FUNC(ceil) (max_error));
- printf (" accepted: %.0" PRINTF_NEXPR " ulp\n", FUNC(ceil) (allowed));
- }
- update_stats (ok, xfail);
- }
- static void
- print_complex_max_error (const char *func_name, __complex__ FLOAT allowed,
- __complex__ int xfail)
- {
- int ok = 0;
- if ((real_max_error == 0 && imag_max_error == 0)
- || (real_max_error <= __real__ allowed
- && imag_max_error <= __imag__ allowed
- && !ignore_max_ulp))
- {
- ok = 1;
- }
- if (!ok)
- print_complex_function_ulps (func_name, real_max_error, imag_max_error);
- if (print_screen_max_error (ok, xfail))
- {
- printf ("Maximal error of real part of: %s\n", func_name);
- printf (" is : %.0" PRINTF_NEXPR " ulp\n",
- FUNC(ceil) (real_max_error));
- printf (" accepted: %.0" PRINTF_NEXPR " ulp\n",
- FUNC(ceil) (__real__ allowed));
- printf ("Maximal error of imaginary part of: %s\n", func_name);
- printf (" is : %.0" PRINTF_NEXPR " ulp\n",
- FUNC(ceil) (imag_max_error));
- printf (" accepted: %.0" PRINTF_NEXPR " ulp\n",
- FUNC(ceil) (__imag__ allowed));
- }
- update_stats (ok, xfail);
- }
- /* Test whether a given exception was raised. */
- static void
- test_single_exception (const char *test_name,
- int exception,
- int exc_flag,
- int fe_flag,
- const char *flag_name)
- {
- #ifndef TEST_INLINE
- int ok = 1;
- if (exception & exc_flag)
- {
- if (fetestexcept (fe_flag))
- {
- if (print_screen (1, 0))
- printf ("Pass: %s: Exception \"%s\" set\n", test_name, flag_name);
- }
- else
- {
- ok = 0;
- if (print_screen (0, 0))
- printf ("Failure: %s: Exception \"%s\" not set\n",
- test_name, flag_name);
- }
- }
- else
- {
- if (fetestexcept (fe_flag))
- {
- ok = 0;
- if (print_screen (0, 0))
- printf ("Failure: %s: Exception \"%s\" set\n",
- test_name, flag_name);
- }
- else
- {
- if (print_screen (1, 0))
- printf ("%s: Exception \"%s\" not set\n", test_name,
- flag_name);
- }
- }
- if (!ok)
- ++noErrors;
- #endif
- }
- /* Test whether exceptions given by EXCEPTION are raised. Ignore thereby
- allowed but not required exceptions.
- */
- static void
- test_exceptions (const char *test_name, int exception)
- {
- ++noExcTests;
- #ifdef FE_DIVBYZERO
- if ((exception & DIVIDE_BY_ZERO_EXCEPTION_OK) == 0)
- test_single_exception (test_name, exception,
- DIVIDE_BY_ZERO_EXCEPTION, FE_DIVBYZERO,
- "Divide by zero");
- #endif
- #ifdef FE_INVALID
- if ((exception & INVALID_EXCEPTION_OK) == 0)
- test_single_exception (test_name, exception, INVALID_EXCEPTION, FE_INVALID,
- "Invalid operation");
- #endif
- feclearexcept (FE_ALL_EXCEPT);
- }
- static void
- check_float_internal (const char *test_name, FLOAT computed, FLOAT expected,
- FLOAT max_ulp, int xfail, int exceptions,
- FLOAT *curr_max_error)
- {
- int ok = 0;
- int print_diff = 0;
- FLOAT diff = 0;
- FLOAT ulp = 0;
- test_exceptions (test_name, exceptions);
- if (isnan (computed) && isnan (expected))
- ok = 1;
- else if (isinf (computed) && isinf (expected))
- {
- /* Test for sign of infinities. */
- if ((exceptions & IGNORE_ZERO_INF_SIGN) == 0
- && signbit (computed) != signbit (expected))
- {
- ok = 0;
- printf ("infinity has wrong sign.\n");
- }
- else
- ok = 1;
- }
- /* Don't calc ulp for NaNs or infinities. */
- else if (isinf (computed) || isnan (computed) || isinf (expected) || isnan (expected))
- ok = 0;
- else
- {
- diff = FUNC(fabs) (computed - expected);
- /* ilogb (0) isn't allowed. */
- if (expected == 0.0)
- ulp = diff / FUNC(ldexp) (1.0, - MANT_DIG);
- else
- ulp = diff / FUNC(ldexp) (1.0, FUNC(ilogb) (expected) - MANT_DIG);
- set_max_error (ulp, curr_max_error);
- print_diff = 1;
- if ((exceptions & IGNORE_ZERO_INF_SIGN) == 0
- && computed == 0.0 && expected == 0.0
- && signbit(computed) != signbit (expected))
- ok = 0;
- else if (ulp <= 0.5 || (ulp <= max_ulp && !ignore_max_ulp))
- ok = 1;
- else
- {
- ok = 0;
- print_ulps (test_name, ulp);
- }
- }
- if (print_screen (ok, xfail))
- {
- if (!ok)
- printf ("Failure: ");
- printf ("Test: %s\n", test_name);
- printf ("Result:\n");
- printf (" is: % .20" PRINTF_EXPR " % .20" PRINTF_XEXPR "\n",
- computed, computed);
- printf (" should be: % .20" PRINTF_EXPR " % .20" PRINTF_XEXPR "\n",
- expected, expected);
- if (print_diff)
- {
- printf (" difference: % .20" PRINTF_EXPR " % .20" PRINTF_XEXPR
- "\n", diff, diff);
- printf (" ulp : % .4" PRINTF_NEXPR "\n", ulp);
- printf (" max.ulp : % .4" PRINTF_NEXPR "\n", max_ulp);
- }
- }
- update_stats (ok, xfail);
- fpstack_test (test_name);
- }
- static void
- check_float (const char *test_name, FLOAT computed, FLOAT expected,
- FLOAT max_ulp, int xfail, int exceptions)
- {
- check_float_internal (test_name, computed, expected, max_ulp, xfail,
- exceptions, &max_error);
- }
- static void
- check_complex (const char *test_name, __complex__ FLOAT computed,
- __complex__ FLOAT expected,
- __complex__ FLOAT max_ulp, __complex__ int xfail,
- int exception)
- {
- FLOAT part_comp, part_exp, part_max_ulp;
- int part_xfail;
- char str[200];
- sprintf (str, "Real part of: %s", test_name);
- part_comp = __real__ computed;
- part_exp = __real__ expected;
- part_max_ulp = __real__ max_ulp;
- part_xfail = __real__ xfail;
- check_float_internal (str, part_comp, part_exp, part_max_ulp, part_xfail,
- exception, &real_max_error);
- sprintf (str, "Imaginary part of: %s", test_name);
- part_comp = __imag__ computed;
- part_exp = __imag__ expected;
- part_max_ulp = __imag__ max_ulp;
- part_xfail = __imag__ xfail;
- /* Don't check again for exceptions, just pass through the
- zero/inf sign test. */
- check_float_internal (str, part_comp, part_exp, part_max_ulp, part_xfail,
- exception & IGNORE_ZERO_INF_SIGN,
- &imag_max_error);
- }
- /* Check that computed and expected values are equal (int values). */
- static void
- check_int (const char *test_name, int computed, int expected, int max_ulp,
- int xfail, int exceptions)
- {
- int diff = computed - expected;
- int ok = 0;
- test_exceptions (test_name, exceptions);
- noTests++;
- if (abs (diff) <= max_ulp)
- ok = 1;
- if (!ok)
- print_ulps (test_name, diff);
- if (print_screen (ok, xfail))
- {
- if (!ok)
- printf ("Failure: ");
- printf ("Test: %s\n", test_name);
- printf ("Result:\n");
- printf (" is: %d\n", computed);
- printf (" should be: %d\n", expected);
- }
- update_stats (ok, xfail);
- fpstack_test (test_name);
- }
- /* Check that computed and expected values are equal (long int values). */
- static void
- check_long (const char *test_name, long int computed, long int expected,
- long int max_ulp, int xfail, int exceptions)
- {
- long int diff = computed - expected;
- int ok = 0;
- test_exceptions (test_name, exceptions);
- noTests++;
- if (labs (diff) <= max_ulp)
- ok = 1;
- if (!ok)
- print_ulps (test_name, diff);
- if (print_screen (ok, xfail))
- {
- if (!ok)
- printf ("Failure: ");
- printf ("Test: %s\n", test_name);
- printf ("Result:\n");
- printf (" is: %ld\n", computed);
- printf (" should be: %ld\n", expected);
- }
- update_stats (ok, xfail);
- fpstack_test (test_name);
- }
- /* Check that computed value is true/false. */
- static void
- check_bool (const char *test_name, int computed, int expected,
- long int max_ulp, int xfail, int exceptions)
- {
- int ok = 0;
- test_exceptions (test_name, exceptions);
- noTests++;
- if ((computed == 0) == (expected == 0))
- ok = 1;
- if (print_screen (ok, xfail))
- {
- if (!ok)
- printf ("Failure: ");
- printf ("Test: %s\n", test_name);
- printf ("Result:\n");
- printf (" is: %d\n", computed);
- printf (" should be: %d\n", expected);
- }
- update_stats (ok, xfail);
- fpstack_test (test_name);
- }
- /* check that computed and expected values are equal (long int values) */
- static void
- check_longlong (const char *test_name, long long int computed,
- long long int expected,
- long long int max_ulp, int xfail,
- int exceptions)
- {
- long long int diff = computed - expected;
- int ok = 0;
- test_exceptions (test_name, exceptions);
- noTests++;
- if (llabs (diff) <= max_ulp)
- ok = 1;
- if (!ok)
- print_ulps (test_name, diff);
- if (print_screen (ok, xfail))
- {
- if (!ok)
- printf ("Failure:");
- printf ("Test: %s\n", test_name);
- printf ("Result:\n");
- printf (" is: %lld\n", computed);
- printf (" should be: %lld\n", expected);
- }
- update_stats (ok, xfail);
- fpstack_test (test_name);
- }
- /* This is to prevent messages from the SVID libm emulation. */
- int
- matherr (struct exception *x __attribute__ ((unused)))
- {
- return 1;
- }
- /****************************************************************************
- Tests for single functions of libm.
- Please keep them alphabetically sorted!
- ****************************************************************************/
- static void
- acos_test (void)
- {
- errno = 0;
- FUNC(acos) (0);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (acos);
- TEST_f_f (acos, plus_infty, nan_value, INVALID_EXCEPTION);
- TEST_f_f (acos, minus_infty, nan_value, INVALID_EXCEPTION);
- TEST_f_f (acos, nan_value, nan_value);
- /* |x| > 1: */
- TEST_f_f (acos, 1.125L, nan_value, INVALID_EXCEPTION);
- TEST_f_f (acos, -1.125L, nan_value, INVALID_EXCEPTION);
- TEST_f_f (acos, 0, M_PI_2l);
- TEST_f_f (acos, minus_zero, M_PI_2l);
- TEST_f_f (acos, 1, 0);
- TEST_f_f (acos, -1, M_PIl);
- TEST_f_f (acos, 0.5, M_PI_6l*2.0);
- TEST_f_f (acos, -0.5, M_PI_6l*4.0);
- TEST_f_f (acos, 0.75L, 0.722734247813415611178377352641333362L);
- TEST_f_f (acos, 2e-17L, 1.57079632679489659923132169163975144L);
- TEST_f_f (acos, 0.0625L, 1.50825556499840522843072005474337068L);
- END (acos);
- }
- static void
- acosh_test (void)
- {
- errno = 0;
- FUNC(acosh) (7);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (acosh);
- TEST_f_f (acosh, plus_infty, plus_infty);
- TEST_f_f (acosh, minus_infty, nan_value, INVALID_EXCEPTION);
- /* x < 1: */
- TEST_f_f (acosh, -1.125L, nan_value, INVALID_EXCEPTION);
- TEST_f_f (acosh, 1, 0);
- TEST_f_f (acosh, 7, 2.63391579384963341725009269461593689L);
- END (acosh);
- }
- static void
- asin_test (void)
- {
- errno = 0;
- FUNC(asin) (0);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (asin);
- TEST_f_f (asin, plus_infty, nan_value, INVALID_EXCEPTION);
- TEST_f_f (asin, minus_infty, nan_value, INVALID_EXCEPTION);
- TEST_f_f (asin, nan_value, nan_value);
- /* asin x == NaN plus invalid exception for |x| > 1. */
- TEST_f_f (asin, 1.125L, nan_value, INVALID_EXCEPTION);
- TEST_f_f (asin, -1.125L, nan_value, INVALID_EXCEPTION);
- TEST_f_f (asin, 0, 0);
- TEST_f_f (asin, minus_zero, minus_zero);
- TEST_f_f (asin, 0.5, M_PI_6l);
- TEST_f_f (asin, -0.5, -M_PI_6l);
- TEST_f_f (asin, 1.0, M_PI_2l);
- TEST_f_f (asin, -1.0, -M_PI_2l);
- TEST_f_f (asin, 0.75L, 0.848062078981481008052944338998418080L);
- END (asin);
- }
- static void
- asinh_test (void)
- {
- errno = 0;
- FUNC(asinh) (0.7L);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (asinh);
- TEST_f_f (asinh, 0, 0);
- TEST_f_f (asinh, minus_zero, minus_zero);
- #ifndef TEST_INLINE
- TEST_f_f (asinh, plus_infty, plus_infty);
- TEST_f_f (asinh, minus_infty, minus_infty);
- #endif
- TEST_f_f (asinh, nan_value, nan_value);
- TEST_f_f (asinh, 0.75L, 0.693147180559945309417232121458176568L);
- END (asinh);
- }
- static void
- atan_test (void)
- {
- errno = 0;
- FUNC(atan) (0);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (atan);
- TEST_f_f (atan, 0, 0);
- TEST_f_f (atan, minus_zero, minus_zero);
- TEST_f_f (atan, plus_infty, M_PI_2l);
- TEST_f_f (atan, minus_infty, -M_PI_2l);
- TEST_f_f (atan, nan_value, nan_value);
- TEST_f_f (atan, 1, M_PI_4l);
- TEST_f_f (atan, -1, -M_PI_4l);
- TEST_f_f (atan, 0.75L, 0.643501108793284386802809228717322638L);
- END (atan);
- }
- static void
- atanh_test (void)
- {
- errno = 0;
- FUNC(atanh) (0.7L);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (atanh);
- TEST_f_f (atanh, 0, 0);
- TEST_f_f (atanh, minus_zero, minus_zero);
- TEST_f_f (atanh, 1, plus_infty, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_f_f (atanh, -1, minus_infty, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_f_f (atanh, nan_value, nan_value);
- /* atanh (x) == NaN plus invalid exception if |x| > 1. */
- TEST_f_f (atanh, 1.125L, nan_value, INVALID_EXCEPTION);
- TEST_f_f (atanh, -1.125L, nan_value, INVALID_EXCEPTION);
- TEST_f_f (atanh, 0.75L, 0.972955074527656652552676371721589865L);
- END (atanh);
- }
- static void
- atan2_test (void)
- {
- errno = 0;
- FUNC(atan2) (-0, 1);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (atan2);
- /* atan2 (0,x) == 0 for x > 0. */
- TEST_ff_f (atan2, 0, 1, 0);
- /* atan2 (-0,x) == -0 for x > 0. */
- TEST_ff_f (atan2, minus_zero, 1, minus_zero);
- TEST_ff_f (atan2, 0, 0, 0);
- TEST_ff_f (atan2, minus_zero, 0, minus_zero);
- /* atan2 (+0,x) == +pi for x < 0. */
- TEST_ff_f (atan2, 0, -1, M_PIl);
- /* atan2 (-0,x) == -pi for x < 0. */
- TEST_ff_f (atan2, minus_zero, -1, -M_PIl);
- TEST_ff_f (atan2, 0, minus_zero, M_PIl);
- TEST_ff_f (atan2, minus_zero, minus_zero, -M_PIl);
- /* atan2 (y,+0) == pi/2 for y > 0. */
- TEST_ff_f (atan2, 1, 0, M_PI_2l);
- /* atan2 (y,-0) == pi/2 for y > 0. */
- TEST_ff_f (atan2, 1, minus_zero, M_PI_2l);
- /* atan2 (y,+0) == -pi/2 for y < 0. */
- TEST_ff_f (atan2, -1, 0, -M_PI_2l);
- /* atan2 (y,-0) == -pi/2 for y < 0. */
- TEST_ff_f (atan2, -1, minus_zero, -M_PI_2l);
- /* atan2 (y,inf) == +0 for finite y > 0. */
- TEST_ff_f (atan2, 1, plus_infty, 0);
- /* atan2 (y,inf) == -0 for finite y < 0. */
- TEST_ff_f (atan2, -1, plus_infty, minus_zero);
- /* atan2(+inf, x) == pi/2 for finite x. */
- TEST_ff_f (atan2, plus_infty, -1, M_PI_2l);
- /* atan2(-inf, x) == -pi/2 for finite x. */
- TEST_ff_f (atan2, minus_infty, 1, -M_PI_2l);
- /* atan2 (y,-inf) == +pi for finite y > 0. */
- TEST_ff_f (atan2, 1, minus_infty, M_PIl);
- /* atan2 (y,-inf) == -pi for finite y < 0. */
- TEST_ff_f (atan2, -1, minus_infty, -M_PIl);
- TEST_ff_f (atan2, plus_infty, plus_infty, M_PI_4l);
- TEST_ff_f (atan2, minus_infty, plus_infty, -M_PI_4l);
- TEST_ff_f (atan2, plus_infty, minus_infty, M_PI_34l);
- TEST_ff_f (atan2, minus_infty, minus_infty, -M_PI_34l);
- TEST_ff_f (atan2, nan_value, nan_value, nan_value);
- TEST_ff_f (atan2, 0.75L, 1, 0.643501108793284386802809228717322638L);
- TEST_ff_f (atan2, -0.75L, 1.0L, -0.643501108793284386802809228717322638L);
- TEST_ff_f (atan2, 0.75L, -1.0L, 2.49809154479650885165983415456218025L);
- TEST_ff_f (atan2, -0.75L, -1.0L, -2.49809154479650885165983415456218025L);
- TEST_ff_f (atan2, 0.390625L, .00029L, 1.57005392693128974780151246612928941L);
- TEST_ff_f (atan2, 1.390625L, 0.9296875L, 0.981498387184244311516296577615519772L);
- TEST_ff_f (atan2, -0.00756827042671106339L, -.001792735857538728036L, -1.80338464113663849327153994379639112L);
- END (atan2);
- }
- static void
- cabs_test (void)
- {
- errno = 0;
- FUNC(cabs) (BUILD_COMPLEX (0.7L, 12.4L));
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (cabs);
- /* cabs (x + iy) is specified as hypot (x,y) */
- /* cabs (+inf + i x) == +inf. */
- TEST_c_f (cabs, plus_infty, 1.0, plus_infty);
- /* cabs (-inf + i x) == +inf. */
- TEST_c_f (cabs, minus_infty, 1.0, plus_infty);
- TEST_c_f (cabs, minus_infty, nan_value, plus_infty);
- TEST_c_f (cabs, minus_infty, nan_value, plus_infty);
- TEST_c_f (cabs, nan_value, nan_value, nan_value);
- /* cabs (x,y) == cabs (y,x). */
- TEST_c_f (cabs, 0.75L, 12.390625L, 12.4133028598606664302388810868156657L);
- /* cabs (x,y) == cabs (-x,y). */
- TEST_c_f (cabs, -12.390625L, 0.75L, 12.4133028598606664302388810868156657L);
- /* cabs (x,y) == cabs (-y,x). */
- TEST_c_f (cabs, -0.75L, 12.390625L, 12.4133028598606664302388810868156657L);
- /* cabs (x,y) == cabs (-x,-y). */
- TEST_c_f (cabs, -12.390625L, -0.75L, 12.4133028598606664302388810868156657L);
- /* cabs (x,y) == cabs (-y,-x). */
- TEST_c_f (cabs, -0.75L, -12.390625L, 12.4133028598606664302388810868156657L);
- /* cabs (x,0) == fabs (x). */
- TEST_c_f (cabs, -0.75L, 0, 0.75L);
- TEST_c_f (cabs, 0.75L, 0, 0.75L);
- TEST_c_f (cabs, -1.0L, 0, 1.0L);
- TEST_c_f (cabs, 1.0L, 0, 1.0L);
- TEST_c_f (cabs, -5.7e7L, 0, 5.7e7L);
- TEST_c_f (cabs, 5.7e7L, 0, 5.7e7L);
- TEST_c_f (cabs, 0.75L, 1.25L, 1.45773797371132511771853821938639577L);
- END (cabs);
- }
- #if 0
- static void
- cacos_test (void)
- {
- errno = 0;
- FUNC(cacos) (BUILD_COMPLEX (0.7L, 1.2L));
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (cacos);
- TEST_c_c (cacos, 0, 0, M_PI_2l, minus_zero);
- TEST_c_c (cacos, minus_zero, 0, M_PI_2l, minus_zero);
- TEST_c_c (cacos, minus_zero, minus_zero, M_PI_2l, 0.0);
- TEST_c_c (cacos, 0, minus_zero, M_PI_2l, 0.0);
- TEST_c_c (cacos, minus_infty, plus_infty, M_PI_34l, minus_infty);
- TEST_c_c (cacos, minus_infty, minus_infty, M_PI_34l, plus_infty);
- TEST_c_c (cacos, plus_infty, plus_infty, M_PI_4l, minus_infty);
- TEST_c_c (cacos, plus_infty, minus_infty, M_PI_4l, plus_infty);
- TEST_c_c (cacos, -10.0, plus_infty, M_PI_2l, minus_infty);
- TEST_c_c (cacos, -10.0, minus_infty, M_PI_2l, plus_infty);
- TEST_c_c (cacos, 0, plus_infty, M_PI_2l, minus_infty);
- TEST_c_c (cacos, 0, minus_infty, M_PI_2l, plus_infty);
- TEST_c_c (cacos, 0.1L, plus_infty, M_PI_2l, minus_infty);
- TEST_c_c (cacos, 0.1L, minus_infty, M_PI_2l, plus_infty);
- TEST_c_c (cacos, minus_infty, 0, M_PIl, minus_infty);
- TEST_c_c (cacos, minus_infty, minus_zero, M_PIl, plus_infty);
- TEST_c_c (cacos, minus_infty, 100, M_PIl, minus_infty);
- TEST_c_c (cacos, minus_infty, -100, M_PIl, plus_infty);
- TEST_c_c (cacos, plus_infty, 0, 0.0, minus_infty);
- TEST_c_c (cacos, plus_infty, minus_zero, 0.0, plus_infty);
- TEST_c_c (cacos, plus_infty, 0.5, 0.0, minus_infty);
- TEST_c_c (cacos, plus_infty, -0.5, 0.0, plus_infty);
- TEST_c_c (cacos, plus_infty, nan_value, nan_value, plus_infty, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (cacos, minus_infty, nan_value, nan_value, plus_infty, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (cacos, 0, nan_value, M_PI_2l, nan_value);
- TEST_c_c (cacos, minus_zero, nan_value, M_PI_2l, nan_value);
- TEST_c_c (cacos, nan_value, plus_infty, nan_value, minus_infty);
- TEST_c_c (cacos, nan_value, minus_infty, nan_value, plus_infty);
- TEST_c_c (cacos, 10.5, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (cacos, -10.5, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (cacos, nan_value, 0.75, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (cacos, nan_value, -0.75, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (cacos, nan_value, nan_value, nan_value, nan_value);
- TEST_c_c (cacos, 0.75L, 1.25L, 1.11752014915610270578240049553777969L, -1.13239363160530819522266333696834467L);
- TEST_c_c (cacos, -2, -3, 2.1414491111159960199416055713254211L, 1.9833870299165354323470769028940395L);
- END (cacos, complex);
- }
- static void
- cacosh_test (void)
- {
- errno = 0;
- FUNC(cacosh) (BUILD_COMPLEX (0.7L, 1.2L));
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (cacosh);
- TEST_c_c (cacosh, 0, 0, 0.0, M_PI_2l);
- TEST_c_c (cacosh, minus_zero, 0, 0.0, M_PI_2l);
- TEST_c_c (cacosh, 0, minus_zero, 0.0, -M_PI_2l);
- TEST_c_c (cacosh, minus_zero, minus_zero, 0.0, -M_PI_2l);
- TEST_c_c (cacosh, minus_infty, plus_infty, plus_infty, M_PI_34l);
- TEST_c_c (cacosh, minus_infty, minus_infty, plus_infty, -M_PI_34l);
- TEST_c_c (cacosh, plus_infty, plus_infty, plus_infty, M_PI_4l);
- TEST_c_c (cacosh, plus_infty, minus_infty, plus_infty, -M_PI_4l);
- TEST_c_c (cacosh, -10.0, plus_infty, plus_infty, M_PI_2l);
- TEST_c_c (cacosh, -10.0, minus_infty, plus_infty, -M_PI_2l);
- TEST_c_c (cacosh, 0, plus_infty, plus_infty, M_PI_2l);
- TEST_c_c (cacosh, 0, minus_infty, plus_infty, -M_PI_2l);
- TEST_c_c (cacosh, 0.1L, plus_infty, plus_infty, M_PI_2l);
- TEST_c_c (cacosh, 0.1L, minus_infty, plus_infty, -M_PI_2l);
- TEST_c_c (cacosh, minus_infty, 0, plus_infty, M_PIl);
- TEST_c_c (cacosh, minus_infty, minus_zero, plus_infty, -M_PIl);
- TEST_c_c (cacosh, minus_infty, 100, plus_infty, M_PIl);
- TEST_c_c (cacosh, minus_infty, -100, plus_infty, -M_PIl);
- TEST_c_c (cacosh, plus_infty, 0, plus_infty, 0.0);
- TEST_c_c (cacosh, plus_infty, minus_zero, plus_infty, minus_zero);
- TEST_c_c (cacosh, plus_infty, 0.5, plus_infty, 0.0);
- TEST_c_c (cacosh, plus_infty, -0.5, plus_infty, minus_zero);
- TEST_c_c (cacosh, plus_infty, nan_value, plus_infty, nan_value);
- TEST_c_c (cacosh, minus_infty, nan_value, plus_infty, nan_value);
- TEST_c_c (cacosh, 0, nan_value, nan_value, nan_value);
- TEST_c_c (cacosh, minus_zero, nan_value, nan_value, nan_value);
- TEST_c_c (cacosh, nan_value, plus_infty, plus_infty, nan_value);
- TEST_c_c (cacosh, nan_value, minus_infty, plus_infty, nan_value);
- TEST_c_c (cacosh, 10.5, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (cacosh, -10.5, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (cacosh, nan_value, 0.75, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (cacosh, nan_value, -0.75, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (cacosh, nan_value, nan_value, nan_value, nan_value);
- TEST_c_c (cacosh, 0.75L, 1.25L, 1.13239363160530819522266333696834467L, 1.11752014915610270578240049553777969L);
- TEST_c_c (cacosh, -2, -3, 1.9833870299165354323470769028940395L, -2.1414491111159960199416055713254211L);
- END (cacosh, complex);
- }
- static void
- carg_test (void)
- {
- START (carg);
- /* carg (x + iy) is specified as atan2 (y, x) */
- /* carg (x + i 0) == 0 for x > 0. */
- TEST_c_f (carg, 2.0, 0, 0);
- /* carg (x - i 0) == -0 for x > 0. */
- TEST_c_f (carg, 2.0, minus_zero, minus_zero);
- TEST_c_f (carg, 0, 0, 0);
- TEST_c_f (carg, 0, minus_zero, minus_zero);
- /* carg (x + i 0) == +pi for x < 0. */
- TEST_c_f (carg, -2.0, 0, M_PIl);
- /* carg (x - i 0) == -pi for x < 0. */
- TEST_c_f (carg, -2.0, minus_zero, -M_PIl);
- TEST_c_f (carg, minus_zero, 0, M_PIl);
- TEST_c_f (carg, minus_zero, minus_zero, -M_PIl);
- /* carg (+0 + i y) == pi/2 for y > 0. */
- TEST_c_f (carg, 0, 2.0, M_PI_2l);
- /* carg (-0 + i y) == pi/2 for y > 0. */
- TEST_c_f (carg, minus_zero, 2.0, M_PI_2l);
- /* carg (+0 + i y) == -pi/2 for y < 0. */
- TEST_c_f (carg, 0, -2.0, -M_PI_2l);
- /* carg (-0 + i y) == -pi/2 for y < 0. */
- TEST_c_f (carg, minus_zero, -2.0, -M_PI_2l);
- /* carg (inf + i y) == +0 for finite y > 0. */
- TEST_c_f (carg, plus_infty, 2.0, 0);
- /* carg (inf + i y) == -0 for finite y < 0. */
- TEST_c_f (carg, plus_infty, -2.0, minus_zero);
- /* carg(x + i inf) == pi/2 for finite x. */
- TEST_c_f (carg, 10.0, plus_infty, M_PI_2l);
- /* carg(x - i inf) == -pi/2 for finite x. */
- TEST_c_f (carg, 10.0, minus_infty, -M_PI_2l);
- /* carg (-inf + i y) == +pi for finite y > 0. */
- TEST_c_f (carg, minus_infty, 10.0, M_PIl);
- /* carg (-inf + i y) == -pi for finite y < 0. */
- TEST_c_f (carg, minus_infty, -10.0, -M_PIl);
- TEST_c_f (carg, plus_infty, plus_infty, M_PI_4l);
- TEST_c_f (carg, plus_infty, minus_infty, -M_PI_4l);
- TEST_c_f (carg, minus_infty, plus_infty, 3 * M_PI_4l);
- TEST_c_f (carg, minus_infty, minus_infty, -3 * M_PI_4l);
- TEST_c_f (carg, nan_value, nan_value, nan_value);
- END (carg);
- }
- static void
- casin_test (void)
- {
- errno = 0;
- FUNC(casin) (BUILD_COMPLEX (0.7L, 1.2L));
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (casin);
- TEST_c_c (casin, 0, 0, 0.0, 0.0);
- TEST_c_c (casin, minus_zero, 0, minus_zero, 0.0);
- TEST_c_c (casin, 0, minus_zero, 0.0, minus_zero);
- TEST_c_c (casin, minus_zero, minus_zero, minus_zero, minus_zero);
- TEST_c_c (casin, plus_infty, plus_infty, M_PI_4l, plus_infty);
- TEST_c_c (casin, plus_infty, minus_infty, M_PI_4l, minus_infty);
- TEST_c_c (casin, minus_infty, plus_infty, -M_PI_4l, plus_infty);
- TEST_c_c (casin, minus_infty, minus_infty, -M_PI_4l, minus_infty);
- TEST_c_c (casin, -10.0, plus_infty, minus_zero, plus_infty);
- TEST_c_c (casin, -10.0, minus_infty, minus_zero, minus_infty);
- TEST_c_c (casin, 0, plus_infty, 0.0, plus_infty);
- TEST_c_c (casin, 0, minus_infty, 0.0, minus_infty);
- TEST_c_c (casin, minus_zero, plus_infty, minus_zero, plus_infty);
- TEST_c_c (casin, minus_zero, minus_infty, minus_zero, minus_infty);
- TEST_c_c (casin, 0.1L, plus_infty, 0.0, plus_infty);
- TEST_c_c (casin, 0.1L, minus_infty, 0.0, minus_infty);
- TEST_c_c (casin, minus_infty, 0, -M_PI_2l, plus_infty);
- TEST_c_c (casin, minus_infty, minus_zero, -M_PI_2l, minus_infty);
- TEST_c_c (casin, minus_infty, 100, -M_PI_2l, plus_infty);
- TEST_c_c (casin, minus_infty, -100, -M_PI_2l, minus_infty);
- TEST_c_c (casin, plus_infty, 0, M_PI_2l, plus_infty);
- TEST_c_c (casin, plus_infty, minus_zero, M_PI_2l, minus_infty);
- TEST_c_c (casin, plus_infty, 0.5, M_PI_2l, plus_infty);
- TEST_c_c (casin, plus_infty, -0.5, M_PI_2l, minus_infty);
- TEST_c_c (casin, nan_value, plus_infty, nan_value, plus_infty);
- TEST_c_c (casin, nan_value, minus_infty, nan_value, minus_infty);
- TEST_c_c (casin, 0.0, nan_value, 0.0, nan_value);
- TEST_c_c (casin, minus_zero, nan_value, minus_zero, nan_value);
- TEST_c_c (casin, plus_infty, nan_value, nan_value, plus_infty, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (casin, minus_infty, nan_value, nan_value, plus_infty, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (casin, nan_value, 10.5, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (casin, nan_value, -10.5, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (casin, 0.75, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (casin, -0.75, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (casin, nan_value, nan_value, nan_value, nan_value);
- TEST_c_c (casin, 0.75L, 1.25L, 0.453276177638793913448921196101971749L, 1.13239363160530819522266333696834467L);
- TEST_c_c (casin, -2, -3, -0.57065278432109940071028387968566963L, -1.9833870299165354323470769028940395L);
- END (casin, complex);
- }
- static void
- casinh_test (void)
- {
- errno = 0;
- FUNC(casinh) (BUILD_COMPLEX (0.7L, 1.2L));
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (casinh);
- TEST_c_c (casinh, 0, 0, 0.0, 0.0);
- TEST_c_c (casinh, minus_zero, 0, minus_zero, 0);
- TEST_c_c (casinh, 0, minus_zero, 0.0, minus_zero);
- TEST_c_c (casinh, minus_zero, minus_zero, minus_zero, minus_zero);
- TEST_c_c (casinh, plus_infty, plus_infty, plus_infty, M_PI_4l);
- TEST_c_c (casinh, plus_infty, minus_infty, plus_infty, -M_PI_4l);
- TEST_c_c (casinh, minus_infty, plus_infty, minus_infty, M_PI_4l);
- TEST_c_c (casinh, minus_infty, minus_infty, minus_infty, -M_PI_4l);
- TEST_c_c (casinh, -10.0, plus_infty, minus_infty, M_PI_2l);
- TEST_c_c (casinh, -10.0, minus_infty, minus_infty, -M_PI_2l);
- TEST_c_c (casinh, 0, plus_infty, plus_infty, M_PI_2l);
- TEST_c_c (casinh, 0, minus_infty, plus_infty, -M_PI_2l);
- TEST_c_c (casinh, minus_zero, plus_infty, minus_infty, M_PI_2l);
- TEST_c_c (casinh, minus_zero, minus_infty, minus_infty, -M_PI_2l);
- TEST_c_c (casinh, 0.1L, plus_infty, plus_infty, M_PI_2l);
- TEST_c_c (casinh, 0.1L, minus_infty, plus_infty, -M_PI_2l);
- TEST_c_c (casinh, minus_infty, 0, minus_infty, 0.0);
- TEST_c_c (casinh, minus_infty, minus_zero, minus_infty, minus_zero);
- TEST_c_c (casinh, minus_infty, 100, minus_infty, 0.0);
- TEST_c_c (casinh, minus_infty, -100, minus_infty, minus_zero);
- TEST_c_c (casinh, plus_infty, 0, plus_infty, 0.0);
- TEST_c_c (casinh, plus_infty, minus_zero, plus_infty, minus_zero);
- TEST_c_c (casinh, plus_infty, 0.5, plus_infty, 0.0);
- TEST_c_c (casinh, plus_infty, -0.5, plus_infty, minus_zero);
- TEST_c_c (casinh, plus_infty, nan_value, plus_infty, nan_value);
- TEST_c_c (casinh, minus_infty, nan_value, minus_infty, nan_value);
- TEST_c_c (casinh, nan_value, 0, nan_value, 0.0);
- TEST_c_c (casinh, nan_value, minus_zero, nan_value, minus_zero);
- TEST_c_c (casinh, nan_value, plus_infty, plus_infty, nan_value, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (casinh, nan_value, minus_infty, plus_infty, nan_value, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (casinh, 10.5, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (casinh, -10.5, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (casinh, nan_value, 0.75, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (casinh, -0.75, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (casinh, nan_value, nan_value, nan_value, nan_value);
- TEST_c_c (casinh, 0.75L, 1.25L, 1.03171853444778027336364058631006594L, 0.911738290968487636358489564316731207L);
- TEST_c_c (casinh, -2, -3, -1.9686379257930962917886650952454982L, -0.96465850440760279204541105949953237L);
- END (casinh, complex);
- }
- static void
- catan_test (void)
- {
- errno = 0;
- FUNC(catan) (BUILD_COMPLEX (0.7L, 1.2L));
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (catan);
- TEST_c_c (catan, 0, 0, 0, 0);
- TEST_c_c (catan, minus_zero, 0, minus_zero, 0);
- TEST_c_c (catan, 0, minus_zero, 0, minus_zero);
- TEST_c_c (catan, minus_zero, minus_zero, minus_zero, minus_zero);
- TEST_c_c (catan, plus_infty, plus_infty, M_PI_2l, 0);
- TEST_c_c (catan, plus_infty, minus_infty, M_PI_2l, minus_zero);
- TEST_c_c (catan, minus_infty, plus_infty, -M_PI_2l, 0);
- TEST_c_c (catan, minus_infty, minus_infty, -M_PI_2l, minus_zero);
- TEST_c_c (catan, plus_infty, -10.0, M_PI_2l, minus_zero);
- TEST_c_c (catan, minus_infty, -10.0, -M_PI_2l, minus_zero);
- TEST_c_c (catan, plus_infty, minus_zero, M_PI_2l, minus_zero);
- TEST_c_c (catan, minus_infty, minus_zero, -M_PI_2l, minus_zero);
- TEST_c_c (catan, plus_infty, 0.0, M_PI_2l, 0);
- TEST_c_c (catan, minus_infty, 0.0, -M_PI_2l, 0);
- TEST_c_c (catan, plus_infty, 0.1L, M_PI_2l, 0);
- TEST_c_c (catan, minus_infty, 0.1L, -M_PI_2l, 0);
- TEST_c_c (catan, 0.0, minus_infty, M_PI_2l, minus_zero);
- TEST_c_c (catan, minus_zero, minus_infty, -M_PI_2l, minus_zero);
- TEST_c_c (catan, 100.0, minus_infty, M_PI_2l, minus_zero);
- TEST_c_c (catan, -100.0, minus_infty, -M_PI_2l, minus_zero);
- TEST_c_c (catan, 0.0, plus_infty, M_PI_2l, 0);
- TEST_c_c (catan, minus_zero, plus_infty, -M_PI_2l, 0);
- TEST_c_c (catan, 0.5, plus_infty, M_PI_2l, 0);
- TEST_c_c (catan, -0.5, plus_infty, -M_PI_2l, 0);
- TEST_c_c (catan, nan_value, 0.0, nan_value, 0);
- TEST_c_c (catan, nan_value, minus_zero, nan_value, minus_zero);
- TEST_c_c (catan, nan_value, plus_infty, nan_value, 0);
- TEST_c_c (catan, nan_value, minus_infty, nan_value, minus_zero);
- TEST_c_c (catan, 0.0, nan_value, nan_value, nan_value);
- TEST_c_c (catan, minus_zero, nan_value, nan_value, nan_value);
- TEST_c_c (catan, plus_infty, nan_value, M_PI_2l, 0, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (catan, minus_infty, nan_value, -M_PI_2l, 0, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (catan, nan_value, 10.5, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (catan, nan_value, -10.5, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (catan, 0.75, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (catan, -0.75, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (catan, nan_value, nan_value, nan_value, nan_value);
- TEST_c_c (catan, 0.75L, 1.25L, 1.10714871779409050301706546017853704L, 0.549306144334054845697622618461262852L);
- TEST_c_c (catan, -2, -3, -1.4099210495965755225306193844604208L, -0.22907268296853876629588180294200276L);
- END (catan, complex);
- }
- static void
- catanh_test (void)
- {
- errno = 0;
- FUNC(catanh) (BUILD_COMPLEX (0.7L, 1.2L));
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (catanh);
- TEST_c_c (catanh, 0, 0, 0.0, 0.0);
- TEST_c_c (catanh, minus_zero, 0, minus_zero, 0.0);
- TEST_c_c (catanh, 0, minus_zero, 0.0, minus_zero);
- TEST_c_c (catanh, minus_zero, minus_zero, minus_zero, minus_zero);
- TEST_c_c (catanh, plus_infty, plus_infty, 0.0, M_PI_2l);
- TEST_c_c (catanh, plus_infty, minus_infty, 0.0, -M_PI_2l);
- TEST_c_c (catanh, minus_infty, plus_infty, minus_zero, M_PI_2l);
- TEST_c_c (catanh, minus_infty, minus_infty, minus_zero, -M_PI_2l);
- TEST_c_c (catanh, -10.0, plus_infty, minus_zero, M_PI_2l);
- TEST_c_c (catanh, -10.0, minus_infty, minus_zero, -M_PI_2l);
- TEST_c_c (catanh, minus_zero, plus_infty, minus_zero, M_PI_2l);
- TEST_c_c (catanh, minus_zero, minus_infty, minus_zero, -M_PI_2l);
- TEST_c_c (catanh, 0, plus_infty, 0.0, M_PI_2l);
- TEST_c_c (catanh, 0, minus_infty, 0.0, -M_PI_2l);
- TEST_c_c (catanh, 0.1L, plus_infty, 0.0, M_PI_2l);
- TEST_c_c (catanh, 0.1L, minus_infty, 0.0, -M_PI_2l);
- TEST_c_c (catanh, minus_infty, 0, minus_zero, M_PI_2l);
- TEST_c_c (catanh, minus_infty, minus_zero, minus_zero, -M_PI_2l);
- TEST_c_c (catanh, minus_infty, 100, minus_zero, M_PI_2l);
- TEST_c_c (catanh, minus_infty, -100, minus_zero, -M_PI_2l);
- TEST_c_c (catanh, plus_infty, 0, 0.0, M_PI_2l);
- TEST_c_c (catanh, plus_infty, minus_zero, 0.0, -M_PI_2l);
- TEST_c_c (catanh, plus_infty, 0.5, 0.0, M_PI_2l);
- TEST_c_c (catanh, plus_infty, -0.5, 0.0, -M_PI_2l);
- TEST_c_c (catanh, 0, nan_value, 0.0, nan_value);
- TEST_c_c (catanh, minus_zero, nan_value, minus_zero, nan_value);
- TEST_c_c (catanh, plus_infty, nan_value, 0.0, nan_value);
- TEST_c_c (catanh, minus_infty, nan_value, minus_zero, nan_value);
- TEST_c_c (catanh, nan_value, 0, nan_value, nan_value);
- TEST_c_c (catanh, nan_value, minus_zero, nan_value, nan_value);
- TEST_c_c (catanh, nan_value, plus_infty, 0.0, M_PI_2l, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (catanh, nan_value, minus_infty, 0.0, -M_PI_2l, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (catanh, 10.5, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (catanh, -10.5, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (catanh, nan_value, 0.75, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (catanh, nan_value, -0.75, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (catanh, nan_value, nan_value, nan_value, nan_value);
- TEST_c_c (catanh, 0.75L, 1.25L, 0.261492138795671927078652057366532140L, 0.996825126463918666098902241310446708L);
- TEST_c_c (catanh, -2, -3, -0.14694666622552975204743278515471595L, -1.3389725222944935611241935759091443L);
- END (catanh, complex);
- }
- #endif
- static void
- cbrt_test (void)
- {
- errno = 0;
- FUNC(cbrt) (8);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (cbrt);
- TEST_f_f (cbrt, 0.0, 0.0);
- TEST_f_f (cbrt, minus_zero, minus_zero);
- TEST_f_f (cbrt, plus_infty, plus_infty);
- TEST_f_f (cbrt, minus_infty, minus_infty);
- TEST_f_f (cbrt, nan_value, nan_value);
- TEST_f_f (cbrt, -0.001L, -0.1L);
- TEST_f_f (cbrt, 8, 2);
- TEST_f_f (cbrt, -27.0, -3.0);
- TEST_f_f (cbrt, 0.9921875L, 0.997389022060725270579075195353955217L);
- TEST_f_f (cbrt, 0.75L, 0.908560296416069829445605878163630251L);
- END (cbrt);
- }
- #if 0
- static void
- ccos_test (void)
- {
- errno = 0;
- FUNC(ccos) (BUILD_COMPLEX (0, 0));
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (ccos);
- TEST_c_c (ccos, 0.0, 0.0, 1.0, minus_zero);
- TEST_c_c (ccos, minus_zero, 0.0, 1.0, 0.0);
- TEST_c_c (ccos, 0.0, minus_zero, 1.0, 0.0);
- TEST_c_c (ccos, minus_zero, minus_zero, 1.0, minus_zero);
- TEST_c_c (ccos, plus_infty, 0.0, nan_value, 0.0, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
- TEST_c_c (ccos, plus_infty, minus_zero, nan_value, 0.0, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
- TEST_c_c (ccos, minus_infty, 0.0, nan_value, 0.0, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
- TEST_c_c (ccos, minus_infty, minus_zero, nan_value, 0.0, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
- TEST_c_c (ccos, 0.0, plus_infty, plus_infty, minus_zero);
- TEST_c_c (ccos, 0.0, minus_infty, plus_infty, 0.0);
- TEST_c_c (ccos, minus_zero, plus_infty, plus_infty, 0.0);
- TEST_c_c (ccos, minus_zero, minus_infty, plus_infty, minus_zero);
- TEST_c_c (ccos, plus_infty, plus_infty, plus_infty, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ccos, minus_infty, plus_infty, plus_infty, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ccos, plus_infty, minus_infty, plus_infty, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ccos, minus_infty, minus_infty, plus_infty, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ccos, 4.625, plus_infty, minus_infty, plus_infty);
- TEST_c_c (ccos, 4.625, minus_infty, minus_infty, minus_infty);
- TEST_c_c (ccos, -4.625, plus_infty, minus_infty, minus_infty);
- TEST_c_c (ccos, -4.625, minus_infty, minus_infty, plus_infty);
- TEST_c_c (ccos, plus_infty, 6.75, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ccos, plus_infty, -6.75, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ccos, minus_infty, 6.75, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ccos, minus_infty, -6.75, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ccos, nan_value, 0.0, nan_value, 0.0, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (ccos, nan_value, minus_zero, nan_value, 0.0, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (ccos, nan_value, plus_infty, plus_infty, nan_value);
- TEST_c_c (ccos, nan_value, minus_infty, plus_infty, nan_value);
- TEST_c_c (ccos, nan_value, 9.0, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (ccos, nan_value, -9.0, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (ccos, 0.0, nan_value, nan_value, 0.0, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (ccos, minus_zero, nan_value, nan_value, 0.0, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (ccos, 10.0, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (ccos, -10.0, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (ccos, plus_infty, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (ccos, minus_infty, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (ccos, nan_value, nan_value, nan_value, nan_value);
- TEST_c_c (ccos, 0.75L, 1.25L, 1.38173873063425888530729933139078645L, -1.09193013555397466170919531722024128L);
- TEST_c_c (ccos, -2, -3, -4.18962569096880723013255501961597373L, -9.10922789375533659797919726277886212L);
- END (ccos, complex);
- }
- static void
- ccosh_test (void)
- {
- errno = 0;
- FUNC(ccosh) (BUILD_COMPLEX (0.7L, 1.2L));
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (ccosh);
- TEST_c_c (ccosh, 0.0, 0.0, 1.0, 0.0);
- TEST_c_c (ccosh, minus_zero, 0.0, 1.0, minus_zero);
- TEST_c_c (ccosh, 0.0, minus_zero, 1.0, minus_zero);
- TEST_c_c (ccosh, minus_zero, minus_zero, 1.0, 0.0);
- TEST_c_c (ccosh, 0.0, plus_infty, nan_value, 0.0, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
- TEST_c_c (ccosh, minus_zero, plus_infty, nan_value, 0.0, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
- TEST_c_c (ccosh, 0.0, minus_infty, nan_value, 0.0, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
- TEST_c_c (ccosh, minus_zero, minus_infty, nan_value, 0.0, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
- TEST_c_c (ccosh, plus_infty, 0.0, plus_infty, 0.0);
- TEST_c_c (ccosh, minus_infty, 0.0, plus_infty, minus_zero);
- TEST_c_c (ccosh, plus_infty, minus_zero, plus_infty, minus_zero);
- TEST_c_c (ccosh, minus_infty, minus_zero, plus_infty, 0.0);
- TEST_c_c (ccosh, plus_infty, plus_infty, plus_infty, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ccosh, minus_infty, plus_infty, plus_infty, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ccosh, plus_infty, minus_infty, plus_infty, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ccosh, minus_infty, minus_infty, plus_infty, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ccosh, plus_infty, 4.625, minus_infty, minus_infty);
- TEST_c_c (ccosh, minus_infty, 4.625, minus_infty, plus_infty);
- TEST_c_c (ccosh, plus_infty, -4.625, minus_infty, plus_infty);
- TEST_c_c (ccosh, minus_infty, -4.625, minus_infty, minus_infty);
- TEST_c_c (ccosh, 6.75, plus_infty, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ccosh, -6.75, plus_infty, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ccosh, 6.75, minus_infty, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ccosh, -6.75, minus_infty, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ccosh, 0.0, nan_value, nan_value, 0.0, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (ccosh, minus_zero, nan_value, nan_value, 0.0, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (ccosh, plus_infty, nan_value, plus_infty, nan_value);
- TEST_c_c (ccosh, minus_infty, nan_value, plus_infty, nan_value);
- TEST_c_c (ccosh, 9.0, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (ccosh, -9.0, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (ccosh, nan_value, 0.0, nan_value, 0.0, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (ccosh, nan_value, minus_zero, nan_value, 0.0, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (ccosh, nan_value, 10.0, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (ccosh, nan_value, -10.0, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (ccosh, nan_value, plus_infty, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (ccosh, nan_value, minus_infty, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (ccosh, nan_value, nan_value, nan_value, nan_value);
- TEST_c_c (ccosh, 0.75L, 1.25L, 0.408242591877968807788852146397499084L, 0.780365930845853240391326216300863152L);
- TEST_c_c (ccosh, -2, -3, -3.72454550491532256547397070325597253L, 0.511822569987384608834463849801875634L);
- END (ccosh, complex);
- }
- #endif
- static void
- ceil_test (void)
- {
- START (ceil);
- TEST_f_f (ceil, 0.0, 0.0);
- TEST_f_f (ceil, minus_zero, minus_zero);
- TEST_f_f (ceil, plus_infty, plus_infty);
- TEST_f_f (ceil, minus_infty, minus_infty);
- TEST_f_f (ceil, nan_value, nan_value);
- TEST_f_f (ceil, M_PIl, 4.0);
- TEST_f_f (ceil, -M_PIl, -3.0);
- TEST_f_f (ceil, 0.25, 1.0);
- TEST_f_f (ceil, -0.25, minus_zero);
- #ifdef TEST_LDOUBLE
- /* The result can only be represented in long double. */
- TEST_f_f (ceil, 4503599627370495.5L, 4503599627370496.0L);
- TEST_f_f (ceil, 4503599627370496.25L, 4503599627370497.0L);
- TEST_f_f (ceil, 4503599627370496.5L, 4503599627370497.0L);
- TEST_f_f (ceil, 4503599627370496.75L, 4503599627370497.0L);
- TEST_f_f (ceil, 4503599627370497.5L, 4503599627370498.0L);
- TEST_f_f (ceil, -4503599627370495.5L, -4503599627370495.0L);
- TEST_f_f (ceil, -4503599627370496.25L, -4503599627370496.0L);
- TEST_f_f (ceil, -4503599627370496.5L, -4503599627370496.0L);
- TEST_f_f (ceil, -4503599627370496.75L, -4503599627370496.0L);
- TEST_f_f (ceil, -4503599627370497.5L, -4503599627370497.0L);
- TEST_f_f (ceil, 9007199254740991.5L, 9007199254740992.0L);
- TEST_f_f (ceil, 9007199254740992.25L, 9007199254740993.0L);
- TEST_f_f (ceil, 9007199254740992.5L, 9007199254740993.0L);
- TEST_f_f (ceil, 9007199254740992.75L, 9007199254740993.0L);
- TEST_f_f (ceil, 9007199254740993.5L, 9007199254740994.0L);
- TEST_f_f (ceil, -9007199254740991.5L, -9007199254740991.0L);
- TEST_f_f (ceil, -9007199254740992.25L, -9007199254740992.0L);
- TEST_f_f (ceil, -9007199254740992.5L, -9007199254740992.0L);
- TEST_f_f (ceil, -9007199254740992.75L, -9007199254740992.0L);
- TEST_f_f (ceil, -9007199254740993.5L, -9007199254740993.0L);
- TEST_f_f (ceil, 72057594037927935.5L, 72057594037927936.0L);
- TEST_f_f (ceil, 72057594037927936.25L, 72057594037927937.0L);
- TEST_f_f (ceil, 72057594037927936.5L, 72057594037927937.0L);
- TEST_f_f (ceil, 72057594037927936.75L, 72057594037927937.0L);
- TEST_f_f (ceil, 72057594037927937.5L, 72057594037927938.0L);
- TEST_f_f (ceil, -72057594037927935.5L, -72057594037927935.0L);
- TEST_f_f (ceil, -72057594037927936.25L, -72057594037927936.0L);
- TEST_f_f (ceil, -72057594037927936.5L, -72057594037927936.0L);
- TEST_f_f (ceil, -72057594037927936.75L, -72057594037927936.0L);
- TEST_f_f (ceil, -72057594037927937.5L, -72057594037927937.0L);
- TEST_f_f (ceil, 10141204801825835211973625643007.5L, 10141204801825835211973625643008.0L);
- TEST_f_f (ceil, 10141204801825835211973625643008.25L, 10141204801825835211973625643009.0L);
- TEST_f_f (ceil, 10141204801825835211973625643008.5L, 10141204801825835211973625643009.0L);
- TEST_f_f (ceil, 10141204801825835211973625643008.75L, 10141204801825835211973625643009.0L);
- TEST_f_f (ceil, 10141204801825835211973625643009.5L, 10141204801825835211973625643010.0L);
- #endif
- END (ceil);
- }
- #if 0
- static void
- cexp_test (void)
- {
- errno = 0;
- FUNC(cexp) (BUILD_COMPLEX (0, 0));
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (cexp);
- TEST_c_c (cexp, plus_zero, plus_zero, 1, 0.0);
- TEST_c_c (cexp, minus_zero, plus_zero, 1, 0.0);
- TEST_c_c (cexp, plus_zero, minus_zero, 1, minus_zero);
- TEST_c_c (cexp, minus_zero, minus_zero, 1, minus_zero);
- TEST_c_c (cexp, plus_infty, plus_zero, plus_infty, 0.0);
- TEST_c_c (cexp, plus_infty, minus_zero, plus_infty, minus_zero);
- TEST_c_c (cexp, minus_infty, plus_zero, 0.0, 0.0);
- TEST_c_c (cexp, minus_infty, minus_zero, 0.0, minus_zero);
- TEST_c_c (cexp, 0.0, plus_infty, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (cexp, minus_zero, plus_infty, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (cexp, 0.0, minus_infty, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (cexp, minus_zero, minus_infty, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (cexp, 100.0, plus_infty, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (cexp, -100.0, plus_infty, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (cexp, 100.0, minus_infty, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (cexp, -100.0, minus_infty, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (cexp, minus_infty, 2.0, minus_zero, 0.0);
- TEST_c_c (cexp, minus_infty, 4.0, minus_zero, minus_zero);
- TEST_c_c (cexp, plus_infty, 2.0, minus_infty, plus_infty);
- TEST_c_c (cexp, plus_infty, 4.0, minus_infty, minus_infty);
- TEST_c_c (cexp, plus_infty, plus_infty, plus_infty, nan_value, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
- TEST_c_c (cexp, plus_infty, minus_infty, plus_infty, nan_value, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
- TEST_c_c (cexp, minus_infty, plus_infty, 0.0, 0.0, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (cexp, minus_infty, minus_infty, 0.0, minus_zero, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (cexp, minus_infty, nan_value, 0, 0, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (cexp, plus_infty, nan_value, plus_infty, nan_value);
- TEST_c_c (cexp, nan_value, 0.0, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (cexp, nan_value, 1.0, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (cexp, nan_value, plus_infty, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (cexp, 0, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (cexp, 1, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (cexp, nan_value, nan_value, nan_value, nan_value);
- TEST_c_c (cexp, 0.75L, 1.25L, 0.667537446429131586942201977015932112L, 2.00900045494094876258347228145863909L);
- TEST_c_c (cexp, -2.0, -3.0, -0.13398091492954261346140525546115575L, -0.019098516261135196432576240858800925L);
- END (cexp, complex);
- }
- static void
- cimag_test (void)
- {
- START (cimag);
- TEST_c_f (cimag, 1.0, 0.0, 0.0);
- TEST_c_f (cimag, 1.0, minus_zero, minus_zero);
- TEST_c_f (cimag, 1.0, nan_value, nan_value);
- TEST_c_f (cimag, nan_value, nan_value, nan_value);
- TEST_c_f (cimag, 1.0, plus_infty, plus_infty);
- TEST_c_f (cimag, 1.0, minus_infty, minus_infty);
- TEST_c_f (cimag, 2.0, 3.0, 3.0);
- END (cimag);
- }
- static void
- clog_test (void)
- {
- errno = 0;
- FUNC(clog) (BUILD_COMPLEX (-2, -3));
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (clog);
- TEST_c_c (clog, minus_zero, 0, minus_infty, M_PIl, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_c_c (clog, minus_zero, minus_zero, minus_infty, -M_PIl, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_c_c (clog, 0, 0, minus_infty, 0.0, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_c_c (clog, 0, minus_zero, minus_infty, minus_zero, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_c_c (clog, minus_infty, plus_infty, plus_infty, M_PI_34l);
- TEST_c_c (clog, minus_infty, minus_infty, plus_infty, -M_PI_34l);
- TEST_c_c (clog, plus_infty, plus_infty, plus_infty, M_PI_4l);
- TEST_c_c (clog, plus_infty, minus_infty, plus_infty, -M_PI_4l);
- TEST_c_c (clog, 0, plus_infty, plus_infty, M_PI_2l);
- TEST_c_c (clog, 3, plus_infty, plus_infty, M_PI_2l);
- TEST_c_c (clog, minus_zero, plus_infty, plus_infty, M_PI_2l);
- TEST_c_c (clog, -3, plus_infty, plus_infty, M_PI_2l);
- TEST_c_c (clog, 0, minus_infty, plus_infty, -M_PI_2l);
- TEST_c_c (clog, 3, minus_infty, plus_infty, -M_PI_2l);
- TEST_c_c (clog, minus_zero, minus_infty, plus_infty, -M_PI_2l);
- TEST_c_c (clog, -3, minus_infty, plus_infty, -M_PI_2l);
- TEST_c_c (clog, minus_infty, 0, plus_infty, M_PIl);
- TEST_c_c (clog, minus_infty, 1, plus_infty, M_PIl);
- TEST_c_c (clog, minus_infty, minus_zero, plus_infty, -M_PIl);
- TEST_c_c (clog, minus_infty, -1, plus_infty, -M_PIl);
- TEST_c_c (clog, plus_infty, 0, plus_infty, 0.0);
- TEST_c_c (clog, plus_infty, 1, plus_infty, 0.0);
- TEST_c_c (clog, plus_infty, minus_zero, plus_infty, minus_zero);
- TEST_c_c (clog, plus_infty, -1, plus_infty, minus_zero);
- TEST_c_c (clog, plus_infty, nan_value, plus_infty, nan_value);
- TEST_c_c (clog, minus_infty, nan_value, plus_infty, nan_value);
- TEST_c_c (clog, nan_value, plus_infty, plus_infty, nan_value);
- TEST_c_c (clog, nan_value, minus_infty, plus_infty, nan_value);
- TEST_c_c (clog, 0, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (clog, 3, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (clog, minus_zero, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (clog, -3, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (clog, nan_value, 0, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (clog, nan_value, 5, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (clog, nan_value, minus_zero, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (clog, nan_value, -5, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (clog, nan_value, nan_value, nan_value, nan_value);
- TEST_c_c (clog, 0.75L, 1.25L, 0.376885901188190075998919126749298416L, 1.03037682652431246378774332703115153L);
- TEST_c_c (clog, -2, -3, 1.2824746787307683680267437207826593L, -2.1587989303424641704769327722648368L);
- END (clog, complex);
- }
- static void
- clog10_test (void)
- {
- errno = 0;
- FUNC(clog10) (BUILD_COMPLEX (0.7L, 1.2L));
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (clog10);
- TEST_c_c (clog10, minus_zero, 0, minus_infty, M_PIl, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_c_c (clog10, minus_zero, minus_zero, minus_infty, -M_PIl, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_c_c (clog10, 0, 0, minus_infty, 0.0, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_c_c (clog10, 0, minus_zero, minus_infty, minus_zero, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_c_c (clog10, minus_infty, plus_infty, plus_infty, M_PI_34_LOG10El);
- TEST_c_c (clog10, plus_infty, plus_infty, plus_infty, M_PI4_LOG10El);
- TEST_c_c (clog10, plus_infty, minus_infty, plus_infty, -M_PI4_LOG10El);
- TEST_c_c (clog10, 0, plus_infty, plus_infty, M_PI2_LOG10El);
- TEST_c_c (clog10, 3, plus_infty, plus_infty, M_PI2_LOG10El);
- TEST_c_c (clog10, minus_zero, plus_infty, plus_infty, M_PI2_LOG10El);
- TEST_c_c (clog10, -3, plus_infty, plus_infty, M_PI2_LOG10El);
- TEST_c_c (clog10, 0, minus_infty, plus_infty, -M_PI2_LOG10El);
- TEST_c_c (clog10, 3, minus_infty, plus_infty, -M_PI2_LOG10El);
- TEST_c_c (clog10, minus_zero, minus_infty, plus_infty, -M_PI2_LOG10El);
- TEST_c_c (clog10, -3, minus_infty, plus_infty, -M_PI2_LOG10El);
- TEST_c_c (clog10, minus_infty, 0, plus_infty, M_PI_LOG10El);
- TEST_c_c (clog10, minus_infty, 1, plus_infty, M_PI_LOG10El);
- TEST_c_c (clog10, minus_infty, minus_zero, plus_infty, -M_PI_LOG10El);
- TEST_c_c (clog10, minus_infty, -1, plus_infty, -M_PI_LOG10El);
- TEST_c_c (clog10, plus_infty, 0, plus_infty, 0.0);
- TEST_c_c (clog10, plus_infty, 1, plus_infty, 0.0);
- TEST_c_c (clog10, plus_infty, minus_zero, plus_infty, minus_zero);
- TEST_c_c (clog10, plus_infty, -1, plus_infty, minus_zero);
- TEST_c_c (clog10, plus_infty, nan_value, plus_infty, nan_value);
- TEST_c_c (clog10, minus_infty, nan_value, plus_infty, nan_value);
- TEST_c_c (clog10, nan_value, plus_infty, plus_infty, nan_value);
- TEST_c_c (clog10, nan_value, minus_infty, plus_infty, nan_value);
- TEST_c_c (clog10, 0, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (clog10, 3, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (clog10, minus_zero, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (clog10, -3, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (clog10, nan_value, 0, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (clog10, nan_value, 5, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (clog10, nan_value, minus_zero, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (clog10, nan_value, -5, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (clog10, nan_value, nan_value, nan_value, nan_value);
- TEST_c_c (clog10, 0.75L, 1.25L, 0.163679467193165171449476605077428975L, 0.447486970040493067069984724340855636L);
- TEST_c_c (clog10, -2, -3, 0.556971676153418384603252578971164214L, -0.937554462986374708541507952140189646L);
- END (clog10, complex);
- }
- #endif
- #if 0
- static void
- conj_test (void)
- {
- START (conj);
- TEST_c_c (conj, 0.0, 0.0, 0.0, minus_zero);
- TEST_c_c (conj, 0.0, minus_zero, 0.0, 0.0);
- TEST_c_c (conj, nan_value, nan_value, nan_value, nan_value);
- TEST_c_c (conj, plus_infty, minus_infty, plus_infty, plus_infty);
- TEST_c_c (conj, plus_infty, plus_infty, plus_infty, minus_infty);
- TEST_c_c (conj, 1.0, 2.0, 1.0, -2.0);
- TEST_c_c (conj, 3.0, -4.0, 3.0, 4.0);
- END (conj, complex);
- }
- #endif
- static void
- copysign_test (void)
- {
- START (copysign);
- TEST_ff_f (copysign, 0, 4, 0);
- TEST_ff_f (copysign, 0, -4, minus_zero);
- TEST_ff_f (copysign, minus_zero, 4, 0);
- TEST_ff_f (copysign, minus_zero, -4, minus_zero);
- TEST_ff_f (copysign, plus_infty, 0, plus_infty);
- TEST_ff_f (copysign, plus_infty, minus_zero, minus_infty);
- TEST_ff_f (copysign, minus_infty, 0, plus_infty);
- TEST_ff_f (copysign, minus_infty, minus_zero, minus_infty);
- TEST_ff_f (copysign, 0, plus_infty, 0);
- TEST_ff_f (copysign, 0, minus_zero, minus_zero);
- TEST_ff_f (copysign, minus_zero, plus_infty, 0);
- TEST_ff_f (copysign, minus_zero, minus_zero, minus_zero);
- /* XXX More correctly we would have to check the sign of the NaN. */
- TEST_ff_f (copysign, nan_value, 0, nan_value);
- TEST_ff_f (copysign, nan_value, minus_zero, nan_value);
- TEST_ff_f (copysign, -nan_value, 0, nan_value);
- TEST_ff_f (copysign, -nan_value, minus_zero, nan_value);
- END (copysign);
- }
- static void
- cos_test (void)
- {
- errno = 0;
- FUNC(cos) (0);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (cos);
- TEST_f_f (cos, 0, 1);
- TEST_f_f (cos, minus_zero, 1);
- TEST_f_f (cos, plus_infty, nan_value, INVALID_EXCEPTION);
- TEST_f_f (cos, minus_infty, nan_value, INVALID_EXCEPTION);
- TEST_f_f (cos, nan_value, nan_value);
- TEST_f_f (cos, M_PI_6l * 2.0, 0.5);
- TEST_f_f (cos, M_PI_6l * 4.0, -0.5);
- TEST_f_f (cos, M_PI_2l, 0);
- TEST_f_f (cos, 0.75L, 0.731688868873820886311838753000084544L);
- #ifdef TEST_DOUBLE
- TEST_f_f (cos, 0.80190127184058835, 0.69534156199418473);
- #endif
- END (cos);
- }
- static void
- cosh_test (void)
- {
- errno = 0;
- FUNC(cosh) (0.7L);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (cosh);
- TEST_f_f (cosh, 0, 1);
- TEST_f_f (cosh, minus_zero, 1);
- #ifndef TEST_INLINE
- TEST_f_f (cosh, plus_infty, plus_infty);
- TEST_f_f (cosh, minus_infty, plus_infty);
- #endif
- TEST_f_f (cosh, nan_value, nan_value);
- TEST_f_f (cosh, 0.75L, 1.29468328467684468784170818539018176L);
- END (cosh);
- }
- #if 0
- static void
- cpow_test (void)
- {
- errno = 0;
- FUNC(cpow) (BUILD_COMPLEX (1, 0), BUILD_COMPLEX (0, 0));
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (cpow);
- TEST_cc_c (cpow, 1, 0, 0, 0, 1.0, 0.0);
- TEST_cc_c (cpow, 2, 0, 10, 0, 1024.0, 0.0);
- TEST_cc_c (cpow, M_El, 0, 0, 2 * M_PIl, 1.0, 0.0);
- TEST_cc_c (cpow, 2, 3, 4, 0, -119.0, -120.0);
- TEST_cc_c (cpow, nan_value, nan_value, nan_value, nan_value, nan_value, nan_value);
- TEST_cc_c (cpow, 0.75L, 1.25L, 0.75L, 1.25L, 0.117506293914473555420279832210420483L, 0.346552747708338676483025352060418001L);
- TEST_cc_c (cpow, 0.75L, 1.25L, 1.0L, 1.0L, 0.0846958290317209430433805274189191353L, 0.513285749182902449043287190519090481L);
- TEST_cc_c (cpow, 0.75L, 1.25L, 1.0L, 0.0L, 0.75L, 1.25L);
- TEST_cc_c (cpow, 0.75L, 1.25L, 0.0L, 1.0L, 0.331825439177608832276067945276730566L, 0.131338600281188544930936345230903032L);
- END (cpow, complex);
- }
- static void
- cproj_test (void)
- {
- START (cproj);
- TEST_c_c (cproj, 0.0, 0.0, 0.0, 0.0);
- TEST_c_c (cproj, minus_zero, minus_zero, minus_zero, minus_zero);
- TEST_c_c (cproj, 0.0, minus_zero, 0.0, minus_zero);
- TEST_c_c (cproj, minus_zero, 0.0, minus_zero, 0.0);
- TEST_c_c (cproj, nan_value, nan_value, nan_value, nan_value);
- TEST_c_c (cproj, plus_infty, plus_infty, plus_infty, 0.0);
- TEST_c_c (cproj, plus_infty, minus_infty, plus_infty, minus_zero);
- TEST_c_c (cproj, minus_infty, plus_infty, plus_infty, 0.0);
- TEST_c_c (cproj, minus_infty, minus_infty, plus_infty, minus_zero);
- TEST_c_c (cproj, 1.0, 0.0, 1.0, 0.0);
- TEST_c_c (cproj, 2.0, 3.0, 0.2857142857142857142857142857142857L, 0.42857142857142857142857142857142855L);
- END (cproj, complex);
- }
- static void
- creal_test (void)
- {
- START (creal);
- TEST_c_f (creal, 0.0, 1.0, 0.0);
- TEST_c_f (creal, minus_zero, 1.0, minus_zero);
- TEST_c_f (creal, nan_value, 1.0, nan_value);
- TEST_c_f (creal, nan_value, nan_value, nan_value);
- TEST_c_f (creal, plus_infty, 1.0, plus_infty);
- TEST_c_f (creal, minus_infty, 1.0, minus_infty);
- TEST_c_f (creal, 2.0, 3.0, 2.0);
- END (creal);
- }
- static void
- csin_test (void)
- {
- errno = 0;
- FUNC(csin) (BUILD_COMPLEX (0.7L, 1.2L));
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (csin);
- TEST_c_c (csin, 0.0, 0.0, 0.0, 0.0);
- TEST_c_c (csin, minus_zero, 0.0, minus_zero, 0.0);
- TEST_c_c (csin, 0.0, minus_zero, 0, minus_zero);
- TEST_c_c (csin, minus_zero, minus_zero, minus_zero, minus_zero);
- TEST_c_c (csin, 0.0, plus_infty, 0.0, plus_infty);
- TEST_c_c (csin, minus_zero, plus_infty, minus_zero, plus_infty);
- TEST_c_c (csin, 0.0, minus_infty, 0.0, minus_infty);
- TEST_c_c (csin, minus_zero, minus_infty, minus_zero, minus_infty);
- TEST_c_c (csin, plus_infty, 0.0, nan_value, 0.0, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
- TEST_c_c (csin, minus_infty, 0.0, nan_value, 0.0, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
- TEST_c_c (csin, plus_infty, minus_zero, nan_value, 0.0, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
- TEST_c_c (csin, minus_infty, minus_zero, nan_value, 0.0, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
- TEST_c_c (csin, plus_infty, plus_infty, nan_value, plus_infty, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
- TEST_c_c (csin, minus_infty, plus_infty, nan_value, plus_infty, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
- TEST_c_c (csin, plus_infty, minus_infty, nan_value, plus_infty, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
- TEST_c_c (csin, minus_infty, minus_infty, nan_value, plus_infty, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
- TEST_c_c (csin, plus_infty, 6.75, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (csin, plus_infty, -6.75, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (csin, minus_infty, 6.75, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (csin, minus_infty, -6.75, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (csin, 4.625, plus_infty, minus_infty, minus_infty);
- TEST_c_c (csin, 4.625, minus_infty, minus_infty, plus_infty);
- TEST_c_c (csin, -4.625, plus_infty, plus_infty, minus_infty);
- TEST_c_c (csin, -4.625, minus_infty, plus_infty, plus_infty);
- TEST_c_c (csin, nan_value, 0.0, nan_value, 0.0, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (csin, nan_value, minus_zero, nan_value, 0.0, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (csin, nan_value, plus_infty, nan_value, plus_infty, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (csin, nan_value, minus_infty, nan_value, plus_infty, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (csin, nan_value, 9.0, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (csin, nan_value, -9.0, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (csin, 0.0, nan_value, 0.0, nan_value);
- TEST_c_c (csin, minus_zero, nan_value, minus_zero, nan_value);
- TEST_c_c (csin, 10.0, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (csin, nan_value, -10.0, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (csin, plus_infty, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (csin, minus_infty, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (csin, nan_value, nan_value, nan_value, nan_value);
- TEST_c_c (csin, 0.75L, 1.25L, 1.28722291002649188575873510790565441L, 1.17210635989270256101081285116138863L);
- TEST_c_c (csin, -2, -3, -9.15449914691142957346729954460983256L, 4.16890695996656435075481305885375484L);
- END (csin, complex);
- }
- static void
- csinh_test (void)
- {
- errno = 0;
- FUNC(csinh) (BUILD_COMPLEX (0.7L, 1.2L));
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (csinh);
- TEST_c_c (csinh, 0.0, 0.0, 0.0, 0.0);
- TEST_c_c (csinh, minus_zero, 0.0, minus_zero, 0.0);
- TEST_c_c (csinh, 0.0, minus_zero, 0.0, minus_zero);
- TEST_c_c (csinh, minus_zero, minus_zero, minus_zero, minus_zero);
- TEST_c_c (csinh, 0.0, plus_infty, 0.0, nan_value, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
- TEST_c_c (csinh, minus_zero, plus_infty, 0.0, nan_value, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
- TEST_c_c (csinh, 0.0, minus_infty, 0.0, nan_value, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
- TEST_c_c (csinh, minus_zero, minus_infty, 0.0, nan_value, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
- TEST_c_c (csinh, plus_infty, 0.0, plus_infty, 0.0);
- TEST_c_c (csinh, minus_infty, 0.0, minus_infty, 0.0);
- TEST_c_c (csinh, plus_infty, minus_zero, plus_infty, minus_zero);
- TEST_c_c (csinh, minus_infty, minus_zero, minus_infty, minus_zero);
- TEST_c_c (csinh, plus_infty, plus_infty, plus_infty, nan_value, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
- TEST_c_c (csinh, minus_infty, plus_infty, plus_infty, nan_value, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
- TEST_c_c (csinh, plus_infty, minus_infty, plus_infty, nan_value, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
- TEST_c_c (csinh, minus_infty, minus_infty, plus_infty, nan_value, INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN);
- TEST_c_c (csinh, plus_infty, 4.625, minus_infty, minus_infty);
- TEST_c_c (csinh, minus_infty, 4.625, plus_infty, minus_infty);
- TEST_c_c (csinh, plus_infty, -4.625, minus_infty, plus_infty);
- TEST_c_c (csinh, minus_infty, -4.625, plus_infty, plus_infty);
- TEST_c_c (csinh, 6.75, plus_infty, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (csinh, -6.75, plus_infty, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (csinh, 6.75, minus_infty, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (csinh, -6.75, minus_infty, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (csinh, 0.0, nan_value, 0.0, nan_value, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (csinh, minus_zero, nan_value, 0.0, nan_value, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (csinh, plus_infty, nan_value, plus_infty, nan_value, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (csinh, minus_infty, nan_value, plus_infty, nan_value, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (csinh, 9.0, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (csinh, -9.0, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (csinh, nan_value, 0.0, nan_value, 0.0);
- TEST_c_c (csinh, nan_value, minus_zero, nan_value, minus_zero);
- TEST_c_c (csinh, nan_value, 10.0, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (csinh, nan_value, -10.0, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (csinh, nan_value, plus_infty, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (csinh, nan_value, minus_infty, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (csinh, nan_value, nan_value, nan_value, nan_value);
- TEST_c_c (csinh, 0.75L, 1.25L, 0.259294854551162779153349830618433028L, 1.22863452409509552219214606515777594L);
- TEST_c_c (csinh, -2, -3, 3.59056458998577995201256544779481679L, -0.530921086248519805267040090660676560L);
- END (csinh, complex);
- }
- static void
- csqrt_test (void)
- {
- errno = 0;
- FUNC(csqrt) (BUILD_COMPLEX (-1, 0));
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (csqrt);
- TEST_c_c (csqrt, 0, 0, 0.0, 0.0);
- TEST_c_c (csqrt, 0, minus_zero, 0, minus_zero);
- TEST_c_c (csqrt, minus_zero, 0, 0.0, 0.0);
- TEST_c_c (csqrt, minus_zero, minus_zero, 0.0, minus_zero);
- TEST_c_c (csqrt, minus_infty, 0, 0.0, plus_infty);
- TEST_c_c (csqrt, minus_infty, 6, 0.0, plus_infty);
- TEST_c_c (csqrt, minus_infty, minus_zero, 0.0, minus_infty);
- TEST_c_c (csqrt, minus_infty, -6, 0.0, minus_infty);
- TEST_c_c (csqrt, plus_infty, 0, plus_infty, 0.0);
- TEST_c_c (csqrt, plus_infty, 6, plus_infty, 0.0);
- TEST_c_c (csqrt, plus_infty, minus_zero, plus_infty, minus_zero);
- TEST_c_c (csqrt, plus_infty, -6, plus_infty, minus_zero);
- TEST_c_c (csqrt, 0, plus_infty, plus_infty, plus_infty);
- TEST_c_c (csqrt, 4, plus_infty, plus_infty, plus_infty);
- TEST_c_c (csqrt, plus_infty, plus_infty, plus_infty, plus_infty);
- TEST_c_c (csqrt, minus_zero, plus_infty, plus_infty, plus_infty);
- TEST_c_c (csqrt, -4, plus_infty, plus_infty, plus_infty);
- TEST_c_c (csqrt, minus_infty, plus_infty, plus_infty, plus_infty);
- TEST_c_c (csqrt, 0, minus_infty, plus_infty, minus_infty);
- TEST_c_c (csqrt, 4, minus_infty, plus_infty, minus_infty);
- TEST_c_c (csqrt, plus_infty, minus_infty, plus_infty, minus_infty);
- TEST_c_c (csqrt, minus_zero, minus_infty, plus_infty, minus_infty);
- TEST_c_c (csqrt, -4, minus_infty, plus_infty, minus_infty);
- TEST_c_c (csqrt, minus_infty, minus_infty, plus_infty, minus_infty);
- TEST_c_c (csqrt, minus_infty, nan_value, nan_value, plus_infty, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (csqrt, plus_infty, nan_value, plus_infty, nan_value);
- TEST_c_c (csqrt, 0, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (csqrt, 1, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (csqrt, minus_zero, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (csqrt, -1, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (csqrt, nan_value, 0, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (csqrt, nan_value, 8, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (csqrt, nan_value, minus_zero, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (csqrt, nan_value, -8, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (csqrt, nan_value, nan_value, nan_value, nan_value);
- TEST_c_c (csqrt, 16.0, -30.0, 5.0, -3.0);
- TEST_c_c (csqrt, -1, 0, 0.0, 1.0);
- TEST_c_c (csqrt, 0, 2, 1.0, 1.0);
- TEST_c_c (csqrt, 119, 120, 12.0, 5.0);
- TEST_c_c (csqrt, 0.75L, 1.25L, 1.05065169626078392338656675760808326L, 0.594868882070379067881984030639932657L);
- TEST_c_c (csqrt, -2, -3, 0.89597747612983812471573375529004348L, -1.6741492280355400404480393008490519L);
- TEST_c_c (csqrt, -2, 3, 0.89597747612983812471573375529004348L, 1.6741492280355400404480393008490519L);
- /* Principal square root should be returned (i.e., non-negative real
- part). */
- TEST_c_c (csqrt, 0, -1, M_SQRT_2_2, -M_SQRT_2_2);
- END (csqrt, complex);
- }
- static void
- ctan_test (void)
- {
- errno = 0;
- FUNC(ctan) (BUILD_COMPLEX (0.7L, 1.2L));
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (ctan);
- TEST_c_c (ctan, 0, 0, 0.0, 0.0);
- TEST_c_c (ctan, 0, minus_zero, 0.0, minus_zero);
- TEST_c_c (ctan, minus_zero, 0, minus_zero, 0.0);
- TEST_c_c (ctan, minus_zero, minus_zero, minus_zero, minus_zero);
- TEST_c_c (ctan, 0, plus_infty, 0.0, 1.0);
- TEST_c_c (ctan, 1, plus_infty, 0.0, 1.0);
- TEST_c_c (ctan, minus_zero, plus_infty, minus_zero, 1.0);
- TEST_c_c (ctan, -1, plus_infty, minus_zero, 1.0);
- TEST_c_c (ctan, 0, minus_infty, 0.0, -1.0);
- TEST_c_c (ctan, 1, minus_infty, 0.0, -1.0);
- TEST_c_c (ctan, minus_zero, minus_infty, minus_zero, -1.0);
- TEST_c_c (ctan, -1, minus_infty, minus_zero, -1.0);
- TEST_c_c (ctan, plus_infty, 0, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ctan, plus_infty, 2, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ctan, minus_infty, 0, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ctan, minus_infty, 2, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ctan, plus_infty, minus_zero, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ctan, plus_infty, -2, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ctan, minus_infty, minus_zero, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ctan, minus_infty, -2, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ctan, nan_value, plus_infty, 0.0, 1.0, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (ctan, nan_value, minus_infty, 0.0, -1.0, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (ctan, 0, nan_value, 0.0, nan_value);
- TEST_c_c (ctan, minus_zero, nan_value, minus_zero, nan_value);
- TEST_c_c (ctan, 0.5, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (ctan, -4.5, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (ctan, nan_value, 0, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (ctan, nan_value, 5, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (ctan, nan_value, minus_zero, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (ctan, nan_value, -0.25, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (ctan, nan_value, nan_value, nan_value, nan_value);
- TEST_c_c (ctan, 0.75L, 1.25L, 0.160807785916206426725166058173438663L, 0.975363285031235646193581759755216379L);
- TEST_c_c (ctan, -2, -3, 0.376402564150424829275122113032269084e-2L, -1.00323862735360980144635859782192726L);
- END (ctan, complex);
- }
- static void
- ctanh_test (void)
- {
- errno = 0;
- FUNC(ctanh) (BUILD_COMPLEX (0, 0));
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (ctanh);
- TEST_c_c (ctanh, 0, 0, 0.0, 0.0);
- TEST_c_c (ctanh, 0, minus_zero, 0.0, minus_zero);
- TEST_c_c (ctanh, minus_zero, 0, minus_zero, 0.0);
- TEST_c_c (ctanh, minus_zero, minus_zero, minus_zero, minus_zero);
- TEST_c_c (ctanh, plus_infty, 0, 1.0, 0.0);
- TEST_c_c (ctanh, plus_infty, 1, 1.0, 0.0);
- TEST_c_c (ctanh, plus_infty, minus_zero, 1.0, minus_zero);
- TEST_c_c (ctanh, plus_infty, -1, 1.0, minus_zero);
- TEST_c_c (ctanh, minus_infty, 0, -1.0, 0.0);
- TEST_c_c (ctanh, minus_infty, 1, -1.0, 0.0);
- TEST_c_c (ctanh, minus_infty, minus_zero, -1.0, minus_zero);
- TEST_c_c (ctanh, minus_infty, -1, -1.0, minus_zero);
- TEST_c_c (ctanh, 0, plus_infty, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ctanh, 2, plus_infty, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ctanh, 0, minus_infty, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ctanh, 2, minus_infty, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ctanh, minus_zero, plus_infty, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ctanh, -2, plus_infty, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ctanh, minus_zero, minus_infty, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ctanh, -2, minus_infty, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_c_c (ctanh, plus_infty, nan_value, 1.0, 0.0, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (ctanh, minus_infty, nan_value, -1.0, 0.0, IGNORE_ZERO_INF_SIGN);
- TEST_c_c (ctanh, nan_value, 0, nan_value, 0.0);
- TEST_c_c (ctanh, nan_value, minus_zero, nan_value, minus_zero);
- TEST_c_c (ctanh, nan_value, 0.5, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (ctanh, nan_value, -4.5, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (ctanh, 0, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (ctanh, 5, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (ctanh, minus_zero, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (ctanh, -0.25, nan_value, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_c_c (ctanh, nan_value, nan_value, nan_value, nan_value);
- TEST_c_c (ctanh, 0, M_PI_4l, 0.0, 1.0);
- TEST_c_c (ctanh, 0.75L, 1.25L, 1.37260757053378320258048606571226857L, 0.385795952609750664177596760720790220L);
- TEST_c_c (ctanh, -2, -3, -0.965385879022133124278480269394560686L, 0.988437503832249372031403430350121098e-2L);
- END (ctanh, complex);
- }
- #endif
- static void
- erf_test (void)
- {
- errno = 0;
- FUNC(erf) (0);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (erf);
- TEST_f_f (erf, 0, 0);
- TEST_f_f (erf, minus_zero, minus_zero);
- TEST_f_f (erf, plus_infty, 1);
- TEST_f_f (erf, minus_infty, -1);
- TEST_f_f (erf, nan_value, nan_value);
- TEST_f_f (erf, 0.125L, 0.140316204801333817393029446521623398L);
- TEST_f_f (erf, 0.75L, 0.711155633653515131598937834591410777L);
- TEST_f_f (erf, 1.25L, 0.922900128256458230136523481197281140L);
- TEST_f_f (erf, 2.0L, 0.995322265018952734162069256367252929L);
- TEST_f_f (erf, 4.125L, 0.999999994576599200434933994687765914L);
- TEST_f_f (erf, 27.0L, 1.0L);
- END (erf);
- }
- static void
- erfc_test (void)
- {
- errno = 0;
- FUNC(erfc) (0);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (erfc);
- TEST_f_f (erfc, plus_infty, 0.0);
- TEST_f_f (erfc, minus_infty, 2.0);
- TEST_f_f (erfc, 0.0, 1.0);
- TEST_f_f (erfc, minus_zero, 1.0);
- TEST_f_f (erfc, nan_value, nan_value);
- TEST_f_f (erfc, 0.125L, 0.859683795198666182606970553478376602L);
- TEST_f_f (erfc, 0.75L, 0.288844366346484868401062165408589223L);
- TEST_f_f (erfc, 1.25L, 0.0770998717435417698634765188027188596L);
- TEST_f_f (erfc, 2.0L, 0.00467773498104726583793074363274707139L);
- TEST_f_f (erfc, 4.125L, 0.542340079956506600531223408575531062e-8L);
- #ifdef TEST_LDOUBLE
- /* The result can only be represented in long double. */
- # if LDBL_MIN_10_EXP < -319
- TEST_f_f (erfc, 27.0L, 0.523704892378925568501606768284954709e-318L);
- # endif
- #endif
- END (erfc);
- }
- static void
- exp_test (void)
- {
- errno = 0;
- FUNC(exp) (0);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (exp);
- TEST_f_f (exp, 0, 1);
- TEST_f_f (exp, minus_zero, 1);
- #ifndef TEST_INLINE
- TEST_f_f (exp, plus_infty, plus_infty);
- TEST_f_f (exp, minus_infty, 0);
- #endif
- TEST_f_f (exp, nan_value, nan_value);
- TEST_f_f (exp, 1, M_El);
- TEST_f_f (exp, 2, M_E2l);
- TEST_f_f (exp, 3, M_E3l);
- TEST_f_f (exp, 0.75L, 2.11700001661267466854536981983709561L);
- TEST_f_f (exp, 50.0L, 5184705528587072464087.45332293348538L);
- #ifdef TEST_LDOUBLE
- /* The result can only be represented in long double. */
- TEST_f_f (exp, 1000.0L, 0.197007111401704699388887935224332313e435L);
- #endif
- END (exp);
- }
- #if 0
- static void
- exp10_test (void)
- {
- errno = 0;
- FUNC(exp10) (0);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (exp10);
- TEST_f_f (exp10, 0, 1);
- TEST_f_f (exp10, minus_zero, 1);
- TEST_f_f (exp10, plus_infty, plus_infty);
- TEST_f_f (exp10, minus_infty, 0);
- TEST_f_f (exp10, nan_value, nan_value);
- TEST_f_f (exp10, 3, 1000);
- TEST_f_f (exp10, -1, 0.1L);
- TEST_f_f (exp10, 1e6, plus_infty);
- TEST_f_f (exp10, -1e6, 0);
- TEST_f_f (exp10, 0.75L, 5.62341325190349080394951039776481231L);
- END (exp10);
- }
- static void
- exp2_test (void)
- {
- errno = 0;
- FUNC(exp2) (0);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (exp2);
- TEST_f_f (exp2, 0, 1);
- TEST_f_f (exp2, minus_zero, 1);
- TEST_f_f (exp2, plus_infty, plus_infty);
- TEST_f_f (exp2, minus_infty, 0);
- TEST_f_f (exp2, nan_value, nan_value);
- TEST_f_f (exp2, 10, 1024);
- TEST_f_f (exp2, -1, 0.5);
- TEST_f_f (exp2, 1e6, plus_infty);
- TEST_f_f (exp2, -1e6, 0);
- TEST_f_f (exp2, 0.75L, 1.68179283050742908606225095246642979L);
- END (exp2);
- }
- #endif
- static void
- expm1_test (void)
- {
- errno = 0;
- FUNC(expm1) (0);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (expm1);
- TEST_f_f (expm1, 0, 0);
- TEST_f_f (expm1, minus_zero, minus_zero);
- #ifndef TEST_INLINE
- TEST_f_f (expm1, plus_infty, plus_infty);
- TEST_f_f (expm1, minus_infty, -1);
- #endif
- TEST_f_f (expm1, nan_value, nan_value);
- TEST_f_f (expm1, 1, M_El - 1.0);
- TEST_f_f (expm1, 0.75L, 1.11700001661267466854536981983709561L);
- END (expm1);
- }
- static void
- fabs_test (void)
- {
- START (fabs);
- TEST_f_f (fabs, 0, 0);
- TEST_f_f (fabs, minus_zero, 0);
- TEST_f_f (fabs, plus_infty, plus_infty);
- TEST_f_f (fabs, minus_infty, plus_infty);
- TEST_f_f (fabs, nan_value, nan_value);
- TEST_f_f (fabs, 38.0, 38.0);
- TEST_f_f (fabs, -M_El, M_El);
- END (fabs);
- }
- #if 0
- static void
- fdim_test (void)
- {
- START (fdim);
- TEST_ff_f (fdim, 0, 0, 0);
- TEST_ff_f (fdim, 9, 0, 9);
- TEST_ff_f (fdim, 0, 9, 0);
- TEST_ff_f (fdim, -9, 0, 0);
- TEST_ff_f (fdim, 0, -9, 9);
- TEST_ff_f (fdim, plus_infty, 9, plus_infty);
- TEST_ff_f (fdim, plus_infty, -9, plus_infty);
- TEST_ff_f (fdim, minus_infty, 9, 0);
- TEST_ff_f (fdim, minus_infty, -9, 0);
- TEST_ff_f (fdim, 9, minus_infty, plus_infty);
- TEST_ff_f (fdim, -9, minus_infty, plus_infty);
- TEST_ff_f (fdim, 9, plus_infty, 0);
- TEST_ff_f (fdim, -9, plus_infty, 0);
- TEST_ff_f (fdim, 0, nan_value, nan_value);
- TEST_ff_f (fdim, 9, nan_value, nan_value);
- TEST_ff_f (fdim, -9, nan_value, nan_value);
- TEST_ff_f (fdim, nan_value, 9, nan_value);
- TEST_ff_f (fdim, nan_value, -9, nan_value);
- TEST_ff_f (fdim, plus_infty, nan_value, nan_value);
- TEST_ff_f (fdim, minus_infty, nan_value, nan_value);
- TEST_ff_f (fdim, nan_value, plus_infty, nan_value);
- TEST_ff_f (fdim, nan_value, minus_infty, nan_value);
- TEST_ff_f (fdim, nan_value, nan_value, nan_value);
- TEST_ff_f (fdim, plus_infty, plus_infty, 0);
- END (fdim);
- }
- #endif
- static void
- floor_test (void)
- {
- START (floor);
- TEST_f_f (floor, 0.0, 0.0);
- TEST_f_f (floor, minus_zero, minus_zero);
- TEST_f_f (floor, plus_infty, plus_infty);
- TEST_f_f (floor, minus_infty, minus_infty);
- TEST_f_f (floor, nan_value, nan_value);
- TEST_f_f (floor, M_PIl, 3.0);
- TEST_f_f (floor, -M_PIl, -4.0);
- TEST_f_f (floor, 0.25, 0.0);
- TEST_f_f (floor, -0.25, -1.0);
- #ifdef TEST_LDOUBLE
- /* The result can only be represented in long double. */
- TEST_f_f (floor, 4503599627370495.5L, 4503599627370495.0L);
- TEST_f_f (floor, 4503599627370496.25L, 4503599627370496.0L);
- TEST_f_f (floor, 4503599627370496.5L, 4503599627370496.0L);
- TEST_f_f (floor, 4503599627370496.75L, 4503599627370496.0L);
- TEST_f_f (floor, 4503599627370497.5L, 4503599627370497.0L);
- TEST_f_f (floor, -4503599627370495.5L, -4503599627370496.0L);
- TEST_f_f (floor, -4503599627370496.25L, -4503599627370497.0L);
- TEST_f_f (floor, -4503599627370496.5L, -4503599627370497.0L);
- TEST_f_f (floor, -4503599627370496.75L, -4503599627370497.0L);
- TEST_f_f (floor, -4503599627370497.5L, -4503599627370498.0L);
- TEST_f_f (floor, 9007199254740991.5L, 9007199254740991.0L);
- TEST_f_f (floor, 9007199254740992.25L, 9007199254740992.0L);
- TEST_f_f (floor, 9007199254740992.5L, 9007199254740992.0L);
- TEST_f_f (floor, 9007199254740992.75L, 9007199254740992.0L);
- TEST_f_f (floor, 9007199254740993.5L, 9007199254740993.0L);
- TEST_f_f (floor, -9007199254740991.5L, -9007199254740992.0L);
- TEST_f_f (floor, -9007199254740992.25L, -9007199254740993.0L);
- TEST_f_f (floor, -9007199254740992.5L, -9007199254740993.0L);
- TEST_f_f (floor, -9007199254740992.75L, -9007199254740993.0L);
- TEST_f_f (floor, -9007199254740993.5L, -9007199254740994.0L);
- TEST_f_f (floor, 72057594037927935.5L, 72057594037927935.0L);
- TEST_f_f (floor, 72057594037927936.25L, 72057594037927936.0L);
- TEST_f_f (floor, 72057594037927936.5L, 72057594037927936.0L);
- TEST_f_f (floor, 72057594037927936.75L, 72057594037927936.0L);
- TEST_f_f (floor, 72057594037927937.5L, 72057594037927937.0L);
- TEST_f_f (floor, -72057594037927935.5L, -72057594037927936.0L);
- TEST_f_f (floor, -72057594037927936.25L, -72057594037927937.0L);
- TEST_f_f (floor, -72057594037927936.5L, -72057594037927937.0L);
- TEST_f_f (floor, -72057594037927936.75L, -72057594037927937.0L);
- TEST_f_f (floor, -72057594037927937.5L, -72057594037927938.0L);
- TEST_f_f (floor, 10141204801825835211973625643007.5L, 10141204801825835211973625643007.0L);
- TEST_f_f (floor, 10141204801825835211973625643008.25L, 10141204801825835211973625643008.0L);
- TEST_f_f (floor, 10141204801825835211973625643008.5L, 10141204801825835211973625643008.0L);
- TEST_f_f (floor, 10141204801825835211973625643008.75L, 10141204801825835211973625643008.0L);
- TEST_f_f (floor, 10141204801825835211973625643009.5L, 10141204801825835211973625643009.0L);
- #endif
- END (floor);
- }
- #if 0
- static void
- fma_test (void)
- {
- START (fma);
- TEST_fff_f (fma, 1.0, 2.0, 3.0, 5.0);
- TEST_fff_f (fma, nan_value, 2.0, 3.0, nan_value);
- TEST_fff_f (fma, 1.0, nan_value, 3.0, nan_value);
- TEST_fff_f (fma, 1.0, 2.0, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_fff_f (fma, plus_infty, 0.0, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_fff_f (fma, minus_infty, 0.0, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_fff_f (fma, 0.0, plus_infty, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_fff_f (fma, 0.0, minus_infty, nan_value, nan_value, INVALID_EXCEPTION_OK);
- TEST_fff_f (fma, plus_infty, 0.0, 1.0, nan_value, INVALID_EXCEPTION);
- TEST_fff_f (fma, minus_infty, 0.0, 1.0, nan_value, INVALID_EXCEPTION);
- TEST_fff_f (fma, 0.0, plus_infty, 1.0, nan_value, INVALID_EXCEPTION);
- TEST_fff_f (fma, 0.0, minus_infty, 1.0, nan_value, INVALID_EXCEPTION);
- TEST_fff_f (fma, plus_infty, plus_infty, minus_infty, nan_value, INVALID_EXCEPTION);
- TEST_fff_f (fma, minus_infty, plus_infty, plus_infty, nan_value, INVALID_EXCEPTION);
- TEST_fff_f (fma, plus_infty, minus_infty, plus_infty, nan_value, INVALID_EXCEPTION);
- TEST_fff_f (fma, minus_infty, minus_infty, minus_infty, nan_value, INVALID_EXCEPTION);
- TEST_fff_f (fma, 1.25L, 0.75L, 0.0625L, 1.0L);
- END (fma);
- }
- static void
- fmax_test (void)
- {
- START (fmax);
- TEST_ff_f (fmax, 0, 0, 0);
- TEST_ff_f (fmax, minus_zero, minus_zero, minus_zero);
- TEST_ff_f (fmax, 9, 0, 9);
- TEST_ff_f (fmax, 0, 9, 9);
- TEST_ff_f (fmax, -9, 0, 0);
- TEST_ff_f (fmax, 0, -9, 0);
- TEST_ff_f (fmax, plus_infty, 9, plus_infty);
- TEST_ff_f (fmax, 0, plus_infty, plus_infty);
- TEST_ff_f (fmax, -9, plus_infty, plus_infty);
- TEST_ff_f (fmax, plus_infty, -9, plus_infty);
- TEST_ff_f (fmax, minus_infty, 9, 9);
- TEST_ff_f (fmax, minus_infty, -9, -9);
- TEST_ff_f (fmax, 9, minus_infty, 9);
- TEST_ff_f (fmax, -9, minus_infty, -9);
- TEST_ff_f (fmax, 0, nan_value, 0);
- TEST_ff_f (fmax, 9, nan_value, 9);
- TEST_ff_f (fmax, -9, nan_value, -9);
- TEST_ff_f (fmax, nan_value, 0, 0);
- TEST_ff_f (fmax, nan_value, 9, 9);
- TEST_ff_f (fmax, nan_value, -9, -9);
- TEST_ff_f (fmax, plus_infty, nan_value, plus_infty);
- TEST_ff_f (fmax, minus_infty, nan_value, minus_infty);
- TEST_ff_f (fmax, nan_value, plus_infty, plus_infty);
- TEST_ff_f (fmax, nan_value, minus_infty, minus_infty);
- TEST_ff_f (fmax, nan_value, nan_value, nan_value);
- END (fmax);
- }
- static void
- fmin_test (void)
- {
- START (fmin);
- TEST_ff_f (fmin, 0, 0, 0);
- TEST_ff_f (fmin, minus_zero, minus_zero, minus_zero);
- TEST_ff_f (fmin, 9, 0, 0);
- TEST_ff_f (fmin, 0, 9, 0);
- TEST_ff_f (fmin, -9, 0, -9);
- TEST_ff_f (fmin, 0, -9, -9);
- TEST_ff_f (fmin, plus_infty, 9, 9);
- TEST_ff_f (fmin, 9, plus_infty, 9);
- TEST_ff_f (fmin, plus_infty, -9, -9);
- TEST_ff_f (fmin, -9, plus_infty, -9);
- TEST_ff_f (fmin, minus_infty, 9, minus_infty);
- TEST_ff_f (fmin, minus_infty, -9, minus_infty);
- TEST_ff_f (fmin, 9, minus_infty, minus_infty);
- TEST_ff_f (fmin, -9, minus_infty, minus_infty);
- TEST_ff_f (fmin, 0, nan_value, 0);
- TEST_ff_f (fmin, 9, nan_value, 9);
- TEST_ff_f (fmin, -9, nan_value, -9);
- TEST_ff_f (fmin, nan_value, 0, 0);
- TEST_ff_f (fmin, nan_value, 9, 9);
- TEST_ff_f (fmin, nan_value, -9, -9);
- TEST_ff_f (fmin, plus_infty, nan_value, plus_infty);
- TEST_ff_f (fmin, minus_infty, nan_value, minus_infty);
- TEST_ff_f (fmin, nan_value, plus_infty, plus_infty);
- TEST_ff_f (fmin, nan_value, minus_infty, minus_infty);
- TEST_ff_f (fmin, nan_value, nan_value, nan_value);
- END (fmin);
- }
- #endif
- static void
- fmod_test (void)
- {
- errno = 0;
- FUNC(fmod) (6.5, 2.3L);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (fmod);
- /* fmod (+0, y) == +0 for y != 0. */
- TEST_ff_f (fmod, 0, 3, 0);
- /* fmod (-0, y) == -0 for y != 0. */
- TEST_ff_f (fmod, minus_zero, 3, minus_zero);
- /* fmod (+inf, y) == NaN plus invalid exception. */
- TEST_ff_f (fmod, plus_infty, 3, nan_value, INVALID_EXCEPTION);
- /* fmod (-inf, y) == NaN plus invalid exception. */
- TEST_ff_f (fmod, minus_infty, 3, nan_value, INVALID_EXCEPTION);
- /* fmod (x, +0) == NaN plus invalid exception. */
- TEST_ff_f (fmod, 3, 0, nan_value, INVALID_EXCEPTION);
- /* fmod (x, -0) == NaN plus invalid exception. */
- TEST_ff_f (fmod, 3, minus_zero, nan_value, INVALID_EXCEPTION);
- /* fmod (x, +inf) == x for x not infinite. */
- TEST_ff_f (fmod, 3.0, plus_infty, 3.0);
- /* fmod (x, -inf) == x for x not infinite. */
- TEST_ff_f (fmod, 3.0, minus_infty, 3.0);
- TEST_ff_f (fmod, nan_value, nan_value, nan_value);
- TEST_ff_f (fmod, 6.5, 2.25L, 2.0L);
- TEST_ff_f (fmod, -6.5, 2.25L, -2.0L);
- TEST_ff_f (fmod, 6.5, -2.25L, 2.0L);
- TEST_ff_f (fmod, -6.5, -2.25L, -2.0L);
- END (fmod);
- }
- static void
- fpclassify_test (void)
- {
- START (fpclassify);
- TEST_f_i (fpclassify, nan_value, FP_NAN);
- TEST_f_i (fpclassify, plus_infty, FP_INFINITE);
- TEST_f_i (fpclassify, minus_infty, FP_INFINITE);
- TEST_f_i (fpclassify, plus_zero, FP_ZERO);
- TEST_f_i (fpclassify, minus_zero, FP_ZERO);
- TEST_f_i (fpclassify, 1000, FP_NORMAL);
- END (fpclassify);
- }
- static void
- frexp_test (void)
- {
- int x;
- START (frexp);
- TEST_fI_f1 (frexp, plus_infty, plus_infty, IGNORE);
- TEST_fI_f1 (frexp, minus_infty, minus_infty, IGNORE);
- TEST_fI_f1 (frexp, nan_value, nan_value, IGNORE);
- TEST_fI_f1 (frexp, 0.0, 0.0, 0.0);
- TEST_fI_f1 (frexp, minus_zero, minus_zero, 0.0);
- TEST_fI_f1 (frexp, 12.8L, 0.8L, 4);
- TEST_fI_f1 (frexp, -27.34L, -0.854375L, 5);
- END (frexp);
- }
- static void
- gamma_test (void)
- {
- errno = 0;
- FUNC(gamma) (1);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- feclearexcept (FE_ALL_EXCEPT);
- START (gamma);
- TEST_f_f (gamma, plus_infty, plus_infty);
- TEST_f_f (gamma, 0, plus_infty, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_f_f (gamma, -3, plus_infty, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_f_f (gamma, minus_infty, plus_infty);
- TEST_f_f (gamma, nan_value, nan_value);
- TEST_f_f1 (gamma, 1, 0, 1);
- TEST_f_f1 (gamma, 3, M_LN2l, 1);
- TEST_f_f1 (gamma, 0.5, M_LOG_SQRT_PIl, 1);
- TEST_f_f1 (gamma, -0.5, M_LOG_2_SQRT_PIl, -1);
- END (gamma);
- }
- static void
- hypot_test (void)
- {
- errno = 0;
- FUNC(hypot) (0.7L, 12.4L);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (hypot);
- TEST_ff_f (hypot, plus_infty, 1, plus_infty, IGNORE_ZERO_INF_SIGN);
- TEST_ff_f (hypot, minus_infty, 1, plus_infty, IGNORE_ZERO_INF_SIGN);
- #ifndef TEST_INLINE
- TEST_ff_f (hypot, plus_infty, nan_value, plus_infty);
- TEST_ff_f (hypot, minus_infty, nan_value, plus_infty);
- TEST_ff_f (hypot, nan_value, plus_infty, plus_infty);
- TEST_ff_f (hypot, nan_value, minus_infty, plus_infty);
- #endif
- TEST_ff_f (hypot, nan_value, nan_value, nan_value);
- /* hypot (x,y) == hypot (+-x, +-y) */
- TEST_ff_f (hypot, 0.7L, 12.4L, 12.419742348374220601176836866763271L);
- TEST_ff_f (hypot, -0.7L, 12.4L, 12.419742348374220601176836866763271L);
- TEST_ff_f (hypot, 0.7L, -12.4L, 12.419742348374220601176836866763271L);
- TEST_ff_f (hypot, -0.7L, -12.4L, 12.419742348374220601176836866763271L);
- TEST_ff_f (hypot, 12.4L, 0.7L, 12.419742348374220601176836866763271L);
- TEST_ff_f (hypot, -12.4L, 0.7L, 12.419742348374220601176836866763271L);
- TEST_ff_f (hypot, 12.4L, -0.7L, 12.419742348374220601176836866763271L);
- TEST_ff_f (hypot, -12.4L, -0.7L, 12.419742348374220601176836866763271L);
- /* hypot (x,0) == fabs (x) */
- TEST_ff_f (hypot, 0.75L, 0, 0.75L);
- TEST_ff_f (hypot, -0.75L, 0, 0.75L);
- TEST_ff_f (hypot, -5.7e7, 0, 5.7e7L);
- TEST_ff_f (hypot, 0.75L, 1.25L, 1.45773797371132511771853821938639577L);
- END (hypot);
- }
- static void
- ilogb_test (void)
- {
- START (ilogb);
- TEST_f_i (ilogb, 1, 0);
- TEST_f_i (ilogb, M_El, 1);
- TEST_f_i (ilogb, 1024, 10);
- TEST_f_i (ilogb, -2000, 10);
- /* XXX We have a problem here: the standard does not tell us whether
- exceptions are allowed/required. ignore them for now. */
- TEST_f_i (ilogb, 0.0, FP_ILOGB0, EXCEPTIONS_OK);
- TEST_f_i (ilogb, nan_value, FP_ILOGBNAN, EXCEPTIONS_OK);
- TEST_f_i (ilogb, plus_infty, INT_MAX, EXCEPTIONS_OK);
- TEST_f_i (ilogb, minus_infty, INT_MAX, EXCEPTIONS_OK);
- END (ilogb);
- }
- static void
- isfinite_test (void)
- {
- START (isfinite);
- TEST_f_b (isfinite, 0, 1);
- TEST_f_b (isfinite, minus_zero, 1);
- TEST_f_b (isfinite, 10, 1);
- TEST_f_b (isfinite, plus_infty, 0);
- TEST_f_b (isfinite, minus_infty, 0);
- TEST_f_b (isfinite, nan_value, 0);
- END (isfinite);
- }
- static void
- isnormal_test (void)
- {
- START (isnormal);
- TEST_f_b (isnormal, 0, 0);
- TEST_f_b (isnormal, minus_zero, 0);
- TEST_f_b (isnormal, 10, 1);
- TEST_f_b (isnormal, plus_infty, 0);
- TEST_f_b (isnormal, minus_infty, 0);
- TEST_f_b (isnormal, nan_value, 0);
- END (isnormal);
- }
- #if defined __DO_XSI_MATH__
- static void
- j0_test (void)
- {
- errno = 0;
- #if 0
- FLOAT s, c;
- FUNC (sincos) (0, &s, &c);
- if (errno == ENOSYS)
- /* Required function not implemented. */
- return;
- #endif
- FUNC(j0) (0);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (j0);
- /* j0 is the Bessel function of the first kind of order 0 */
- TEST_f_f (j0, nan_value, nan_value);
- TEST_f_f (j0, plus_infty, 0);
- TEST_f_f (j0, -1.0, 0.765197686557966551449717526102663221L);
- TEST_f_f (j0, 0.0, 1.0);
- TEST_f_f (j0, 0.125L, 0.996097563041985204620768999453174712L);
- TEST_f_f (j0, 0.75L, 0.864242275166648623555731103820923211L);
- TEST_f_f (j0, 1.0, 0.765197686557966551449717526102663221L);
- TEST_f_f (j0, 1.5, 0.511827671735918128749051744283411720L);
- TEST_f_f (j0, 2.0, 0.223890779141235668051827454649948626L);
- TEST_f_f (j0, 8.0, 0.171650807137553906090869407851972001L);
- TEST_f_f (j0, 10.0, -0.245935764451348335197760862485328754L);
- TEST_f_f (j0, 4.0, -3.9714980986384737228659076845169804197562E-1L);
- TEST_f_f (j0, -4.0, -3.9714980986384737228659076845169804197562E-1L);
- END (j0);
- }
- static void
- j1_test (void)
- {
- errno = 0;
- #if 0
- FLOAT s, c;
- FUNC (sincos) (0, &s, &c);
- if (errno == ENOSYS)
- /* Required function not implemented. */
- return;
- #endif
- FUNC(j1) (0);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- /* j1 is the Bessel function of the first kind of order 1 */
- START (j1);
- TEST_f_f (j1, nan_value, nan_value);
- TEST_f_f (j1, plus_infty, 0);
- TEST_f_f (j1, -1.0, -0.440050585744933515959682203718914913L);
- TEST_f_f (j1, 0.0, 0.0);
- TEST_f_f (j1, 0.125L, 0.0623780091344946810942311355879361177L);
- TEST_f_f (j1, 0.75L, 0.349243602174862192523281016426251335L);
- TEST_f_f (j1, 1.0, 0.440050585744933515959682203718914913L);
- TEST_f_f (j1, 1.5, 0.557936507910099641990121213156089400L);
- TEST_f_f (j1, 2.0, 0.576724807756873387202448242269137087L);
- TEST_f_f (j1, 8.0, 0.234636346853914624381276651590454612L);
- TEST_f_f (j1, 10.0, 0.0434727461688614366697487680258592883L);
- END (j1);
- }
- static void
- jn_test (void)
- {
- errno = 0;
- #if 0
- FLOAT s, c;
- FUNC (sincos) (0, &s, &c);
- if (errno == ENOSYS)
- /* Required function not implemented. */
- return;
- #endif
- FUNC(jn) (1, 1);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- /* jn is the Bessel function of the first kind of order n. */
- START (jn);
- /* jn (0, x) == j0 (x) */
- TEST_ff_f (jn, 0, nan_value, nan_value);
- TEST_ff_f (jn, 0, plus_infty, 0);
- TEST_ff_f (jn, 0, -1.0, 0.765197686557966551449717526102663221L);
- TEST_ff_f (jn, 0, 0.0, 1.0);
- TEST_ff_f (jn, 0, 0.125L, 0.996097563041985204620768999453174712L);
- TEST_ff_f (jn, 0, 0.75L, 0.864242275166648623555731103820923211L);
- TEST_ff_f (jn, 0, 1.0, 0.765197686557966551449717526102663221L);
- TEST_ff_f (jn, 0, 1.5, 0.511827671735918128749051744283411720L);
- TEST_ff_f (jn, 0, 2.0, 0.223890779141235668051827454649948626L);
- TEST_ff_f (jn, 0, 8.0, 0.171650807137553906090869407851972001L);
- TEST_ff_f (jn, 0, 10.0, -0.245935764451348335197760862485328754L);
- TEST_ff_f (jn, 0, 4.0, -3.9714980986384737228659076845169804197562E-1L);
- TEST_ff_f (jn, 0, -4.0, -3.9714980986384737228659076845169804197562E-1L);
- /* jn (1, x) == j1 (x) */
- TEST_ff_f (jn, 1, nan_value, nan_value);
- TEST_ff_f (jn, 1, plus_infty, 0);
- TEST_ff_f (jn, 1, -1.0, -0.440050585744933515959682203718914913L);
- TEST_ff_f (jn, 1, 0.0, 0.0);
- TEST_ff_f (jn, 1, 0.125L, 0.0623780091344946810942311355879361177L);
- TEST_ff_f (jn, 1, 0.75L, 0.349243602174862192523281016426251335L);
- TEST_ff_f (jn, 1, 1.0, 0.440050585744933515959682203718914913L);
- TEST_ff_f (jn, 1, 1.5, 0.557936507910099641990121213156089400L);
- TEST_ff_f (jn, 1, 2.0, 0.576724807756873387202448242269137087L);
- TEST_ff_f (jn, 1, 8.0, 0.234636346853914624381276651590454612L);
- TEST_ff_f (jn, 1, 10.0, 0.0434727461688614366697487680258592883L);
- /* jn (3, x) */
- TEST_ff_f (jn, 3, nan_value, nan_value);
- TEST_ff_f (jn, 3, plus_infty, 0);
- TEST_ff_f (jn, 3, -1.0, -0.0195633539826684059189053216217515083L);
- TEST_ff_f (jn, 3, 0.0, 0.0);
- TEST_ff_f (jn, 3, 0.125L, 0.406503832554912875023029337653442868e-4L);
- TEST_ff_f (jn, 3, 0.75L, 0.848438342327410884392755236884386804e-2L);
- TEST_ff_f (jn, 3, 1.0, 0.0195633539826684059189053216217515083L);
- TEST_ff_f (jn, 3, 2.0, 0.128943249474402051098793332969239835L);
- TEST_ff_f (jn, 3, 10.0, 0.0583793793051868123429354784103409563L);
- /* jn (10, x) */
- TEST_ff_f (jn, 10, nan_value, nan_value);
- TEST_ff_f (jn, 10, plus_infty, 0);
- TEST_ff_f (jn, 10, -1.0, 0.263061512368745320699785368779050294e-9L);
- TEST_ff_f (jn, 10, 0.0, 0.0);
- TEST_ff_f (jn, 10, 0.125L, 0.250543369809369890173993791865771547e-18L);
- TEST_ff_f (jn, 10, 0.75L, 0.149621713117596814698712483621682835e-10L);
- TEST_ff_f (jn, 10, 1.0, 0.263061512368745320699785368779050294e-9L);
- TEST_ff_f (jn, 10, 2.0, 0.251538628271673670963516093751820639e-6L);
- TEST_ff_f (jn, 10, 10.0, 0.207486106633358857697278723518753428L);
- END (jn);
- }
- #endif /* __DO_XSI_MATH__ */
- static void
- ldexp_test (void)
- {
- TEST_ff_f (ldexp, 0, 0, 0);
- TEST_ff_f (ldexp, minus_zero, 0, minus_zero);
- TEST_ff_f (ldexp, plus_infty, 1, plus_infty);
- TEST_ff_f (ldexp, minus_infty, 1, minus_infty);
- TEST_ff_f (ldexp, nan_value, 1, nan_value);
- TEST_ff_f (ldexp, 0.8L, 4, 12.8L);
- TEST_ff_f (ldexp, -0.854375L, 5, -27.34L);
- /* ldexp (x, 0) == x. */
- TEST_ff_f (ldexp, 1.0L, 0L, 1.0L);
- }
- static void
- lgamma_test (void)
- {
- errno = 0;
- FUNC(lgamma) (0);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- feclearexcept (FE_ALL_EXCEPT);
- START (lgamma);
- TEST_f_f (lgamma, plus_infty, plus_infty);
- TEST_f_f (lgamma, 0, plus_infty, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_f_f (lgamma, nan_value, nan_value);
- /* lgamma (x) == +inf plus divide by zero exception for integer x <= 0. */
- TEST_f_f (lgamma, -3, plus_infty, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_f_f (lgamma, minus_infty, plus_infty);
- TEST_f_f1 (lgamma, 1, 0, 1);
- TEST_f_f1 (lgamma, 3, M_LN2l, 1);
- TEST_f_f1 (lgamma, 0.5, M_LOG_SQRT_PIl, 1);
- TEST_f_f1 (lgamma, -0.5, M_LOG_2_SQRT_PIl, -1);
- TEST_f_f1 (lgamma, 0.7L, 0.260867246531666514385732417016759578L, 1);
- TEST_f_f1 (lgamma, 1.2L, -0.853740900033158497197028392998854470e-1L, 1);
- END (lgamma);
- }
- #if 0
- static void
- lrint_test (void)
- {
- /* XXX this test is incomplete. We need to have a way to specifiy
- the rounding method and test the critical cases. So far, only
- unproblematic numbers are tested. */
- START (lrint);
- TEST_f_l (lrint, 0.0, 0);
- TEST_f_l (lrint, minus_zero, 0);
- TEST_f_l (lrint, 0.2L, 0);
- TEST_f_l (lrint, -0.2L, 0);
- TEST_f_l (lrint, 1.4L, 1);
- TEST_f_l (lrint, -1.4L, -1);
- TEST_f_l (lrint, 8388600.3L, 8388600);
- TEST_f_l (lrint, -8388600.3L, -8388600);
- TEST_f_l (lrint, 1071930.0008, 1071930);
- #ifndef TEST_FLOAT
- TEST_f_l (lrint, 1073741824.01, 1073741824);
- # if LONG_MAX > 281474976710656
- TEST_f_l (lrint, 281474976710656.025, 281474976710656);
- # endif
- #endif
- END (lrint);
- }
- static void
- llrint_test (void)
- {
- /* XXX this test is incomplete. We need to have a way to specifiy
- the rounding method and test the critical cases. So far, only
- unproblematic numbers are tested. */
- START (llrint);
- TEST_f_L (llrint, 0.0, 0);
- TEST_f_L (llrint, minus_zero, 0);
- TEST_f_L (llrint, 0.2L, 0);
- TEST_f_L (llrint, -0.2L, 0);
- TEST_f_L (llrint, 1.4L, 1);
- TEST_f_L (llrint, -1.4L, -1);
- TEST_f_L (llrint, 8388600.3L, 8388600);
- TEST_f_L (llrint, -8388600.3L, -8388600);
- TEST_f_l (llrint, 1071930.0008, 1071930);
- /* Test boundary conditions. */
- /* 0x1FFFFF */
- TEST_f_L (llrint, 2097151.0,2097151LL);
- /* 0x800000 */
- TEST_f_L (llrint, 8388608.0, 8388608LL);
- /* 0x1000000 */
- TEST_f_L (llrint, 16777216.0, 16777216LL);
- /* 0x20000000000 */
- TEST_f_L (llrint, 2199023255552.0, 2199023255552LL);
- /* 0x40000000000 */
- TEST_f_L (llrint, 4398046511104.0, 4398046511104LL);
- /* 0x1000000000000 */
- TEST_f_L (llrint, 281474976710656.0, 281474976710656LL);
- /* 0x10000000000000 */
- TEST_f_L (llrint, 4503599627370496.0, 4503599627370496LL);
- /* 0x10000080000000 */
- TEST_f_L (llrint, 4503601774854144.0, 4503601774854144LL);
- /* 0x20000000000000 */
- TEST_f_L (llrint, 9007199254740992.0, 9007199254740992LL);
- /* 0x80000000000000 */
- TEST_f_L (llrint, 36028797018963968.0, 36028797018963968LL);
- /* 0x100000000000000 */
- TEST_f_L (llrint, 72057594037927936.0, 72057594037927936LL);
- #ifdef TEST_LDOUBLE
- /* The input can only be represented in long double. */
- TEST_f_L (llrint, 4503599627370495.5L, 4503599627370496LL);
- TEST_f_L (llrint, 4503599627370496.25L, 4503599627370496LL);
- TEST_f_L (llrint, 4503599627370496.5L, 4503599627370496LL);
- TEST_f_L (llrint, 4503599627370496.75L, 4503599627370497LL);
- TEST_f_L (llrint, 4503599627370497.5L, 4503599627370498LL);
- TEST_f_L (llrint, -4503599627370495.5L, -4503599627370496LL);
- TEST_f_L (llrint, -4503599627370496.25L, -4503599627370496LL);
- TEST_f_L (llrint, -4503599627370496.5L, -4503599627370496LL);
- TEST_f_L (llrint, -4503599627370496.75L, -4503599627370497LL);
- TEST_f_L (llrint, -4503599627370497.5L, -4503599627370498LL);
- TEST_f_L (llrint, 9007199254740991.5L, 9007199254740992LL);
- TEST_f_L (llrint, 9007199254740992.25L, 9007199254740992LL);
- TEST_f_L (llrint, 9007199254740992.5L, 9007199254740992LL);
- TEST_f_L (llrint, 9007199254740992.75L, 9007199254740993LL);
- TEST_f_L (llrint, 9007199254740993.5L, 9007199254740994LL);
- TEST_f_L (llrint, -9007199254740991.5L, -9007199254740992LL);
- TEST_f_L (llrint, -9007199254740992.25L, -9007199254740992LL);
- TEST_f_L (llrint, -9007199254740992.5L, -9007199254740992LL);
- TEST_f_L (llrint, -9007199254740992.75L, -9007199254740993LL);
- TEST_f_L (llrint, -9007199254740993.5L, -9007199254740994LL);
- TEST_f_L (llrint, 72057594037927935.5L, 72057594037927936LL);
- TEST_f_L (llrint, 72057594037927936.25L, 72057594037927936LL);
- TEST_f_L (llrint, 72057594037927936.5L, 72057594037927936LL);
- TEST_f_L (llrint, 72057594037927936.75L, 72057594037927937LL);
- TEST_f_L (llrint, 72057594037927937.5L, 72057594037927938LL);
- TEST_f_L (llrint, -72057594037927935.5L, -72057594037927936LL);
- TEST_f_L (llrint, -72057594037927936.25L, -72057594037927936LL);
- TEST_f_L (llrint, -72057594037927936.5L, -72057594037927936LL);
- TEST_f_L (llrint, -72057594037927936.75L, -72057594037927937LL);
- TEST_f_L (llrint, -72057594037927937.5L, -72057594037927938LL);
- #endif
- END (llrint);
- }
- #endif
- static void
- log_test (void)
- {
- errno = 0;
- FUNC(log) (1);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (log);
- TEST_f_f (log, 0, minus_infty, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_f_f (log, minus_zero, minus_infty, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_f_f (log, 1, 0);
- TEST_f_f (log, -1, nan_value, INVALID_EXCEPTION);
- TEST_f_f (log, plus_infty, plus_infty);
- TEST_f_f (log, M_El, 1);
- TEST_f_f (log, 1.0 / M_El, -1);
- TEST_f_f (log, 2, M_LN2l);
- TEST_f_f (log, 10, M_LN10l);
- TEST_f_f (log, 0.75L, -0.287682072451780927439219005993827432L);
- END (log);
- }
- static void
- log10_test (void)
- {
- errno = 0;
- FUNC(log10) (1);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (log10);
- TEST_f_f (log10, 0, minus_infty, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_f_f (log10, minus_zero, minus_infty, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_f_f (log10, 1, 0);
- /* log10 (x) == NaN plus invalid exception if x < 0. */
- TEST_f_f (log10, -1, nan_value, INVALID_EXCEPTION);
- TEST_f_f (log10, plus_infty, plus_infty);
- TEST_f_f (log10, nan_value, nan_value);
- TEST_f_f (log10, 0.1L, -1);
- TEST_f_f (log10, 10.0, 1);
- TEST_f_f (log10, 100.0, 2);
- TEST_f_f (log10, 10000.0, 4);
- TEST_f_f (log10, M_El, M_LOG10El);
- TEST_f_f (log10, 0.75L, -0.124938736608299953132449886193870744L);
- END (log10);
- }
- static void
- log1p_test (void)
- {
- errno = 0;
- FUNC(log1p) (0);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (log1p);
- TEST_f_f (log1p, 0, 0);
- TEST_f_f (log1p, minus_zero, minus_zero);
- TEST_f_f (log1p, -1, minus_infty, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_f_f (log1p, -2, nan_value, INVALID_EXCEPTION);
- TEST_f_f (log1p, plus_infty, plus_infty);
- TEST_f_f (log1p, nan_value, nan_value);
- TEST_f_f (log1p, M_El - 1.0, 1);
- TEST_f_f (log1p, -0.25L, -0.287682072451780927439219005993827432L);
- TEST_f_f (log1p, -0.875, -2.07944154167983592825169636437452970L);
- END (log1p);
- }
- #if 0
- static void
- log2_test (void)
- {
- errno = 0;
- FUNC(log2) (1);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (log2);
- TEST_f_f (log2, 0, minus_infty, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_f_f (log2, minus_zero, minus_infty, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_f_f (log2, 1, 0);
- TEST_f_f (log2, -1, nan_value, INVALID_EXCEPTION);
- TEST_f_f (log2, plus_infty, plus_infty);
- TEST_f_f (log2, nan_value, nan_value);
- TEST_f_f (log2, M_El, M_LOG2El);
- TEST_f_f (log2, 2.0, 1);
- TEST_f_f (log2, 16.0, 4);
- TEST_f_f (log2, 256.0, 8);
- TEST_f_f (log2, 0.75L, -.415037499278843818546261056052183492L);
- END (log2);
- }
- #endif
- static void
- logb_test (void)
- {
- START (logb);
- TEST_f_f (logb, plus_infty, plus_infty);
- TEST_f_f (logb, minus_infty, plus_infty);
- TEST_f_f (logb, 0, minus_infty, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_f_f (logb, minus_zero, minus_infty, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_f_f (logb, nan_value, nan_value);
- TEST_f_f (logb, 1, 0);
- TEST_f_f (logb, M_El, 1);
- TEST_f_f (logb, 1024, 10);
- TEST_f_f (logb, -2000, 10);
- END (logb);
- }
- #if 0
- static void
- lround_test (void)
- {
- START (lround);
- TEST_f_l (lround, 0, 0);
- TEST_f_l (lround, minus_zero, 0);
- TEST_f_l (lround, 0.2L, 0.0);
- TEST_f_l (lround, -0.2L, 0);
- TEST_f_l (lround, 0.5, 1);
- TEST_f_l (lround, -0.5, -1);
- TEST_f_l (lround, 0.8L, 1);
- TEST_f_l (lround, -0.8L, -1);
- TEST_f_l (lround, 1.5, 2);
- TEST_f_l (lround, -1.5, -2);
- TEST_f_l (lround, 22514.5, 22515);
- TEST_f_l (lround, -22514.5, -22515);
- TEST_f_l (lround, 1071930.0008, 1071930);
- #ifndef TEST_FLOAT
- TEST_f_l (lround, 1073741824.01, 1073741824);
- # if LONG_MAX > 281474976710656
- TEST_f_l (lround, 281474976710656.025, 281474976710656);
- # endif
- TEST_f_l (lround, 2097152.5, 2097153);
- TEST_f_l (lround, -2097152.5, -2097153);
- #endif
- END (lround);
- }
- static void
- llround_test (void)
- {
- START (llround);
- TEST_f_L (llround, 0, 0);
- TEST_f_L (llround, minus_zero, 0);
- TEST_f_L (llround, 0.2L, 0.0);
- TEST_f_L (llround, -0.2L, 0);
- TEST_f_L (llround, 0.5, 1);
- TEST_f_L (llround, -0.5, -1);
- TEST_f_L (llround, 0.8L, 1);
- TEST_f_L (llround, -0.8L, -1);
- TEST_f_L (llround, 1.5, 2);
- TEST_f_L (llround, -1.5, -2);
- TEST_f_L (llround, 22514.5, 22515);
- TEST_f_L (llround, -22514.5, -22515);
- TEST_f_l (llround, 1071930.0008, 1071930);
- #ifndef TEST_FLOAT
- TEST_f_L (llround, 2097152.5, 2097153);
- TEST_f_L (llround, -2097152.5, -2097153);
- TEST_f_L (llround, 34359738368.5, 34359738369ll);
- TEST_f_L (llround, -34359738368.5, -34359738369ll);
- #endif
- /* Test boundary conditions. */
- /* 0x1FFFFF */
- TEST_f_L (llround, 2097151.0, 2097151LL);
- /* 0x800000 */
- TEST_f_L (llround, 8388608.0, 8388608LL);
- /* 0x1000000 */
- TEST_f_L (llround, 16777216.0, 16777216LL);
- /* 0x20000000000 */
- TEST_f_L (llround, 2199023255552.0, 2199023255552LL);
- /* 0x40000000000 */
- TEST_f_L (llround, 4398046511104.0, 4398046511104LL);
- /* 0x1000000000000 */
- TEST_f_L (llround, 281474976710656.0, 281474976710656LL);
- /* 0x10000000000000 */
- TEST_f_L (llround, 4503599627370496.0, 4503599627370496LL);
- /* 0x10000080000000 */
- TEST_f_L (llround, 4503601774854144.0, 4503601774854144LL);
- /* 0x20000000000000 */
- TEST_f_L (llround, 9007199254740992.0, 9007199254740992LL);
- /* 0x80000000000000 */
- TEST_f_L (llround, 36028797018963968.0, 36028797018963968LL);
- /* 0x100000000000000 */
- TEST_f_L (llround, 72057594037927936.0, 72057594037927936LL);
- #ifndef TEST_FLOAT
- /* 0x100000000 */
- TEST_f_L (llround, 4294967295.5, 4294967296LL);
- /* 0x200000000 */
- TEST_f_L (llround, 8589934591.5, 8589934592LL);
- #endif
- #ifdef TEST_LDOUBLE
- /* The input can only be represented in long double. */
- TEST_f_L (llround, 4503599627370495.5L, 4503599627370496LL);
- TEST_f_L (llround, 4503599627370496.25L, 4503599627370496LL);
- TEST_f_L (llround, 4503599627370496.5L, 4503599627370497LL);
- TEST_f_L (llround, 4503599627370496.75L, 4503599627370497LL);
- TEST_f_L (llround, 4503599627370497.5L, 4503599627370498LL);
- TEST_f_L (llround, -4503599627370495.5L, -4503599627370496LL);
- TEST_f_L (llround, -4503599627370496.25L, -4503599627370496LL);
- TEST_f_L (llround, -4503599627370496.5L, -4503599627370497LL);
- TEST_f_L (llround, -4503599627370496.75L, -4503599627370497LL);
- TEST_f_L (llround, -4503599627370497.5L, -4503599627370498LL);
- TEST_f_L (llround, 9007199254740991.5L, 9007199254740992LL);
- TEST_f_L (llround, 9007199254740992.25L, 9007199254740992LL);
- TEST_f_L (llround, 9007199254740992.5L, 9007199254740993LL);
- TEST_f_L (llround, 9007199254740992.75L, 9007199254740993LL);
- TEST_f_L (llround, 9007199254740993.5L, 9007199254740994LL);
- TEST_f_L (llround, -9007199254740991.5L, -9007199254740992LL);
- TEST_f_L (llround, -9007199254740992.25L, -9007199254740992LL);
- TEST_f_L (llround, -9007199254740992.5L, -9007199254740993LL);
- TEST_f_L (llround, -9007199254740992.75L, -9007199254740993LL);
- TEST_f_L (llround, -9007199254740993.5L, -9007199254740994LL);
- TEST_f_L (llround, 72057594037927935.5L, 72057594037927936LL);
- TEST_f_L (llround, 72057594037927936.25L, 72057594037927936LL);
- TEST_f_L (llround, 72057594037927936.5L, 72057594037927937LL);
- TEST_f_L (llround, 72057594037927936.75L, 72057594037927937LL);
- TEST_f_L (llround, 72057594037927937.5L, 72057594037927938LL);
- TEST_f_L (llround, -72057594037927935.5L, -72057594037927936LL);
- TEST_f_L (llround, -72057594037927936.25L, -72057594037927936LL);
- TEST_f_L (llround, -72057594037927936.5L, -72057594037927937LL);
- TEST_f_L (llround, -72057594037927936.75L, -72057594037927937LL);
- TEST_f_L (llround, -72057594037927937.5L, -72057594037927938LL);
- TEST_f_L (llround, 9223372036854775806.25L, 9223372036854775806LL);
- TEST_f_L (llround, -9223372036854775806.25L, -9223372036854775806LL);
- TEST_f_L (llround, 9223372036854775806.5L, 9223372036854775807LL);
- TEST_f_L (llround, -9223372036854775806.5L, -9223372036854775807LL);
- TEST_f_L (llround, 9223372036854775807.0L, 9223372036854775807LL);
- TEST_f_L (llround, -9223372036854775807.0L, -9223372036854775807LL);
- #endif
- END (llround);
- }
- #endif
- static void
- modf_test (void)
- {
- FLOAT x;
- START (modf);
- TEST_fF_f1 (modf, plus_infty, 0, plus_infty);
- TEST_fF_f1 (modf, minus_infty, minus_zero, minus_infty);
- TEST_fF_f1 (modf, nan_value, nan_value, nan_value);
- TEST_fF_f1 (modf, 0, 0, 0);
- TEST_fF_f1 (modf, 1.5, 0.5, 1);
- TEST_fF_f1 (modf, 2.5, 0.5, 2);
- TEST_fF_f1 (modf, -2.5, -0.5, -2);
- TEST_fF_f1 (modf, 20, 0, 20);
- TEST_fF_f1 (modf, 21, 0, 21);
- TEST_fF_f1 (modf, 89.5, 0.5, 89);
- END (modf);
- }
- #if 0
- static void
- nearbyint_test (void)
- {
- START (nearbyint);
- TEST_f_f (nearbyint, 0.0, 0.0);
- TEST_f_f (nearbyint, minus_zero, minus_zero);
- TEST_f_f (nearbyint, plus_infty, plus_infty);
- TEST_f_f (nearbyint, minus_infty, minus_infty);
- TEST_f_f (nearbyint, nan_value, nan_value);
- /* Default rounding mode is round to nearest. */
- TEST_f_f (nearbyint, 0.5, 0.0);
- TEST_f_f (nearbyint, 1.5, 2.0);
- TEST_f_f (nearbyint, -0.5, minus_zero);
- TEST_f_f (nearbyint, -1.5, -2.0);
- END (nearbyint);
- }
- static void
- nextafter_test (void)
- {
- START (nextafter);
- TEST_ff_f (nextafter, 0, 0, 0);
- TEST_ff_f (nextafter, minus_zero, 0, 0);
- TEST_ff_f (nextafter, 0, minus_zero, minus_zero);
- TEST_ff_f (nextafter, minus_zero, minus_zero, minus_zero);
- TEST_ff_f (nextafter, 9, 9, 9);
- TEST_ff_f (nextafter, -9, -9, -9);
- TEST_ff_f (nextafter, plus_infty, plus_infty, plus_infty);
- TEST_ff_f (nextafter, minus_infty, minus_infty, minus_infty);
- TEST_ff_f (nextafter, nan_value, 1.1L, nan_value);
- TEST_ff_f (nextafter, 1.1L, nan_value, nan_value);
- TEST_ff_f (nextafter, nan_value, nan_value, nan_value);
- FLOAT fltmax = CHOOSE (LDBL_MAX, DBL_MAX, FLT_MAX,
- LDBL_MAX, DBL_MAX, FLT_MAX);
- TEST_ff_f (nextafter, fltmax, plus_infty, plus_infty);
- TEST_ff_f (nextafter, -fltmax, minus_infty, minus_infty);
- #ifdef TEST_LDOUBLE
- // XXX Enable once gcc is fixed.
- //TEST_ff_f (nextafter, 0x0.00000040000000000000p-16385L, -0.1L, 0x0.0000003ffffffff00000p-16385L);
- #endif
- /* XXX We need the hexadecimal FP number representation here for further
- tests. */
- END (nextafter);
- }
- static void
- nexttoward_test (void)
- {
- START (nexttoward);
- TEST_ff_f (nexttoward, 0, 0, 0);
- TEST_ff_f (nexttoward, minus_zero, 0, 0);
- TEST_ff_f (nexttoward, 0, minus_zero, minus_zero);
- TEST_ff_f (nexttoward, minus_zero, minus_zero, minus_zero);
- TEST_ff_f (nexttoward, 9, 9, 9);
- TEST_ff_f (nexttoward, -9, -9, -9);
- TEST_ff_f (nexttoward, plus_infty, plus_infty, plus_infty);
- TEST_ff_f (nexttoward, minus_infty, minus_infty, minus_infty);
- TEST_ff_f (nexttoward, nan_value, 1.1L, nan_value);
- TEST_ff_f (nexttoward, 1.1L, nan_value, nan_value);
- TEST_ff_f (nexttoward, nan_value, nan_value, nan_value);
- /* XXX We need the hexadecimal FP number representation here for further
- tests. */
- END (nexttoward);
- }
- #endif
- static void
- pow_test (void)
- {
- errno = 0;
- FUNC(pow) (0, 0);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (pow);
- TEST_ff_f (pow, 0, 0, 1);
- TEST_ff_f (pow, 0, minus_zero, 1);
- TEST_ff_f (pow, minus_zero, 0, 1);
- TEST_ff_f (pow, minus_zero, minus_zero, 1);
- TEST_ff_f (pow, 10, 0, 1);
- TEST_ff_f (pow, 10, minus_zero, 1);
- TEST_ff_f (pow, -10, 0, 1);
- TEST_ff_f (pow, -10, minus_zero, 1);
- TEST_ff_f (pow, nan_value, 0, 1);
- TEST_ff_f (pow, nan_value, minus_zero, 1);
- #ifndef TEST_INLINE
- TEST_ff_f (pow, 1.1L, plus_infty, plus_infty);
- TEST_ff_f (pow, plus_infty, plus_infty, plus_infty);
- TEST_ff_f (pow, -1.1L, plus_infty, plus_infty);
- TEST_ff_f (pow, minus_infty, plus_infty, plus_infty);
- TEST_ff_f (pow, 0.9L, plus_infty, 0);
- TEST_ff_f (pow, 1e-7L, plus_infty, 0);
- TEST_ff_f (pow, -0.9L, plus_infty, 0);
- TEST_ff_f (pow, -1e-7L, plus_infty, 0);
- TEST_ff_f (pow, 1.1L, minus_infty, 0);
- TEST_ff_f (pow, plus_infty, minus_infty, 0);
- TEST_ff_f (pow, -1.1L, minus_infty, 0);
- TEST_ff_f (pow, minus_infty, minus_infty, 0);
- TEST_ff_f (pow, 0.9L, minus_infty, plus_infty);
- TEST_ff_f (pow, 1e-7L, minus_infty, plus_infty);
- TEST_ff_f (pow, -0.9L, minus_infty, plus_infty);
- TEST_ff_f (pow, -1e-7L, minus_infty, plus_infty);
- TEST_ff_f (pow, plus_infty, 1e-7L, plus_infty);
- TEST_ff_f (pow, plus_infty, 1, plus_infty);
- TEST_ff_f (pow, plus_infty, 1e7L, plus_infty);
- TEST_ff_f (pow, plus_infty, -1e-7L, 0);
- TEST_ff_f (pow, plus_infty, -1, 0);
- TEST_ff_f (pow, plus_infty, -1e7L, 0);
- TEST_ff_f (pow, minus_infty, 1, minus_infty);
- TEST_ff_f (pow, minus_infty, 11, minus_infty);
- TEST_ff_f (pow, minus_infty, 1001, minus_infty);
- TEST_ff_f (pow, minus_infty, 2, plus_infty);
- TEST_ff_f (pow, minus_infty, 12, plus_infty);
- TEST_ff_f (pow, minus_infty, 1002, plus_infty);
- TEST_ff_f (pow, minus_infty, 0.1L, plus_infty);
- TEST_ff_f (pow, minus_infty, 1.1L, plus_infty);
- TEST_ff_f (pow, minus_infty, 11.1L, plus_infty);
- TEST_ff_f (pow, minus_infty, 1001.1L, plus_infty);
- TEST_ff_f (pow, minus_infty, -1, minus_zero);
- TEST_ff_f (pow, minus_infty, -11, minus_zero);
- TEST_ff_f (pow, minus_infty, -1001, minus_zero);
- TEST_ff_f (pow, minus_infty, -2, 0);
- TEST_ff_f (pow, minus_infty, -12, 0);
- TEST_ff_f (pow, minus_infty, -1002, 0);
- TEST_ff_f (pow, minus_infty, -0.1L, 0);
- TEST_ff_f (pow, minus_infty, -1.1L, 0);
- TEST_ff_f (pow, minus_infty, -11.1L, 0);
- TEST_ff_f (pow, minus_infty, -1001.1L, 0);
- #endif
- TEST_ff_f (pow, nan_value, nan_value, nan_value);
- TEST_ff_f (pow, 0, nan_value, nan_value);
- TEST_ff_f (pow, 1, nan_value, 1);
- TEST_ff_f (pow, -1, nan_value, nan_value);
- TEST_ff_f (pow, nan_value, 1, nan_value);
- TEST_ff_f (pow, nan_value, -1, nan_value);
- /* pow (x, NaN) == NaN. */
- TEST_ff_f (pow, 3.0, nan_value, nan_value);
- TEST_ff_f (pow, 1, plus_infty, 1);
- TEST_ff_f (pow, -1, plus_infty, 1);
- TEST_ff_f (pow, 1, minus_infty, 1);
- TEST_ff_f (pow, -1, minus_infty, 1);
- TEST_ff_f (pow, 1, 1, 1);
- TEST_ff_f (pow, 1, -1, 1);
- TEST_ff_f (pow, 1, 1.25, 1);
- TEST_ff_f (pow, 1, -1.25, 1);
- TEST_ff_f (pow, 1, 0x1p62L, 1);
- TEST_ff_f (pow, 1, 0x1p63L, 1);
- TEST_ff_f (pow, 1, 0x1p64L, 1);
- TEST_ff_f (pow, 1, 0x1p72L, 1);
- /* pow (x, +-0) == 1. */
- TEST_ff_f (pow, plus_infty, 0, 1);
- TEST_ff_f (pow, plus_infty, minus_zero, 1);
- TEST_ff_f (pow, minus_infty, 0, 1);
- TEST_ff_f (pow, minus_infty, minus_zero, 1);
- TEST_ff_f (pow, 32.75L, 0, 1);
- TEST_ff_f (pow, 32.75L, minus_zero, 1);
- TEST_ff_f (pow, -32.75L, 0, 1);
- TEST_ff_f (pow, -32.75L, minus_zero, 1);
- TEST_ff_f (pow, 0x1p72L, 0, 1);
- TEST_ff_f (pow, 0x1p72L, minus_zero, 1);
- TEST_ff_f (pow, 0x1p-72L, 0, 1);
- TEST_ff_f (pow, 0x1p-72L, minus_zero, 1);
- TEST_ff_f (pow, -0.1L, 1.1L, nan_value, INVALID_EXCEPTION);
- TEST_ff_f (pow, -0.1L, -1.1L, nan_value, INVALID_EXCEPTION);
- TEST_ff_f (pow, -10.1L, 1.1L, nan_value, INVALID_EXCEPTION);
- TEST_ff_f (pow, -10.1L, -1.1L, nan_value, INVALID_EXCEPTION);
- TEST_ff_f (pow, 0, -1, plus_infty, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_ff_f (pow, 0, -11, plus_infty, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_ff_f (pow, minus_zero, -1, minus_infty, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_ff_f (pow, minus_zero, -11, minus_infty, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_ff_f (pow, 0, -2, plus_infty, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_ff_f (pow, 0, -11.1L, plus_infty, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_ff_f (pow, minus_zero, -2, plus_infty, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_ff_f (pow, minus_zero, -11.1L, plus_infty, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_ff_f (pow, 0x1p72L, 0x1p72L, plus_infty);
- TEST_ff_f (pow, 10, -0x1p72L, 0);
- TEST_ff_f (pow, max_value, max_value, plus_infty);
- TEST_ff_f (pow, 10, -max_value, 0);
- TEST_ff_f (pow, 0, 1, 0);
- TEST_ff_f (pow, 0, 11, 0);
- TEST_ff_f (pow, minus_zero, 1, minus_zero);
- TEST_ff_f (pow, minus_zero, 11, minus_zero);
- TEST_ff_f (pow, 0, 2, 0);
- TEST_ff_f (pow, 0, 11.1L, 0);
- TEST_ff_f (pow, minus_zero, 2, 0);
- TEST_ff_f (pow, minus_zero, 11.1L, 0);
- TEST_ff_f (pow, 0, plus_infty, 0);
- TEST_ff_f (pow, minus_zero, plus_infty, 0);
- #ifndef TEST_INLINE
- /* pow (x, +inf) == +inf for |x| > 1. */
- TEST_ff_f (pow, 1.5, plus_infty, plus_infty);
- /* pow (x, +inf) == +0 for |x| < 1. */
- TEST_ff_f (pow, 0.5, plus_infty, 0.0);
- /* pow (x, -inf) == +0 for |x| > 1. */
- TEST_ff_f (pow, 1.5, minus_infty, 0.0);
- /* pow (x, -inf) == +inf for |x| < 1. */
- TEST_ff_f (pow, 0.5, minus_infty, plus_infty);
- #endif
- /* pow (+inf, y) == +inf for y > 0. */
- TEST_ff_f (pow, plus_infty, 2, plus_infty);
- /* pow (+inf, y) == +0 for y < 0. */
- TEST_ff_f (pow, plus_infty, -1, 0.0);
- /* pow (-inf, y) == -inf for y an odd integer > 0. */
- TEST_ff_f (pow, minus_infty, 27, minus_infty);
- /* pow (-inf, y) == +inf for y > 0 and not an odd integer. */
- TEST_ff_f (pow, minus_infty, 28, plus_infty);
- /* pow (-inf, y) == -0 for y an odd integer < 0. */
- TEST_ff_f (pow, minus_infty, -3, minus_zero);
- /* pow (-inf, y) == +0 for y < 0 and not an odd integer. */
- TEST_ff_f (pow, minus_infty, -2.0, 0.0);
- /* pow (+0, y) == +0 for y an odd integer > 0. */
- TEST_ff_f (pow, 0.0, 27, 0.0);
- /* pow (-0, y) == -0 for y an odd integer > 0. */
- TEST_ff_f (pow, minus_zero, 27, minus_zero);
- /* pow (+0, y) == +0 for y > 0 and not an odd integer. */
- TEST_ff_f (pow, 0.0, 4, 0.0);
- /* pow (-0, y) == +0 for y > 0 and not an odd integer. */
- TEST_ff_f (pow, minus_zero, 4, 0.0);
- TEST_ff_f (pow, 16, 0.25L, 2);
- TEST_ff_f (pow, 0x1p64L, 0.125L, 256);
- TEST_ff_f (pow, 2, 4, 16);
- TEST_ff_f (pow, 256, 8, 0x1p64L);
- TEST_ff_f (pow, 0.75L, 1.25L, 0.697953644326574699205914060237425566L);
- #if defined TEST_DOUBLE || defined TEST_LDOUBLE
- TEST_ff_f (pow, -7.49321e+133, -9.80818e+16, 0);
- #endif
- END (pow);
- }
- static void
- remainder_test (void)
- {
- errno = 0;
- FUNC(remainder) (1.625, 1.0);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (remainder);
- TEST_ff_f (remainder, 1, 0, nan_value, INVALID_EXCEPTION);
- TEST_ff_f (remainder, 1, minus_zero, nan_value, INVALID_EXCEPTION);
- TEST_ff_f (remainder, plus_infty, 1, nan_value, INVALID_EXCEPTION);
- TEST_ff_f (remainder, minus_infty, 1, nan_value, INVALID_EXCEPTION);
- TEST_ff_f (remainder, nan_value, nan_value, nan_value);
- TEST_ff_f (remainder, 1.625, 1.0, -0.375);
- TEST_ff_f (remainder, -1.625, 1.0, 0.375);
- TEST_ff_f (remainder, 1.625, -1.0, -0.375);
- TEST_ff_f (remainder, -1.625, -1.0, 0.375);
- TEST_ff_f (remainder, 5.0, 2.0, 1.0);
- TEST_ff_f (remainder, 3.0, 2.0, -1.0);
- END (remainder);
- }
- #if 0
- static void
- remquo_test (void)
- {
- /* x is needed. */
- int x;
- errno = 0;
- FUNC(remquo) (1.625, 1.0, &x);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (remquo);
- TEST_ffI_f1 (remquo, 1, 0, nan_value, IGNORE, INVALID_EXCEPTION);
- TEST_ffI_f1 (remquo, 1, minus_zero, nan_value, IGNORE, INVALID_EXCEPTION);
- TEST_ffI_f1 (remquo, plus_infty, 1, nan_value, IGNORE, INVALID_EXCEPTION);
- TEST_ffI_f1 (remquo, minus_infty, 1, nan_value, IGNORE, INVALID_EXCEPTION);
- TEST_ffI_f1 (remquo, nan_value, nan_value, nan_value, IGNORE);
- TEST_ffI_f1 (remquo, 1.625, 1.0, -0.375, 2);
- TEST_ffI_f1 (remquo, -1.625, 1.0, 0.375, -2);
- TEST_ffI_f1 (remquo, 1.625, -1.0, -0.375, -2);
- TEST_ffI_f1 (remquo, -1.625, -1.0, 0.375, 2);
- TEST_ffI_f1 (remquo, 5, 2, 1, 2);
- TEST_ffI_f1 (remquo, 3, 2, -1, 2);
- END (remquo);
- }
- #endif
- static void
- rint_test (void)
- {
- START (rint);
- TEST_f_f (rint, 0.0, 0.0);
- TEST_f_f (rint, minus_zero, minus_zero);
- TEST_f_f (rint, plus_infty, plus_infty);
- TEST_f_f (rint, minus_infty, minus_infty);
- /* Default rounding mode is round to even. */
- TEST_f_f (rint, 0.5, 0.0);
- TEST_f_f (rint, 1.5, 2.0);
- TEST_f_f (rint, 2.5, 2.0);
- TEST_f_f (rint, 3.5, 4.0);
- TEST_f_f (rint, 4.5, 4.0);
- TEST_f_f (rint, -0.5, -0.0);
- TEST_f_f (rint, -1.5, -2.0);
- TEST_f_f (rint, -2.5, -2.0);
- TEST_f_f (rint, -3.5, -4.0);
- TEST_f_f (rint, -4.5, -4.0);
- #ifdef TEST_LDOUBLE
- /* The result can only be represented in long double. */
- TEST_f_f (rint, 4503599627370495.5L, 4503599627370496.0L);
- TEST_f_f (rint, 4503599627370496.25L, 4503599627370496.0L);
- TEST_f_f (rint, 4503599627370496.5L, 4503599627370496.0L);
- TEST_f_f (rint, 4503599627370496.75L, 4503599627370497.0L);
- TEST_f_f (rint, 4503599627370497.5L, 4503599627370498.0L);
- TEST_f_f (rint, -4503599627370495.5L, -4503599627370496.0L);
- TEST_f_f (rint, -4503599627370496.25L, -4503599627370496.0L);
- TEST_f_f (rint, -4503599627370496.5L, -4503599627370496.0L);
- TEST_f_f (rint, -4503599627370496.75L, -4503599627370497.0L);
- TEST_f_f (rint, -4503599627370497.5L, -4503599627370498.0L);
- TEST_f_f (rint, 9007199254740991.5L, 9007199254740992.0L);
- TEST_f_f (rint, 9007199254740992.25L, 9007199254740992.0L);
- TEST_f_f (rint, 9007199254740992.5L, 9007199254740992.0L);
- TEST_f_f (rint, 9007199254740992.75L, 9007199254740993.0L);
- TEST_f_f (rint, 9007199254740993.5L, 9007199254740994.0L);
- TEST_f_f (rint, -9007199254740991.5L, -9007199254740992.0L);
- TEST_f_f (rint, -9007199254740992.25L, -9007199254740992.0L);
- TEST_f_f (rint, -9007199254740992.5L, -9007199254740992.0L);
- TEST_f_f (rint, -9007199254740992.75L, -9007199254740993.0L);
- TEST_f_f (rint, -9007199254740993.5L, -9007199254740994.0L);
- TEST_f_f (rint, 72057594037927935.5L, 72057594037927936.0L);
- TEST_f_f (rint, 72057594037927936.25L, 72057594037927936.0L);
- TEST_f_f (rint, 72057594037927936.5L, 72057594037927936.0L);
- TEST_f_f (rint, 72057594037927936.75L, 72057594037927937.0L);
- TEST_f_f (rint, 72057594037927937.5L, 72057594037927938.0L);
- TEST_f_f (rint, -72057594037927935.5L, -72057594037927936.0L);
- TEST_f_f (rint, -72057594037927936.25L, -72057594037927936.0L);
- TEST_f_f (rint, -72057594037927936.5L, -72057594037927936.0L);
- TEST_f_f (rint, -72057594037927936.75L, -72057594037927937.0L);
- TEST_f_f (rint, -72057594037927937.5L, -72057594037927938.0L);
- TEST_f_f (rint, 10141204801825835211973625643007.5L, 10141204801825835211973625643008.0L);
- TEST_f_f (rint, 10141204801825835211973625643008.25L, 10141204801825835211973625643008.0L);
- TEST_f_f (rint, 10141204801825835211973625643008.5L, 10141204801825835211973625643008.0L);
- TEST_f_f (rint, 10141204801825835211973625643008.75L, 10141204801825835211973625643009.0L);
- TEST_f_f (rint, 10141204801825835211973625643009.5L, 10141204801825835211973625643010.0L);
- #endif
- END (rint);
- }
- #if 0
- static void
- rint_test_tonearest (void)
- {
- int save_round_mode;
- START (rint_tonearest);
- save_round_mode = fegetround();
- if (!fesetround (FE_TONEAREST))
- {
- TEST_f_f (rint, 2.0, 2.0);
- TEST_f_f (rint, 1.5, 2.0);
- TEST_f_f (rint, 1.0, 1.0);
- TEST_f_f (rint, 0.5, 0.0);
- TEST_f_f (rint, 0.0, 0.0);
- TEST_f_f (rint, minus_zero, minus_zero);
- TEST_f_f (rint, -0.5, -0.0);
- TEST_f_f (rint, -1.0, -1.0);
- TEST_f_f (rint, -1.5, -2.0);
- TEST_f_f (rint, -2.0, -2.0);
- }
- fesetround(save_round_mode);
- END (rint_tonearest);
- }
- static void
- rint_test_towardzero (void)
- {
- int save_round_mode;
- START (rint_towardzero);
- save_round_mode = fegetround();
- if (!fesetround (FE_TOWARDZERO))
- {
- TEST_f_f (rint, 2.0, 2.0);
- TEST_f_f (rint, 1.5, 1.0);
- TEST_f_f (rint, 1.0, 1.0);
- TEST_f_f (rint, 0.5, 0.0);
- TEST_f_f (rint, 0.0, 0.0);
- TEST_f_f (rint, minus_zero, minus_zero);
- TEST_f_f (rint, -0.5, -0.0);
- TEST_f_f (rint, -1.0, -1.0);
- TEST_f_f (rint, -1.5, -1.0);
- TEST_f_f (rint, -2.0, -2.0);
- }
- fesetround(save_round_mode);
- END (rint_towardzero);
- }
- static void
- rint_test_downward (void)
- {
- int save_round_mode;
- START (rint_downward);
- save_round_mode = fegetround();
- if (!fesetround (FE_DOWNWARD))
- {
- TEST_f_f (rint, 2.0, 2.0);
- TEST_f_f (rint, 1.5, 1.0);
- TEST_f_f (rint, 1.0, 1.0);
- TEST_f_f (rint, 0.5, 0.0);
- TEST_f_f (rint, 0.0, 0.0);
- TEST_f_f (rint, minus_zero, minus_zero);
- TEST_f_f (rint, -0.5, -1.0);
- TEST_f_f (rint, -1.0, -1.0);
- TEST_f_f (rint, -1.5, -2.0);
- TEST_f_f (rint, -2.0, -2.0);
- }
- fesetround(save_round_mode);
- END (rint_downward);
- }
- static void
- rint_test_upward (void)
- {
- int save_round_mode;
- START (rint_upward);
- save_round_mode = fegetround();
- if (!fesetround (FE_UPWARD))
- {
- TEST_f_f (rint, 2.0, 2.0);
- TEST_f_f (rint, 1.5, 2.0);
- TEST_f_f (rint, 1.0, 1.0);
- TEST_f_f (rint, 0.5, 1.0);
- TEST_f_f (rint, 0.0, 0.0);
- TEST_f_f (rint, minus_zero, minus_zero);
- TEST_f_f (rint, -0.5, -0.0);
- TEST_f_f (rint, -1.0, -1.0);
- TEST_f_f (rint, -1.5, -1.0);
- TEST_f_f (rint, -2.0, -2.0);
- }
- fesetround(save_round_mode);
- END (rint_upward);
- }
- static void
- round_test (void)
- {
- START (round);
- TEST_f_f (round, 0, 0);
- TEST_f_f (round, minus_zero, minus_zero);
- TEST_f_f (round, 0.2L, 0.0);
- TEST_f_f (round, -0.2L, minus_zero);
- TEST_f_f (round, 0.5, 1.0);
- TEST_f_f (round, -0.5, -1.0);
- TEST_f_f (round, 0.8L, 1.0);
- TEST_f_f (round, -0.8L, -1.0);
- TEST_f_f (round, 1.5, 2.0);
- TEST_f_f (round, -1.5, -2.0);
- TEST_f_f (round, 2097152.5, 2097153);
- TEST_f_f (round, -2097152.5, -2097153);
- #ifdef TEST_LDOUBLE
- /* The result can only be represented in long double. */
- TEST_f_f (round, 4503599627370495.5L, 4503599627370496.0L);
- TEST_f_f (round, 4503599627370496.25L, 4503599627370496.0L);
- TEST_f_f (round, 4503599627370496.5L, 4503599627370497.0L);
- TEST_f_f (round, 4503599627370496.75L, 4503599627370497.0L);
- TEST_f_f (round, 4503599627370497.5L, 4503599627370498.0L);
- TEST_f_f (round, -4503599627370495.5L, -4503599627370496.0L);
- TEST_f_f (round, -4503599627370496.25L, -4503599627370496.0L);
- TEST_f_f (round, -4503599627370496.5L, -4503599627370497.0L);
- TEST_f_f (round, -4503599627370496.75L, -4503599627370497.0L);
- TEST_f_f (round, -4503599627370497.5L, -4503599627370498.0L);
- TEST_f_f (round, 9007199254740991.5L, 9007199254740992.0L);
- TEST_f_f (round, 9007199254740992.25L, 9007199254740992.0L);
- TEST_f_f (round, 9007199254740992.5L, 9007199254740993.0L);
- TEST_f_f (round, 9007199254740992.75L, 9007199254740993.0L);
- TEST_f_f (round, 9007199254740993.5L, 9007199254740994.0L);
- TEST_f_f (round, -9007199254740991.5L, -9007199254740992.0L);
- TEST_f_f (round, -9007199254740992.25L, -9007199254740992.0L);
- TEST_f_f (round, -9007199254740992.5L, -9007199254740993.0L);
- TEST_f_f (round, -9007199254740992.75L, -9007199254740993.0L);
- TEST_f_f (round, -9007199254740993.5L, -9007199254740994.0L);
- TEST_f_f (round, 72057594037927935.5L, 72057594037927936.0L);
- TEST_f_f (round, 72057594037927936.25L, 72057594037927936.0L);
- TEST_f_f (round, 72057594037927936.5L, 72057594037927937.0L);
- TEST_f_f (round, 72057594037927936.75L, 72057594037927937.0L);
- TEST_f_f (round, 72057594037927937.5L, 72057594037927938.0L);
- TEST_f_f (round, -72057594037927935.5L, -72057594037927936.0L);
- TEST_f_f (round, -72057594037927936.25L, -72057594037927936.0L);
- TEST_f_f (round, -72057594037927936.5L, -72057594037927937.0L);
- TEST_f_f (round, -72057594037927936.75L, -72057594037927937.0L);
- TEST_f_f (round, -72057594037927937.5L, -72057594037927938.0L);
- TEST_f_f (round, 10141204801825835211973625643007.5L, 10141204801825835211973625643008.0L);
- TEST_f_f (round, 10141204801825835211973625643008.25L, 10141204801825835211973625643008.0L);
- TEST_f_f (round, 10141204801825835211973625643008.5L, 10141204801825835211973625643009.0L);
- TEST_f_f (round, 10141204801825835211973625643008.75L, 10141204801825835211973625643009.0L);
- TEST_f_f (round, 10141204801825835211973625643009.5L, 10141204801825835211973625643010.0L);
- #endif
- END (round);
- }
- #endif
- static void
- scalb_test (void)
- {
- START (scalb);
- #ifndef TEST_LDOUBLE /* uclibc doesn't have scalbl */
- #ifdef __UCLIBC_SUSV3_LEGACY__ /* scalbf is susv3 legacy */
- TEST_ff_f (scalb, 2.0, 0.5, nan_value, INVALID_EXCEPTION);
- TEST_ff_f (scalb, 3.0, -2.5, nan_value, INVALID_EXCEPTION);
- TEST_ff_f (scalb, 0, nan_value, nan_value);
- TEST_ff_f (scalb, 1, nan_value, nan_value);
- TEST_ff_f (scalb, 1, 0, 1);
- TEST_ff_f (scalb, -1, 0, -1);
- TEST_ff_f (scalb, 0, plus_infty, nan_value, INVALID_EXCEPTION);
- TEST_ff_f (scalb, minus_zero, plus_infty, nan_value, INVALID_EXCEPTION);
- TEST_ff_f (scalb, 0, 2, 0);
- TEST_ff_f (scalb, minus_zero, -4, minus_zero);
- TEST_ff_f (scalb, 0, 0, 0);
- TEST_ff_f (scalb, minus_zero, 0, minus_zero);
- TEST_ff_f (scalb, 0, -1, 0);
- TEST_ff_f (scalb, minus_zero, -10, minus_zero);
- TEST_ff_f (scalb, 0, minus_infty, 0);
- TEST_ff_f (scalb, minus_zero, minus_infty, minus_zero);
- TEST_ff_f (scalb, plus_infty, -1, plus_infty);
- TEST_ff_f (scalb, minus_infty, -10, minus_infty);
- TEST_ff_f (scalb, plus_infty, 0, plus_infty);
- TEST_ff_f (scalb, minus_infty, 0, minus_infty);
- TEST_ff_f (scalb, plus_infty, 2, plus_infty);
- TEST_ff_f (scalb, minus_infty, 100, minus_infty);
- TEST_ff_f (scalb, 0.1L, minus_infty, 0.0);
- TEST_ff_f (scalb, -0.1L, minus_infty, minus_zero);
- TEST_ff_f (scalb, 1, plus_infty, plus_infty);
- TEST_ff_f (scalb, -1, plus_infty, minus_infty);
- TEST_ff_f (scalb, plus_infty, plus_infty, plus_infty);
- TEST_ff_f (scalb, minus_infty, plus_infty, minus_infty);
- TEST_ff_f (scalb, plus_infty, minus_infty, nan_value, INVALID_EXCEPTION);
- TEST_ff_f (scalb, minus_infty, minus_infty, nan_value, INVALID_EXCEPTION);
- TEST_ff_f (scalb, nan_value, 1, nan_value);
- TEST_ff_f (scalb, 1, nan_value, nan_value);
- TEST_ff_f (scalb, nan_value, 0, nan_value);
- TEST_ff_f (scalb, 0, nan_value, nan_value);
- TEST_ff_f (scalb, nan_value, plus_infty, nan_value);
- TEST_ff_f (scalb, plus_infty, nan_value, nan_value);
- TEST_ff_f (scalb, nan_value, nan_value, nan_value);
- TEST_ff_f (scalb, 0.8L, 4, 12.8L);
- TEST_ff_f (scalb, -0.854375L, 5, -27.34L);
- #endif /* __UCLIBC_SUSV3_LEGACY__ */
- #endif /* TEST_LDOUBLE */
- END (scalb);
- }
- static void
- scalbn_test (void)
- {
- START (scalbn);
- TEST_fi_f (scalbn, 0, 0, 0);
- TEST_fi_f (scalbn, minus_zero, 0, minus_zero);
- TEST_fi_f (scalbn, plus_infty, 1, plus_infty);
- TEST_fi_f (scalbn, minus_infty, 1, minus_infty);
- TEST_fi_f (scalbn, nan_value, 1, nan_value);
- TEST_fi_f (scalbn, 0.8L, 4, 12.8L);
- TEST_fi_f (scalbn, -0.854375L, 5, -27.34L);
- TEST_fi_f (scalbn, 1, 0L, 1);
- END (scalbn);
- }
- #if 0
- static void
- scalbln_test (void)
- {
- START (scalbln);
- TEST_fl_f (scalbln, 0, 0, 0);
- TEST_fl_f (scalbln, minus_zero, 0, minus_zero);
- TEST_fl_f (scalbln, plus_infty, 1, plus_infty);
- TEST_fl_f (scalbln, minus_infty, 1, minus_infty);
- TEST_fl_f (scalbln, nan_value, 1, nan_value);
- TEST_fl_f (scalbln, 0.8L, 4, 12.8L);
- TEST_fl_f (scalbln, -0.854375L, 5, -27.34L);
- TEST_fl_f (scalbln, 1, 0L, 1);
- END (scalbn);
- }
- #endif
- static void
- signbit_test (void)
- {
- START (signbit);
- TEST_f_b (signbit, 0, 0);
- TEST_f_b (signbit, minus_zero, 1);
- TEST_f_b (signbit, plus_infty, 0);
- TEST_f_b (signbit, minus_infty, 1);
- /* signbit (x) != 0 for x < 0. */
- TEST_f_b (signbit, -1, 1);
- /* signbit (x) == 0 for x >= 0. */
- TEST_f_b (signbit, 1, 0);
- END (signbit);
- }
- static void
- sin_test (void)
- {
- errno = 0;
- FUNC(sin) (0);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (sin);
- TEST_f_f (sin, 0, 0);
- TEST_f_f (sin, minus_zero, minus_zero);
- TEST_f_f (sin, plus_infty, nan_value, INVALID_EXCEPTION);
- TEST_f_f (sin, minus_infty, nan_value, INVALID_EXCEPTION);
- TEST_f_f (sin, nan_value, nan_value);
- TEST_f_f (sin, M_PI_6l, 0.5);
- TEST_f_f (sin, -M_PI_6l, -0.5);
- TEST_f_f (sin, M_PI_2l, 1);
- TEST_f_f (sin, -M_PI_2l, -1);
- TEST_f_f (sin, 0.75L, 0.681638760023334166733241952779893935L);
- #ifdef TEST_DOUBLE
- TEST_f_f (sin, 0.80190127184058835, 0.71867942238767868);
- #endif
- END (sin);
- }
- #if 0
- static void
- sincos_test (void)
- {
- FLOAT sin_res, cos_res;
- errno = 0;
- FUNC(sincos) (0, &sin_res, &cos_res);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (sincos);
- /* sincos is treated differently because it returns void. */
- TEST_extra (sincos, 0, 0, 1);
- TEST_extra (sincos, minus_zero, minus_zero, 1);
- TEST_extra (sincos, plus_infty, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_extra (sincos, minus_infty, nan_value, nan_value, INVALID_EXCEPTION);
- TEST_extra (sincos, nan_value, nan_value, nan_value);
- TEST_extra (sincos, M_PI_2l, 1, 0);
- TEST_extra (sincos, M_PI_6l, 0.5, 0.86602540378443864676372317075293616L);
- TEST_extra (sincos, M_PI_6l*2.0, 0.86602540378443864676372317075293616L, 0.5);
- TEST_extra (sincos, 0.75L, 0.681638760023334166733241952779893935L, 0.731688868873820886311838753000084544L);
- #ifdef TEST_DOUBLE
- TEST_extra (sincos, 0.80190127184058835, 0.71867942238767868, 0.69534156199418473);
- #endif
- END (sincos);
- }
- #endif
- static void
- sinh_test (void)
- {
- errno = 0;
- FUNC(sinh) (0.7L);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (sinh);
- TEST_f_f (sinh, 0, 0);
- TEST_f_f (sinh, minus_zero, minus_zero);
- #ifndef TEST_INLINE
- TEST_f_f (sinh, plus_infty, plus_infty);
- TEST_f_f (sinh, minus_infty, minus_infty);
- #endif
- TEST_f_f (sinh, nan_value, nan_value);
- TEST_f_f (sinh, 0.75L, 0.822316731935829980703661634446913849L);
- TEST_f_f (sinh, 0x8p-32L, 1.86264514923095703232705808926175479e-9L);
- END (sinh);
- }
- static void
- sqrt_test (void)
- {
- errno = 0;
- FUNC(sqrt) (1);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (sqrt);
- TEST_f_f (sqrt, 0, 0);
- TEST_f_f (sqrt, nan_value, nan_value);
- TEST_f_f (sqrt, plus_infty, plus_infty);
- TEST_f_f (sqrt, minus_zero, minus_zero);
- /* sqrt (x) == NaN plus invalid exception for x < 0. */
- TEST_f_f (sqrt, -1, nan_value, INVALID_EXCEPTION);
- TEST_f_f (sqrt, minus_infty, nan_value, INVALID_EXCEPTION);
- TEST_f_f (sqrt, nan_value, nan_value);
- TEST_f_f (sqrt, 2209, 47);
- TEST_f_f (sqrt, 4, 2);
- TEST_f_f (sqrt, 2, M_SQRT2l);
- TEST_f_f (sqrt, 0.25, 0.5);
- TEST_f_f (sqrt, 6642.25, 81.5);
- TEST_f_f (sqrt, 15190.5625L, 123.25L);
- TEST_f_f (sqrt, 0.75L, 0.866025403784438646763723170752936183L);
- END (sqrt);
- }
- static void
- tan_test (void)
- {
- errno = 0;
- FUNC(tan) (0);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (tan);
- TEST_f_f (tan, 0, 0);
- TEST_f_f (tan, minus_zero, minus_zero);
- TEST_f_f (tan, plus_infty, nan_value, INVALID_EXCEPTION);
- TEST_f_f (tan, minus_infty, nan_value, INVALID_EXCEPTION);
- TEST_f_f (tan, nan_value, nan_value);
- TEST_f_f (tan, M_PI_4l, 1);
- TEST_f_f (tan, 0.75L, 0.931596459944072461165202756573936428L);
- END (tan);
- }
- static void
- tanh_test (void)
- {
- errno = 0;
- FUNC(tanh) (0.7L);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- START (tanh);
- TEST_f_f (tanh, 0, 0);
- /* vda: uclibc: added IGNORE_ZERO_INF_SIGN to treat -0 as ok */
- TEST_f_f (tanh, minus_zero, minus_zero, IGNORE_ZERO_INF_SIGN);
- #ifndef TEST_INLINE
- TEST_f_f (tanh, plus_infty, 1);
- TEST_f_f (tanh, minus_infty, -1);
- #endif
- TEST_f_f (tanh, nan_value, nan_value);
- TEST_f_f (tanh, 0.75L, 0.635148952387287319214434357312496495L);
- TEST_f_f (tanh, -0.75L, -0.635148952387287319214434357312496495L);
- TEST_f_f (tanh, 1.0L, 0.7615941559557648881194582826047935904L);
- TEST_f_f (tanh, -1.0L, -0.7615941559557648881194582826047935904L);
- /* 2^-57 */
- TEST_f_f (tanh, 0x1p-57L, 6.938893903907228377647697925567626953125e-18L);
- END (tanh);
- }
- #if 0
- static void
- tgamma_test (void)
- {
- errno = 0;
- FUNC(tgamma) (1);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- feclearexcept (FE_ALL_EXCEPT);
- START (tgamma);
- TEST_f_f (tgamma, plus_infty, plus_infty);
- TEST_f_f (tgamma, 0, plus_infty, DIVIDE_BY_ZERO_EXCEPTION);
- TEST_f_f (tgamma, minus_zero, minus_infty, DIVIDE_BY_ZERO_EXCEPTION);
- /* tgamma (x) == NaN plus invalid exception for integer x <= 0. */
- TEST_f_f (tgamma, -2, nan_value, INVALID_EXCEPTION);
- TEST_f_f (tgamma, minus_infty, nan_value, INVALID_EXCEPTION);
- TEST_f_f (tgamma, nan_value, nan_value);
- TEST_f_f (tgamma, 0.5, M_SQRT_PIl);
- TEST_f_f (tgamma, -0.5, -M_2_SQRT_PIl);
- TEST_f_f (tgamma, 1, 1);
- TEST_f_f (tgamma, 4, 6);
- TEST_f_f (tgamma, 0.7L, 1.29805533264755778568117117915281162L);
- TEST_f_f (tgamma, 1.2L, 0.918168742399760610640951655185830401L);
- END (tgamma);
- }
- #endif
- #if 0
- static void
- trunc_test (void)
- {
- START (trunc);
- TEST_f_f (trunc, plus_infty, plus_infty);
- TEST_f_f (trunc, minus_infty, minus_infty);
- TEST_f_f (trunc, nan_value, nan_value);
- TEST_f_f (trunc, 0, 0);
- TEST_f_f (trunc, minus_zero, minus_zero);
- TEST_f_f (trunc, 0.625, 0);
- TEST_f_f (trunc, -0.625, minus_zero);
- TEST_f_f (trunc, 1, 1);
- TEST_f_f (trunc, -1, -1);
- TEST_f_f (trunc, 1.625, 1);
- TEST_f_f (trunc, -1.625, -1);
- TEST_f_f (trunc, 1048580.625L, 1048580L);
- TEST_f_f (trunc, -1048580.625L, -1048580L);
- TEST_f_f (trunc, 8388610.125L, 8388610.0L);
- TEST_f_f (trunc, -8388610.125L, -8388610.0L);
- TEST_f_f (trunc, 4294967296.625L, 4294967296.0L);
- TEST_f_f (trunc, -4294967296.625L, -4294967296.0L);
- #ifdef TEST_LDOUBLE
- /* The result can only be represented in long double. */
- TEST_f_f (trunc, 4503599627370495.5L, 4503599627370495.0L);
- TEST_f_f (trunc, 4503599627370496.25L, 4503599627370496.0L);
- TEST_f_f (trunc, 4503599627370496.5L, 4503599627370496.0L);
- TEST_f_f (trunc, 4503599627370496.75L, 4503599627370496.0L);
- TEST_f_f (trunc, 4503599627370497.5L, 4503599627370497.0L);
- TEST_f_f (trunc, -4503599627370495.5L, -4503599627370495.0L);
- TEST_f_f (trunc, -4503599627370496.25L, -4503599627370496.0L);
- TEST_f_f (trunc, -4503599627370496.5L, -4503599627370496.0L);
- TEST_f_f (trunc, -4503599627370496.75L, -4503599627370496.0L);
- TEST_f_f (trunc, -4503599627370497.5L, -4503599627370497.0L);
- TEST_f_f (trunc, 9007199254740991.5L, 9007199254740991.0L);
- TEST_f_f (trunc, 9007199254740992.25L, 9007199254740992.0L);
- TEST_f_f (trunc, 9007199254740992.5L, 9007199254740992.0L);
- TEST_f_f (trunc, 9007199254740992.75L, 9007199254740992.0L);
- TEST_f_f (trunc, 9007199254740993.5L, 9007199254740993.0L);
- TEST_f_f (trunc, -9007199254740991.5L, -9007199254740991.0L);
- TEST_f_f (trunc, -9007199254740992.25L, -9007199254740992.0L);
- TEST_f_f (trunc, -9007199254740992.5L, -9007199254740992.0L);
- TEST_f_f (trunc, -9007199254740992.75L, -9007199254740992.0L);
- TEST_f_f (trunc, -9007199254740993.5L, -9007199254740993.0L);
- TEST_f_f (trunc, 72057594037927935.5L, 72057594037927935.0L);
- TEST_f_f (trunc, 72057594037927936.25L, 72057594037927936.0L);
- TEST_f_f (trunc, 72057594037927936.5L, 72057594037927936.0L);
- TEST_f_f (trunc, 72057594037927936.75L, 72057594037927936.0L);
- TEST_f_f (trunc, 72057594037927937.5L, 72057594037927937.0L);
- TEST_f_f (trunc, -72057594037927935.5L, -72057594037927935.0L);
- TEST_f_f (trunc, -72057594037927936.25L, -72057594037927936.0L);
- TEST_f_f (trunc, -72057594037927936.5L, -72057594037927936.0L);
- TEST_f_f (trunc, -72057594037927936.75L, -72057594037927936.0L);
- TEST_f_f (trunc, -72057594037927937.5L, -72057594037927937.0L);
- TEST_f_f (trunc, 10141204801825835211973625643007.5L, 10141204801825835211973625643007.0L);
- TEST_f_f (trunc, 10141204801825835211973625643008.25L, 10141204801825835211973625643008.0L);
- TEST_f_f (trunc, 10141204801825835211973625643008.5L, 10141204801825835211973625643008.0L);
- TEST_f_f (trunc, 10141204801825835211973625643008.75L, 10141204801825835211973625643008.0L);
- TEST_f_f (trunc, 10141204801825835211973625643009.5L, 10141204801825835211973625643009.0L);
- #endif
- END (trunc);
- }
- #endif
- #if defined __DO_XSI_MATH__
- static void
- y0_test (void)
- {
- errno = 0;
- #if 0
- FLOAT s, c;
- FUNC (sincos) (0, &s, &c);
- if (errno == ENOSYS)
- /* Required function not implemented. */
- return;
- #endif
- FUNC(y0) (1);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- /* y0 is the Bessel function of the second kind of order 0 */
- START (y0);
- TEST_f_f (y0, -1.0, minus_infty, INVALID_EXCEPTION);
- TEST_f_f (y0, 0.0, minus_infty);
- TEST_f_f (y0, nan_value, nan_value);
- TEST_f_f (y0, plus_infty, 0);
- TEST_f_f (y0, 0.125L, -1.38968062514384052915582277745018693L);
- TEST_f_f (y0, 0.75L, -0.137172769385772397522814379396581855L);
- TEST_f_f (y0, 1.0, 0.0882569642156769579829267660235151628L);
- TEST_f_f (y0, 1.5, 0.382448923797758843955068554978089862L);
- TEST_f_f (y0, 2.0, 0.510375672649745119596606592727157873L);
- TEST_f_f (y0, 8.0, 0.223521489387566220527323400498620359L);
- TEST_f_f (y0, 10.0, 0.0556711672835993914244598774101900481L);
- END (y0);
- }
- static void
- y1_test (void)
- {
- errno = 0;
- #if 0
- FLOAT s, c;
- FUNC (sincos) (0, &s, &c);
- if (errno == ENOSYS)
- /* Required function not implemented. */
- return;
- #endif
- FUNC(y1) (1);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- /* y1 is the Bessel function of the second kind of order 1 */
- START (y1);
- TEST_f_f (y1, -1.0, minus_infty, INVALID_EXCEPTION);
- TEST_f_f (y1, 0.0, minus_infty);
- TEST_f_f (y1, plus_infty, 0);
- TEST_f_f (y1, nan_value, nan_value);
- TEST_f_f (y1, 0.125L, -5.19993611253477499595928744876579921L);
- TEST_f_f (y1, 0.75L, -1.03759455076928541973767132140642198L);
- TEST_f_f (y1, 1.0, -0.781212821300288716547150000047964821L);
- TEST_f_f (y1, 1.5, -0.412308626973911295952829820633445323L);
- TEST_f_f (y1, 2.0, -0.107032431540937546888370772277476637L);
- TEST_f_f (y1, 8.0, -0.158060461731247494255555266187483550L);
- TEST_f_f (y1, 10.0, 0.249015424206953883923283474663222803L);
- END (y1);
- }
- static void
- yn_test (void)
- {
- errno = 0;
- #if 0
- FLOAT s, c;
- FUNC (sincos) (0, &s, &c);
- if (errno == ENOSYS)
- /* Required function not implemented. */
- return;
- #endif
- FUNC(yn) (1, 1);
- if (errno == ENOSYS)
- /* Function not implemented. */
- return;
- /* yn is the Bessel function of the second kind of order n */
- START (yn);
- /* yn (0, x) == y0 (x) */
- TEST_ff_f (yn, 0, -1.0, minus_infty, INVALID_EXCEPTION);
- TEST_ff_f (yn, 0, 0.0, minus_infty);
- TEST_ff_f (yn, 0, nan_value, nan_value);
- TEST_ff_f (yn, 0, plus_infty, 0);
- TEST_ff_f (yn, 0, 0.125L, -1.38968062514384052915582277745018693L);
- TEST_ff_f (yn, 0, 0.75L, -0.137172769385772397522814379396581855L);
- TEST_ff_f (yn, 0, 1.0, 0.0882569642156769579829267660235151628L);
- TEST_ff_f (yn, 0, 1.5, 0.382448923797758843955068554978089862L);
- TEST_ff_f (yn, 0, 2.0, 0.510375672649745119596606592727157873L);
- TEST_ff_f (yn, 0, 8.0, 0.223521489387566220527323400498620359L);
- TEST_ff_f (yn, 0, 10.0, 0.0556711672835993914244598774101900481L);
- /* yn (1, x) == y1 (x) */
- TEST_ff_f (yn, 1, -1.0, minus_infty, INVALID_EXCEPTION);
- TEST_ff_f (yn, 1, 0.0, minus_infty);
- TEST_ff_f (yn, 1, plus_infty, 0);
- TEST_ff_f (yn, 1, nan_value, nan_value);
- TEST_ff_f (yn, 1, 0.125L, -5.19993611253477499595928744876579921L);
- TEST_ff_f (yn, 1, 0.75L, -1.03759455076928541973767132140642198L);
- TEST_ff_f (yn, 1, 1.0, -0.781212821300288716547150000047964821L);
- TEST_ff_f (yn, 1, 1.5, -0.412308626973911295952829820633445323L);
- TEST_ff_f (yn, 1, 2.0, -0.107032431540937546888370772277476637L);
- TEST_ff_f (yn, 1, 8.0, -0.158060461731247494255555266187483550L);
- TEST_ff_f (yn, 1, 10.0, 0.249015424206953883923283474663222803L);
- /* yn (3, x) */
- TEST_ff_f (yn, 3, plus_infty, 0);
- TEST_ff_f (yn, 3, nan_value, nan_value);
- TEST_ff_f (yn, 3, 0.125L, -2612.69757350066712600220955744091741L);
- TEST_ff_f (yn, 3, 0.75L, -12.9877176234475433186319774484809207L);
- TEST_ff_f (yn, 3, 1.0, -5.82151760596472884776175706442981440L);
- TEST_ff_f (yn, 3, 2.0, -1.12778377684042778608158395773179238L);
- TEST_ff_f (yn, 3, 10.0, -0.251362657183837329779204747654240998L);
- /* yn (10, x) */
- TEST_ff_f (yn, 10, plus_infty, 0);
- TEST_ff_f (yn, 10, nan_value, nan_value);
- TEST_ff_f (yn, 10, 0.125L, -127057845771019398.252538486899753195L);
- TEST_ff_f (yn, 10, 0.75L, -2133501638.90573424452445412893839236L);
- TEST_ff_f (yn, 10, 1.0, -121618014.278689189288130426667971145L);
- TEST_ff_f (yn, 10, 2.0, -129184.542208039282635913145923304214L);
- TEST_ff_f (yn, 10, 10.0, -0.359814152183402722051986577343560609L);
- END (yn);
- }
- #endif /* __DO_XSI_MATH__ */
- static void
- significand_test (void)
- {
- /* significand returns the mantissa of the exponential representation. */
- START (significand);
- TEST_f_f (significand, 4.0, 1.0);
- TEST_f_f (significand, 6.0, 1.5);
- TEST_f_f (significand, 8.0, 1.0);
- END (significand);
- }
- static void
- initialize (void)
- {
- fpstack_test ("start *init*");
- plus_zero = 0.0;
- nan_value = plus_zero / plus_zero; /* Suppress GCC warning */
- minus_zero = FUNC(copysign) (0.0, -1.0);
- plus_infty = CHOOSE (HUGE_VALL, HUGE_VAL, HUGE_VALF,
- HUGE_VALL, HUGE_VAL, HUGE_VALF);
- minus_infty = CHOOSE (-HUGE_VALL, -HUGE_VAL, -HUGE_VALF,
- -HUGE_VALL, -HUGE_VAL, -HUGE_VALF);
- max_value = CHOOSE (LDBL_MAX, DBL_MAX, FLT_MAX,
- LDBL_MAX, DBL_MAX, FLT_MAX);
- min_value = CHOOSE (LDBL_MIN, DBL_MIN, FLT_MIN,
- LDBL_MIN, DBL_MIN, FLT_MIN);
- (void) &plus_zero;
- (void) &nan_value;
- (void) &minus_zero;
- (void) &plus_infty;
- (void) &minus_infty;
- (void) &max_value;
- (void) &min_value;
- /* Clear all exceptions. From now on we must not get random exceptions. */
- feclearexcept (FE_ALL_EXCEPT);
- /* Test to make sure we start correctly. */
- fpstack_test ("end *init*");
- }
- #if 0
- /* function to check our ulp calculation. */
- void
- check_ulp (void)
- {
- int i;
- FLOAT u, diff, ulp;
- /* This gives one ulp. */
- u = FUNC(nextafter) (10, 20);
- check_equal (10.0, u, 1, &diff, &ulp);
- printf ("One ulp: % .4" PRINTF_NEXPR "\n", ulp);
- /* This gives one more ulp. */
- u = FUNC(nextafter) (u, 20);
- check_equal (10.0, u, 2, &diff, &ulp);
- printf ("two ulp: % .4" PRINTF_NEXPR "\n", ulp);
- /* And now calculate 100 ulp. */
- for (i = 2; i < 100; i++)
- u = FUNC(nextafter) (u, 20);
- check_equal (10.0, u, 100, &diff, &ulp);
- printf ("100 ulp: % .4" PRINTF_NEXPR "\n", ulp);
- }
- #endif
- int
- main (int argc, char **argv)
- {
- int key;
- verbose = 1;
- output_ulps = 0;
- output_max_error = 1;
- output_points = 1;
- /* XXX set to 0 for releases. */
- ignore_max_ulp = 0;
- /* Parse and process arguments. */
- while ((key = getopt(argc, argv, "fi:puv")) > 0) {
- switch (key)
- {
- case 'f':
- output_max_error = 0;
- break;
- case 'i':
- if (strcmp (optarg, "yes") == 0)
- ignore_max_ulp = 1;
- else if (strcmp (optarg, "no") == 0)
- ignore_max_ulp = 0;
- break;
- case 'p':
- output_points = 0;
- break;
- case 'u':
- output_ulps = 1;
- break;
- case 'v':
- verbose = 3;
- break;
- default:
- fprintf (stderr, "Unknown argument: %c", key);
- exit (EXIT_FAILURE);
- }
- }
- if (optind != argc)
- {
- fprintf (stderr, "wrong number of arguments");
- exit (EXIT_FAILURE);
- }
- if (output_ulps)
- {
- ulps_file = fopen ("ULPs", "a");
- if (ulps_file == NULL)
- {
- perror ("can't open file `ULPs' for writing: ");
- exit (1);
- }
- }
- initialize ();
- printf (TEST_MSG);
- #if 0
- check_ulp ();
- #endif
- /* Keep the tests a wee bit ordered (according to ISO C99). */
- /* Classification macros: */
- fpclassify_test ();
- isfinite_test ();
- isnormal_test ();
- signbit_test ();
- /* Trigonometric functions: */
- acos_test ();
- asin_test ();
- atan_test ();
- atan2_test ();
- cos_test ();
- sin_test ();
- #if 0
- sincos_test ();
- #endif
- tan_test ();
- /* Hyperbolic functions: */
- acosh_test ();
- asinh_test ();
- atanh_test ();
- cosh_test ();
- sinh_test ();
- tanh_test ();
- /* Exponential and logarithmic functions: */
- exp_test ();
- #if 0
- exp10_test ();
- exp2_test ();
- #endif
- expm1_test ();
- frexp_test ();
- ldexp_test ();
- log_test ();
- log10_test ();
- log1p_test ();
- #if 0
- log2_test ();
- #endif
- logb_test ();
- modf_test ();
- ilogb_test ();
- scalb_test ();
- scalbn_test ();
- #if 0
- scalbln_test ();
- #endif
- significand_test ();
- /* Power and absolute value functions: */
- cbrt_test ();
- fabs_test ();
- hypot_test ();
- pow_test ();
- sqrt_test ();
- /* Error and gamma functions: */
- erf_test ();
- erfc_test ();
- gamma_test ();
- lgamma_test ();
- #if 0
- tgamma_test ();
- #endif
- /* Nearest integer functions: */
- ceil_test ();
- floor_test ();
- #if 0
- nearbyint_test ();
- #endif
- rint_test ();
- #if 0
- rint_test_tonearest ();
- rint_test_towardzero ();
- rint_test_downward ();
- rint_test_upward ();
- lrint_test ();
- llrint_test ();
- round_test ();
- lround_test ();
- llround_test ();
- trunc_test ();
- #endif
- /* Remainder functions: */
- fmod_test ();
- remainder_test ();
- #if 0
- remquo_test ();
- #endif
- /* Manipulation functions: */
- copysign_test ();
- #if 0
- nextafter_test ();
- nexttoward_test ();
- /* maximum, minimum and positive difference functions */
- fdim_test ();
- fmax_test ();
- fmin_test ();
- /* Multiply and add: */
- fma_test ();
- /* Complex functions: */
- cabs_test ();
- cacos_test ();
- cacosh_test ();
- carg_test ();
- casin_test ();
- casinh_test ();
- catan_test ();
- catanh_test ();
- ccos_test ();
- ccosh_test ();
- cexp_test ();
- cimag_test ();
- clog10_test ();
- clog_test ();
- #if 0
- conj_test ();
- #endif
- cpow_test ();
- cproj_test ();
- creal_test ();
- csin_test ();
- csinh_test ();
- csqrt_test ();
- ctan_test ();
- ctanh_test ();
- #endif
- /* Bessel functions: */
- #if defined __DO_XSI_MATH__
- j0_test ();
- j1_test ();
- jn_test ();
- y0_test ();
- y1_test ();
- yn_test ();
- #endif /* __DO_XSI_MATH__ */
- if (output_ulps)
- fclose (ulps_file);
- printf ("\nTest suite completed:\n");
- printf (" %d test cases plus %d tests for exception flags executed.\n",
- noTests, noExcTests);
- if (noXFails)
- printf (" %d expected failures occurred.\n", noXFails);
- if (noXPasses)
- printf (" %d unexpected passes occurred.\n", noXPasses);
- if (noErrors)
- {
- printf (" %d errors occurred.\n", noErrors);
- return 1;
- }
- printf (" All tests passed successfully.\n");
- return 0;
- }
- /*
- * Local Variables:
- * mode:c
- * End:
- */
|