123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148214921502151215221532154215521562157215821592160216121622163216421652166216721682169217021712172217321742175217621772178217921802181218221832184218521862187218821892190219121922193219421952196219721982199220022012202220322042205220622072208220922102211221222132214221522162217221822192220222122222223222422252226222722282229223022312232223322342235223622372238223922402241224222432244224522462247224822492250225122522253225422552256225722582259226022612262226322642265226622672268226922702271227222732274227522762277227822792280228122822283228422852286228722882289229022912292229322942295229622972298229923002301230223032304230523062307230823092310231123122313231423152316231723182319232023212322232323242325232623272328232923302331233223332334233523362337233823392340234123422343234423452346234723482349235023512352235323542355235623572358235923602361236223632364236523662367236823692370237123722373237423752376237723782379238023812382238323842385238623872388238923902391239223932394239523962397239823992400240124022403240424052406240724082409241024112412241324142415241624172418241924202421242224232424242524262427242824292430243124322433243424352436243724382439244024412442244324442445244624472448244924502451245224532454245524562457245824592460246124622463246424652466246724682469247024712472247324742475247624772478247924802481248224832484248524862487248824892490249124922493249424952496249724982499250025012502250325042505250625072508250925102511251225132514251525162517251825192520252125222523252425252526252725282529253025312532253325342535253625372538253925402541254225432544254525462547254825492550255125522553255425552556255725582559256025612562256325642565256625672568256925702571257225732574257525762577257825792580258125822583258425852586258725882589259025912592259325942595259625972598259926002601260226032604260526062607260826092610261126122613261426152616261726182619262026212622262326242625262626272628262926302631263226332634263526362637263826392640264126422643264426452646264726482649265026512652265326542655265626572658265926602661266226632664266526662667266826692670267126722673267426752676267726782679268026812682268326842685268626872688268926902691269226932694269526962697269826992700270127022703270427052706270727082709271027112712271327142715271627172718271927202721272227232724272527262727272827292730273127322733273427352736273727382739274027412742274327442745274627472748274927502751275227532754275527562757275827592760276127622763276427652766276727682769277027712772277327742775277627772778277927802781278227832784278527862787278827892790279127922793279427952796279727982799280028012802280328042805280628072808280928102811281228132814281528162817281828192820282128222823282428252826282728282829283028312832283328342835283628372838283928402841284228432844284528462847284828492850285128522853285428552856285728582859286028612862286328642865286628672868286928702871287228732874287528762877287828792880288128822883288428852886288728882889289028912892289328942895289628972898289929002901290229032904290529062907290829092910291129122913291429152916291729182919292029212922292329242925292629272928292929302931293229332934293529362937293829392940294129422943294429452946294729482949295029512952295329542955295629572958295929602961296229632964296529662967296829692970297129722973297429752976297729782979298029812982298329842985298629872988298929902991299229932994299529962997299829993000300130023003300430053006300730083009301030113012301330143015301630173018301930203021302230233024302530263027302830293030303130323033303430353036303730383039304030413042304330443045304630473048304930503051305230533054305530563057305830593060306130623063306430653066306730683069307030713072307330743075307630773078307930803081308230833084308530863087308830893090309130923093309430953096309730983099310031013102310331043105310631073108310931103111311231133114311531163117311831193120312131223123312431253126312731283129313031313132313331343135313631373138313931403141314231433144314531463147314831493150315131523153315431553156315731583159316031613162316331643165316631673168316931703171317231733174317531763177317831793180318131823183318431853186318731883189319031913192319331943195319631973198319932003201320232033204320532063207320832093210321132123213321432153216321732183219322032213222322332243225322632273228322932303231323232333234323532363237323832393240324132423243324432453246324732483249325032513252325332543255325632573258325932603261326232633264326532663267326832693270327132723273327432753276327732783279328032813282328332843285328632873288328932903291329232933294329532963297329832993300330133023303330433053306330733083309331033113312331333143315331633173318331933203321332233233324332533263327332833293330333133323333333433353336333733383339334033413342334333443345334633473348334933503351335233533354335533563357335833593360336133623363336433653366336733683369337033713372337333743375337633773378337933803381338233833384338533863387338833893390339133923393339433953396339733983399340034013402340334043405340634073408340934103411341234133414341534163417341834193420342134223423342434253426342734283429343034313432343334343435343634373438343934403441344234433444344534463447344834493450345134523453345434553456345734583459346034613462346334643465346634673468346934703471347234733474347534763477347834793480348134823483348434853486348734883489349034913492349334943495349634973498349935003501350235033504350535063507350835093510351135123513351435153516351735183519352035213522352335243525352635273528352935303531353235333534353535363537353835393540354135423543354435453546354735483549355035513552355335543555355635573558355935603561356235633564356535663567356835693570357135723573357435753576357735783579358035813582358335843585358635873588358935903591359235933594359535963597359835993600360136023603360436053606360736083609361036113612361336143615361636173618361936203621362236233624362536263627362836293630363136323633363436353636363736383639364036413642364336443645364636473648364936503651365236533654365536563657365836593660366136623663366436653666366736683669367036713672367336743675367636773678367936803681368236833684368536863687368836893690369136923693369436953696369736983699370037013702370337043705370637073708370937103711371237133714371537163717371837193720372137223723372437253726372737283729373037313732373337343735373637373738373937403741374237433744374537463747374837493750375137523753375437553756375737583759376037613762376337643765376637673768376937703771377237733774377537763777377837793780378137823783378437853786378737883789379037913792379337943795379637973798379938003801380238033804380538063807380838093810381138123813381438153816381738183819382038213822382338243825382638273828382938303831383238333834383538363837383838393840384138423843384438453846384738483849385038513852385338543855385638573858385938603861386238633864386538663867386838693870387138723873387438753876387738783879388038813882388338843885388638873888388938903891389238933894389538963897389838993900390139023903390439053906390739083909391039113912391339143915391639173918391939203921392239233924392539263927392839293930393139323933393439353936393739383939394039413942394339443945394639473948394939503951395239533954395539563957395839593960396139623963396439653966396739683969397039713972397339743975397639773978397939803981398239833984398539863987398839893990399139923993399439953996399739983999400040014002400340044005400640074008400940104011401240134014401540164017401840194020402140224023402440254026402740284029403040314032403340344035403640374038403940404041404240434044404540464047404840494050405140524053405440554056405740584059406040614062406340644065406640674068406940704071407240734074407540764077407840794080408140824083408440854086408740884089409040914092409340944095409640974098409941004101410241034104410541064107410841094110411141124113411441154116411741184119412041214122412341244125412641274128412941304131413241334134413541364137413841394140414141424143414441454146414741484149415041514152415341544155415641574158415941604161416241634164416541664167416841694170417141724173417441754176417741784179418041814182418341844185418641874188418941904191419241934194419541964197419841994200420142024203420442054206420742084209421042114212421342144215421642174218421942204221422242234224422542264227422842294230423142324233423442354236423742384239424042414242424342444245424642474248424942504251425242534254425542564257425842594260426142624263426442654266426742684269427042714272427342744275427642774278427942804281428242834284428542864287428842894290429142924293429442954296429742984299430043014302430343044305430643074308430943104311431243134314431543164317431843194320432143224323432443254326432743284329433043314332433343344335433643374338433943404341434243434344434543464347434843494350435143524353435443554356435743584359436043614362436343644365436643674368436943704371437243734374437543764377437843794380438143824383 |
- #![feature(i128_type)]
- use std::env;
- fn main() {
- println!("cargo:rerun-if-changed=build.rs");
- let target = env::var("TARGET").unwrap();
- // Emscripten's runtime includes all the builtins
- if target.contains("emscripten") {
- return;
- }
- // NOTE we are going to assume that llvm-target, what determines our codegen option, matches the
- // target triple. This is usually correct for our built-in targets but can break in presence of
- // custom targets, which can have arbitrary names.
- let llvm_target = target.split('-').collect::<Vec<_>>();
- // Build test files
- #[cfg(feature = "gen-tests")]
- tests::generate();
- // Build missing intrinsics from compiler-rt C source code
- #[cfg(feature = "c")]
- c::compile(&llvm_target);
- // To compile intrinsics.rs for thumb targets, where there is no libc
- if llvm_target[0].starts_with("thumb") {
- println!("cargo:rustc-cfg=thumb")
- }
- // compiler-rt `cfg`s away some intrinsics for thumbv6m because that target doesn't have full
- // THUMBv2 support. We have to cfg our code accordingly.
- if llvm_target[0] == "thumbv6m" {
- println!("cargo:rustc-cfg=thumbv6m")
- }
- }
- #[cfg(feature = "gen-tests")]
- mod tests {
- extern crate cast;
- extern crate rand;
- use std::collections::HashSet;
- use std::fmt::Write;
- use std::fs::File;
- use std::hash::Hash;
- use std::path::PathBuf;
- use std::{env, mem};
- use self::cast::{f32, f64, u32, u64, u128, i32, i64, i128};
- use self::rand::Rng;
- const NTESTS: usize = 10_000;
- macro_rules! test {
- ($($intrinsic:ident,)+) => {
- $(
- mk_file::<$intrinsic>();
- )+
- }
- }
- pub fn generate() {
- // TODO move to main
- test! {
- // float/add.rs
- Adddf3,
- Addsf3,
- // float/conv.rs
- Fixdfdi,
- Fixdfsi,
- Fixsfdi,
- Fixsfsi,
- Fixsfti,
- Fixdfti,
- Fixunsdfdi,
- Fixunsdfsi,
- Fixunssfdi,
- Fixunssfsi,
- Fixunssfti,
- Fixunsdfti,
- Floatdidf,
- Floatsidf,
- Floatsisf,
- Floattisf,
- Floattidf,
- Floatundidf,
- Floatunsidf,
- Floatunsisf,
- Floatuntisf,
- Floatuntidf,
- // float/pow.rs
- Powidf2,
- Powisf2,
- // float/sub.rs
- Subdf3,
- Subsf3,
- // int/mul.rs
- Muldi3,
- Mulodi4,
- Mulosi4,
- Muloti4,
- Multi3,
- // int/sdiv.rs
- Divdi3,
- Divmoddi4,
- Divmodsi4,
- Divsi3,
- Divti3,
- Moddi3,
- Modsi3,
- Modti3,
- // int/shift.rs
- Ashldi3,
- Ashlti3,
- Ashrdi3,
- Ashrti3,
- Lshrdi3,
- Lshrti3,
- // int/udiv.rs
- Udivdi3,
- Udivmoddi4,
- Udivmodsi4,
- Udivmodti4,
- Udivsi3,
- Udivti3,
- Umoddi3,
- Umodsi3,
- Umodti3,
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Adddf3 {
- a: u64, // f64
- b: u64, // f64
- c: u64, // f64
- }
- impl TestCase for Adddf3 {
- fn name() -> &'static str {
- "adddf3"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_f64(rng);
- let b = gen_f64(rng);
- let c = a + b;
- // TODO accept NaNs. We don't do that right now because we can't check
- // for NaN-ness on the thumb targets (due to missing intrinsics)
- if a.is_nan() || b.is_nan() || c.is_nan() {
- return None;
- }
- Some(
- Adddf3 {
- a: to_u64(a),
- b: to_u64(b),
- c: to_u64(c),
- },
- )
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), {c}),",
- a = self.a,
- b = self.b,
- c = self.c
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- r#"
- #[cfg(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test))]
- use core::mem;
- #[cfg(not(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test)))]
- use std::mem;
- use compiler_builtins::float::add::__adddf3;
- fn mk_f64(x: u64) -> f64 {
- unsafe { mem::transmute(x) }
- }
- fn to_u64(x: f64) -> u64 {
- unsafe { mem::transmute(x) }
- }
- static TEST_CASES: &[((u64, u64), u64)] = &[
- "#
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn adddf3() {
- for &((a, b), c) in TEST_CASES {
- let c_ = __adddf3(mk_f64(a), mk_f64(b));
- assert_eq!(((a, b), c), ((a, b), to_u64(c_)));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Addsf3 {
- a: u32, // f32
- b: u32, // f32
- c: u32, // f32
- }
- impl TestCase for Addsf3 {
- fn name() -> &'static str {
- "addsf3"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_f32(rng);
- let b = gen_f32(rng);
- let c = a + b;
- // TODO accept NaNs. We don't do that right now because we can't check
- // for NaN-ness on the thumb targets (due to missing intrinsics)
- if a.is_nan() || b.is_nan() || c.is_nan() {
- return None;
- }
- Some(
- Addsf3 {
- a: to_u32(a),
- b: to_u32(b),
- c: to_u32(c),
- },
- )
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), {c}),",
- a = self.a,
- b = self.b,
- c = self.c
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- r#"
- #[cfg(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test))]
- use core::mem;
- #[cfg(not(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test)))]
- use std::mem;
- use compiler_builtins::float::add::__addsf3;
- fn mk_f32(x: u32) -> f32 {
- unsafe { mem::transmute(x) }
- }
- fn to_u32(x: f32) -> u32 {
- unsafe { mem::transmute(x) }
- }
- static TEST_CASES: &[((u32, u32), u32)] = &[
- "#
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn addsf3() {
- for &((a, b), c) in TEST_CASES {
- let c_ = __addsf3(mk_f32(a), mk_f32(b));
- assert_eq!(((a, b), c), ((a, b), to_u32(c_)));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Ashldi3 {
- a: u64,
- b: u32,
- c: u64,
- }
- impl TestCase for Ashldi3 {
- fn name() -> &'static str {
- "ashldi3"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_u64(rng);
- let b = (rng.gen::<u8>() % 64) as u32;
- let c = a << b;
- Some(Ashldi3 { a, b, c })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), {c}),",
- a = self.a,
- b = self.b,
- c = self.c
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- "
- use compiler_builtins::int::shift::__ashldi3;
- static TEST_CASES: &[((u64, u32), u64)] = &[
- "
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn ashldi3() {
- for &((a, b), c) in TEST_CASES {
- let c_ = __ashldi3(a, b);
- assert_eq!(((a, b), c), ((a, b), c_));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Ashlti3 {
- a: u128,
- b: u32,
- c: u128,
- }
- impl TestCase for Ashlti3 {
- fn name() -> &'static str {
- "ashlti3"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_u128(rng);
- let b = (rng.gen::<u8>() % 128) as u32;
- let c = a << b;
- Some(Ashlti3 { a, b, c })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), {c}),",
- a = self.a,
- b = self.b,
- c = self.c
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- "
- use compiler_builtins::int::shift::__ashlti3;
- static TEST_CASES: &[((u128, u32), u128)] = &[
- "
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn ashlti3() {
- for &((a, b), c) in TEST_CASES {
- let c_ = __ashlti3(a, b);
- assert_eq!(((a, b), c), ((a, b), c_));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Ashrdi3 {
- a: i64,
- b: u32,
- c: i64,
- }
- impl TestCase for Ashrdi3 {
- fn name() -> &'static str {
- "ashrdi3"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_i64(rng);
- let b = (rng.gen::<u8>() % 64) as u32;
- let c = a >> b;
- Some(Ashrdi3 { a, b, c })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), {c}),",
- a = self.a,
- b = self.b,
- c = self.c
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- "
- use compiler_builtins::int::shift::__ashrdi3;
- static TEST_CASES: &[((i64, u32), i64)] = &[
- "
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn ashrdi3() {
- for &((a, b), c) in TEST_CASES {
- let c_ = __ashrdi3(a, b);
- assert_eq!(((a, b), c), ((a, b), c_));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Ashrti3 {
- a: i128,
- b: u32,
- c: i128,
- }
- impl TestCase for Ashrti3 {
- fn name() -> &'static str {
- "ashrti3"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_i128(rng);
- let b = (rng.gen::<u8>() % 128) as u32;
- let c = a >> b;
- Some(Ashrti3 { a, b, c })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), {c}),",
- a = self.a,
- b = self.b,
- c = self.c
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- "
- use compiler_builtins::int::shift::__ashrti3;
- static TEST_CASES: &[((i128, u32), i128)] = &[
- "
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn ashrti3() {
- for &((a, b), c) in TEST_CASES {
- let c_ = __ashrti3(a, b);
- assert_eq!(((a, b), c), ((a, b), c_));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Divmoddi4 {
- a: i64,
- b: i64,
- c: i64,
- rem: i64,
- }
- impl TestCase for Divmoddi4 {
- fn name() -> &'static str {
- "divmoddi4"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_i64(rng);
- let b = gen_i64(rng);
- if b == 0 {
- return None;
- }
- let c = a / b;
- let rem = a % b;
- Some(Divmoddi4 { a, b, c, rem })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), ({c}, {rem})),",
- a = self.a,
- b = self.b,
- c = self.c,
- rem = self.rem
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- "
- use compiler_builtins::int::sdiv::__divmoddi4;
- static TEST_CASES: &[((i64, i64), (i64, i64))] = &[
- "
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn divmoddi4() {
- for &((a, b), (c, rem)) in TEST_CASES {
- let mut rem_ = 0;
- let c_ = __divmoddi4(a, b, &mut rem_);
- assert_eq!(((a, b), (c, rem)), ((a, b), (c_, rem_)));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Divdi3 {
- a: i64,
- b: i64,
- c: i64,
- }
- impl TestCase for Divdi3 {
- fn name() -> &'static str {
- "divdi3"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_i64(rng);
- let b = gen_i64(rng);
- if b == 0 {
- return None;
- }
- let c = a / b;
- Some(Divdi3 { a, b, c })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), {c}),",
- a = self.a,
- b = self.b,
- c = self.c
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- "
- use compiler_builtins::int::sdiv::__divdi3;
- static TEST_CASES: &[((i64, i64), i64)] = &[
- "
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn divdi3() {
- for &((a, b), c) in TEST_CASES {
- let c_ = __divdi3(a, b);
- assert_eq!(((a, b), c), ((a, b), c_));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Divmodsi4 {
- a: i32,
- b: i32,
- c: i32,
- rem: i32,
- }
- impl TestCase for Divmodsi4 {
- fn name() -> &'static str {
- "divmodsi4"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_i32(rng);
- let b = gen_i32(rng);
- if b == 0 {
- return None;
- }
- let c = a / b;
- let rem = a % b;
- Some(Divmodsi4 { a, b, c, rem })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), ({c}, {rem})),",
- a = self.a,
- b = self.b,
- c = self.c,
- rem = self.rem
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- "
- use compiler_builtins::int::sdiv::__divmodsi4;
- static TEST_CASES: &[((i32, i32), (i32, i32))] = &[
- "
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn divmodsi4() {
- for &((a, b), (c, rem)) in TEST_CASES {
- let mut rem_ = 0;
- let c_ = __divmodsi4(a, b, &mut rem_);
- assert_eq!(((a, b), (c, rem)), ((a, b), (c_, rem_)));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Divsi3 {
- a: i32,
- b: i32,
- c: i32,
- }
- impl TestCase for Divsi3 {
- fn name() -> &'static str {
- "divsi3"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_i32(rng);
- let b = gen_i32(rng);
- if b == 0 {
- return None;
- }
- let c = a / b;
- Some(Divsi3 { a, b, c })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), {c}),",
- a = self.a,
- b = self.b,
- c = self.c
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- "
- use compiler_builtins::int::sdiv::__divsi3;
- static TEST_CASES: &[((i32, i32), i32)] = &[
- "
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn divsi3() {
- for &((a, b), c) in TEST_CASES {
- let c_ = __divsi3(a, b);
- assert_eq!(((a, b), c), ((a, b), c_));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Divti3 {
- a: i128,
- b: i128,
- c: i128,
- }
- impl TestCase for Divti3 {
- fn name() -> &'static str {
- "divti3"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_i128(rng);
- let b = gen_i128(rng);
- if b == 0 {
- return None;
- }
- let c = a / b;
- Some(Divti3 { a, b, c })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), {c}),",
- a = self.a,
- b = self.b,
- c = self.c
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- "
- use compiler_builtins::int::sdiv::__divti3;
- static TEST_CASES: &[((i128, i128), i128)] = &[
- "
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn divti3() {
- for &((a, b), c) in TEST_CASES {
- let c_ = __divti3(a, b);
- assert_eq!(((a, b), c), ((a, b), c_));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Fixdfdi {
- a: u64, // f64
- b: i64,
- }
- impl TestCase for Fixdfdi {
- fn name() -> &'static str {
- "fixdfdi"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_f64(rng);
- i64(a).ok().map(|b| Fixdfdi { a: to_u64(a), b })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(buffer, "(({a},), {b}),", a = self.a, b = self.b).unwrap();
- }
- fn prologue() -> &'static str {
- r#"
- #[cfg(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test))]
- use core::mem;
- #[cfg(not(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test)))]
- use std::mem;
- use compiler_builtins::float::conv::__fixdfdi;
- fn mk_f64(x: u64) -> f64 {
- unsafe { mem::transmute(x) }
- }
- static TEST_CASES: &[((u64,), i64)] = &[
- "#
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn fixdfdi() {
- for &((a,), b) in TEST_CASES {
- let b_ = __fixdfdi(mk_f64(a));
- assert_eq!(((a,), b), ((a,), b_));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Fixdfsi {
- a: u64, // f64
- b: i32,
- }
- impl TestCase for Fixdfsi {
- fn name() -> &'static str {
- "fixdfsi"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_f64(rng);
- i32(a).ok().map(|b| Fixdfsi { a: to_u64(a), b })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(buffer, "(({a},), {b}),", a = self.a, b = self.b).unwrap();
- }
- fn prologue() -> &'static str {
- r#"
- #[cfg(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test))]
- use core::mem;
- #[cfg(not(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test)))]
- use std::mem;
- use compiler_builtins::float::conv::__fixdfsi;
- fn mk_f64(x: u64) -> f64 {
- unsafe { mem::transmute(x) }
- }
- static TEST_CASES: &[((u64,), i32)] = &[
- "#
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn fixdfdi() {
- for &((a,), b) in TEST_CASES {
- let b_ = __fixdfsi(mk_f64(a));
- assert_eq!(((a,), b), ((a,), b_));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Fixsfdi {
- a: u32, // f32
- b: i64,
- }
- impl TestCase for Fixsfdi {
- fn name() -> &'static str {
- "fixsfdi"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_f32(rng);
- i64(a).ok().map(|b| Fixsfdi { a: to_u32(a), b })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(buffer, "(({a},), {b}),", a = self.a, b = self.b).unwrap();
- }
- fn prologue() -> &'static str {
- r#"
- #[cfg(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test))]
- use core::mem;
- #[cfg(not(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test)))]
- use std::mem;
- use compiler_builtins::float::conv::__fixsfdi;
- fn mk_f32(x: u32) -> f32 {
- unsafe { mem::transmute(x) }
- }
- static TEST_CASES: &[((u32,), i64)] = &[
- "#
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn fixsfdi() {
- for &((a,), b) in TEST_CASES {
- let b_ = __fixsfdi(mk_f32(a));
- assert_eq!(((a,), b), ((a,), b_));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Fixsfsi {
- a: u32, // f32
- b: i32,
- }
- impl TestCase for Fixsfsi {
- fn name() -> &'static str {
- "fixsfsi"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_f32(rng);
- i32(a).ok().map(|b| Fixsfsi { a: to_u32(a), b })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(buffer, "(({a},), {b}),", a = self.a, b = self.b).unwrap();
- }
- fn prologue() -> &'static str {
- r#"
- #[cfg(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test))]
- use core::mem;
- #[cfg(not(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test)))]
- use std::mem;
- use compiler_builtins::float::conv::__fixsfsi;
- fn mk_f32(x: u32) -> f32 {
- unsafe { mem::transmute(x) }
- }
- static TEST_CASES: &[((u32,), i32)] = &[
- "#
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn fixsfdi() {
- for &((a,), b) in TEST_CASES {
- let b_ = __fixsfsi(mk_f32(a));
- assert_eq!(((a,), b), ((a,), b_));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Fixsfti {
- a: u32, // f32
- b: i128,
- }
- impl TestCase for Fixsfti {
- fn name() -> &'static str {
- "fixsfti"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_f32(rng);
- i128(a).ok().map(|b| Fixsfti { a: to_u32(a), b })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(buffer, "(({a},), {b}),", a = self.a, b = self.b).unwrap();
- }
- fn prologue() -> &'static str {
- r#"
- #[cfg(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test))]
- use core::mem;
- #[cfg(not(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test)))]
- use std::mem;
- use compiler_builtins::float::conv::__fixsfti;
- fn mk_f32(x: u32) -> f32 {
- unsafe { mem::transmute(x) }
- }
- static TEST_CASES: &[((u32,), i128)] = &[
- "#
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn fixsfti() {
- for &((a,), b) in TEST_CASES {
- let b_ = __fixsfti(mk_f32(a));
- assert_eq!(((a,), b), ((a,), b_));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Fixdfti {
- a: u64, // f64
- b: i128,
- }
- impl TestCase for Fixdfti {
- fn name() -> &'static str {
- "fixdfti"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_f64(rng);
- i128(a).ok().map(|b| Fixdfti { a: to_u64(a), b })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(buffer, "(({a},), {b}),", a = self.a, b = self.b).unwrap();
- }
- fn prologue() -> &'static str {
- r#"
- #[cfg(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test))]
- use core::mem;
- #[cfg(not(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test)))]
- use std::mem;
- use compiler_builtins::float::conv::__fixdfti;
- fn mk_f64(x: u64) -> f64 {
- unsafe { mem::transmute(x) }
- }
- static TEST_CASES: &[((u64,), i128)] = &[
- "#
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn fixdfti() {
- for &((a,), b) in TEST_CASES {
- let b_ = __fixdfti(mk_f64(a));
- assert_eq!(((a,), b), ((a,), b_));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Fixunsdfdi {
- a: u64, // f64
- b: u64,
- }
- impl TestCase for Fixunsdfdi {
- fn name() -> &'static str {
- "fixunsdfdi"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_f64(rng);
- u64(a).ok().map(|b| Fixunsdfdi { a: to_u64(a), b })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(buffer, "(({a},), {b}),", a = self.a, b = self.b).unwrap();
- }
- fn prologue() -> &'static str {
- r#"
- #[cfg(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test))]
- use core::mem;
- #[cfg(not(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test)))]
- use std::mem;
- use compiler_builtins::float::conv::__fixunsdfdi;
- fn mk_f64(x: u64) -> f64 {
- unsafe { mem::transmute(x) }
- }
- static TEST_CASES: &[((u64,), u64)] = &[
- "#
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn fixunsdfdi() {
- for &((a,), b) in TEST_CASES {
- let b_ = __fixunsdfdi(mk_f64(a));
- assert_eq!(((a,), b), ((a,), b_));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Fixunsdfsi {
- a: u64, // f64
- b: u32,
- }
- impl TestCase for Fixunsdfsi {
- fn name() -> &'static str {
- "fixunsdfsi"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_f64(rng);
- u32(a).ok().map(|b| Fixunsdfsi { a: to_u64(a), b })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(buffer, "(({a},), {b}),", a = self.a, b = self.b).unwrap();
- }
- fn prologue() -> &'static str {
- r#"
- #[cfg(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test))]
- use core::mem;
- #[cfg(not(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test)))]
- use std::mem;
- use compiler_builtins::float::conv::__fixunsdfsi;
- fn mk_f64(x: u64) -> f64 {
- unsafe { mem::transmute(x) }
- }
- static TEST_CASES: &[((u64,), u32)] = &[
- "#
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn fixunsdfdi() {
- for &((a,), b) in TEST_CASES {
- let b_ = __fixunsdfsi(mk_f64(a));
- assert_eq!(((a,), b), ((a,), b_));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Fixunssfdi {
- a: u32, // f32
- b: u64,
- }
- impl TestCase for Fixunssfdi {
- fn name() -> &'static str {
- "fixunssfdi"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_f32(rng);
- u64(a).ok().map(|b| Fixunssfdi { a: to_u32(a), b })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(buffer, "(({a},), {b}),", a = self.a, b = self.b).unwrap();
- }
- fn prologue() -> &'static str {
- r#"
- #[cfg(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test))]
- use core::mem;
- #[cfg(not(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test)))]
- use std::mem;
- use compiler_builtins::float::conv::__fixunssfdi;
- fn mk_f32(x: u32) -> f32 {
- unsafe { mem::transmute(x) }
- }
- static TEST_CASES: &[((u32,), u64)] = &[
- "#
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn fixunssfdi() {
- for &((a,), b) in TEST_CASES {
- let b_ = __fixunssfdi(mk_f32(a));
- assert_eq!(((a,), b), ((a,), b_));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Fixunssfsi {
- a: u32, // f32
- b: u32,
- }
- impl TestCase for Fixunssfsi {
- fn name() -> &'static str {
- "fixunssfsi"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_f32(rng);
- u32(a).ok().map(|b| Fixunssfsi { a: to_u32(a), b })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(buffer, "(({a},), {b}),", a = self.a, b = self.b).unwrap();
- }
- fn prologue() -> &'static str {
- r#"
- #[cfg(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test))]
- use core::mem;
- #[cfg(not(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test)))]
- use std::mem;
- use compiler_builtins::float::conv::__fixunssfsi;
- fn mk_f32(x: u32) -> f32 {
- unsafe { mem::transmute(x) }
- }
- static TEST_CASES: &[((u32,), u32)] = &[
- "#
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn fixunssfsi() {
- for &((a,), b) in TEST_CASES {
- let b_ = __fixunssfsi(mk_f32(a));
- assert_eq!(((a,), b), ((a,), b_));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Fixunssfti {
- a: u32, // f32
- b: u128,
- }
- impl TestCase for Fixunssfti {
- fn name() -> &'static str {
- "fixunssfti"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_f32(rng);
- u128(a).ok().map(|b| Fixunssfti { a: to_u32(a), b })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(buffer, "(({a},), {b}),", a = self.a, b = self.b).unwrap();
- }
- fn prologue() -> &'static str {
- r#"
- #[cfg(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test))]
- use core::mem;
- #[cfg(not(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test)))]
- use std::mem;
- use compiler_builtins::float::conv::__fixunssfti;
- fn mk_f32(x: u32) -> f32 {
- unsafe { mem::transmute(x) }
- }
- static TEST_CASES: &[((u32,), u128)] = &[
- "#
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn fixunssfti() {
- for &((a,), b) in TEST_CASES {
- let b_ = __fixunssfti(mk_f32(a));
- assert_eq!(((a,), b), ((a,), b_));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Fixunsdfti {
- a: u64, // f64
- b: u128,
- }
- impl TestCase for Fixunsdfti {
- fn name() -> &'static str {
- "fixunsdfti"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_f64(rng);
- u128(a).ok().map(|b| Fixunsdfti { a: to_u64(a), b })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(buffer, "(({a},), {b}),", a = self.a, b = self.b).unwrap();
- }
- fn prologue() -> &'static str {
- r#"
- #[cfg(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test))]
- use core::mem;
- #[cfg(not(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test)))]
- use std::mem;
- use compiler_builtins::float::conv::__fixunsdfti;
- fn mk_f64(x: u64) -> f64 {
- unsafe { mem::transmute(x) }
- }
- static TEST_CASES: &[((u64,), u128)] = &[
- "#
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn fixunsdfti() {
- for &((a,), b) in TEST_CASES {
- let b_ = __fixunsdfti(mk_f64(a));
- assert_eq!(((a,), b), ((a,), b_));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Floatdidf {
- a: i64,
- b: u64, // f64
- }
- impl TestCase for Floatdidf {
- fn name() -> &'static str {
- "floatdidf"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_i64(rng);
- Some(
- Floatdidf {
- a,
- b: to_u64(f64(a)),
- },
- )
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(buffer, "(({a},), {b}),", a = self.a, b = self.b).unwrap();
- }
- fn prologue() -> &'static str {
- r#"
- #[cfg(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test))]
- use core::mem;
- #[cfg(not(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test)))]
- use std::mem;
- use compiler_builtins::float::conv::__floatdidf;
- fn to_u64(x: f64) -> u64 {
- unsafe { mem::transmute(x) }
- }
- static TEST_CASES: &[((i64,), u64)] = &[
- "#
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn floatdidf() {
- for &((a,), b) in TEST_CASES {
- let b_ = __floatdidf(a);
- assert_eq!(((a,), b), ((a,), to_u64(b_)));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Floatsidf {
- a: i32,
- b: u64, // f64
- }
- impl TestCase for Floatsidf {
- fn name() -> &'static str {
- "floatsidf"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_i32(rng);
- Some(
- Floatsidf {
- a,
- b: to_u64(f64(a)),
- },
- )
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(buffer, "(({a},), {b}),", a = self.a, b = self.b).unwrap();
- }
- fn prologue() -> &'static str {
- r#"
- #[cfg(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test))]
- use core::mem;
- #[cfg(not(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test)))]
- use std::mem;
- use compiler_builtins::float::conv::__floatsidf;
- fn to_u64(x: f64) -> u64 {
- unsafe { mem::transmute(x) }
- }
- static TEST_CASES: &[((i32,), u64)] = &[
- "#
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn floatsidf() {
- for &((a,), b) in TEST_CASES {
- let b_ = __floatsidf(a);
- assert_eq!(((a,), b), ((a,), to_u64(b_)));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Floatsisf {
- a: i32,
- b: u32, // f32
- }
- impl TestCase for Floatsisf {
- fn name() -> &'static str {
- "floatsisf"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_i32(rng);
- Some(
- Floatsisf {
- a,
- b: to_u32(f32(a)),
- },
- )
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(buffer, "(({a},), {b}),", a = self.a, b = self.b).unwrap();
- }
- fn prologue() -> &'static str {
- r#"
- #[cfg(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test))]
- use core::mem;
- #[cfg(not(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test)))]
- use std::mem;
- use compiler_builtins::float::conv::__floatsisf;
- fn to_u32(x: f32) -> u32 {
- unsafe { mem::transmute(x) }
- }
- static TEST_CASES: &[((i32,), u32)] = &[
- "#
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn floatsisf() {
- for &((a,), b) in TEST_CASES {
- let b_ = __floatsisf(a);
- assert_eq!(((a,), b), ((a,), to_u32(b_)));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Floattisf {
- a: i128,
- b: u32, // f32
- }
- impl TestCase for Floattisf {
- fn name() -> &'static str {
- "floattisf"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_i128(rng);
- Some(
- Floattisf {
- a,
- b: to_u32(f32(a)),
- },
- )
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(buffer, "(({a},), {b}),", a = self.a, b = self.b).unwrap();
- }
- fn prologue() -> &'static str {
- r#"
- #[cfg(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test))]
- use core::mem;
- #[cfg(not(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test)))]
- use std::mem;
- use compiler_builtins::float::conv::__floattisf;
- fn to_u32(x: f32) -> u32 {
- unsafe { mem::transmute(x) }
- }
- static TEST_CASES: &[((i128,), u32)] = &[
- "#
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn floattisf() {
- for &((a,), b) in TEST_CASES {
- let b_ = __floattisf(a);
- assert_eq!(((a,), b), ((a,), to_u32(b_)));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Floattidf {
- a: i128,
- b: u64, // f64
- }
- impl TestCase for Floattidf {
- fn name() -> &'static str {
- "floattidf"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_i128(rng);
- Some(
- Floattidf {
- a,
- b: to_u64(f64(a)),
- },
- )
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(buffer, "(({a},), {b}),", a = self.a, b = self.b).unwrap();
- }
- fn prologue() -> &'static str {
- r#"
- #[cfg(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test))]
- use core::mem;
- #[cfg(not(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test)))]
- use std::mem;
- use compiler_builtins::float::conv::__floattidf;
- fn to_u64(x: f64) -> u64 {
- unsafe { mem::transmute(x) }
- }
- static TEST_CASES: &[((i128,), u64)] = &[
- "#
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn floattidf() {
- for &((a,), b) in TEST_CASES {
- let b_ = __floattidf(a);
- assert_eq!(((a,), b), ((a,), to_u64(b_)));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Floatundidf {
- a: u64,
- b: u64, // f64
- }
- impl TestCase for Floatundidf {
- fn name() -> &'static str {
- "floatundidf"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_u64(rng);
- Some(
- Floatundidf {
- a,
- b: to_u64(f64(a)),
- },
- )
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(buffer, "(({a},), {b}),", a = self.a, b = self.b).unwrap();
- }
- fn prologue() -> &'static str {
- r#"
- #[cfg(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test))]
- use core::mem;
- #[cfg(not(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test)))]
- use std::mem;
- use compiler_builtins::float::conv::__floatundidf;
- fn to_u64(x: f64) -> u64 {
- unsafe { mem::transmute(x) }
- }
- static TEST_CASES: &[((u64,), u64)] = &[
- "#
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn floatundidf() {
- for &((a,), b) in TEST_CASES {
- let b_ = __floatundidf(a);
- assert_eq!(((a,), b), ((a,), to_u64(b_)));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Floatunsidf {
- a: u32,
- b: u64, // f64
- }
- impl TestCase for Floatunsidf {
- fn name() -> &'static str {
- "floatunsidf"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_u32(rng);
- Some(
- Floatunsidf {
- a,
- b: to_u64(f64(a)),
- },
- )
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(buffer, "(({a},), {b}),", a = self.a, b = self.b).unwrap();
- }
- fn prologue() -> &'static str {
- r#"
- #[cfg(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test))]
- use core::mem;
- #[cfg(not(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test)))]
- use std::mem;
- use compiler_builtins::float::conv::__floatunsidf;
- fn to_u64(x: f64) -> u64 {
- unsafe { mem::transmute(x) }
- }
- static TEST_CASES: &[((u32,), u64)] = &[
- "#
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn floatunsidf() {
- for &((a,), b) in TEST_CASES {
- let b_ = __floatunsidf(a);
- assert_eq!(((a,), b), ((a,), to_u64(b_)));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Floatunsisf {
- a: u32,
- b: u32, // f32
- }
- impl TestCase for Floatunsisf {
- fn name() -> &'static str {
- "floatunsisf"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_u32(rng);
- Some(
- Floatunsisf {
- a,
- b: to_u32(f32(a)),
- },
- )
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(buffer, "(({a},), {b}),", a = self.a, b = self.b).unwrap();
- }
- fn prologue() -> &'static str {
- r#"
- #[cfg(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test))]
- use core::mem;
- #[cfg(not(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test)))]
- use std::mem;
- use compiler_builtins::float::conv::__floatunsisf;
- fn to_u32(x: f32) -> u32 {
- unsafe { mem::transmute(x) }
- }
- static TEST_CASES: &[((u32,), u32)] = &[
- "#
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn floatunsisf() {
- for &((a,), b) in TEST_CASES {
- let b_ = __floatunsisf(a);
- assert_eq!(((a,), b), ((a,), to_u32(b_)));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Floatuntisf {
- a: u128,
- b: u32, // f32
- }
- impl TestCase for Floatuntisf {
- fn name() -> &'static str {
- "floatuntisf"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_u128(rng);
- let f_a = f32(a);
- f_a.ok().map(|f| {
- Floatuntisf {
- a,
- b: to_u32(f),
- }
- })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(buffer, "(({a},), {b}),", a = self.a, b = self.b).unwrap();
- }
- fn prologue() -> &'static str {
- r#"
- #[cfg(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test))]
- use core::mem;
- #[cfg(not(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test)))]
- use std::mem;
- use compiler_builtins::float::conv::__floatuntisf;
- fn to_u32(x: f32) -> u32 {
- unsafe { mem::transmute(x) }
- }
- static TEST_CASES: &[((u128,), u32)] = &[
- "#
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn floatuntisf() {
- for &((a,), b) in TEST_CASES {
- let b_ = __floatuntisf(a);
- assert_eq!(((a,), b), ((a,), to_u32(b_)));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Floatuntidf {
- a: u128,
- b: u64, // f64
- }
- impl TestCase for Floatuntidf {
- fn name() -> &'static str {
- "floatuntidf"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_u128(rng);
- Some(
- Floatuntidf {
- a,
- b: to_u64(f64(a)),
- },
- )
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(buffer, "(({a},), {b}),", a = self.a, b = self.b).unwrap();
- }
- fn prologue() -> &'static str {
- r#"
- #[cfg(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test))]
- use core::mem;
- #[cfg(not(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test)))]
- use std::mem;
- use compiler_builtins::float::conv::__floatuntidf;
- fn to_u64(x: f64) -> u64 {
- unsafe { mem::transmute(x) }
- }
- static TEST_CASES: &[((u128,), u64)] = &[
- "#
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn floatuntidf() {
- for &((a,), b) in TEST_CASES {
- let b_ = __floatuntidf(a);
- assert_eq!(((a,), b), ((a,), to_u64(b_)));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Moddi3 {
- a: i64,
- b: i64,
- c: i64,
- }
- impl TestCase for Moddi3 {
- fn name() -> &'static str {
- "moddi3"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_i64(rng);
- let b = gen_i64(rng);
- if b == 0 {
- return None;
- }
- let c = a % b;
- Some(Moddi3 { a, b, c })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), {c}),",
- a = self.a,
- b = self.b,
- c = self.c
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- "
- use compiler_builtins::int::sdiv::__moddi3;
- static TEST_CASES: &[((i64, i64), i64)] = &[
- "
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn moddi3() {
- for &((a, b), c) in TEST_CASES {
- let c_ = __moddi3(a, b);
- assert_eq!(((a, b), c), ((a, b), c_));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Modsi3 {
- a: i32,
- b: i32,
- c: i32,
- }
- impl TestCase for Modsi3 {
- fn name() -> &'static str {
- "modsi3"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_i32(rng);
- let b = gen_i32(rng);
- if b == 0 {
- return None;
- }
- let c = a % b;
- Some(Modsi3 { a, b, c })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), {c}),",
- a = self.a,
- b = self.b,
- c = self.c
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- "
- use compiler_builtins::int::sdiv::__modsi3;
- static TEST_CASES: &[((i32, i32), i32)] = &[
- "
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn modsi3() {
- for &((a, b), c) in TEST_CASES {
- let c_ = __modsi3(a, b);
- assert_eq!(((a, b), c), ((a, b), c_));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Modti3 {
- a: i128,
- b: i128,
- c: i128,
- }
- impl TestCase for Modti3 {
- fn name() -> &'static str {
- "modti3"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_i128(rng);
- let b = gen_i128(rng);
- if b == 0 {
- return None;
- }
- let c = a % b;
- Some(Modti3 { a, b, c })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), {c}),",
- a = self.a,
- b = self.b,
- c = self.c
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- "
- use compiler_builtins::int::sdiv::__modti3;
- static TEST_CASES: &[((i128, i128), i128)] = &[
- "
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn modti3() {
- for &((a, b), c) in TEST_CASES {
- let c_ = __modti3(a, b);
- assert_eq!(((a, b), c), ((a, b), c_));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- struct Muldi3 {
- a: u64,
- b: u64,
- c: u64,
- }
- impl TestCase for Muldi3 {
- fn name() -> &'static str {
- "muldi3"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_u64(rng);
- let b = gen_u64(rng);
- let c = a.wrapping_mul(b);
- Some(Muldi3 { a, b, c })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), {c}),",
- a = self.a,
- b = self.b,
- c = self.c
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- "
- use compiler_builtins::int::mul::__muldi3;
- static TEST_CASES: &[((u64, u64), u64)] = &[
- "
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn muldi3() {
- for &((a, b), c) in TEST_CASES {
- let c_ = __muldi3(a, b);
- assert_eq!(((a, b), c), ((a, b), c_));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Mulodi4 {
- a: i64,
- b: i64,
- c: i64,
- overflow: u32,
- }
- impl TestCase for Mulodi4 {
- fn name() -> &'static str {
- "mulodi4"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- {
- let a = gen_i64(rng);
- let b = gen_i64(rng);
- let c = a.wrapping_mul(b);
- let overflow = if a.checked_mul(b).is_some() { 0 } else { 1 };
- Some(Mulodi4 { a, b, c, overflow })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), ({c}, {overflow})),",
- a = self.a,
- b = self.b,
- c = self.c,
- overflow = self.overflow
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- "
- use compiler_builtins::int::mul::__mulodi4;
- static TEST_CASES: &[((i64, i64), (i64, i32))] = &[
- "
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn mulodi4() {
- let mut overflow_ = 2;
- for &((a, b), (c, overflow)) in TEST_CASES {
- let c_ = __mulodi4(a, b, &mut overflow_);
- assert_eq!(((a, b), (c, overflow)), ((a, b), (c_, overflow_)));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Mulosi4 {
- a: i32,
- b: i32,
- c: i32,
- overflow: u32,
- }
- impl TestCase for Mulosi4 {
- fn name() -> &'static str {
- "mulosi4"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- {
- let a = gen_i32(rng);
- let b = gen_i32(rng);
- let c = a.wrapping_mul(b);
- let overflow = if a.checked_mul(b).is_some() { 0 } else { 1 };
- Some(Mulosi4 { a, b, c, overflow })
- }
- fn prologue() -> &'static str {
- "
- use compiler_builtins::int::mul::__mulosi4;
- static TEST_CASES: &[((i32, i32), (i32, i32))] = &[
- "
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn mulosi4() {
- let mut overflow_ = 2;
- for &((a, b), (c, overflow)) in TEST_CASES {
- let c_ = __mulosi4(a, b, &mut overflow_);
- assert_eq!(((a, b), (c, overflow)), ((a, b), (c_, overflow_)));
- }
- }
- "
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), ({c}, {overflow})),",
- a = self.a,
- b = self.b,
- c = self.c,
- overflow = self.overflow
- )
- .unwrap();
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Muloti4 {
- a: i128,
- b: i128,
- c: i128,
- overflow: u32,
- }
- impl TestCase for Muloti4 {
- fn name() -> &'static str {
- "muloti4"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- {
- let a = gen_i128(rng);
- let b = gen_i128(rng);
- let c = a.wrapping_mul(b);
- let overflow = if a.checked_mul(b).is_some() { 0 } else { 1 };
- Some(Muloti4 { a, b, c, overflow })
- }
- fn prologue() -> &'static str {
- "
- use compiler_builtins::int::mul::__muloti4;
- static TEST_CASES: &[((i128, i128), (i128, i32))] = &[
- "
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn muloti4() {
- let mut overflow_ = 2;
- for &((a, b), (c, overflow)) in TEST_CASES {
- let c_ = __muloti4(a, b, &mut overflow_);
- assert_eq!(((a, b), (c, overflow)), ((a, b), (c_, overflow_)));
- }
- }
- "
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), ({c}, {overflow})),",
- a = self.a,
- b = self.b,
- c = self.c,
- overflow = self.overflow
- )
- .unwrap();
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Multi3 {
- a: i128,
- b: i128,
- c: i128,
- }
- impl TestCase for Multi3 {
- fn name() -> &'static str {
- "multi3"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_i128(rng);
- let b = gen_i128(rng);
- let c = a.wrapping_mul(b);
- Some(Multi3 { a, b, c })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), {c}),",
- a = self.a,
- b = self.b,
- c = self.c
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- "
- use compiler_builtins::int::mul::__multi3;
- static TEST_CASES: &[((i128, i128), i128)] = &[
- "
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn multi3() {
- for &((a, b), c) in TEST_CASES {
- let c_ = __multi3(a, b);
- assert_eq!(((a, b), c), ((a, b), c_));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Powidf2 {
- a: u64, // f64
- b: i32,
- c: u64, // f64
- }
- impl TestCase for Powidf2 {
- fn name() -> &'static str {
- "powidf2"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_f64(rng);
- let b = gen_i32(rng);
- let c = a.powi(b);
- // TODO accept NaNs. We don't do that right now because we can't check
- // for NaN-ness on the thumb targets
- if a.is_nan() || c.is_nan() {
- return None;
- }
- Some(
- Powidf2 {
- a: to_u64(a),
- b,
- c: to_u64(c),
- },
- )
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), {c}),",
- a = self.a,
- b = self.b,
- c = self.c
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- r#"
- #[cfg(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test))]
- use core::mem;
- #[cfg(not(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test)))]
- use std::mem;
- use compiler_builtins::float::pow::__powidf2;
- fn mk_f64(x: u64) -> f64 {
- unsafe { mem::transmute(x) }
- }
- fn to_u64(x: f64) -> u64 {
- unsafe { mem::transmute(x) }
- }
- static TEST_CASES: &[((u64, i32), u64)] = &[
- "#
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn powidf2() {
- for &((a, b), c) in TEST_CASES {
- let c_ = __powidf2(mk_f64(a), b);
- assert_eq!(((a, b), c), ((a, b), to_u64(c_)));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Powisf2 {
- a: u32, // f32
- b: i32,
- c: u32, // f32
- }
- impl TestCase for Powisf2 {
- fn name() -> &'static str {
- "powisf2"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_f32(rng);
- let b = gen_i32(rng);
- let c = a.powi(b);
- // TODO accept NaNs. We don't do that right now because we can't check
- // for NaN-ness on the thumb targets
- if a.is_nan() || c.is_nan() {
- return None;
- }
- Some(
- Powisf2 {
- a: to_u32(a),
- b,
- c: to_u32(c),
- },
- )
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), {c}),",
- a = self.a,
- b = self.b,
- c = self.c
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- r#"
- #[cfg(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test))]
- use core::mem;
- #[cfg(not(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test)))]
- use std::mem;
- use compiler_builtins::float::pow::__powisf2;
- fn mk_f32(x: u32) -> f32 {
- unsafe { mem::transmute(x) }
- }
- fn to_u32(x: f32) -> u32 {
- unsafe { mem::transmute(x) }
- }
- static TEST_CASES: &[((u32, i32), u32)] = &[
- "#
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn powisf2() {
- for &((a, b), c) in TEST_CASES {
- let c_ = __powisf2(mk_f32(a), b);
- assert_eq!(((a, b), c), ((a, b), to_u32(c_)));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Lshrdi3 {
- a: u64,
- b: u32,
- c: u64,
- }
- impl TestCase for Lshrdi3 {
- fn name() -> &'static str {
- "lshrdi3"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_u64(rng);
- let b = (rng.gen::<u8>() % 64) as u32;
- let c = a >> b;
- Some(Lshrdi3 { a, b, c })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), {c}),",
- a = self.a,
- b = self.b,
- c = self.c
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- "
- use compiler_builtins::int::shift::__lshrdi3;
- static TEST_CASES: &[((u64, u32), u64)] = &[
- "
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn lshrdi3() {
- for &((a, b), c) in TEST_CASES {
- let c_ = __lshrdi3(a, b);
- assert_eq!(((a, b), c), ((a, b), c_));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Lshrti3 {
- a: u128,
- b: u32,
- c: u128,
- }
- impl TestCase for Lshrti3 {
- fn name() -> &'static str {
- "lshrti3"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_u128(rng);
- let b = (rng.gen::<u8>() % 128) as u32;
- let c = a >> b;
- Some(Lshrti3 { a, b, c })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), {c}),",
- a = self.a,
- b = self.b,
- c = self.c
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- "
- use compiler_builtins::int::shift::__lshrti3;
- static TEST_CASES: &[((u128, u32), u128)] = &[
- "
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn lshrti3() {
- for &((a, b), c) in TEST_CASES {
- let c_ = __lshrti3(a, b);
- assert_eq!(((a, b), c), ((a, b), c_));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Subdf3 {
- a: u64, // f64
- b: u64, // f64
- c: u64, // f64
- }
- impl TestCase for Subdf3 {
- fn name() -> &'static str {
- "subdf3"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_f64(rng);
- let b = gen_f64(rng);
- let c = a - b;
- // TODO accept NaNs. We don't do that right now because we can't check
- // for NaN-ness on the thumb targets (due to missing intrinsics)
- if a.is_nan() || b.is_nan() || c.is_nan() {
- return None;
- }
- Some(
- Subdf3 {
- a: to_u64(a),
- b: to_u64(b),
- c: to_u64(c),
- },
- )
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), {c}),",
- a = self.a,
- b = self.b,
- c = self.c
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- r#"
- #[cfg(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test))]
- use core::mem;
- #[cfg(not(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test)))]
- use std::mem;
- use compiler_builtins::float::sub::__subdf3;
- fn mk_f64(x: u64) -> f64 {
- unsafe { mem::transmute(x) }
- }
- fn to_u64(x: f64) -> u64 {
- unsafe { mem::transmute(x) }
- }
- static TEST_CASES: &[((u64, u64), u64)] = &[
- "#
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn subdf3() {
- for &((a, b), c) in TEST_CASES {
- let c_ = __subdf3(mk_f64(a), mk_f64(b));
- assert_eq!(((a, b), c), ((a, b), to_u64(c_)));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Subsf3 {
- a: u32, // f32
- b: u32, // f32
- c: u32, // f32
- }
- impl TestCase for Subsf3 {
- fn name() -> &'static str {
- "subsf3"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_f32(rng);
- let b = gen_f32(rng);
- let c = a - b;
- // TODO accept NaNs. We don't do that right now because we can't check
- // for NaN-ness on the thumb targets (due to missing intrinsics)
- if a.is_nan() || b.is_nan() || c.is_nan() {
- return None;
- }
- Some(
- Subsf3 {
- a: to_u32(a),
- b: to_u32(b),
- c: to_u32(c),
- },
- )
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), {c}),",
- a = self.a,
- b = self.b,
- c = self.c
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- r#"
- #[cfg(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test))]
- use core::mem;
- #[cfg(not(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test)))]
- use std::mem;
- use compiler_builtins::float::sub::__subsf3;
- fn mk_f32(x: u32) -> f32 {
- unsafe { mem::transmute(x) }
- }
- fn to_u32(x: f32) -> u32 {
- unsafe { mem::transmute(x) }
- }
- static TEST_CASES: &[((u32, u32), u32)] = &[
- "#
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn subsf3() {
- for &((a, b), c) in TEST_CASES {
- let c_ = __subsf3(mk_f32(a), mk_f32(b));
- assert_eq!(((a, b), c), ((a, b), to_u32(c_)));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Udivdi3 {
- a: u64,
- b: u64,
- c: u64,
- }
- impl TestCase for Udivdi3 {
- fn name() -> &'static str {
- "udivdi3"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_u64(rng);
- let b = gen_u64(rng);
- if b == 0 {
- return None;
- }
- let c = a / b;
- Some(Udivdi3 { a, b, c })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), {c}),",
- a = self.a,
- b = self.b,
- c = self.c
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- "
- use compiler_builtins::int::udiv::__udivdi3;
- static TEST_CASES: &[((u64, u64), u64)] = &[
- "
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn udivdi3() {
- for &((a, b), c) in TEST_CASES {
- let c_ = __udivdi3(a, b);
- assert_eq!(((a, b), c), ((a, b), c_));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Udivmoddi4 {
- a: u64,
- b: u64,
- c: u64,
- rem: u64,
- }
- impl TestCase for Udivmoddi4 {
- fn name() -> &'static str {
- "udivmoddi4"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_u64(rng);
- let b = gen_u64(rng);
- if b == 0 {
- return None;
- }
- let c = a / b;
- let rem = a % b;
- Some(Udivmoddi4 { a, b, c, rem })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), ({c}, {rem})),",
- a = self.a,
- b = self.b,
- c = self.c,
- rem = self.rem
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- "
- use compiler_builtins::int::udiv::__udivmoddi4;
- static TEST_CASES: &[((u64, u64), (u64, u64))] = &[
- "
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn udivmoddi4() {
- for &((a, b), (c, rem)) in TEST_CASES {
- let mut rem_ = 0;
- let c_ = __udivmoddi4(a, b, Some(&mut rem_));
- assert_eq!(((a, b), (c, rem)), ((a, b), (c_, rem_)));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Udivmodsi4 {
- a: u32,
- b: u32,
- c: u32,
- rem: u32,
- }
- impl TestCase for Udivmodsi4 {
- fn name() -> &'static str {
- "udivmodsi4"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_u32(rng);
- let b = gen_u32(rng);
- if b == 0 {
- return None;
- }
- let c = a / b;
- let rem = a % b;
- Some(Udivmodsi4 { a, b, c, rem })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), ({c}, {rem})),",
- a = self.a,
- b = self.b,
- c = self.c,
- rem = self.rem
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- "
- use compiler_builtins::int::udiv::__udivmodsi4;
- static TEST_CASES: &[((u32, u32), (u32, u32))] = &[
- "
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn udivmodsi4() {
- for &((a, b), (c, rem)) in TEST_CASES {
- let mut rem_ = 0;
- let c_ = __udivmodsi4(a, b, Some(&mut rem_));
- assert_eq!(((a, b), (c, rem)), ((a, b), (c_, rem_)));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Udivmodti4 {
- a: u128,
- b: u128,
- c: u128,
- rem: u128,
- }
- impl TestCase for Udivmodti4 {
- fn name() -> &'static str {
- "udivmodti4"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_u128(rng);
- let b = gen_u128(rng);
- if b == 0 {
- return None;
- }
- let c = a / b;
- let rem = a % b;
- Some(Udivmodti4 { a, b, c, rem })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), ({c}, {rem})),",
- a = self.a,
- b = self.b,
- c = self.c,
- rem = self.rem
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- "
- use compiler_builtins::int::udiv::__udivmodti4;
- static TEST_CASES: &[((u128, u128), (u128, u128))] = &[
- "
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn udivmodti4() {
- for &((a, b), (c, rem)) in TEST_CASES {
- let mut rem_ = 0;
- let c_ = __udivmodti4(a, b, Some(&mut rem_));
- assert_eq!(((a, b), (c, rem)), ((a, b), (c_, rem_)));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Udivsi3 {
- a: u32,
- b: u32,
- c: u32,
- }
- impl TestCase for Udivsi3 {
- fn name() -> &'static str {
- "udivsi3"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_u32(rng);
- let b = gen_u32(rng);
- if b == 0 {
- return None;
- }
- let c = a / b;
- Some(Udivsi3 { a, b, c })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), {c}),",
- a = self.a,
- b = self.b,
- c = self.c
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- "
- use compiler_builtins::int::udiv::__udivsi3;
- static TEST_CASES: &[((u32, u32), u32)] = &[
- "
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn udivsi3() {
- for &((a, b), c) in TEST_CASES {
- let c_ = __udivsi3(a, b);
- assert_eq!(((a, b), c), ((a, b), c_));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Udivti3 {
- a: u128,
- b: u128,
- c: u128,
- }
- impl TestCase for Udivti3 {
- fn name() -> &'static str {
- "udivti3"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_u128(rng);
- let b = gen_u128(rng);
- if b == 0 {
- return None;
- }
- let c = a / b;
- Some(Udivti3 { a, b, c })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), {c}),",
- a = self.a,
- b = self.b,
- c = self.c
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- "
- use compiler_builtins::int::udiv::__udivti3;
- static TEST_CASES: &[((u128, u128), u128)] = &[
- "
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn udivti3() {
- for &((a, b), c) in TEST_CASES {
- let c_ = __udivti3(a, b);
- assert_eq!(((a, b), c), ((a, b), c_));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Umoddi3 {
- a: u64,
- b: u64,
- c: u64,
- }
- impl TestCase for Umoddi3 {
- fn name() -> &'static str {
- "umoddi3"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_u64(rng);
- let b = gen_u64(rng);
- if b == 0 {
- return None;
- }
- let c = a % b;
- Some(Umoddi3 { a, b, c })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), {c}),",
- a = self.a,
- b = self.b,
- c = self.c
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- "
- use compiler_builtins::int::udiv::__umoddi3;
- static TEST_CASES: &[((u64, u64), u64)] = &[
- "
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn umoddi3() {
- for &((a, b), c) in TEST_CASES {
- let c_ = __umoddi3(a, b);
- assert_eq!(((a, b), c), ((a, b), c_));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Umodsi3 {
- a: u32,
- b: u32,
- c: u32,
- }
- impl TestCase for Umodsi3 {
- fn name() -> &'static str {
- "umodsi3"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_u32(rng);
- let b = gen_u32(rng);
- if b == 0 {
- return None;
- }
- let c = a % b;
- Some(Umodsi3 { a, b, c })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), {c}),",
- a = self.a,
- b = self.b,
- c = self.c
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- "
- use compiler_builtins::int::udiv::__umodsi3;
- static TEST_CASES: &[((u32, u32), u32)] = &[
- "
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn umodsi3() {
- for &((a, b), c) in TEST_CASES {
- let c_ = __umodsi3(a, b);
- assert_eq!(((a, b), c), ((a, b), c_));
- }
- }
- "
- }
- }
- #[derive(Eq, Hash, PartialEq)]
- pub struct Umodti3 {
- a: u128,
- b: u128,
- c: u128,
- }
- impl TestCase for Umodti3 {
- fn name() -> &'static str {
- "umodti3"
- }
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized,
- {
- let a = gen_u128(rng);
- let b = gen_u128(rng);
- if b == 0 {
- return None;
- }
- let c = a % b;
- Some(Umodti3 { a, b, c })
- }
- fn to_string(&self, buffer: &mut String) {
- writeln!(
- buffer,
- "(({a}, {b}), {c}),",
- a = self.a,
- b = self.b,
- c = self.c
- )
- .unwrap();
- }
- fn prologue() -> &'static str {
- "
- use compiler_builtins::int::udiv::__umodti3;
- static TEST_CASES: &[((u128, u128), u128)] = &[
- "
- }
- fn epilogue() -> &'static str {
- "
- ];
- #[test]
- fn umodti3() {
- for &((a, b), c) in TEST_CASES {
- let c_ = __umodti3(a, b);
- assert_eq!(((a, b), c), ((a, b), c_));
- }
- }
- "
- }
- }
- trait TestCase {
- /// Name of the intrinsic to test
- fn name() -> &'static str;
- /// Generates a valid test case
- fn generate<R>(rng: &mut R) -> Option<Self>
- where
- R: Rng,
- Self: Sized;
- /// Stringifies a test case
- fn to_string(&self, buffer: &mut String);
- /// Prologue of the test file
- fn prologue() -> &'static str;
- /// Epilogue of the test file
- fn epilogue() -> &'static str;
- }
- const PROLOGUE: &'static str = r#"
- extern crate compiler_builtins;
- // test runner
- #[cfg(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test))]
- extern crate utest_cortex_m_qemu;
- // overrides `panic!`
- #[cfg(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test))]
- #[macro_use]
- extern crate utest_macros;
- #[cfg(all(target_arch = "arm",
- not(any(target_env = "gnu", target_env = "musl")),
- target_os = "linux",
- test))]
- macro_rules! panic {
- ($($tt:tt)*) => {
- upanic!($($tt)*);
- };
- }
- "#;
- macro_rules! gen_int {
- ($name:ident, $ity:ident, $hty:ident) => {
- fn $name<R>(rng: &mut R) -> $ity
- where
- R: Rng,
- {
- let mut mk = || if rng.gen_weighted_bool(10) {
- *rng.choose(&[::std::$hty::MAX, 0, ::std::$hty::MIN]).unwrap()
- } else {
- rng.gen::<$hty>()
- };
- unsafe { mem::transmute([mk(), mk()]) }
- }
- }
- }
- gen_int!(gen_i32, i32, i16);
- gen_int!(gen_i64, i64, i32);
- gen_int!(gen_i128, i128, i64);
- macro_rules! gen_float {
- ($name:ident,
- $fty:ident,
- $uty:ident,
- $bits:expr,
- $significand_bits:expr) => {
- pub fn $name<R>(rng: &mut R) -> $fty
- where
- R: Rng,
- {
- const BITS: u8 = $bits;
- const SIGNIFICAND_BITS: u8 = $significand_bits;
- const SIGNIFICAND_MASK: $uty = (1 << SIGNIFICAND_BITS) - 1;
- const SIGN_MASK: $uty = (1 << (BITS - 1));
- const EXPONENT_MASK: $uty = !(SIGN_MASK | SIGNIFICAND_MASK);
- fn mk_f32(sign: bool, exponent: $uty, significand: $uty) -> $fty {
- unsafe {
- mem::transmute(((sign as $uty) << (BITS - 1)) |
- ((exponent & EXPONENT_MASK) <<
- SIGNIFICAND_BITS) |
- (significand & SIGNIFICAND_MASK))
- }
- }
- if rng.gen_weighted_bool(10) {
- // Special values
- *rng.choose(&[-0.0,
- 0.0,
- ::std::$fty::NAN,
- ::std::$fty::INFINITY,
- -::std::$fty::INFINITY])
- .unwrap()
- } else if rng.gen_weighted_bool(10) {
- // NaN patterns
- mk_f32(rng.gen(), rng.gen(), 0)
- } else if rng.gen() {
- // Denormalized
- mk_f32(rng.gen(), 0, rng.gen())
- } else {
- // Random anything
- mk_f32(rng.gen(), rng.gen(), rng.gen())
- }
- }
- }
- }
- gen_float!(gen_f32, f32, u32, 32, 23);
- gen_float!(gen_f64, f64, u64, 64, 52);
- pub fn gen_u128<R>(rng: &mut R) -> u128
- where
- R: Rng,
- {
- gen_i128(rng) as u128
- }
- pub fn gen_u32<R>(rng: &mut R) -> u32
- where
- R: Rng,
- {
- gen_i32(rng) as u32
- }
- fn gen_u64<R>(rng: &mut R) -> u64
- where
- R: Rng,
- {
- gen_i64(rng) as u64
- }
- pub fn to_u32(x: f32) -> u32 {
- unsafe { mem::transmute(x) }
- }
- pub fn to_u64(x: f64) -> u64 {
- unsafe { mem::transmute(x) }
- }
- fn mk_tests<T, R>(mut n: usize, rng: &mut R) -> String
- where
- T: Eq + Hash + TestCase,
- R: Rng,
- {
- let mut buffer = PROLOGUE.to_owned();
- buffer.push_str(T::prologue());
- let mut cases = HashSet::new();
- while n != 0 {
- if let Some(case) = T::generate(rng) {
- if cases.contains(&case) {
- continue;
- }
- case.to_string(&mut buffer);
- n -= 1;
- cases.insert(case);
- }
- }
- buffer.push_str(T::epilogue());
- buffer
- }
- fn mk_file<T>()
- where
- T: Eq + Hash + TestCase,
- {
- use std::io::Write;
- let rng = &mut rand::thread_rng();
- let out_dir = PathBuf::from(env::var_os("OUT_DIR").unwrap());
- let out_file = out_dir.join(format!("{}.rs", T::name()));
- let contents = mk_tests::<T, _>(NTESTS, rng);
- File::create(out_file)
- .unwrap()
- .write_all(contents.as_bytes())
- .unwrap();
- }
- }
- #[cfg(feature = "c")]
- mod c {
- extern crate gcc;
- use std::collections::BTreeMap;
- use std::env;
- use std::path::Path;
- struct Sources {
- // SYMBOL -> PATH TO SOURCE
- map: BTreeMap<&'static str, &'static str>,
- }
- impl Sources {
- fn new() -> Sources {
- Sources { map: BTreeMap::new() }
- }
- fn extend(&mut self, sources: &[&'static str]) {
- // NOTE Some intrinsics have both a generic implementation (e.g.
- // `floatdidf.c`) and an arch optimized implementation
- // (`x86_64/floatdidf.c`). In those cases, we keep the arch optimized
- // implementation and discard the generic implementation. If we don't
- // and keep both implementations, the linker will yell at us about
- // duplicate symbols!
- for &src in sources {
- let symbol = Path::new(src).file_stem().unwrap().to_str().unwrap();
- if src.contains("/") {
- // Arch-optimized implementation (preferred)
- self.map.insert(symbol, src);
- } else {
- // Generic implementation
- if !self.map.contains_key(symbol) {
- self.map.insert(symbol, src);
- }
- }
- }
- }
- fn remove(&mut self, symbols: &[&str]) {
- for symbol in symbols {
- self.map.remove(*symbol).unwrap();
- }
- }
- }
- /// Compile intrinsics from the compiler-rt C source code
- pub fn compile(llvm_target: &[&str]) {
- let target_arch = env::var("CARGO_CFG_TARGET_ARCH").unwrap();
- let target_env = env::var("CARGO_CFG_TARGET_ENV").unwrap();
- let target_os = env::var("CARGO_CFG_TARGET_OS").unwrap();
- let target_vendor = env::var("CARGO_CFG_TARGET_VENDOR").unwrap();
- let cfg = &mut gcc::Config::new();
- if target_env == "msvc" {
- // Don't pull in extra libraries on MSVC
- cfg.flag("/Zl");
- // Emulate C99 and C++11's __func__ for MSVC prior to 2013 CTP
- cfg.define("__func__", Some("__FUNCTION__"));
- } else {
- // Turn off various features of gcc and such, mostly copying
- // compiler-rt's build system already
- cfg.flag("-fno-builtin");
- cfg.flag("-fvisibility=hidden");
- cfg.flag("-fomit-frame-pointer");
- cfg.flag("-ffreestanding");
- cfg.define("VISIBILITY_HIDDEN", None);
- }
- // NOTE Most of the ARM intrinsics are written in assembly. Tell gcc which arch we are going
- // to target to make sure that the assembly implementations really work for the target. If
- // the implementation is not valid for the arch, then gcc will error when compiling it.
- if llvm_target[0].starts_with("thumb") {
- cfg.flag("-mthumb");
- if llvm_target.last() == Some(&"eabihf") {
- cfg.flag("-mfloat-abi=hard");
- }
- }
- if llvm_target[0] == "thumbv6m" {
- cfg.flag("-march=armv6-m");
- }
- if llvm_target[0] == "thumbv7m" {
- cfg.flag("-march=armv7-m");
- }
- if llvm_target[0] == "thumbv7em" {
- cfg.flag("-march=armv7e-m");
- }
- let mut sources = Sources::new();
- sources.extend(
- &[
- "absvdi2.c",
- "absvsi2.c",
- "addvdi3.c",
- "addvsi3.c",
- "apple_versioning.c",
- "clzdi2.c",
- "clzsi2.c",
- "cmpdi2.c",
- "comparedf2.c",
- "comparesf2.c",
- "ctzdi2.c",
- "ctzsi2.c",
- "divdc3.c",
- "divdf3.c",
- "divsc3.c",
- "divsf3.c",
- "divxc3.c",
- "extendsfdf2.c",
- "extendhfsf2.c",
- "ffsdi2.c",
- "fixdfdi.c",
- "fixdfsi.c",
- "fixsfdi.c",
- "fixsfsi.c",
- "fixunsdfdi.c",
- "fixunsdfsi.c",
- "fixunssfdi.c",
- "fixunssfsi.c",
- "fixunsxfdi.c",
- "fixunsxfsi.c",
- "fixxfdi.c",
- "floatdidf.c",
- "floatdisf.c",
- "floatdixf.c",
- "floatsidf.c",
- "floatsisf.c",
- "floatundidf.c",
- "floatundisf.c",
- "floatundixf.c",
- "floatunsidf.c",
- "floatunsisf.c",
- "int_util.c",
- "muldc3.c",
- "muldf3.c",
- "mulsc3.c",
- "mulsf3.c",
- "mulvdi3.c",
- "mulvsi3.c",
- "mulxc3.c",
- "negdf2.c",
- "negdi2.c",
- "negsf2.c",
- "negvdi2.c",
- "negvsi2.c",
- "paritydi2.c",
- "paritysi2.c",
- "popcountdi2.c",
- "popcountsi2.c",
- "powixf2.c",
- "subvdi3.c",
- "subvsi3.c",
- "truncdfhf2.c",
- "truncdfsf2.c",
- "truncsfhf2.c",
- "ucmpdi2.c",
- ],
- );
- if target_os != "ios" {
- sources.extend(
- &[
- "absvti2.c",
- "addvti3.c",
- "clzti2.c",
- "cmpti2.c",
- "ctzti2.c",
- "ffsti2.c",
- "fixdfti.c",
- "fixsfti.c",
- "fixunsdfti.c",
- "fixunssfti.c",
- "fixunsxfti.c",
- "fixxfti.c",
- "floattidf.c",
- "floattisf.c",
- "floattixf.c",
- "floatuntidf.c",
- "floatuntisf.c",
- "floatuntixf.c",
- "mulvti3.c",
- "negti2.c",
- "negvti2.c",
- "parityti2.c",
- "popcountti2.c",
- "subvti3.c",
- "ucmpti2.c",
- ],
- );
- }
- if target_vendor == "apple" {
- sources.extend(
- &[
- "atomic_flag_clear.c",
- "atomic_flag_clear_explicit.c",
- "atomic_flag_test_and_set.c",
- "atomic_flag_test_and_set_explicit.c",
- "atomic_signal_fence.c",
- "atomic_thread_fence.c",
- ],
- );
- }
- if target_env == "msvc" {
- if target_arch == "x86_64" {
- sources.extend(
- &[
- "x86_64/floatdidf.c",
- "x86_64/floatdisf.c",
- "x86_64/floatdixf.c",
- ],
- );
- }
- } else {
- if target_os != "freebsd" && target_os != "netbsd" {
- sources.extend(&["gcc_personality_v0.c"]);
- }
- if target_arch == "x86_64" {
- sources.extend(
- &[
- "x86_64/chkstk.S",
- "x86_64/chkstk2.S",
- "x86_64/floatdidf.c",
- "x86_64/floatdisf.c",
- "x86_64/floatdixf.c",
- "x86_64/floatundidf.S",
- "x86_64/floatundisf.S",
- "x86_64/floatundixf.S",
- ],
- );
- }
- if target_arch == "x86" {
- sources.extend(
- &[
- "i386/ashldi3.S",
- "i386/ashrdi3.S",
- "i386/chkstk.S",
- "i386/chkstk2.S",
- "i386/divdi3.S",
- "i386/floatdidf.S",
- "i386/floatdisf.S",
- "i386/floatdixf.S",
- "i386/floatundidf.S",
- "i386/floatundisf.S",
- "i386/floatundixf.S",
- "i386/lshrdi3.S",
- "i386/moddi3.S",
- "i386/muldi3.S",
- "i386/udivdi3.S",
- "i386/umoddi3.S",
- ],
- );
- }
- }
- if target_arch == "arm" && target_os != "ios" {
- sources.extend(
- &[
- "arm/aeabi_cdcmp.S",
- "arm/aeabi_cdcmpeq_check_nan.c",
- "arm/aeabi_cfcmp.S",
- "arm/aeabi_cfcmpeq_check_nan.c",
- "arm/aeabi_dcmp.S",
- "arm/aeabi_div0.c",
- "arm/aeabi_drsub.c",
- "arm/aeabi_fcmp.S",
- "arm/aeabi_frsub.c",
- "arm/bswapdi2.S",
- "arm/bswapsi2.S",
- "arm/clzdi2.S",
- "arm/clzsi2.S",
- "arm/comparesf2.S",
- "arm/divmodsi4.S",
- "arm/divsi3.S",
- "arm/modsi3.S",
- "arm/switch16.S",
- "arm/switch32.S",
- "arm/switch8.S",
- "arm/switchu8.S",
- "arm/sync_synchronize.S",
- "arm/udivmodsi4.S",
- "arm/udivsi3.S",
- "arm/umodsi3.S",
- ],
- );
- }
- if llvm_target[0] == "armv7" {
- sources.extend(
- &[
- "arm/sync_fetch_and_add_4.S",
- "arm/sync_fetch_and_add_8.S",
- "arm/sync_fetch_and_and_4.S",
- "arm/sync_fetch_and_and_8.S",
- "arm/sync_fetch_and_max_4.S",
- "arm/sync_fetch_and_max_8.S",
- "arm/sync_fetch_and_min_4.S",
- "arm/sync_fetch_and_min_8.S",
- "arm/sync_fetch_and_nand_4.S",
- "arm/sync_fetch_and_nand_8.S",
- "arm/sync_fetch_and_or_4.S",
- "arm/sync_fetch_and_or_8.S",
- "arm/sync_fetch_and_sub_4.S",
- "arm/sync_fetch_and_sub_8.S",
- "arm/sync_fetch_and_umax_4.S",
- "arm/sync_fetch_and_umax_8.S",
- "arm/sync_fetch_and_umin_4.S",
- "arm/sync_fetch_and_umin_8.S",
- "arm/sync_fetch_and_xor_4.S",
- "arm/sync_fetch_and_xor_8.S",
- ],
- );
- }
- if llvm_target.last().unwrap().ends_with("eabihf") {
- if !llvm_target[0].starts_with("thumbv7em") {
- sources.extend(
- &[
- "arm/adddf3vfp.S",
- "arm/addsf3vfp.S",
- "arm/divdf3vfp.S",
- "arm/divsf3vfp.S",
- "arm/eqdf2vfp.S",
- "arm/eqsf2vfp.S",
- "arm/extendsfdf2vfp.S",
- "arm/fixdfsivfp.S",
- "arm/fixsfsivfp.S",
- "arm/fixunsdfsivfp.S",
- "arm/fixunssfsivfp.S",
- "arm/floatsidfvfp.S",
- "arm/floatsisfvfp.S",
- "arm/floatunssidfvfp.S",
- "arm/floatunssisfvfp.S",
- "arm/gedf2vfp.S",
- "arm/gesf2vfp.S",
- "arm/gtdf2vfp.S",
- "arm/gtsf2vfp.S",
- "arm/ledf2vfp.S",
- "arm/lesf2vfp.S",
- "arm/ltdf2vfp.S",
- "arm/ltsf2vfp.S",
- "arm/muldf3vfp.S",
- "arm/mulsf3vfp.S",
- "arm/nedf2vfp.S",
- "arm/nesf2vfp.S",
- "arm/restore_vfp_d8_d15_regs.S",
- "arm/save_vfp_d8_d15_regs.S",
- "arm/subdf3vfp.S",
- "arm/subsf3vfp.S",
- ],
- );
- }
- sources.extend(&["arm/negdf2vfp.S", "arm/negsf2vfp.S"]);
- }
- if target_arch == "aarch64" {
- sources.extend(
- &[
- "comparetf2.c",
- "extenddftf2.c",
- "extendsftf2.c",
- "fixtfdi.c",
- "fixtfsi.c",
- "fixtfti.c",
- "fixunstfdi.c",
- "fixunstfsi.c",
- "fixunstfti.c",
- "floatditf.c",
- "floatsitf.c",
- "floatunditf.c",
- "floatunsitf.c",
- "multc3.c",
- "trunctfdf2.c",
- "trunctfsf2.c",
- ],
- );
- }
- // Remove the assembly implementations that won't compile for the target
- if llvm_target[0] == "thumbv6m" {
- sources.remove(
- &[
- "aeabi_cdcmp",
- "aeabi_cfcmp",
- "aeabi_dcmp",
- "aeabi_fcmp",
- "clzdi2",
- "clzsi2",
- "comparesf2",
- "divmodsi4",
- "divsi3",
- "modsi3",
- "switch16",
- "switch32",
- "switch8",
- "switchu8",
- "udivmodsi4",
- "udivsi3",
- "umodsi3",
- ],
- );
- // But use some generic implementations where possible
- sources.extend(&["clzdi2.c", "clzsi2.c"])
- }
- if llvm_target[0] == "thumbv7m" || llvm_target[0] == "thumbv7em" {
- sources.remove(&["aeabi_cdcmp", "aeabi_cfcmp"]);
- }
- let root = if env::var_os("CARGO_FEATURE_RUSTBUILD").is_some() {
- Path::new("../../libcompiler_builtins")
- } else {
- Path::new(".")
- };
- let src_dir = root.join("compiler-rt/lib/builtins");
- for src in sources.map.values() {
- let src = src_dir.join(src);
- cfg.file(&src);
- println!("cargo:rerun-if-changed={}", src.display());
- }
- cfg.compile("libcompiler-rt.a");
- }
- }
|