diff --git a/tests/core/math/big/build.bat b/tests/core/math/big/build.bat index d567cdeb7..e383cdfc1 100644 --- a/tests/core/math/big/build.bat +++ b/tests/core/math/big/build.bat @@ -2,6 +2,7 @@ rem math/big tests set PATH_TO_ODIN==..\..\..\..\odin set TEST_ARGS=-fast-tests +set TEST_ARGS=-no-random set TEST_ARGS= set OUT_NAME=math_big_test_library set COMMON=-build-mode:shared -show-timings -no-bounds-check -define:MATH_BIG_EXE=false -vet -strict-style @@ -9,5 +10,8 @@ echo --- echo Running core:math/big tests echo --- -%PATH_TO_ODIN% build . %COMMON% -o:speed -out:%OUT_NAME% +rem Fails +:%PATH_TO_ODIN% build . %COMMON% -o:speed -out:%OUT_NAME% +rem Passes +%PATH_TO_ODIN% build . %COMMON% -o:size -out:%OUT_NAME% python3 test.py %TEST_ARGS% \ No newline at end of file diff --git a/tests/core/math/big/test.odin b/tests/core/math/big/test.odin index baf7b3177..07fa0364b 100644 --- a/tests/core/math/big/test.odin +++ b/tests/core/math/big/test.odin @@ -24,6 +24,12 @@ PyRes :: struct { err: big.Error, } +print_to_buffer :: proc(val: ^big.Int) -> cstring { + context = runtime.default_context() + r, _ := big.int_itoa_cstring(val, 16, context.allocator) + return r +} + @export test_initialize_constants :: proc "c" () -> (res: u64) { context = runtime.default_context() res = u64(big.initialize_constants()) @@ -34,7 +40,7 @@ PyRes :: struct { @export test_error_string :: proc "c" (err: big.Error) -> (res: cstring) { context = runtime.default_context() es := big.Error_String - return strings.clone_to_cstring(es[err], context.temp_allocator) + return strings.clone_to_cstring(es[err], context.allocator) } @export test_add :: proc "c" (a, b: cstring) -> (res: PyRes) { @@ -52,9 +58,8 @@ PyRes :: struct { if err = #force_inline big.internal_add(sum, aa, bb); err != nil { return PyRes{res=":add:add(sum,a,b):", err=err} } } - r: cstring - r, err = big.int_itoa_cstring(sum, 16, context.temp_allocator) - if err != nil { return PyRes{res=":add:itoa(sum):", err=err} } + r := print_to_buffer(sum) + return PyRes{res = r, err = nil} } @@ -73,8 +78,7 @@ PyRes :: struct { if err = #force_inline big.internal_sub(sum, aa, bb); err != nil { return PyRes{res=":sub:sub(sum,a,b):", err=err} } } - r: cstring - r, err = big.int_itoa_cstring(sum, 16, context.temp_allocator) + r := print_to_buffer(sum) if err != nil { return PyRes{res=":sub:itoa(sum):", err=err} } return PyRes{res = r, err = nil} } @@ -90,9 +94,7 @@ PyRes :: struct { if err = big.atoi(bb, string(b), 16); err != nil { return PyRes{res=":mul:atoi(b):", err=err} } if err = #force_inline big.internal_mul(product, aa, bb); err != nil { return PyRes{res=":mul:mul(product,a,b):", err=err} } - r: cstring - r, err = big.int_itoa_cstring(product, 16, context.temp_allocator) - if err != nil { return PyRes{res=":mul:itoa(product):", err=err} } + r := print_to_buffer(product) return PyRes{res = r, err = nil} } @@ -106,9 +108,7 @@ PyRes :: struct { if err = big.atoi(aa, string(a), 16); err != nil { return PyRes{res=":sqr:atoi(a):", err=err} } if err = #force_inline big.internal_sqr(square, aa); err != nil { return PyRes{res=":sqr:sqr(square,a):", err=err} } - r: cstring - r, err = big.int_itoa_cstring(square, 16, context.temp_allocator) - if err != nil { return PyRes{res=":sqr:itoa(square):", err=err} } + r := print_to_buffer(square) return PyRes{res = r, err = nil} } @@ -126,13 +126,10 @@ PyRes :: struct { if err = big.atoi(bb, string(b), 16); err != nil { return PyRes{res=":div:atoi(b):", err=err} } if err = #force_inline big.internal_div(quotient, aa, bb); err != nil { return PyRes{res=":div:div(quotient,a,b):", err=err} } - r: cstring - r, err = big.int_itoa_cstring(quotient, 16, context.temp_allocator) - if err != nil { return PyRes{res=":div:itoa(quotient):", err=err} } + r := print_to_buffer(quotient) return PyRes{res = r, err = nil} } - /* res = log(a, base) */ @@ -153,9 +150,7 @@ PyRes :: struct { aa.used = 2 big.clamp(aa) - r: cstring - r, err = big.int_itoa_cstring(aa, 16, context.temp_allocator) - if err != nil { return PyRes{res=":log:itoa(res):", err=err} } + r := print_to_buffer(aa) return PyRes{res = r, err = nil} } @@ -172,9 +167,7 @@ PyRes :: struct { if err = big.atoi(bb, string(base), 16); err != nil { return PyRes{res=":pow:atoi(base):", err=err} } if err = #force_inline big.internal_pow(dest, bb, power); err != nil { return PyRes{res=":pow:pow(dest, base, power):", err=err} } - r: cstring - r, err = big.int_itoa_cstring(dest, 16, context.temp_allocator) - if err != nil { return PyRes{res=":log:itoa(res):", err=err} } + r := print_to_buffer(dest) return PyRes{res = r, err = nil} } @@ -191,9 +184,7 @@ PyRes :: struct { if err = big.atoi(src, string(source), 16); err != nil { return PyRes{res=":sqrt:atoi(src):", err=err} } if err = #force_inline big.internal_sqrt(src, src); err != nil { return PyRes{res=":sqrt:sqrt(src):", err=err} } - r: cstring - r, err = big.int_itoa_cstring(src, 16, context.temp_allocator) - if err != nil { return PyRes{res=":log:itoa(res):", err=err} } + r := print_to_buffer(src) return PyRes{res = r, err = nil} } @@ -210,9 +201,7 @@ PyRes :: struct { if err = big.atoi(src, string(source), 16); err != nil { return PyRes{res=":root_n:atoi(src):", err=err} } if err = #force_inline big.internal_root_n(src, src, power); err != nil { return PyRes{res=":root_n:root_n(src):", err=err} } - r: cstring - r, err = big.int_itoa_cstring(src, 16, context.temp_allocator) - if err != nil { return PyRes{res=":root_n:itoa(res):", err=err} } + r := print_to_buffer(src) return PyRes{res = r, err = nil} } @@ -229,9 +218,7 @@ PyRes :: struct { if err = big.atoi(src, string(source), 16); err != nil { return PyRes{res=":shr_digit:atoi(src):", err=err} } if err = #force_inline big.internal_shr_digit(src, digits); err != nil { return PyRes{res=":shr_digit:shr_digit(src):", err=err} } - r: cstring - r, err = big.int_itoa_cstring(src, 16, context.temp_allocator) - if err != nil { return PyRes{res=":shr_digit:itoa(res):", err=err} } + r := print_to_buffer(src) return PyRes{res = r, err = nil} } @@ -248,9 +235,7 @@ PyRes :: struct { if err = big.atoi(src, string(source), 16); err != nil { return PyRes{res=":shl_digit:atoi(src):", err=err} } if err = #force_inline big.internal_shl_digit(src, digits); err != nil { return PyRes{res=":shl_digit:shr_digit(src):", err=err} } - r: cstring - r, err = big.int_itoa_cstring(src, 16, context.temp_allocator) - if err != nil { return PyRes{res=":shl_digit:itoa(res):", err=err} } + r := print_to_buffer(src) return PyRes{res = r, err = nil} } @@ -267,9 +252,7 @@ PyRes :: struct { if err = big.atoi(src, string(source), 16); err != nil { return PyRes{res=":shr:atoi(src):", err=err} } if err = #force_inline big.internal_shr(src, src, bits); err != nil { return PyRes{res=":shr:shr(src, bits):", err=err} } - r: cstring - r, err = big.int_itoa_cstring(src, 16, context.temp_allocator) - if err != nil { return PyRes{res=":shr:itoa(res):", err=err} } + r := print_to_buffer(src) return PyRes{res = r, err = nil} } @@ -286,9 +269,7 @@ PyRes :: struct { if err = big.atoi(src, string(source), 16); err != nil { return PyRes{res=":shr_signed:atoi(src):", err=err} } if err = #force_inline big.internal_shr_signed(src, src, bits); err != nil { return PyRes{res=":shr_signed:shr_signed(src, bits):", err=err} } - r: cstring - r, err = big.int_itoa_cstring(src, 16, context.temp_allocator) - if err != nil { return PyRes{res=":shr_signed:itoa(res):", err=err} } + r := print_to_buffer(src) return PyRes{res = r, err = nil} } @@ -305,9 +286,7 @@ PyRes :: struct { if err = big.atoi(src, string(source), 16); err != nil { return PyRes{res=":shl:atoi(src):", err=err} } if err = #force_inline big.internal_shl(src, src, bits); err != nil { return PyRes{res=":shl:shl(src, bits):", err=err} } - r: cstring - r, err = big.int_itoa_cstring(src, 16, context.temp_allocator) - if err != nil { return PyRes{res=":shl:itoa(res):", err=err} } + r := print_to_buffer(src) return PyRes{res = r, err = nil} } @@ -323,9 +302,7 @@ PyRes :: struct { if err = #force_inline big.internal_int_factorial(dest, n); err != nil { return PyRes{res=":factorial:factorial(n):", err=err} } - r: cstring - r, err = big.int_itoa_cstring(dest, 16, context.temp_allocator) - if err != nil { return PyRes{res=":factorial:itoa(res):", err=err} } + r := print_to_buffer(dest) return PyRes{res = r, err = nil} } @@ -343,9 +320,7 @@ PyRes :: struct { if err = big.atoi(bi, string(b), 16); err != nil { return PyRes{res=":gcd:atoi(b):", err=err} } if err = #force_inline big.internal_int_gcd_lcm(dest, nil, ai, bi); err != nil { return PyRes{res=":gcd:gcd(a, b):", err=err} } - r: cstring - r, err = big.int_itoa_cstring(dest, 16, context.temp_allocator) - if err != nil { return PyRes{res=":gcd:itoa(res):", err=err} } + r := print_to_buffer(dest) return PyRes{res = r, err = nil} } @@ -363,9 +338,7 @@ PyRes :: struct { if err = big.atoi(bi, string(b), 16); err != nil { return PyRes{res=":lcm:atoi(b):", err=err} } if err = #force_inline big.internal_int_gcd_lcm(nil, dest, ai, bi); err != nil { return PyRes{res=":lcm:lcm(a, b):", err=err} } - r: cstring - r, err = big.int_itoa_cstring(dest, 16, context.temp_allocator) - if err != nil { return PyRes{res=":lcm:itoa(res):", err=err} } + r := print_to_buffer(dest) return PyRes{res = r, err = nil} } diff --git a/tests/core/math/big/test.py b/tests/core/math/big/test.py index b819e268e..6b17336bc 100644 --- a/tests/core/math/big/test.py +++ b/tests/core/math/big/test.py @@ -509,6 +509,10 @@ TESTS = { [ 1234, 5432], [ 0xd3b4e926aaba3040e1c12b5ea553b5, 0x1a821e41257ed9281bee5bc7789ea7 ], [ 1 << 21_105, 1 << 21_501 ], + [ + 173004933678092711595681968608438676197664938049685629580473369038276067962252149849992137878499957004027167192528224484422792651325494750576045326575192523336303001671022352945361111415009621435887687154421568093235309739789712262198437509247413339305329497725569854838050177916573285176333823036357809376376943910260917175826874681608696011310688249945838730766954221195270491215735657686196197276859390555442097852858099538655435952022373382168804035693259946090364200459398925822409006620020581154544932834287498500493698903815194968031524898191572004112487639615367525474654486686702814920335097674444543522512652079806417137634398429663483880342291830129825498498266559990237937370546883578196978980740085725633735638339396194856748820486678256166151654274189472152526337659649593450641533067118593429068213979694143941138460490166499537827371056997450571675288614527333833389183236670004876202325474156930725159975823723377378142909191805151879968682441708428808365144816539538003938101536036377397167312131249840525093160096636827188896948609087411177646634330696412864701655550914720295992852549509128531377840035494550154760612260817404942645828390665460501727276278939486253063145637867588599661852098846639168829579853325380976531641088281099169083706523900752046676600412743168902225391991113540794792663807700542665104853501317581055952425547235489720209822160202334365130769309259459536091633357471279331156609674023250517423592679667076262586704279365513023852198502520449455143108696482539320574251585287452328848503405547872536288968807039383427804216453780376385105591433123917812238083510876697607703414344156760229124307798668772500003950977613426925594836567946200550628674963535569296767800013740376929401629707406015975995831733383818310296157724735308039189938092543701923236188365802146800862672634099863375801869300779142093358816982181010104945819832550001771695168169680801289329726192927681542189728996443394227068811958343521648576614426009056076544129487725821255054033710251876249912907488823432296322937857856798881671582230101070940307539378998977067552777185413291207231526060090979247403347566537048882205501357270333142136625025385796130133023886483084445829260500591432537561824973303162353693462453685234361651566105368117395526963873711694723894824954862981982799884695945074972536980498627192774958204598029928991777698867789510409474596245251249168095604577282355540403000316293774044384586746974690440802522389578280788685523953798913242300637211960086820597313360484476956979114560801644403294619102020057653424339419391280109172272224151977752690650512476390021198293707261871516181856514568530692731519932281887686061219794123626078224317259804516115673425942206693200289351256141931098182585127299985894998333743689030236534466648141672024806131184517810473589270567586415987303198985381658678703339003467339930252704896900057159705650047179948561960768296116399660545868090051814230264090024434793745087039625876868640787717705881261004354982249593051334210130168537726795070902391312311818481048046928036356256488465383197020166743258560361561949049422469397299805302737523011870980192630003407905301896175873043733232525225135087120385628858101472951411956002814870218091511713339807936382910393052968504459236721625536719034418226279583189139676134537948655300361907729082737983492411849235299127845197021586098516135974048921897904877184863073456177234041396228296195180483962519204352654110085913576966438935353965363038761678654332293642984322611477630386486151169508850675463807141318342507515741203334487811043679524863379331947870659078789402911489037387730864761248047513521404946496397896066890282729825706306870717649535554139697652969879144346177010713479829293966682425086590668663669829819712127520861739979889390966316989099653644358241504753616553617595122893909537026229754073954703051725596695254725770214596794901207220102851130185271879436431942024462144689232905355324614814411208134936162444277177238875590731696443847885921827590973723352594903631757103399576610592766078913138825157122785455397427939970849605195638086338459362096895997148552923064905388148403174518142665517867684801775305240761117259864499401505591524646035468884862442287685783534173584216134602254020470252226715845860298485982659996154502226029631627661417805366381349640830179450372516309926381629324035330926202572812300868943350565866328506252388063168169877192161255780247606176524063956158859526581729432323397025083784057519440746423422297908447407795803778583538166658268787752006794327854401708795863970512954260128505882428557272511660175157745401461506456269140668244395329095519068277285767326916642023949758136739378998482778435910601090690705863173042820325203851750762888654661290926733093369511466990991565889994765598596616981189226241742716670168541187753740468242883574347716326797978072508203439305663660888155247641110202645907846530051669433827791654309050289582791709222786017090016946725717367407404046842131919647349198017831706487325061475819628758434500209483186116806361607715172026386394966520253764583904093528570769944236436156364305603335814857278765438664438262342731252565609306490248486760047559160614817615776624501731032353136843210815012856040104848034550739587476521487143917356552305150335043981788222235277078996654082661880293228955275762675382106245639478656468434529208683376459252520443625975029868923130235180687230451510513567788065239837672153784845270614860800457870824353896067043857428179903232229796281205096031206964909619125091706917710921259525810646231789184098152911486418467467125052588578112013379561016311707156873180883310350125807259489482214646867530138601789035429089169566452732346460059489746130976353918437401434853111995893079354785728979722542287963930457948116425636200981713404337570563841972734427878596144295848173387452734040583840835814458252628248126861947119158769599635259777920115279528112423889008255213274318566878535642226885906636687807126929015970094415559086647671233235471865353716680903879881713826461781475629645884350519368611260867854577444879176887053568076613169798214595268853569595240890318102154466760965786272278413839097866010690990596039871050036876065754858890788129638718425677306250721022444685302309631901424401107405891314785542588430460724443042466862273012234254563377534784989375711721584550706027692032, + 27921373056168038161257363712029738425883469078710601930545962210544316372483465257896797850023481327274033810503043334035215874819993724587326836320749466553772269405862923195362824332887851405213533433081208077156850648821375930352989166783200833746615959106127755671557019089964388317139498837845502815699228224576224832082010692514229182534082681124312513588088460719847011662533322825168476247349637810548383203683788060854075780036705184536653420460018898323931191179813417633106229797607551549089026756638561795791707955494700054097641970714383000674899021750893302230644329497266339848911912171769235723440313194551652213901008256355889302387122112229006307559169315600942861958053017566728562253629002443850692334093148048005559610551121569158961794952095315210914353826025959066814535892039604093309786815342207016366272954482114925150885518563022063368206889248765418628524333157795784017392551438673161938072258257150883329120797624519879153149913280879378693068701852318396001627324681045815861522360007508243109952378642933430762868134726919084609821795490362157999016116064231034860639681441806435957537781045208562955713722103156767070718592688233144071201419766753972173367317507959950852320315507306016060444592155708893619839649184725346685260069511235840139246081015702346048774483210928885566032379712442026511097124621617457735476863128849586131720300576998529551409490562338285216488100148921640151321534350115714453812413337804225371235554224356096298621201743011245230555215764853803543016714701416612120135738613518840557707629149064958859492225609997288249516884401079342273741541186798177437118085288099547388493592900012094967231746552401413599245524633300588813714064766002830979707229930540022588341901036417799649742533569314603600481627728046014460223994310150793171127674615782367612880131607895396414724397621811552220542148980904127280622955717313779398680717189852828686708843557572244315079273457323723041632800998667368727218921046369617181011435686023454689440463983820722252718343013045726108154912390300992917678826287705538156556621758381877110997187922902095265140917070240889656250342587076337793732433462686483290111539332867700431044178095521248081021368966759940895472785930040730153629684635995965788085543085208194776007093991688316742552338141659784385260564644783610783915703019597479512896823750877844542548758322212972052239012888385630605427035936855277508691449937276903894116061956462348195722494495672432544657400064829861415069347640839580936967350820269034590696679765474765160468903961916672270696236023987243935299572074869302371087278165987032523363724772714477346208742592577951283227941915447718054110253967647110209756879542998676114595263890839641099619474409784706275886498148665913033288931998613751613519583111929535476102752261935114458933224121324795776056432597367967005026776276762670411084627024982610652943026725110496912230298567784614134993889023729853254893543811138284001285160996437535564318062528241338453532027185407578241810084261507643858275906100222466448888360917092102502563981410513125139429289542814362352032125673290748931506233519795206784901394602073496408432914119355845669971921611206591398026467420563740223489661593842720925269702370179245643633444935353522942663811405494524391973367251708873816973768868670467493235943431916108424956497368257423161191304276994434754577135984784663467013822984203379501201099957586074307014285676723507079014080927933067729733620324679419782039849016981965321079742660611838438556389842201932201637058869179931697403014787176863501380615739484487415468573855359079212387368551692910628723440977929579930078782255702184840705464727654359256672319160541618101408889768244966379114134194579290092691830062053199840454186374987682037197782617554498504972123539223333197139111223340123431349005989161322706046448294549136345275636294040585686238109527559986400330781564511555132675600354845435740430195387843392918716292423250123841352049448829542813895534778791521891241856409599135740777633463825220674104706642419298985035183765602197431989429173915463411013465768550277612276157418128572127814622862912815904038151008662664231788968389993262883675073896148539523284673482644482548483650586168693376441889016946969955978380722594975748782506306008391421791306366225409928561739591390044573904256656957924246937531253036012624225677004090039680930516873227440444945938274357618114661440761649503158071532529359890361758900851579655708804155875515793218083554490058616347116332425676666301140415486423553320048153504238362373557855535779046905557828526263489747753395212155760397974082306317825624337661338876792738708674499286422559685173420182076306148908180037293202372013787170146701071605439119147392804755048236116840492061241352342396494262648613338171065533649263180829503174821400418274800779191254479284048946851570095174570247223581902756503786185677330697753498186730412069147629747609772838632317338351257920938494712870708108038934101858579447001128824612055853807631590752239142182960806895654726819917774980738692457659411911279127194423188770547312066019180523243169061317538583293927239186467763609863895766055561960747766546253694008644745054199737969293100912901784372603816131617671119155727053285875943648840248351161629947740946487434471715418378491879022464648862542696518000435077035228171974321300460080123902690324244967059745295054118693613269773067619624107387063059985176967572604219180317779786496083874303004124515445219452102075067471953429040119355742883891822452982864094025598028112115866711428585736838632820309749474510868162545829275146258077311244956467165215185174229175240810808694596057113599171098718605793050842043814323849939995836210279724499252205942768969083291862735219152587270457233948203020805477393844251381142530356605396377253291045107451365714635714156250079771050546004769806588881695574400621078157503613361567127625244561059281382952366547354082230802366776019129544180040782867889636785460187181683255211572956144897104392064626327350385247491880762073139154625615894769102398511621294884969897760564967615974545842772162201569120603067788742145776137782588656202210677005605640511483705690705376956476307810433238043720219619341572756300400535126782583804935228625157182123927165307735705469066125233392716412346136127486029948714957553659655924443537095499722362708631898523515388985062426376618128327856053637342559468074942610162506146919250102684545838473478543490121885655498752, + ] ], test_sqr: [ [ 5432], @@ -534,6 +538,8 @@ TESTS = { [ 42, 1 ], # 1 [ 42, 0 ], # 42 [ 42, 2 ], # 42*42 + [ 1023423462055631945665902260039819522, 6], + [ 2351415513563017480724958108064794964140712340951636081608226461329298597792428177392182921045756382154475969841516481766099091057155043079113409578271460350765774152509347176654430118446048617733844782454267084644777022821998489944144604889308377152515711394170267839394315842510152114743680838721625924309675796181595284284935359605488617487126635442626578631, 4], ], test_sqrt: [ [ -1, Error.Invalid_Argument, ],