add 5 benchmarks of small, medium and large sizes

This commit is contained in:
gluax 2022-02-02 10:44:54 -08:00
parent 5d3d93efbc
commit 918cc845c5
16 changed files with 2525 additions and 3 deletions

291
parser/benches/large_1.leo Normal file
View File

@ -0,0 +1,291 @@
type g8SH = u8;
type V8fkp = u128;
const vxlan = 13658i16;
circuit sylcl {
bTxd7: bool,
tfTQr: bool,
l_Dfk: u32,
YDbf: address,
}
function xGEs (
const GEF7g: i32,
eLHo5: i64
) -> i64 {
let bx6u = vRAg().0;
let rasm: L9Snz = L9Snz {};
let os4Ds: u128 = GzzO {RAyvy: '\u{6c495}', SGgTI: 3364i16, egtP: 45362813883629178786173234355737419504u128, AWm8P: '?'}.egtP;
os4Ds -= os4Ds;
os4Ds /= 255906798014072409735665528987467201281u128;
os4Ds /= 99955633017584705512543248634901668143u128;
if -49 < 74i8 || 6832u16 < 10718 {
if 59 == 214u8 && eLHo5 > 7620307708530543535i64 {
let oiM6V: i16 = vxlan;
}
bx6u -= bx6u;
if 246u8 >= 109u8 && eLHo5 == 1907427762104562352i64 {
let mcFo = -22613i16;
mcFo *= 0i16;
let gVku = GEF7g;
let RzrP = false;
RzrP = RzrP;
const pMb5 = L9Snz {};
}
let FZVVE: char = L9Snz {}.lVSr(aleo1l44kg5uyj8psnfx76reyfwxltrxgn9jmum854grpjyal2rmjmg9qdsl3ch, -60, 95u8).2;
let GDk3: bool = true;
const ZHf8: bool = [[16281139673755659036u64; (2, 1)], [6465961370876558468u64; (2, 1)], [[8138243358139830344u64], [3000896053881090062u64; 1]]] == [[7249604088430675863u64; (2, 1)], [13296609702861980977u64; (2, 1)], [3670298495564722569u64; (2, 1)]] && 116u8 > 246u8;
os4Ds -= os4Ds;
os4Ds = os4Ds;
} else if 93 != 7u8 || GEF7g < GEF7g {
rasm = L9Snz {};
let m8V0a: u16 = 6407;
for YbMQ in 4091427659..4091427666 {
m8V0a *= 0;
bx6u = bx6u;
os4Ds += os4Ds;
rasm = rasm;
}
let nS4e: i8 = L9Snz {}.lVSr(aleo1ryu48sn5dx2gzlj0ua2dwyr46vedrrquhgxy8pnz6573rv8yqvpsmf6yzw, -77i8, true? 192u8 : 85).1;
let jVsd: u32 = 3917661453u32;
} else {
const sj7Zv: field = 6936563642754163774323863008557263080068986485051214421772383532120071479321376198608464936088274231279486051362571687204548709195936208048652073445197732field;
let VVDV = vxlan;
let km18x = sj7Zv;
if 15299435342099296908u64 >= 10738044447347729216u64 && rasm.lVSr(aleo1ckzy8audkf2p6ve2u0040gvrk6mx9n0v088a3yc5x6rxmlv0pgxser0gzf, -31i8, 118u8).0 > 1395837987u32 {
if GEF7g <= GEF7g && ('\u{4133d}', 4990i16, aleo103cz6xcutagglr2e0rd0a46fnxxe6snfy05xqlardpanh4xjzqzqdkqpdz, os4Ds) != ('\u{7d}', VVDV * -2 - -25042i16, aleo10aandr8pvdg247lkmhqx0aef5ne4qlta245aynk80s4apydu559qcejjfl, 14813985053938346415046704789243138087u128) {
bx6u += 14534558459111474236125164661730846152;
VVDV /= vxlan;
let AiteH: i32 = GEF7g;
const seLUa: u16 = 23669u16;
rasm = L9Snz {};
} else if 159041408574150617959504640080391229811i128 <= bx6u || [14520, -14785i16, 3573i16] != [27584i16; 3] || VVDV > (false? 13752 : VVDV) {
let xcvaS: field = 9495245829840311343768687500773412503474341293258678863329364855536358225067251860919673558180589446104317770373242242395342021886202312053663829628088260field;
const aYuS: u32 = 3607927114u32;
} else {
km18x -= BHZjx(true, false, -55i8);
bx6u += 34857824809713610052533673270581503998;
let F6K4N: u128 = 47882796570533061725516167600161938873u128;
L9Snz::PC0R(aleo10kumj5drme862697k98qnjn4dfxgry0keh55ad7hqgf5l9l23urquakjcx, 12113665486601200705u64 - (3034261385238854337 - 11626787452540944465 / 17758492766977014633u64 * 0u64 - 826119920202656664) + 10861478653900843501u64 / 11072739276507297001u64);
}
let vIMt: i8 = -44i8;
km18x += km18x;
let q3qEF = aleo1qq4psjpe72kuwc2fs4rrerd5rxd09p90p6x3h9rwnzyl889f95xq00uatz;
} else if 208u8 - 186 * 11 ** 0 + 111u8 == 177 || 7877i16 >= (false? vxlan : vxlan) {
let NYB27 = GEF7g;
L9Snz::PC0R(aleo1egfcvnawsy6hs0nc7pjl4s5ne4k7n60luu4ratkk208fal5dpvpqun3hym, 12155192664761333265);
let nfZC: u64 = 6057621151098931675u64;
const fwAeC: i128 = 96615783596569824584153535316491335220i128;
} else {
let c4S4V: [i32; 1] = [GEF7g];
let hFQ1: char = '~';
}
}
const W6AoN: L9Snz = L9Snz {};
let zTGI: i64 = -4719638564784287794i64;
const ZarBp: g8SH = 43u8;
zTGI /= -4717776493235566297;
const s2IF: u16 = 54046u16;
let jEEwx: u32 = 2740345586;
let GYYkA: field = 11582113721009926081533744146578992580659382705948021135670314230777109797210071657532235986079542543588709204398834785431450613982848535394935363785557969field;
return eLHo5;
}
circuit L9Snz {
function PC0R (
const jevo: address,
const PAVFU: u64
) {
const wiN0: i32 = -1258333968i32;
const lB0z_: i64 = 6195651560731392364i64;
const RMYXZ = lB0z_;
const uY6e: i8 = 90i8;
let m8v8: field = 1849045753805757079652732186700785301303603036928207700497640417309568558821969407937357366825028145150583808761466176190254377612596882180695831089782965;
let VggtJ: u128 = 329104773346716025207789897721050367019u128;
if -1190335173i32 - -1745345851i32 - wiN0 == 893384766 && (3950594431634582299294459077719375579440093722520345117175266254520038272680996320138725015909501750733428689005679387750685637768487056421097594765772537, 3108834599765871073, false) == (m8v8, PAVFU, true) {
m8v8 += m8v8;
let Ht_o5: i128 = -126434771302556954181557991774406279580i128;
for ePzN in 1513798056u32..1513798074u32 {
const v5KBA: i32 = -126706873i32;
let N9Me: bool = false;
}
if 19850u16 <= 62489 || jevo != aleo1prwdx2qgu22n582kpgrg2a0kluftlsvust0q5xc0a27td7ufuy8su0g8tc && 254u8 != 117u8 {
m8v8 += m8v8;
Ht_o5 /= 11553847366431664216173263832376498087;
let mRGK5: Self = Self {};
let Skij = (55323u16, 126908632682311371168460144412966650831u128);
m8v8 *= m8v8;
let Ob5d = 2249779739u32;
} else if 43071 <= 13140u16 || 42i8 <= uY6e && VggtJ != 154955034616989135434658403414435434895u128 {
Ht_o5 += -6518746069029094677594415956468576403;
if -5143 == vxlan || lB0z_ <= RMYXZ && VggtJ != VggtJ {
VggtJ /= 157415906375046026780197645612102072420 + VggtJ / 200052657326939673132260906854658100686u128;
Ht_o5 = Ht_o5;
VggtJ /= VggtJ;
let FEcY: address = jevo;
let Ir2a = 500071970u32 ** 1u32 / 1327371589u32 * 2234521563u32 ** 1u32;
const H_Wk = 140u8;
Ht_o5 *= 1i128;
let dgMO: Self = L9Snz {};
} else if [(82i8, (168959946214662978530327896234211537106u128, (false, 12427427169985374723u64, -31456683461208515088456471787726297252i128, 56i8), (4908752618911443246697506192699588067797133636811902421444208448276619938465397710091372538939536414834528928690449062642613610859703225105481852391756372, '\u{706ea}', 4110780615))); 3] != [(7i8, (159139823899295607358682071997551895501u128, (true, 7477239449005644245u64, -98086754633827235468560233858202930964i128, -37i8), (8339532360997214503380546868946290675233376404602181916084341884293192858826000124252309397076808078470262081187984894041055791561714485960939858801444598field, 'K', 541080119u32))); 3] || aleo1v2tk5snmzp4f63c2tess4jgrppvh9amhtceknqg0lnwzpxreucqszqllch != jevo || 12504227462827476074631665974540786136397624300384090157368248825104544021070628315696049833177009832750518440263927963531548326394629426013067610843273555field != m8v8 {
VggtJ += 8257065096993585333727606071356438242u128;
VggtJ -= VggtJ;
}
let omLT = VggtJ;
const ld6U = 37u8;
const vk_Q: char = '\u{eee33}';
let qbiu = PAVFU;
} else {
const jM_M: address = aleo1sxg244usp0cx2vtdtacgm3vfayw228ga09faemh2q6tlej20fugsfa4zlc;
m8v8 += m8v8;
let O90S: char = '\u{49}';
let fFzmH: i8 = -105i8;
O90S = O90S;
let hq5x: u8 = 181;
const uZWn = aleo1w5njju0sa75nql82pld5uhz52hu3dw4st6cyx03ssvnxrs8ctsrqzntzjx;
const FAjJc = 99u8;
VggtJ += 994150734172258795168679886244864026u128;
}
let IphzC: char = '\x40';
let amRFn: u64 = 7564051209867924479u64;
amRFn += amRFn;
m8v8 += 1347255737663462458814024878372058932536755071869327526992498831547110157173;
}
const yLQS4 = -55550312298071716641145606375319507761i128;
VggtJ += 1382746757304325437648861664794573230;
//RETURN
}
function lVSr (
&self,
const VPWYz: address,
const ADX7z: i8,
const MHWK: g8SH
) -> (
u32,
i8,
char
) {
const eE25S = -3822011864922848919i64;
let uxka: u16 = 31601u16;
uxka += uxka;
if uxka <= 54663 || 73004126144557259973298592729951019722u128 >= ([93797552382304599553760067286520681501u128; 1], 4172437329985364529i64, '\n').0[0..][2624001942 / 1517112597 / 1355807694u32 * 2889503665u32 ** 1] {
const lApV: field = 6481943367152243104806590714680752346978771244964332374740256234629614754980878356122381536407948609474900709582949603889949969672871965127817496727202767;
let cGWZP: u128 = 297768269069440894845608851567366910735u128;
self = self;
cGWZP -= cGWZP;
cGWZP *= cGWZP;
let LtjA: i128 = -22748455429796320857927085170522829329i128;
} else if 6360448123073416118i64 == eE25S && '\u{34641}' == '\u{7}' {
self = L9Snz {};
} else {
uxka = uxka;
let FuVKM = vxlan;
uxka -= 97393095744128946381012954133028907306 != 255951602883594918442095360688675180909u128 || 17905u16 != uxka && VPWYz == VPWYz? false? 44721 : uxka : uxka;
}
uxka -= uxka;
let KUdYh: i16 = vxlan;
KUdYh /= vxlan;
KUdYh *= vxlan;
let VFAW = false;
return (1316647196u32, 37i8, '\x30');
}
}
function main (
y8dPm: u64,
sGaj: field
) {
let BYEm7: i8 = 97i8;
let hKmDf: address = aleo1m253gg39f4cwwud8sknlks2cn26v9sf9479l0yncaq5ukjxqzyzq2xxsnk;
const HZ9fX: u64 = 16202246012581085813u64 / 12465500443043502478u64 - (true? 15981860521684494965u64 : 6911258910006412467u64) * 0u64 * 0u64;
hKmDf = hKmDf;
hKmDf = hKmDf;
//RETURN
}
function BHZjx (
const nxhfV: bool,
OZNlW: bool,
const jOC4: i8
) -> field {
let y7gf: field = 3130031617100883476569946236122797668194325421420005827215337287002604866213025267543520081466666132894801153349496723370271679207682862665770825319434816field;
L9Snz::PC0R(aleo14zwmfwd9he3v4hjw2r7q2ctskzgjh6dwf9kc7k30l693n3jgpgpsk5yu78, 9446428592253181660);
let GlSb = y7gf;
let WUY_d: ((u32, u16, (g8SH, i16, field), u64), (u16, bool, i16)) = ((526471171u32, 7788, (19, 32726, 3434891954732353975444046757534090600268209052607533063785913738816065601863253991997648873003147300684388051350506871325750697070337976614620994165271278), 7922971368721996438u64), (50902, false, -20508i16));
GlSb = y7gf;
WUY_d.0.3 = WUY_d.0.3;
WUY_d.0.1 += WUY_d.0.1;
const Sc7C9: [u32; 1] = nxhfV? [874307396; 1] : [2630291403u32];
WUY_d.0.2.0 = WUY_d.0.2.0;
let ycp91: char = '\x14';
const DM0j: u128 = 331905196230135311940900941762579610102u128;
return WUY_d.0.2.2;
}
circuit GzzO {
RAyvy: char,
SGgTI: i16,
AWm8P: char,
egtP: u128,
}
function D_6P (w9AC: L9Snz) -> (
u32,
((i8, g8SH, i16), [char; 3], L9Snz, field),
i32
) {
const WWMs4: i128 = -6788181107836913317896185434758313415i128;
const vv_n: u8 = (60u8, 16982434322799018778u64, -22964401300164128577831495677249421197i128, -481530683i32).0;
const xHZT: i64 = -7542558825982757778;
let RA0L4 = 2253591488u32;
const JzkI: u128 = 51423136685081598067078208885837881611u128;
RA0L4 *= 0;
L9Snz::PC0R(aleo1ghg8n2kv59k7waylx9pu2juxe78khyq5mxqx4swk86wm6nld9cpszerza4, 14748858242389516977);
let gZid: sylcl = sylcl {bTxd7: true, YDbf: aleo1r42wfxvqg6h2r8sxazq332sd4fxc4ftvg0q0zsveptrcykd7syxswwf3au, l_Dfk: RA0L4, tfTQr: true};
gZid.bTxd7 = gZid.bTxd7;
let qjKhR: u32 = 2925082278u32;
let EJISu = BHZjx(true, true, -71i8);
if 3985509016058024290 == 9147622246534204847u64 || EJISu + EJISu / EJISu - EJISu + BHZjx(false, gZid.tfTQr, 96i8) * EJISu != EJISu && JzkI != JzkI {
gZid = sylcl {l_Dfk: qjKhR, tfTQr: true, YDbf: gZid.YDbf, bTxd7: gZid.tfTQr};
const p36lW = [(-814427734842719938i64, 5339320581377470661u64, 294113937729276405578547191689392764549u128); 4];
gZid.l_Dfk -= RA0L4;
let VsEWm = gZid.bTxd7;
gZid.l_Dfk **= 1u32;
const EJGTh: field = 5561661189369667961686502997982535065877055308324648778039167906404275824028130538460917576931123645230444575965776072667677113915103516873246679748569999;
EJISu /= EJISu;
return (L9Snz {}.lVSr(aleo1r20fxtjjsq4cmcz0tvc69442g3x3amd7m79ds400q4vqrqy4gsrsap5q7y, -32, vv_n).0, ((-114i8, vv_n, 10216i16), [L9Snz {}.lVSr(aleo1263sz4dh99ch5arrgk9rqju8vm3vv889c5r9w85p3wmjwmtadu9qzqa7vk, 92, vv_n).2; 3], w9AC, EJGTh), -1086114968i32);
} else if 18247u16 != 2832u16 && -2070179985i32 >= -832203371i32 || 2108854800u32 > RA0L4 {
const nmbh: u32 = 1251166277u32;
let SsR5h = gZid.l_Dfk;
let HVAa = w9AC;
return (3766010195u32, ((-105i8, 162u8, 26251), ['\u{4e}'; 3], L9Snz {}, 3783102502099847461136024093398414597616258289790210683307756458700958277778997744007793644412769648771201890253252209457549966246727682027693578962905328), 1405827686i32);
} else {
EJISu /= EJISu;
const ecan: bool = false;
return (RA0L4, ((73i8, 67u8, -28746i16), ['\\'; 3], L9Snz {}, 9939607077961044954502119705805750533325928371640903562794817944828499108518903389133383383289034846905481326089002555501553000756689627524145002624427458field), -1889793240i32);
}
}
function vRAg () -> (
i128,
(address, u16)
) {
let na_U: bool = false;
let sa7tL: [bool; 2] = [true; 2];
sa7tL[..2u32] = na_U? sa7tL : sa7tL[0..2u32];
const bZ3_ = (5062121477657524756691001991959148343560642547664575296025469558174877724273997732296925246044794229476666182584113489143775657972780129591419547290910023field, '\u{5516b}');
sa7tL[0] = sa7tL[0u32..][1u32];
const FAXX: i128 = 82723903814286642271212537939014048713;
const kENpX = aleo100khm587cspwmcafftyythvamha9z4gqrmne8hq5zqetyg3xmcpqmsjrhg;
const Sr1Ln: address = kENpX;
sa7tL = sa7tL;
return (-65993239589993742548447387951590481703, (aleo1t0r4zqurd4tkr8dqjhwk0ckzpdd7690v79f5xrstwa597u6qqspsazrgcp, 23506));
}

396
parser/benches/large_2.leo Normal file
View File

@ -0,0 +1,396 @@
type JzT3X = t5RQ;
type RaEnk = JzT3X;
type qQAv = i64;
type lLyE = VdqTF;
type m1ys8 = address;
const nI8f: (bool, u128) = (false, 138624358552358706580496409244518932936u128);
const JtPat: u8 = 22u8;
function HnaR (
ONK5A: field,
jxBI: i16
) -> (
i32,
(i16, [i16; 3], i64, u16),
bool,
[address; 2]
) {
let UiOY: u8 = 197;
const uqDfG = 244u8;
if 14 * -7i8 * 1 > 36 && UiOY == 50 {
const Nsof: u16 = 61299u16;
const xQG2 = (-78677041305034957029235253770237774612i128, Nsof);
UiOY = 61u8;
} else {
UiOY *= 0;
}
let xABE: address = aleo18na4r4tmlh5fgmznsxvfx2edplc0l6qgtvrsx632qjq02z8xc5xsx62fcr;
const k7_5F = 46213u16;
let VoTi: bool = false;
return (-189603432, (28990, [-1892i16; 3], -3751793658146050073, 53730), true, [aleo1mz2skscve8gq9d9j8lvsd3zmg4ppyewwkfwxxmlr053jjfxejg9sv9frxl; 2]);
}
function Tw0p (jCQc: char) -> (
u16,
i128,
u64,
(u16, RaEnk)
) {
let NR_C: JzT3X = t5RQ {};
let RD1U: field = 3006368756432145027093799683618550726093102506687552253093476217748623071135112833326420434244184050077234188883388733925420743627834963361535348967445941field;
const V1nN = aleo1j9y6cc02tjpljhw3qlgte9y6l4zmxv0tzh386ksvk34m8hzawczqpqgsqr;
let QI4RL: u32 = 4174894181u32;
const wUpD: i8 = -73i8;
let SZPz: u32 = 4125266212u32;
NR_C = NR_C;
const gVoY: lLyE = VdqTF {JkBcA: V1nN, vNAMH: true, qQtCF: 5057};
const BEcUt = ('\u{8}', -6708122641235748559i64, -2730500549981686507i64);
QI4RL /= QI4RL;
let lH95z: u32 = QI4RL;
return (6810u16, 122075245384760587708883454153053778463i128, 11162326899970246285u64, (15111u16, t5RQ {}));
}
circuit t5RQ {
}
function fGeK (const YKvX: i8) -> u8 {
if YKvX >= YKvX && false && YKvX <= YKvX {
let QEAS: char = '\u{d1290}';
const PzT2o = (3907343854998883480063214119544699297780621314687237535050680256515848549925979938945863859753374805327386884171897412321471780865498076822115347428113750field, -2127951728i32, 7820691722384525995u64);
}
let zYkk: i128 = -24135032554736812030416370574505501964i128;
const VOer = -22376i16;
zYkk -= zYkk;
zYkk = zYkk;
zYkk -= zYkk;
return 199u8;
}
circuit q2USj {
GoGV: bool,
aLCN: i32,
E_t6: bool,
qmz3: u8,
function GOYuA (
self,
const fY7mJ: Self,
jWmq: u16,
const nwZP: u8
) -> (
[u32; 4],
i64
) {
let Avj6N: i32 = fY7mJ.aLCN;
Avj6N = 364107726i32;
const DX9q2 = fY7mJ.qmz3;
if 483103504u32 > 2578589642u32 && aleo1m2cjlkawd5m0zl5rutsguz94y572mjj4u8lnxx2mq8pguhw4dqqsq9vcar == aleo1wnykcamqw5aghz56g8qrz90h7gqpm62zykyefp9vu85yqk2j0sqqachstx {
const IjwUB: u32 = 4065726433u32;
let c17Qz: u16 = jWmq;
const BnL_: u128 = 51761633273380017465434432628428125170u128;
let vxDm: i64 = -5494074842541052547i64;
const lMmJc: field = 125545887137495523397577547635418533381158968954640996668608928671130971517914452783158107876547411564762624046750113283173064518704428534673396909364510field;
} else if [201893701929816058901180594907743208728; 1] == [79982146642254653817983190224958060318u128; 1] && jWmq > jWmq && [aleo1qdck5ln6cpm3llqjk6mvhp6r5xltkv3syww8cfue0j7gwsusrvrqsmlh8h, aleo19cka50c6l7ua5a34lnfwhxlx2hs3jysn7pyuehf69kvv4gjwsqgqz6qzd5, aleo1y8q2w4zh2c7k9ee5fzsyeazyzmynv8wxrl2ec67lsdenhveqeuxsqjcwkp] != [aleo14d9jx649l5feffrk7s3xwyl5p3dz3dn7q2m65vyvg46y76chcqxske4jay; 3] {
let Fzyfc = -22317i16 - -25418i16 + 14121i16;
Avj6N **= 1;
const Ram7m: i32 = fY7mJ.aLCN;
const Jyap: address = aleo1hf5700rcpz68s7fspd25kat2felkmggzddstazkgmu7xt2syug8qu7nkjc;
Fzyfc *= 0;
Avj6N += (Ram7m / Ram7m / -1490396869i32) + self.aLCN * 1;
Avj6N /= self.aLCN;
const PBAT: i64 = -205621369696754507i64;
} else {
const Dqt5E = 995262057u32;
Avj6N -= self.aLCN;
let XJms = 61i8;
const vvOQZ: field = 2097735165804900312999580621838429207407595983420724021671887967978821818938171460938180437319640910570853915289167466089093039844862455656252123826976864field;
let sP0I = (jWmq, '\x76');
let S9uAD: u8 = fY7mJ.qmz3;
}
let XPlIn = t5RQ {};
let Dchf: char = '\u{79}';
const L4mb: [i64; 1] = [(4498224565295528194i64, true).0; 1];
XPlIn = XPlIn;
return ([688873667u32; 4], -7142513596480754292i64);
}
function Bchw (&self, const RwPZX: i128) -> (
u16,
i8,
i16,
i64,
char
) {
let UYSF: u128 = 262102823998991425630620909427922442176u128;
let E1hjK = 10375244632967105723169088070309024219397254573760531061153053085696174606082038377241096687473895366928875518762523866901404864961733598111880816563280455field;
let e4zkn = '\x32';
const Tyz9 = aleo1jtjc68kf2x3euxufngq0mm7szwwvhpzugqzk7ej4p4wvhym4cursppgq38;
self.E_t6 = self.GoGV;
return (2520u16, -121i8, 13444i16, -6913886128685393087i64, '\x0c');
}
}
function AXU_S () -> (
address,
field,
char,
[field; 1]
) {
const tVTY = [203u8; 3];
let OV1kp = -1213152733781511670i64;
let Xq_tC = VdqTF {vNAMH: false, qQtCF: -3948i16, JkBcA: aleo1vgkk9ymnjhhxe6vmul45rxu8d4g95euafvlqne26km9qr7m42g8qhkxkgf};
let VIrY = 17593201753785968724348147573543201683u128;
OV1kp -= OV1kp;
const Q4U3S = 27137u16;
let AlH2I: (i128, JzT3X) = (139188993752357605548144436826980887896i128, t5RQ {});
const Vsvk: char = '1';
Xq_tC = Xq_tC;
let nf2yj: address = aleo1pyhp5pgv0np0n5pvtr7hg97ukj3hpd33jtpeg8hn08wgr9g49uzqaqxllp;
return (aleo10nxyeq4s5l40wnl2vfl2llw78kgvt5enfeemlggmkkuuqhzqzsgsemhzt9, 10284116216941408283824722444823323169743229072384235793724572129107892255808365407378202665173472895512465558177101917815129958884392467286207303058249836, '🝎', [5251293705195853262669358257210379533137794199696014230716504931515180367833369101390595615074170181388161695941210696920452345567559460763086722252516477; 1]);
}
function mH2Y9 (iEfoy: u8) -> (
field,
char,
u8
) {
const fG0q3 = -59154251402565510076278685361797057569i128;
let PrNua: u8 = iEfoy;
PrNua *= 3;
PrNua -= PrNua;
PrNua *= PrNua;
if 32668u16 != 21786u16 || (aleo1j49vf34whm0m4uws0estyu4gq5tht5zx0q6qzxmdzscnclmxfg9qdgzda0, 41540, 134304434296530196734061550676303486963u128) != (aleo1xva5m9jur0a0tprwqc8nzphgzgd6skjd0q0pw5cgr4neuu6l2ygsasgpk9, 55043u16, 129033633348452456271720971239228800745u128) && 24828206122290956941869728717938262622u128 == 190550268981330710707990793850974074495 {
let FFxXY: i128 = fG0q3;
}
const mu6N = [7582669102660056372947255416050366024078733101207257721015648696292977286038066716759935417295636191557803704683778990632154263740251772206823891196733587field, 8196660721793919824431109574792746081235843603331574262589237067642966218636776362612899587315350318796338078462915808190066779316191244649686894554175818field, 7243540293239857928937388141203501039817875319585790175435641863324995357870510220128659842790875126815373993172381399497896402138463576231151096997987235field];
const Bpf8B: RaEnk = t5RQ {};
return (11817726415298897201781763882612161235674380541753244883813987091658618975514747358698825992261995321821959028187112813486614880508876689770337142994146408field, '\u{105181}', 212u8);
}
circuit VdqTF {
vNAMH: bool,
JkBcA: address,
qQtCF: i16,
function XBi3v (
const SLNe2: u64,
const ZceI: u8,
const BU9w: q2USj
) -> (
u128,
i32
) {
const iELE: ((u32, char), u128, i64) = ((384601192u32, '\u{5d}'), 260866785695740709874051028796502206859u128, -321465745518097240i64);
let YfiVq = iELE.1;
const iH8i = 47086u16;
YfiVq *= 0u128;
let Us69 = BU9w.qmz3;
const gt_QR: i64 = iELE.2;
let z26R: u16 = iH8i;
const CwF6T = 2122017455351828831u64;
Us69 = Us69;
let a19dG = -86613533756289588059622956126783773336i128;
if a19dG == -49319611420542273374035057559272823755 && SLNe2 <= SLNe2 && -23356 != -16419i16 {
let kX9E: char = iELE.0.1;
let AdkEx: [i16; 2] = [-5468i16; 2];
const UcJQG: i64 = 1017251936437173056i64;
let rm6_8: u8 = Us69;
const zgZL: q2USj = BU9w;
AdkEx[..1] = [AdkEx[0u32]];
return (108204645183890682686172343964957448867u128, 1149096697i32);
} else if -31 == -69i8 || a19dG <= a19dG {
let zpnQ: u8 = 72;
a19dG += 84542379573227848725665999581434532730;
if iELE.0.1 == '{' && BU9w.E_t6 != !false && 100 >= (q2USj {aLCN: [(4158624514u32, 123278280530457701497833478904269469213u128, 375400254i32, 4030338526369534919352204641539656959774203635820637603220580819386423470678850085111744039458909079319352854489628011888463617722287850191230995765822356field); 1][0].2, GoGV: BU9w.E_t6, E_t6: BU9w.GoGV, qmz3: Us69 ** 0 + BU9w.qmz3}).Bchw(-85474839122628384091136338030133571122).1 {
const j6mpM: u64 = CwF6T;
const Qjgj = CwF6T;
a19dG = a19dG;
YfiVq *= 0u128;
YfiVq *= YfiVq;
if (true? aleo1zlkfjx7kmswac8kkz6gmrpp5wdlfyjcpa82p3sxlc7t9hdpxyurqr4pm0y : aleo18846l5defv4cmp707jzfmnyphxe05y94wgqljklkd2vuhujuccqqncphly) == aleo1vvzw6wwnr4qzw3c833wzzzglnamw6rqw4frucvz3cz4ca9d3hvgsjm8xaj && iELE.1 >= iELE.1 || j6mpM <= j6mpM {
if Qjgj > Qjgj || -1777i16 <= -21839i16 {
let jmjH1 = aleo18a6ztczu0l2rc0w2dxtqf6nlgwwqe9k99tq5el7w5kcwrc0085yqkey0fv;
jmjH1 = jmjH1;
a19dG -= a19dG;
let HwJn: u64 = 17714981732057656865u64;
YfiVq = iELE.1;
let m3kTh = jmjH1;
m3kTh = m3kTh;
} else if mH2Y9(34).0 == mH2Y9(9u8).0 && 6273i16 < 4909 || -8867466881151025294i64 < gt_QR {
YfiVq += iELE.1;
a19dG -= a19dG;
} else {
let crw_: bool = true;
zpnQ -= 24u8;
const dsGM: [bool; 2] = BU9w.GoGV? [false, false] : [false, false];
}
let kJb1: char = '\x59';
a19dG += BU9w.GoGV? a19dG : a19dG;
zpnQ = 212u8;
a19dG = a19dG;
z26R = 55775u16;
let SNxJp: u8 = zpnQ;
a19dG += a19dG;
const EPCfE: i64 = -2588330871158477199;
} else {
if 8297695527096070029141173015706745148u128 < YfiVq && ('#', 42214, 15441661, 3727013545) != ('\u{59}', 34058u16, 3653945965u32, 1129351315u32) {
z26R += z26R - 55038u16 / iH8i - 30074u16;
const hNyo: char = iELE.0.1;
z26R = z26R;
} else if Us69 == Us69 || 912492226995330448 > SLNe2 {
Us69 = zpnQ;
z26R += iH8i - z26R - 0 * z26R / iH8i / z26R;
const B1Hx: u128 = iELE.1;
let V9bJ4 = BU9w.E_t6;
} else {
const YHwJ7: i64 = 8808493453600301821i64;
zpnQ += zpnQ;
const mCw1_ = 7801278669036649611368151749591863685236870578853066004483602881165648711426811156956719869085171471031126066717127183381568375078432206971070288097037807field;
YfiVq -= YfiVq;
z26R -= z26R;
a19dG += a19dG;
let zHNJ = iELE.0.1;
let wI7u: field = 2550144609268528440691705040114940648343270796680326402121986343650268171471569132206972126710945335689980818687697891282702140492021153719137048087792240field;
}
}
const LkcEj = iELE.1;
}
for SogB in iELE.0.0..384601214 {
let DYkE: u128 = iELE.1;
const kAOX = BU9w.E_t6;
DYkE -= DYkE;
const M59dm: (u16, u64, field) = (43488u16, 9124896517185954065u64, 10561644927788416398392784857829962551661255265035645354800005079247111969376265845407072644801592007585225067672023612023814003754382765372559116699973115field);
const JaobB = BU9w.aLCN;
let WvXP = SLNe2;
let VO6G: u128 = YfiVq;
let ffilS: u16 = M59dm.0;
let YZOB: [RaEnk; 1] = [t5RQ {}; 1];
}
let dNY4: u16 = 42664u16;
const ew3P: u16 = iH8i;
const rhMm = (-12175035427752017433810985932786769741i128, t5RQ {}, 271081707118414207u64, t5RQ {});
if CwF6T == 11331100544714433941u64 && -137675837326651778150405129011408487179 <= a19dG || ew3P > ew3P {
const EDvW_: i64 = gt_QR;
let uo2t: i8 = -49i8;
let Df3aR = CwF6T;
const O95wG: u128 = 233656278189081722025096788379753584619u128;
zpnQ *= 2;
if [YfiVq; (1, 4)] != [[169806268696379052753386048486355766015u128; 4]] && O95wG == O95wG {
a19dG = rhMm.0;
const F9OI8 = 7722095094283521054i64;
dNY4 = ew3P;
return (208326420935540144401016536701458059817, -982099885i32);
} else {
dNY4 /= iH8i;
const Bib0s: (u8, i32) = (17u8, BU9w.aLCN);
let drCDJ: u8 = mH2Y9(59).2;
return (161370180874192340940279967916022560712u128, 824395561i32);
}
} else {
Us69 **= 0u8;
if 13374625417223606661203178669122357262895208428058127395102070813150800996346310387528492920172705731913360080696233776310891992358563843352652013188713944field == 263532422099937944708673518073513763117335195026879259697639252603769892703299683875517609580006174666409952835928025508899712918393480532217337922966555 || 1096149508u32 != 2994358812u32 || [12890087337307472884436170949641374530429153345545555376245573207602294126747170115789551329058532240766554606961796542359650950559524558773090959768475930field; 1] == [2143632458517463038479141456562071005118430667816722632824939540043109994093969259778518202045640720180325070912765589063054454459930550396018099750062403] {
let L_TyE = zpnQ + ZceI / mH2Y9(zpnQ).2 ** Us69;
z26R -= dNY4;
z26R += iH8i;
dNY4 += 16917u16;
dNY4 -= iH8i;
return (41882921589805161698106929041066935475u128, -1250228558i32);
} else if iELE.0.1 != iELE.0.1 || iELE.1 <= 112733576472926129085561582397187256731 && rhMm.0 <= 156193507662835091964445626817294215008 {
if iELE.0.0 != iELE.0.0 && iELE.2 < iELE.2 && 20 < 136u8 {
dNY4 **= 0u16;
let JlUA: address = aleo1vdwy8d4xa25z933kwtrfa2rcue76y4enuqzpt2wcawnpah3wzsqq2mva5a;
const flZpN = (4615902933436516462u64, [1051606236738913649i64; 4], 52700u16);
Us69 *= mH2Y9(74u8).2;
let rvGR: (i32, VdqTF, u16, u8) = (BU9w.aLCN, Self {JkBcA: JlUA, vNAMH: BU9w.E_t6, qQtCF: 28341i16}, dNY4, mH2Y9(zpnQ).2);
} else if CwF6T < SLNe2 || -60168501559691069371405162360254879048 < -161477792457033742618657363363311658871i128 {
let XWlHi: i64 = gt_QR;
let rudj: address = aleo1lfwytf44azjrgv506dta4amsu58k3eex9dp33hg05jud25crxuxs80nrp6;
}
const dFd0: address = aleo1jeyl5j4r9u6hqz5jk3t6kla3jff5vgvn63lped7dsdwhqp4auupqsyaj5e;
const Fj_t = 26i8;
YfiVq *= YfiVq;
dNY4 /= dNY4;
return (251797454112440413890352461173202213335, 927710880i32);
} else {
dNY4 **= 30488 / dNY4 + 29821u16 - 27432u16 - 2353u16 + q2USj {GoGV: BU9w.GoGV, E_t6: BU9w.GoGV, aLCN: BU9w.aLCN, qmz3: 83}.Bchw(154446541901057916622609095185682224927).0 - 2555u16;
Us69 = ZceI;
Us69 *= 0;
const k85V: address = aleo1gtres8rsyj6d6jz5y3g3y9tjqsrr7tud2kvtzv2w2c9d46g865xq32n37e;
z26R = ew3P;
return (206704597053005722166881401158050055285u128, 1164596760i32);
}
}
} else {
if (71, 2881902654u32, -2069668436, 92123972876894013803446307211773509241) != (131u8, 3282192165u32, -2129422448i32, 43305229915134948318570373955312734854u128) && BU9w.qmz3 > 189 {
Us69 -= 49u8;
const JYg1D: i16 = -2604i16;
const rliN7: VdqTF = VdqTF {vNAMH: BU9w.GoGV, qQtCF: -24022i16, JkBcA: aleo1eujyhsjffg9r7tkxgmfurg3mt8c7nvc03a2lgzsgqe0r3sp8lvxqc5qdmh};
z26R = z26R;
let f3kA: u64 = CwF6T;
YfiVq = YfiVq;
} else {
const VqQ9j: u64 = CwF6T;
z26R = z26R;
}
const RAtF: u64 = SLNe2;
a19dG = a19dG;
let wP8M = RAtF;
const ku4m: [u8; 1] = [BU9w.qmz3; 1];
return (138950913523788282516433261892988500386u128, BU9w.aLCN);
}
}
function M5uyg (
&self,
const okvyq: address,
const jLfv: address
) -> (
[u16; 1],
field,
u32,
address,
i64
) {
const uTtoZ: u32 = 2911953024u32;
self = Self {vNAMH: HnaR(9637107400116582286875632406821960049552027667572334234709696347580021917799394395119248241957821783181912394721554018583849251698821030898138872231958121, -484i16).2, JkBcA: aleo1l37vuw8u8d7plfhcfzjt8m0qwfe3j8u4aufm9xqtvsghu5svdq8qx53uzl, qQtCF: 22825i16};
self.vNAMH = self.vNAMH;
self.vNAMH = true;
const kJJp: field = 11645589667993280099034622824350749720911055347704063229918455679843827052479299776284340059356896792159135506144424390068971515703723527659351438790152783field;
self.vNAMH = self.vNAMH;
self = self.vNAMH? self : self;
const XicT: char = '\x3a';
self.qQtCF /= self.qQtCF;
return ([26235u16], 10204220262695726749783274260328053259745286134580082341779447510196179136312755669231619017189600069545303530663107245149667915069169858552950905395161580field, 92907414u32, aleo16nlemverjfhlqlezej0ncfynxgcnlu5nk9n3ag6l8c5m7uuk8qyq84sh5n, -3147978309964363954i64);
}
}
function main (
nq60Q: i8,
lVdR: i32
) -> (
i8,
i16
) {
const HKkwa: u128 = nI8f.1;
const V03E: i8 = -79i8;
const OjYjs: (u16, u16) = (61993u16 + 36672u16 * 0u16 / (49290u16 - 1647u16 + 5273u16 + 64600u16 / 28457u16), 10262u16);
let fz_h: qQAv = 1882284745174847260;
fz_h *= -1i64;
let Yw2dn: i16 = -297i16;
let er63n: m1ys8 = aleo1yl8g8c3scda0e9gta5dxn49xm29avlwc6ngzr6l3yflmzraktygq2qaks4;
Yw2dn = Yw2dn;
const HeMx: u8 = 55u8;
let AJTYt: u64 = 4813604680719586955u64;
return (V03E, Yw2dn);
}

356
parser/benches/large_3.leo Normal file
View File

@ -0,0 +1,356 @@
type f7emM = i32;
type D7DUI = field;
type eJa93 = u32;
type R9gK = i8;
const KN5GV: u8 = 135;
const HIvz: u16 = 8353u16;
const RxDY: i128 = 160507423339819228254499907855942116643i128;
function FCIe (
const UVuLE: char,
const F9oz: D7DUI,
j9xg: u128
) -> (
(i64, i8, u128, i8),
char,
i128,
i16
) {
const HUPGM: [field; 2] = [13277594549785768136284430178007837859568136834230341432435178881596844874513004667327467035429833750272956397180760385366596119340548168128876632009997790field, 1422581498637680138044229982545977777417953390362474916059262745889909423177974455160773650800419815223963856164884271573917800433866887521655476469172219field];
let zOaeh: u64 = 2447328702336489745u64;
const drQQ: u32 = 3787261625;
zOaeh /= zOaeh;
zOaeh += 12692165764150258137;
const grLX6: u16 = 55650u16;
zOaeh *= 10578752206098725527u64 - zOaeh / 15360172840497151888u64 * 0 / zOaeh / 15868540033809659835 - 10578752206098725527u64;
zOaeh += (zOaeh - zOaeh + zOaeh + zOaeh) + zOaeh / 17962297468044929180;
let Z7cF: u8 = 186;
zOaeh *= 0u64;
Z7cF = Z7cF;
let co5i: f7emM = -593933979i32;
Z7cF -= Z7cF;
const WN3V5: i32 = -1943816238i32;
if grLX6 < grLX6 || -24321i16 <= -29946i16 {
Z7cF = Z7cF;
zOaeh -= zOaeh;
zOaeh = zOaeh;
co5i /= WN3V5;
if -2565301346371103071i64 != 5669173694005880994i64 || 2242759494058485131623600955976083003446883139676356950994987610980627965999678277966408450558596707449282885603220282725974464948026399614490986096065319 == HUPGM[0u32..][1u32] {
co5i *= co5i;
const D8FT: u8 = ((5645836405824963934i64, c0q0D {sWaX: aleo12ngdtsa7cemyulvhsk3hfu6wv4yddheun93f9dvn7n7m6eqrzu9sv0r4aw, BEMu: 'L', K4OKX: 885192667795883897u64}, (-109723950938405130273438859813497633393i128, -5739653383984923764i64, 37u8)), (836836554u32, -2194483750600446187i64, c0q0D {sWaX: aleo1dzmz8f7g2zeeqyluhfeaqvs2t95se9ltr9pfn5sv3d2qdzzdtggqgu2sfl, BEMu: '\x4a', K4OKX: 2927923949679163273u64}), '\u{d}', (c0q0D {sWaX: aleo15ej5jxywpr8hnkh6xwlu59rkgrvxv3srcvshdh7rv6gz6vwpqypqau47pl, BEMu: '\u{b}', K4OKX: 15065814023811538003u64}, -102i8)).0.2.2;
const jyff: u128 = 26382778784425638847130040540725332486u128;
} else if -6124866717687854932 < 6013203712033162263i64 && 3068062336091201633u64 <= zOaeh && 77297194591003381904415188889274252251i128 == -122057918084905958454478185247873063516 {
zOaeh *= zOaeh;
}
Z7cF /= 98u8;
const qzYd: u8 = 24u8 * 8 * 0u8;
return ((2328001503999089507i64, -33i8, 172700950727876363058053915213183512621u128, 122i8), '\u{ce906}', 165396319652248172259296996926935483030i128, -17826i16);
} else {
const J4s1l: char = UVuLE;
return ((-6092265953157273729i64, 50i8, 264509740629002487510521118509646003552u128, 72i8), '\x3c', -65096494732343930891926872919880984891i128, -7983i16);
}
}
circuit x4x07 {
Gg_UX: u16,
CFmyP: bool,
QdLo: u64,
function tFoP (self) -> (
u64,
R9gK
) {
let YhcI: D7DUI = 10041756911293925311839456197432788172577488883953451408506250325562551174751802101892197286578765117103165134818383623324827979619522104377776795934092783field;
YhcI += YhcI;
YhcI /= YhcI;
YhcI /= uocd().0;
YhcI += 2109099897408687578464162609847863160154158737566461923793201140365366378692field;
YhcI -= YhcI;
const s5UA2: [(u128, [[address; 1]; 3]); 2] = [(78520263641837826402410359563426572088u128, [aleo19v9jtk28p9hfz0s79vldtwhj2wsv7rp6qzgwpzzzlgrcypng85qszac8wy; (3, 1)]); 2];
YhcI *= YhcI;
YhcI = YhcI;
DjAk(RxDY);
YhcI = 7044684870410365474493487720610678832328537861091382271585725006824079229854322516096295355398330317566313160532626993456065979091608689168288445268821544;
const lgfTI: bool = false;
return (self.QdLo, -118i8);
}
}
function main (
HT3GJ: bool,
nfEkY: u16,
const YkvP: i128
) -> (
u128,
i128,
i128
) {
const dU2_ = 17617960660724493139u64 / 6194278111530993676u64 / 3319391222769102077u64 + (10849170017303134999u64 * 0u64 - 0u64 + (true? 2774547757065642486 : 12774957265044619107u64) - 1605116883245688885u64) / (true? 14231626722754827495u64 : 413680800867858612u64) - 0u64;
let x5MF = 22368518u32;
x5MF *= 156;
let CREHc = HIvz;
let MGWLm = -1800392205i32;
let z8ku = -87i8;
const wyIn: field = 10733765163001415897583781334507501877579149054537923538817102911561935149880247989114716181053539561399586511949123113150518327567285269118282285194889342;
let G3uvm: R9gK = 23;
MGWLm -= MGWLm;
return (122363506321495815854865379581118597190, 141064124005494437087595272075651273306, -95739232923139212477565752848665046675);
}
function nFflF (
QFsBY: u16,
ig8AI: i32
) -> (
eJa93,
u128
) {
let wVYs: u64 = 17150358843210732735u64;
let PW7m: u8 = KN5GV;
wVYs = wVYs;
wVYs *= 0;
PW7m += 6u8;
let Ngu6p = 8943877831269998164i64;
DjAk(RxDY);
const ZPntN = 494201974525721541u64;
let BI3P = false;
Ngu6p += -6302257762972050303i64;
for dOGCq in 96378382..96378385 {
let D3p6: [i128; 4] = [RxDY; 4];
D3p6[1u32..2][0u32] /= D3p6[..3][0u32];
let vS3t: char = 'x';
let sSXA = -25469i16;
const ib6hy: address = aleo1m7zhdd6g3cadgjw8s2pxt2v62hlfula3sj607vfjyt0c9tqpj5xsl8tq35;
PW7m -= PW7m;
let aS3I: [bool; 2] = [false; 2];
D3p6[3u32] *= D3p6[1u32..0 * 2851184652u32 ** 1u32 * 0 * 0 - 0u32 + 3][0u32] * (-132398739494581955581789609515195973911 * 0 * D3p6[0..][1412242597 + 2626927325u32 + (2670766347 / c0q0D {BEMu: '\u{e630a}', K4OKX: 29999364278060019u64, sWaX: aleo18kk9pny7qjlr0ahhhc7f372vsztqd7cnzcdd6zndu7hd06rp7ygqt7dkpn}.TnP8d().1 * dOGCq / dOGCq) / dOGCq - 4039169921u32] * 0i128 + D3p6[1..][0]) / -56005947257550409174821572609407516561 + D3p6[0u32..true? 4u32 : 4u32][1] / -85246368279954515360146418422322718265i128;
}
return (390197594, 260459899954261109021372419872275322165);
}
function DjAk (const C88h: i128) {
if KN5GV > KN5GV && 123 > -90i8 && 2285689222 < 428945436u32 {
let XaiAH: u16 = HIvz;
XaiAH *= 0u16;
const aN6j: c0q0D = c0q0D {K4OKX: 8501428031508490118u64, sWaX: aleo1pcnslsg5d9qv9uss6v5glenpjrrp8emz0jjuptlgjsahzxfyfsfqgk9c5c, BEMu: '\u{106903}'};
XaiAH = XaiAH;
let v_gr: R9gK = 86i8;
let vQBrv: i8 = v_gr;
} else if false != false && '\x02' == '\u{fe0a1}' {
const Cv6t: c0q0D = c0q0D {BEMu: '\u{1c}', K4OKX: 4026017311429506330u64, sWaX: aleo1wh7fetrs63yr5ttr2d3xptkcrg30kkxnfuwhdqfhsnpsm738es9ssasnk4};
let CFDU = 2554706819u32;
} else {
const XTXW: address = aleo1h9pa4s2gvh7chmyv2p99m4x7kmjskvu87hdzs6k92p2xnzzfjq9qjj3fjj;
let anV6: R9gK = 106i8 ** 1i8 - (-65i8 / 39i8 * 6 ** 1) / 40;
anV6 *= -81 - anV6 / anV6 ** 1i8 / -71i8 * anV6 + 80;
let SVb5Q: [field; 1] = [4077384098494544667206066621428937904611008619967972987679305158596214220268495436363662321849766684235995314354942797342023149141772799315520179193258961field; 1];
let hRtIk = [XTXW; 2];
if 11360636251338665983u64 == 6182556736798576232u64 || 2818 < HIvz && 770830148i32 <= 2065969546 {
let TxKP: eJa93 = c0q0D {sWaX: aleo1phfn932fnrpqvp2kydnd9shg26yj8nx9a2fqm7yy2gffxenycy9skct8m5, BEMu: FCIe('\x40', 7762636663263793586165276257252074065285452327816447223493926745924714407746413112191982102760406793158705070144184459624393741405589435306392529691108229, 143936786489186856337147359494669603286u128).1, K4OKX: M9bVT(c0q0D {BEMu: '\x2d', sWaX: aleo1h75wyxsmkmrlzaq4qemk9k9qfq0g9nluev0vzy66qyj6tjthjy8sv3c3m9, K4OKX: 7088702153228388238u64}.Iv4zF(13735531298038916337122557094612295893u128, KN5GV).0, 9953454491133807989249392638102019888543634898766562480703825926903264258664004505403271946073825334942084724425470955112328071093521950031906547905778694).1}.TnP8d().1;
} else if 67u8 != KN5GV && 224953994693159224576578985106062181604 < 249440015587999031178484669792393069501u128 {
hRtIk = hRtIk[0u32..];
hRtIk[1..2][0u32] = hRtIk[1u32..2u32][0u32];
let b6Ssn: i16 = -12298i16;
let lYeI = (67037739923401076397062117992995431111i128, (-1925376793i32 >= -1453765275i32 && true != true? true : c0q0D {K4OKX: 5437340408171671476, BEMu: '\u{b01d7}', sWaX: aleo1uhje6jhv9ef0dcddjp2k9q5chepte9q69aj4xee88k25zt078qys0swynr}.Iv4zF(246374823898085179502856584377327541409, KN5GV).3)? c0q0D {BEMu: '5', K4OKX: M9bVT(-2046298489i32, SVb5Q[0..1u32][0]).1, sWaX: hRtIk[1u32..][0]} : c0q0D {BEMu: '\x38', K4OKX: 4525421086478513427u64, sWaX: aleo16d4u44sj28vv80ctyyy2yemleksgwv92ev7vu3qjgxqm05v8fqzq0xa6w4});
SVb5Q[0u32..][0] *= SVb5Q[0u32..][..1][0];
const OTuJD: char = 'X';
let beqKf: char = ';';
}
let tc8Gw: [u8; 1] = [249u8; 1];
tc8Gw[0..][0] += 0;
tc8Gw[0u32..][0] *= 0u8;
}
if ['\x6d'; 3] == ['\u{c9437}'; 3] || -16573 <= -25741i16 || false == false {
let gvbR: i16 = 16881i16;
gvbR = gvbR;
} else if aleo1evp22w8jtdfpzczqvz8fc34g0n5manlfvdhljha39k3740wdqursqnrza7 != aleo1mwwnplsmd8wlff6472eug06eszfz34p9mfvrl2put4kta9psyuzqn9cz5h && 5948144561193241423191637167728058303641973413071041880623282696840869970146872267108964222249247879428697403882067936500263123592142073385454010941437678 != 6741557943011570877578132335502636958361532271961769794787210902450438513460639642503171383031881141592233605006765658763340012210058645164039609847020737field && true != true {
let NtCaM = [-4293925878918538465968391374178736514i128; 4];
let uiDf = false;
let c95x = c0q0D {sWaX: aleo1q23un4fadvtem0ddrsayw2kqxkdhcp52nd8tmr0gcm83dlqwuvzq962kp7, BEMu: ')', K4OKX: M9bVT(-1443533206, 7071866406647088236012383855462583350620191614555416228696018352702230906569951503953496771707337140195132189172381742116147595416246916329483847950043580field).1};
NtCaM[..3u32][2u32] = NtCaM[0..4266700832u32 - 991705198u32 * 3u32 - 77852670 + 25603080u32 - 1239335645u32][1u32];
const WRzGY: char = '\x1f';
}
const mJg_: R9gK = -106i8;
let vph1: i16 = 16028;
const gIfT = HIvz;
let PeDJx: u8 = KN5GV;
PeDJx += 74u8;
const G2XDG = 23249i16 + -16543i16 / -26625i16;
//RETURN
}
function M9bVT (
TSy1v: f7emM,
fEkX: D7DUI
) -> (
[D7DUI; 2],
u64,
i16
) {
const O5Dl = true;
const cKumc: field = 3381959365089964659190697228976142723593135010335530288360938140490965049778958198339208056882159925115722498684489544526835331723777589908514445431444956field;
const PPide: [u64; 2] = [17661624248069496308u64, 11336616822948858680u64];
let Kq4Qa: u64 = PPide[0u32];
Kq4Qa -= PPide[0u32..991788121 / 1342912343u32 ** 2241021841 ** 0u32 + 2u32][1474344181u32 / c0q0D {K4OKX: PPide[0..2u32][O5Dl? O5Dl? 1u32 : 1u32 : 1], sWaX: aleo1hgky57732rlgr46tuvatgtmnkhthnq4frhj8ln05j3j8xas3wg8s8znnjw, BEMu: '\u{c}'}.TnP8d().1 + 655506754u32 / 2723267006 * 0u32 - 16];
const zPop2: address = aleo1d0kerkqm8qukl8v0r5t8zf8lrenfm905x42j7przjj9yzw3eqgpq9vgc3v;
Kq4Qa *= 1u64;
const fC_K: f7emM = -1916096586;
Kq4Qa += PPide[..1157284771 + 2286188359u32 + 510713829u32 + 314266907 - 4268453864][1];
let elsT: u64 = PPide[0..2][0u32];
Kq4Qa *= 7522699392864730264 / PPide[0..2][0u32] + PPide[1u32..2u32][0] / PPide[..1][0];
return ([cKumc; 2], PPide[616486984 + 1779172181 / 497863060u32 - 732489493 * 0u32 / 2650790141 - 616486987u32..1369307979 ** 1 * 2u32 - 2738615956u32][0..][1u32], -1958);
}
function uocd () -> (
D7DUI,
i128,
u16
) {
let HNDgu = aleo1wveqsn8jr2dtmg8lknwtmg6u4ecqzjl5dr3tzz0qd3yce68fuu9qvyzq69;
HNDgu = aleo1uk7ezw4dm322ky83xvpc4qlyllkhh7qzxhu3dezllkcner7cwugszrfz5y;
HNDgu = HNDgu;
const PrfI: i64 = -2415128496557894375i64;
HNDgu = HNDgu;
let sMamP: D7DUI = 3050972207293858985898027261134989740280030677253680626624233331809624642412field / 3535589802656998200414663729378559203486047389364630633320510383222552413078field - 7617669674777116573145493034288771881912278786788014099379523903600643564789field;
sMamP = 7283898863926607047829441804784735551993698333151824285033297975715284272357181121366898148613021172170773141391819075973764254354221433711234731582155247field;
HNDgu = aleo1wmcz5msr0drgm93sy3c92jgpdwc38qxnc86v6pgjrnq3h0agqcgswtq08z;
return (679694547190221403116537244681951121754919771791350316747287453042032902862057226918548953516602842317380963297974405319599274158746187816329125707432325field, 83083990534768452705048990419652926759, 21119u16);
}
circuit c0q0D {
K4OKX: u64,
sWaX: address,
BEMu: char,
function Iv4zF (
&self,
const ipMh: u128,
const iOEIN: u8
) -> (
i32,
u128,
[address; 1],
bool,
bool
) {
self = self;
self = self;
const FzZBe: i64 = -643197592149967748;
let YMf89 = FzZBe;
let Dgb9: i64 = YMf89;
const CLk2: i64 = FzZBe;
let LAWrc: i16 = 32079i16;
const qoicx: i8 = 126i8;
LAWrc *= 1;
self.BEMu = self.BEMu;
let tdal7: [u64; 2] = [8388245588918634420u64, 1453414813218090559u64];
tdal7[0..1][0] /= tdal7[3164332165u32 + 2467536369 * 0 - 995826184u32 * 3 / 2801076471u32 - 3164332164];
if 8751819645477606739465991767336590174073657295189763951167036411552106813904106536054062561076463895660387284106042310404524825109480630466867779897231432field != 2115127521050823232154380155084113954644219345940856568249006021510649777751865861552474344263416250700685708337939930923605370429167388464237111171457269field || 13018102272562842131u64 != tdal7[3604865223u32 ** 0 + 2712791363 - 2157811397 - 554979967u32..1u32][0u32] && 268189170360476989005118072433093795065 <= 259597897676373350325954734974886119976u128 {
let F0Wce: bool = false;
const wM77z: i16 = -32698i16;
let wOaL: u16 = 14538u16;
let FV28t: c0q0D = self;
tdal7[1u32..] = tdal7[1u32..];
const sLhCp: i16 = wM77z;
} else if -1598077892 < 834430274i32 || 7324314711686203691272558422022398360572523502301058715976822051136052462012834082000875535792826566421689489490288767984613382378164770887705837042049072field != 12020087347898652995061212535901462039777615210755734983434269553301944288156831518125668986272344618833804181615295707102238124262698343406193721402374171field && self.sWaX == self.sWaX {
const LskI: i64 = FzZBe;
let Bn5B: u8 = 37u8;
let F31fB: i8 = 34i8;
const zNbM_: u128 = 222889208679280605484259939391970401830u128;
let rmTy3: char = '&';
let uOun = [68726522506679376221642071634646978539u128; 4];
const pTIL: address = aleo1r89u42rfh8ptcjl93t42cvqylwq6gh3quk99tp47tm7qwxl3esps49ek4n;
uOun[2..false? true? 4 : 4u32 : 4u32] = [uOun[0u32..][3u32]; 2];
}
return (-1330563779i32, 49869787931219468050003648635684350950u128, [aleo1rqpas4pkm4hgwh6sj0gc7aycffcvqjdarnaq3jz592hu6t4s75zq3j33g2], Dgb9 > -1331431069782354307i64 || 22i8 < -54i8, false);
}
function TnP8d (self) -> (
bool,
u32
) {
const DmLm: u16 = 62276u16;
let VcDk: u32 = 2076386889u32;
let akpiC: field = 12620179876212747618015263078521181097597683180570903043504022611362055512187511418595324819926630700868621135200337445883209486801296284506852422837115795field;
akpiC *= 6795301077265828102230819445788147289785807698219041499098841944122326621697;
const kfHSZ: i128 = -11142910603737792714635157500488940642i128;
return (Self {K4OKX: 11651891261795895744, sWaX: self.sWaX, BEMu: self.BEMu}.Iv4zF(237114277218198383018381080565600145702u128, 12).4, 84191294);
}
}
circuit yoi2 {
Q9XX: address,
PeYO: char,
function d6a4a (
self,
KcEYB: u16,
fITS7: i64,
const SK3R: eJa93
) -> (
u128,
i64,
u128,
u16,
address
) {
const uYYNS: i16 = 4741i16;
const AH1JA = SK3R;
let C4eK5 = 15184229167774774597u64;
C4eK5 = 1817823583727555793u64;
if KN5GV != KN5GV && [10418; 4] == [46848u16; 4] || HIvz != ((KcEYB, 122i8), [326029612984919646259098413389086890933u128; 3]).0.0 {
C4eK5 *= 0;
let Ssjl: bool = false;
let ELoJ: field = 4022025590070768614089504591446675525797902791905376121862004687697577330817391703446136392285510032646232430939678135588587329823607772956008498800316399field;
let zWtQ = [139948959111052778124615455604631167440u128, 336271332812688144290687269674766777149u128];
const tHBUz: i16 = -25418;
DjAk(-152362983330921703465720711984467904217);
const ndmr: f7emM = -616661352i32;
zWtQ[0..2u32] = [zWtQ[..2][1]; 2];
let JPT1 = uYYNS;
} else if 30299i16 > uYYNS && 13156527554563220026766089172089410459727999823345608524237717848710505815674096741335546400445265707108640077658559127214449526812881748406135944135596729field == 1058122273492342301462951281560720684476970353691764752934697683100145379802460313917016093694918124212459745345527183177838167747998263153876566167496987field && 16516805546786858913 == 7271458256740227509u64 {
let lhh7z: u8 = 184u8;
let qhAGL: i128 = -160544352790873401672660389179862682249i128;
} else {
C4eK5 /= 1474268314080872282u64;
let G7B2 = 48135549813543607988338174687857554657i128;
}
const PBF3D = -996550112i32;
C4eK5 /= M9bVT(PBF3D, 5475802643900380806255643067094297463445681606339363686226205535604484372434222551701413509272022595621682781571585753579531751460567891941376825933384850).1;
let EsRQv: i16 = uYYNS;
const gOLj: i128 = -37892591301074942600370100541164391364i128;
return (81064696772658427187273269555356373315u128, -2307465862478716785i64, 7593952914351541530419915238062231210u128, 6779u16, aleo1gdxz3j4gf0qc977262s5j620tjsk982ahlqn6vsjt3fsvjv96y8sx7gpy5);
}
function VxgF (
self,
const iaAWb: R9gK,
const mL53A: u16,
const atdZ: ([u16; 2], [(i32, yoi2, u8, u32); 4])
) -> (
u128,
field,
i64
) {
const ku0bH: D7DUI = 11754752438259210427697170300987982028351432552797332663052854387111213342643848238421416191764489443428757402393852684480462172060453178973561128479470346;
const K4STs: address = atdZ.1[3u32].1.Q9XX;
const FWaK = 28672i16;
let Vnbm = 4873298198158298303i64;
Vnbm = -7525761477311718518;
let Atdc: bool = true;
const Zb3H: i128 = 130699347522932019666671778034147335541i128;
const c33Fz: D7DUI = ku0bH;
Atdc = Atdc;
return (82624614926581149725349075041935125160, 2706225903841093727126482902797685194990264682272662674982659458493642750020421705260015665573361316348405833721364351456196890223766219493504966898847324field, -6035924515464853359);
}
}

247
parser/benches/large_4.leo Normal file
View File

@ -0,0 +1,247 @@
type TESjC = u8;
type XgJbM = ud9u;
type KMjk = u64;
type zyIj = [gwqG; 3];
type nyaT0 = KMjk;
circuit ud9u {
function OA2a (self, const PQSm: i64) -> (
[[u8; 1]; 2],
u8,
[field; 3]
) {
const WR50u: u8 = 89;
const aJkWK: i64 = PQSm;
const CuB6: i64 = aJkWK;
let j6ofZ = true;
const wj6tp = aleo1m70z0jghu88ef4q3s2plwhm4h0vjrcat79278c0uv0hzhpngmszq3u4ft4;
let NZkd = j6ofZ;
for vwqa in 1814569814..1814569840u32 {
NZkd = j6ofZ;
let XCfL: u64 = 8940103248940692844u64;
NZkd = true;
const ihYs1: u128 = 200771802962651051493456821267800245072;
let GSEY = 74i8;
}
j6ofZ = NZkd;
let s8Yd: char = '\x29';
return ([28u8; (2, 1)], 196u8, [11613534243791163909098452126521461350059044290095737839705917403745497411067632416830425209120023881761098367665718381435033217273736816307046757848867494field; 3]);
}
function txH_ (self) {
let Bk2m: address = aleo1c52af5rl3m3kt8vvlq2wczzvnv8ef998grujqrqrn8m9pgvy4cgqjjqaql;
Bk2m = Bk2m;
let Qy_0J: address = Bk2m;
let x2r8: char = '\u{107897}';
const Fy6DX: u64 = 14051074936732436832u64;
const aF05: u128 = 58248732485744991059773190464179758341u128;
//RETURN
}
}
circuit QIdG {
mOJx: u128,
ats6: i32,
QJg2: u32,
}
function kDEUr (
u6nw: ((address, field, [(i8, u16); 1]), u128, u16, field),
E8rp: bool
) -> (
(address, char),
u16,
u32,
i32
) {
let ozt9: field = u6nw.3;
ozt9 *= ozt9;
let xOyuj: u64 = 13578623587887876151u64;
const c7OvE: ud9u = ud9u {};
const TUHZ: TESjC = 197u8;
const cnqDN = 28229i16 + (20672i16 + -8178i16 + 25460i16 ** 0i16 / -17361i16) ** 0i16 / 18989i16 ** 0i16;
xOyuj /= xOyuj;
let j6FKQ: i8 = u6nw.0.2[0u32].0;
const jhIC = aleo14d4vderqrxpgh0akgjwlzppte4hs2nhhrwcs3r4g46l95jqp5uzqt2luuy;
return ((aleo1x4j93j80z9884fqxemay9wddpek37gd5srgc6dlzafn3q8qjlcqqwrwfny, '='), u6nw.0.2[2693679475u32 - 985713480u32 + 1702181668u32 - 3410147663u32].1, 434662353u32, -464439425i32);
}
function main (elXa: i128) -> (
address,
u8
) {
let Ru9m: i128 = elXa;
let QqX1p: u16 = 29055u16;
Ru9m *= -78783067066806544842812258509769343126i128 / -5192770903335893587638550000711824419 * -9435685705221922686293311198515767869 - 23767944657469791368988025644903192385i128 + 165303230235798631663387693622639710420;
Ru9m += elXa;
QqX1p += QqX1p;
const Y9Zos: KMjk = false? 10974874796025158940 : 10392375857856966340u64;
ud9u {}.txH_();
Ru9m *= 14204762091749667829716695633555975943 - 2i128 * elXa / elXa / -51256873949263659182183494734768974285i128 * Ru9m - 14204762091749667829716695633555975943i128;
Ru9m = Ru9m;
const DOKSH: char = 'C';
let PYAL: i64 = -2994169907192071424i64;
return (aleo1fl2jl3jyphgprzcmj78j88s93fu3clx47uskj0508y5r7z6fncyq8706c6, (183u8 ** 0u8 + (true? 67 : 65u8) * 0u8 + 195u8 / 203u8) * 60u8 ** 1u8 - 0u8 * 0u8 ** (61u8 - 32u8 - 13u8 - 23u8 / 65u8 / 84u8));
}
circuit gwqG {
KWE2: (i64, i128, [i32; 2], (([address; 1], i64, address, i128), TESjC)),
PtPCd: u64,
P4SG: (i32, [(u32, bool, TESjC); 2], i32, i16),
}
function q7VG (const X4Gb: field) -> (
(u64, u32, bool),
bool,
char
) {
const lX8Z = (true? true == false && 3353090067u32 < 996765664u32 && -88376969325974228891119886691968649663i128 > 56219380627480955959740192790875220093 : 128634236493270227551216251086470968550 < 238236668216240613240346188824974400926u128 && 2776064343u32 != 3820469247u32 || 1983509902 != 2041221782u32, 4206i16, 577664685i32, 7766914339925552831i64);
let QD9Lx: i128 = 28861373067964821194095254514253894788;
let ZVLx = QIdG {QJg2: 1685667744u32, ats6: lX8Z.2, mOJx: QIdG {ats6: -1461469311i32, QJg2: 3183947795u32, mOJx: 218386195035658591842525198906231184080u128}.mOJx};
ZVLx.mOJx = 0u128 * ZVLx.mOJx * ZVLx.mOJx;
let jY4c: bool = lX8Z.0;
const mHL7 = 105i8;
ZVLx.QJg2 **= 1u32;
const ULFb1: i16 = -16154i16;
return ((6763254871531561533u64, 139486710, false), false, '\u{14e8c}');
}
function CoGhD (const WJFU1: (XgJbM, field, i64, field)) -> bool {
let eGKE: [[bool; 2]; 1] = [true; (1, 2)];
let yFrO = 2036u16;
const D7Xx: i64 = -2440702085321745647i64;
const U5YY: address = aleo16t6ygmm2m382q8uehktsp4ten9sy2cxh4j8509wtr7rmm93wcgxs8tglw3;
eGKE[233845097 / 3736404436u32 - kDEUr(((aleo1g4k309zp3vaqv0sxglrvkhs9gp9ckhw5v52jmfyu62ma4u7uey8sklw2uk, 10086291435577022007997301325406879763624457159392633804470943861697748575824794153623634261246049427910568941445685913807246737378194595481640110825434705, [(-95, 42141); 1]), 87335344619067415986073728015470963163, 19630, 3283923985777856979751544617900598730773060262053677782741241332916996598750174662203783751362944176254364190278085131518918179082964387816577837078606845), eGKE[0][0..1][0u32]).2 / 1291051558][..4113867190 ** 0u32 + 2320379293u32 - 2320379292] = eGKE[0u32..][0u32];
let oSqd = 7446728409031362153i64;
const wuEu: i128 = -50284962727750254171464282994019009082i128;
const OeE4B: TESjC = 61u8;
eGKE[0][1..2][0] = eGKE[0u32][..2u32][0u32];
if '\x51' == '\u{2629f}' || yFrO != yFrO || eGKE[0][..2u32][1u32] != eGKE[0u32][0u32..][0] {
let oT_X: bool = eGKE[0u32][0u32..][1u32];
} else if 11395076137437459228u64 <= 3181544859890518079u64 || 327243686524707468148062285179309560977u128 == [(103907580244344151265856573374909602732u128, [168u8; 2], 563298971i32, 7269i16)][2839524245 * 2903128575 ** 0u32 - 2839524245u32].0 {
eGKE[..1u32][0..1u32] = eGKE[0..1];
eGKE[0..][0u32] = eGKE[..1u32][true? 0u32 : 0u32];
eGKE[0][0u32..][1u32] = eGKE[0u32][0u32..][1u32];
eGKE[..1u32] = eGKE[..1u32];
}
if kDEUr(((aleo10jay9nh76z83chxdl8l8r6p3nycp58gcsy7pypafdx4f3mrwruxq02kmgq, 11687200791853548151965426187690814707484368141892857878855417328749648641559979695873324082015270477986014492427181621509748453362692313269740171990323847, [(-77, 26673)]), 100969797919704407328452720214024220208u128, 47339u16, 7449814326481628066684811708681677614363848253846043453728537648794454074889305814692166515007738753324687796145518810650479167278505003144898332234658154), eGKE[0][0..2][0u32]).3 < -1401848276 && 3490351887u32 <= 765619537u32 && U5YY == U5YY {
eGKE[0u32][..1][0u32] = eGKE[0u32][0..2][1u32];
eGKE[0][3509040380u32 + 3116946467 / 1074258280u32 - 1196067799 - 979950986 - 1333021597u32..][0u32] = eGKE[0][1u32..][2370601846u32 + 1040939512 * 1 * 1161196229u32 ** 0 - 3411541358u32..][0u32];
if wuEu <= wuEu || -27137 <= -3403i16 {
const Fjd8U: i16 = -10771i16;
eGKE[0u32][..2] = eGKE[..3661531842u32 ** 1u32 - 963533551u32 - 2680747516 - 5705872 + 620673541 - 632218443u32][0];
eGKE[0][1u32..][0] = eGKE[0u32][1..][0u32];
} else if 's' == '\u{2}' && 13295627065129031147473905922046883809660101779304731275924598473775312740820299976041279707365689742715884647665916823843495325467976847844967332012480195field == WJFU1.1 {
let mgFdw: u64 = 11577870450728313922u64;
const nuMI: u32 = 1362094470u32;
eGKE[0u32][(true? (1324099563400772497189259229374217694971725250319701416295264450434223251341129528798118554948314727574977981892553921980656954354366523311996343515643442, (wuEu, (true, 17140470428350360762u64, 13883709179841168205u64, true), 17063950483798517543u64)) != (9509400093295463668020117236440450287556405822150254027907795454481937657335598561644899647708487637402544140806933618697879228161024740767605485832813986field, (-80246066962419246510688450876934885634i128, (true, 14991284161801234458u64, 69576329936762586u64, true), 10776468650675250839u64)) && 76i8 <= (false? false? 90 : 84i8 : -107) || OeE4B != OeE4B? 1u32 : 1 : nuMI - 836493990u32 + 3497030522u32 - nuMI - 140025802 - 1148250509u32 - 1372260220u32)..] = eGKE[0u32][1u32..2u32];
yFrO += yFrO;
const pWuv: char = '\u{5}';
eGKE[nuMI * 1u32 + 2032926285u32 - 3395020755][..1][0u32] = eGKE[0][..1][0u32];
}
if 97961373739574987193198311452118127234i128 <= 88149576313370097628825768959778517416 || wuEu == 140907141284439736247636185407353477261i128 {
let Xlbx: i8 = eGKE[0u32][1989383460u32 ** 1u32 + 368828696u32 + 178704341u32 + 711311306u32 - 3248227803u32..][1u32]? -39 : 19i8;
const tG_o: [[u64; 3]; 2] = [8351631060358886228u64; (2, 3)];
const pofE = 34608u16;
eGKE[0][0u32..][0u32] = eGKE[0][0u32..896155508u32 + 2123742783u32 / 82464430 - 896155531][3599492765 + 469168208 + 1510002368u32 / kDEUr(((U5YY, 2490679513469546434529351683782591947174770828265084971041727633159185080151531469641950514197128009829000203315755718140996406599875799694693523808457143field, [(-98i8, 37092u16)]), 188547537262576526670523000470002996434, 36693u16, WJFU1.1), eGKE[0u32][1u32]).2 - 4068660976u32];
const mvUJr: [u128; (2, 3)] = [[192135102743266045779694578941481188480u128, 250316349057433474146799608574805237644u128, 232012296241327518720945688036673048736u128], [140153643843594627170578302698357494486u128; 3]];
const Mxoc9: char = '!';
let Id7g = (44923u16, '\u{7}', ['{'; 2], -26120i16);
if (OeE4B, 1374) == (120u8, 6487u16) || eGKE[eGKE[3587636127u32 / 1734717873u32 * kDEUr(((aleo1559jt2h8tqaqjjg8376nl8jgwc9cnr3rjvdac78s6uhfkfgdy58q8rvy34, 4893039754597810991298101006579207465658269559265607181406483387920310275546431026893580245633409806089162204882902581239961472845825571507775938543642478field, [(Xlbx, pofE); 1]), mvUJr[1][1u32..true? 1093450336 * 2u32 * 0 * 0u32 - 0u32 + 3u32 : 3u32][0], Id7g.0, WJFU1.1), eGKE[1421989724 + 2282765521 + 1 ** kDEUr(((aleo1w9ea5jhqfvlkf63dfepcvgvlhu8jymyna7t0xx6xzse8n9czgurqu32kad, 12553051198281264968411827973380821180152422734228413690022186641595490316661398472030208591140127071025109535839461656919590189834665276233238839668056456, [(-6i8, 27335)]), 169542850521684343130284369641384038448, 44392, 3727181691205833796346995232789395995452385289630482711223012484507052098570222170942893024610259723295955017055379300068326693405492410815606192348210162), true).2 * 1640793295u32 * 0 - 3704755245][0..2][1u32]).2 - 869324706u32][0..2u32][0]? 0u32 : 0u32][0u32..][1u32] != eGKE[0u32][..2][0] {
let wWeZ3: i8 = -93;
let epWx4 = kDEUr(((aleo1guhrk23u5qwjnz8e8cmp6aj9ecs9kxvxfh00qdw9x6e44wzumqgqvnlgmq, 10850347706529691777383717267011097059081564264327863153034046577664766768121774050313599314193730778947782829388854050400394295607533685465139069269751942, [(-62, 44990); 1]), 137377424026935693438565684896161687398u128, 8800u16, 3565615291890963597709054041735431255229923978841874140464190589208258967469909660677502450044900127682733477177316102377810434350705282439917460198185775), false).3;
const us0a = false;
const Achr: bool = us0a;
const f9rd: i64 = D7Xx;
const xiaW: i64 = WJFU1.2;
if Xlbx == Xlbx && epWx4 != epWx4 {
const Jrg4 = [aleo1vv9rhr2t05pdl2sfqxjg6xclky9c66pv9y92k4dzcpz5zu97m5qsccmu6c; 4];
const Tfxe: char = '\x38';
let PNP2F: i8 = Xlbx;
let QJq3: i16 = Id7g.3;
eGKE[0u32][0..][1] = us0a;
eGKE[0][0u32..][1u32] = Achr;
Id7g.2[0u32..1][0u32] = Id7g.2[0u32..2u32][1u32];
const ybJxx: i32 = -1337727605i32;
const DyNk: u128 = mvUJr[0u32][..730328362u32 + (0u32 ** 984982457u32 ** 1u32) - 3552469159u32 / 3288198542u32 - 730328359u32][1u32];
} else if -3627647846447564088 >= WJFU1.2 || [[false; 4]] != [false; (1, 4)] && U5YY == U5YY {
Xlbx += Xlbx;
let rYoi: (i16, field, i8, u16) = (15304i16, 3625259188763400242879491794840836446305612663997255866451867848521152710113680228748341130832324989157228483488461502392395711170008392647825262579121170field, 73i8, 4687u16);
let IaPsZ: u128 = mvUJr[4087366772u32 / 1121309916u32 ** 0u32 * 0u32 * 0u32 + 1u32][..1u32][0u32 ** kDEUr(((aleo1u59h09jcvx5zun6q97h34dhw96pe6e092caht7dm8xn6z3ypagrsp3rtud, 4572346816259149108743961473575372827369895305947975888914970127393094943768582719247196172453386943091243064784373101008901733439865373142568607156802019field, [(113, 60999u16); 1]), mvUJr[1][0..us0a? 2u32 : 2u32][0], yFrO, rYoi.1), eGKE[0][0u32]).2 - 3173809056u32 ** 0u32 * 0u32 ** kDEUr(((aleo1nsmvxzakh57tdg7x9uyexk90es5a03zd7dprynn8ywgj9ku8zsxs76c2xy, 13231270929795927303772027390821043840951668465103819710789039173773877854378660101481042606411970378869697545937991133234264609078057024095623687897522873field, [(-113, 26548u16)]), 187537437138539430164480165812094435266, 14634, WJFU1.3), eGKE[0u32][0..][0]).2];
eGKE[0..1u32] = eGKE[..1u32];
eGKE[0u32] = eGKE[0][..2];
Id7g.0 += rYoi.3;
const IO7T: i32 = -1775026454i32;
const nInEx = false? OeE4B : OeE4B;
Id7g.2[..2] = Id7g.2[..2u32];
} else {
eGKE[0u32][0..945890680 + (false? 975425886u32 : 3146089746) * 0 - 945890679u32] = eGKE[0u32][..1u32];
Id7g.2[1..][0] = Id7g.2[2419375510u32 / 190259160u32 * 2047118047u32 ** 0u32 / (eGKE[0u32][0u32]? kDEUr(((aleo1r8j6hc48ehlwhkqrdumwd55alh3nrvx6nntxt5jstc6yhmm88gfqcsfkru, 154607879377828207039408865230382656642460575105035392923433776823685140532600490051892006678379951323378194927013475952015512998723056973980863745309892field, [(-116i8, 61504u16); 1]), 5904036629510321716572936841925707394u128, 2700u16, WJFU1.3), eGKE[0][..3321162822u32 * 0u32 / (2302801384 ** 0u32 * 3620175210) + 1u32][0]).2 : kDEUr(((aleo16uscssuaaxy2tt5c3lqyxx2afl8z7pus4v8ygfjux2wxm3c4c5xqwl77jk, 1983703272889905468311836805795055485164861238369026076348929176230261086685907618645648838270802265401728739210864892526398594546017419684284779373009088field, [(14i8, 28890); 1]), 124153545594470221385586778552050724536, 40890, 12151836699736089119504903080018693322145319182124805149232958935846145521476055396995487179113270824459142148947281187229889156575035077182723450145657888field), true).2 / 863700377 * 0 + kDEUr(((aleo1dw2lmvrzx4y3x8fffgn8hcr22g30nqrzgmv30fz7nkadlg2qfvgq3akljz, 29732478688380494703339886956751542152110817174982441900083078413148796023106524594518819116049126014992186605540919343965295614262205387916810526553744, [(18i8, 2843); 1]), mvUJr[0][..3][1u32], yFrO, WJFU1.3), eGKE[0u32][0]).2) - 0u32];
eGKE[0u32][..2u32][1] = epWx4 != 582403777i32 || (Achr? f9rd : xiaW) > D7Xx && 123i8 < -35;
}
} else if (WJFU1.1 * WJFU1.1 + 4997196675491260686001972934572280655948598823503424920331071523371386872790 - WJFU1.3 - WJFU1.1, oSqd, tG_o[0u32][0..2u32][1], (118, -25912i16)) != (5689382486401851183244561252762534880901387299311469507557881598344946452378644684946541128384662553424523434570526106597122063636091236834612694116299023field, 688179155413492233i64, 3270723359228597020u64, (-128i8, 28672i16)) && WJFU1.1 != WJFU1.3 && -1045737702 > 1167872995i32 {
let ezOw: TESjC = 176;
Xlbx -= Xlbx;
let zkzx = wuEu;
const B6nF2 = -865346137i32 - -1506338518i32 - 1889286591i32 ** 1i32;
ud9u {}.txH_();
Id7g.2[1..2u32][0u32] = '#';
Id7g.2[..1u32][..1][0u32] = Id7g.2[0u32..][0];
Id7g.2[1..] = Id7g.2[..1u32];
} else {
let Ddgt: i64 = WJFU1.2;
if wuEu > wuEu && 4950191121644525007 * 1 + WJFU1.2 / D7Xx + D7Xx / D7Xx > Ddgt && (3445709662445339124966039955851910804825394763370142824106604387483865997362734623038345126555362147677743770469355767645697752481754904401585905040649845field, 12760233673026295027169325044258802893205988142757535481584951002852675315682976473240833997243099468269850726585895476087054478306870052616041699264571589, (false, 2362554768193566915017550509045849086111347769924326264905379896693764679651344674477430023748331696530454272840838499562488956265850450263335219724879307field, 13, 238567901038010930208120788385310382705846250069475009354407688177082454479483307254797504692991707028073390522123272123983358360941385246857379307641155), 714903914) == (WJFU1.1, WJFU1.1, (eGKE[0u32][0u32..][1u32], 4993859481089268687173684676314618051582712413234438444938276593501161971006238398744898606637894395649165706956113041208809079590082468227312357865660736field, 1u8 + 232u8 ** 0u8 - 0u8, 5146126727091813424584693335683521116282876803042677903474218001976551388900344647364718712119059322786863710041208868953765066730245850518116415104245194field), 734730659i32) {
let j4xdK: bool = eGKE[0u32][0u32..][0u32];
} else {
let rvHo: i8 = Xlbx;
}
let By0o9: u16 = Id7g.0;
if mvUJr[1][1u32..3u32][3976141290u32 * 0u32 + 888605653u32 - 888605652u32] > mvUJr[1u32][0..][0] || By0o9 > By0o9 || Xlbx == Xlbx {
const gQ0ft: address = U5YY;
} else if wuEu == -160335800677657412752072363260265326402 || [[true, false], [true; 2]] != (eGKE[0u32][1]? [[false; 2], [false; 2]] : [false; (2, 2)]) || Id7g.3 >= 14928i16 {
eGKE[0][..2u32] = [false, true];
let pBr5 = 86236897525765601521958346370883266108i128;
let K6YXq: TESjC = 139u8;
const kA2Ks: u16 = pofE;
yFrO *= 20u16;
} else {
let XfS0 = U5YY;
eGKE[0u32][0u32..][0] = false;
oSqd /= Ddgt;
eGKE[0][2714664265 + 265918089 + 0u32 ** 4284932475u32 ** 1 - 2980582353..][417523846u32 ** 1 - 1149997708u32 * 1u32 / 3327611392 - 417523846] = true;
let JziC: u16 = yFrO;
const mCeT: i64 = -9200318551018854695i64;
}
Id7g.2[1..2][0u32..][0] = '\x7a';
ud9u {}.txH_();
Id7g.2 = Id7g.2[0u32..2u32];
const miqRZ: field = WJFU1.1;
Id7g.2[1..] = [Id7g.1];
}
let MzbK1 = mvUJr[0u32][1u32];
} else if kDEUr(eGKE[0u32][4220456327u32 ** 0u32 + 920325500u32 - 775699652u32 - 144625849..1][0]? ((aleo1dtjlzdar745jwhvf5vhdeak3pdvarsr8jfx2t78hdl86x77ykqpqg2hks7, 10370644121642292595522409921374543364347459055821343939899800512248497191619899977622618403047143654246392905951500535716071354350642769414032597379940456field, [(124, 6169u16); 1]), 111931430081106712937097825451394535656u128, 48941u16, 10579470616455153490081489709169828901595762761679051557680779383918092539985392613485269936591554688538019497232448460996768405534418536976127377158654917field) : ((U5YY, 7275473031633978899663765071702200825091065017135552629728814753923979270436271907411600144211677939826486129786424145608822037266543066553809169109293374, [(-73, 37996u16); 1]), 334220435131399063682028438435658901662 - 35237824718992320204349492467850013805u128 * 2, 62465, 4069179869508152711227405075145957342268191129422751515316413854428985697968190682821997649146293743131581293119946427609890753151066109801720999353418883), eGKE[0u32][0u32..][..2u32][0u32]).2 >= 830715864 * 0 * 0u32 - 0u32 + (false? 1432888226 : 878164863u32) && aleo1f6y674hy8hqmzyk4fpwh0k4ftmh87aeqmdepp8d7mpsx8qmlxg8qetx9ch == U5YY || [861534212] != [kDEUr(((aleo122x2vcp2wx4hmzaa20l05tdczx5f2lzkfjwprd5v7j6p37cezq8qywr6hm, 1259883616915239703117645974018378541934807819884841255104732964781216350849549077253305202652484258263637381863439462808981263385937792580382458607366588, [(57, 52212u16); 1]), 135403533360244029398138511608494947816 * 1 / 49614810379508161127983409048041043135 + 10u128 * (true? 15081697512629196355910705568558178274 : 24103367896811228082909608839761037922u128) + 38265341771786524718198635716867211804, yFrO, WJFU1.3), eGKE[0][1..][0]).2; 1] {
eGKE[0][0u32] = false;
eGKE[..1u32][0u32] = [false, eGKE[0][2638085348 - kDEUr(((U5YY, WJFU1.3, [(104i8, 38695u16)]), 45449989719842721759392643706511860045u128, yFrO, WJFU1.3), false).2 - 3875654274u32 / 575679938u32 ** 0u32 * 0u32 - 2203422994]];
eGKE[0][1] = (10028293976899540510u64, 63864u16, [false; (3, 3)]).2[1][0u32..][1u32];
let lZ0a: u16 = yFrO;
let TxK3a: i32 = -1346274927i32;
}
eGKE[0u32][0..3020829405u32 / 2816243188u32 ** 1u32 * 688944866 - 688944864] = [false, false];
let Bsws: i64 = 1953871591801733083i64;
} else {
let lmZNX: i64 = 2169515082030718947;
let Qudw: address = U5YY;
eGKE[0u32][0..2u32] = eGKE[..1u32][..1][319641018u32 / kDEUr(((aleo1e8vpjm2j6jm8q5msdz4lc0rfrmtkm3vhrpjcgpfsgcrc9907pygsz4htjt, 10906489555755384996160253267530748839587906592661473642143908920262899070262611087944298991260771730528727100761548853063124541410810053582752622065153317, [(-52, 63279); 1]), 14708957858605865911442517788844336623, 15329, 11493993658091838526906957036054647156831193054796422378866703169572166986935069159121719284018670105571796350570592933752742764863914905511942988023255439field), eGKE[0][1..][0]).2 ** 1 + 2127061393u32 * 0 + 3437810752u32 - 3437810752];
let nzbS = wuEu;
}
const NNes: XgJbM = WJFU1.0;
return eGKE[0u32][1u32..2u32][0u32];
}

310
parser/benches/large_5.leo Normal file
View File

@ -0,0 +1,310 @@
type NmYjQ = i32;
const K_baB = [85i8; 3];
const Piti: bool = false? true : false;
const GC5na: ([u32; 4], [[address; 3]; 3], u32) = ([3448216382; 4], [aleo1lfftk849g5y62cpw2u2dlad8dq9am85c2pej0lfcq5va88weecyqpv8yqq; (3, 3)], 208128685u32);
const lB6c: u128 = 162298174429733905534736049855024103711u128;
const AXWu: i32 = -1572240138;
function main () -> (
char,
i16,
char,
(bool, i8, i64, i8),
NmYjQ
) {
const R9rQ: u16 = 51243u16;
const vOwHC: u16 = R9rQ;
let IA55 = 10924234741147826596u64;
IA55 = IA55;
const qBqw: u128 = lB6c;
const Obu3: u128 = lB6c;
IA55 = IA55;
IA55 += 6445515318607477828u64;
const woTZ = (-277680533i32, 5632111985474328273292436822461150888i128);
return ('\x6a', -32246, '\x0f', (false, -78, 134482078048524008i64, 54), woTZ.0);
}
circuit XzVq {
amVgA: [i64; 2],
function m0NjV (self) {
let ns7a: char = 'L';
let fk8H: u8 = 249u8;
ns7a = ns7a;
let crneu: char = '5';
let MVol: bool = Piti;
//RETURN
}
}
function yJ9T (
const LZhKs: address,
const lHpLu: i8
) {
XzVq {amVgA: [2367901415351931474; 2]}.m0NjV();
let ADccF = M6Cza {};
let un49O: u16 = 37669u16;
let uCXu: bool = Piti;
let ey4HW: u64 = 3300386990536871051u64;
let sHctQ: u32 = GC5na.0[0u32..3u32][2u32];
sHctQ += GC5na.2;
//RETURN
}
circuit M6Cza {
function JYvIz (
self,
const dK1r: char,
a05bL: bool
) -> [i128; 3] {
const Dbmn: u16 = 48758u16;
let rNzi: u64 = 9786653144134249844u64;
rNzi /= 16472830353492137635u64;
rNzi /= 10130180327331766099u64;
let jFUi = XzVq {amVgA: [-5915449544088967853i64 * -1i64 / 2362964183957924237i64, -3971487555647040975i64]};
jFUi = jFUi;
let PFCiY: field = 665449050833366163801950040274954303336695772749654704340515271878277165537536782102487505520376157097812176726897377986635097686633953549643734642663957field;
let RjR1 = Dbmn;
if [Dbmn; 3] == [27923, 44475u16, 50595] && false != a05bL {
let ZsAa = dK1r;
const B73fS: (i128, bool) = (-158089465950985221687422606333866663655i128, Piti);
jFUi.m0NjV();
let h2hwS: field = PFCiY;
return [157852251306494179667475462121192004686i128; 3];
} else if -63918006093606870481770261696050297213 < -56495550124737581022458288911787298947i128 || dK1r != dK1r || PFCiY == PFCiY {
XzVq {amVgA: jFUi.amVgA[..197696103u32 + (GC5na.0[0..2u32][1] - GC5na.0[1u32] + GC5na.0[1..Piti? 3u32 : 3u32][1u32]) + 46417396u32 - 3692329879][0u32..]}.m0NjV();
const nNfe = AXWu;
return [92541869758983182973755356221231277316i128; 3];
} else {
const F3wC = lB6c;
const eRfOf: i64 = 6615865733488357448i64;
PFCiY = 13210292667569411295876582680213285999734348468822303319353672409053939436084664250738747493105491382106522124003482872326125862769110639573504536945005026field;
jFUi.amVgA[0..][GC5na.0[0u32..4u32][2] - GC5na.0[2] - 703626867 / GC5na.0[1..4u32][2] + 1] /= jFUi.amVgA[0u32];
let X67R: u32 = 3806229975u32;
return [-57715398463157412841011851386521399516i128, -38320140130521463705530560331425690648i128, 70285342755721462672599998236995271037i128];
}
}
}
function Hv_R (
const hdIB: i32,
hGCWD: FjCxy,
Ng2Y: XzVq
) -> (
i8,
(i64, XzVq)
) {
const iRyz: i8 = K_baB[..1u32][0u32];
let Z24jc: i8 = K_baB[0u32..3u32][0u32];
Z24jc = K_baB[..2][GC5na.0[GC5na.0[..4][GC5na.0[2u32..4u32][0] / (GC5na.0[..2][0u32] - 0u32 ** GC5na.0[0u32..3u32][2]) ** 0u32 / GC5na.0[2..][930726283u32 / 2072894369 * 539781298u32 ** 0 * 0u32 + 1] ** 1 * GC5na.0[..2][0] - 3448216382u32] ** 0u32 ** GC5na.0[2..][1u32] + 2690999757u32 - 2690999757u32..3u32][GC5na.0[..4u32][0u32] * 0 / GC5na.0[1..][0u32] + 1] - 85333289u32 - 1250392080 + 1464596585u32 - 1454877115u32 - 2122210482u32];
let I4y7: u8 = 1;
let EiX0: (i16, i128, char) = (-16393i16, 157776413619505894407704989602317788511i128, 'K');
const s_3QF = 7249575175756079635i64;
Z24jc -= K_baB[(false? 2u32 : 2)..3][0];
if 8451888259556015495830721527065764415025400166428207271661929189596630352926871853508994188932966884245189345045039601784362781772864676346859074246946163field == 11012775681384774712529333893121831410089026669120068975870674724655965209337389759466846852993569820558647449740077887191573324109514103515080957367667097field && 11537533470918506307708947880126150677173025345105109319452507266700925872711339094659951244000194733571650816143210040432369657103213714690849923401527240 == 13267155018508793225600470434279136160210683842295053847708184157465110711629711349737184665975669085065149008806453969639343232025453198205738841248015753field {
let Tupk = 62263u16;
const QL3ab = Piti? aleo15493t0zw0z2kxpkv0v6t5ufzy8955vlyep8qwatl7xcysr2msgzq6al67l : GC5na.1[1][0..2][0];
I4y7 /= I4y7;
} else if 10510193118362467927702685754181902755859312520259032066366242122057602891635261901588538552529178222392629034433796480747194732401519855447280039864447190field != 10323020605364273285682111767575543276647475815895233465743149981858876233545354422470080167582462356552069862579691769248295430704410880723942383909858847 || I4y7 < I4y7 && 59 > 181u8 {
let I2qT = AXWu + -573512413i32 * -3i32;
Z24jc **= 125i8;
const tWZjx = [false; 1];
} else {
Z24jc /= K_baB[0..1][0];
I4y7 *= 231u8;
}
EiX0.1 = EiX0.1;
if 9673u16 >= 17571 || EiX0.2 == EiX0.2 || ((6605630297873056610026724284365997549292345399335935178800599738704530115800072964350790931488587647404602937455762336644170361236487728451889417256291489field, -3243570615589615825), 46788) == ((183373165870398460009473875903085947412650315657657244564477883647771846091964027549181661541602158070473387786985615260222601574919348807464992392922535field, -2224739339763290381i64), 26108u16) {
let JVWQq: bool = Piti == Piti || 108i8 >= (4481063272727283166896005434320654337479487679034546284963307730775322010606686848325521560124312457672695271817161699386892416796626182551177144682977100field, 66i8).1 || 111i8 >= iRyz;
EiX0.2 = '\r';
const zKUb: u128 = 15886401916204892493948663420208300866;
} else if I4y7 > I4y7 && GC5na.0[1] ** 1 * 0 * (1882593815u32 + GC5na.0[0u32..3u32][1u32] * 0u32 ** GC5na.0[0u32..][3] / 1u32 ** GC5na.0[0..4u32][3]) * 541123131 ** 1 >= 2557011466 || lB6c > lB6c {
let Fliam: field = (6396378861739788768752167643123248196265510649978143323098231336185876021990 - 1562253746949333604976323116241847959188129176659344651191305155144323566893field - 1907590690079466125593988264803794530863623718776019788228600481978822285979field + 2826192401061709981552707701883329449637423679161878864741672467914281024731 - 7744155930567596367555138454895265470835379008487414199545455727428494397068 / 5887382286969298091463502399117813574976696749392276217880855580177392624329field) / 8138068432985050796709811429199400527728756964199209562353182355729034161610field - 4676363783900024209476989322077524423319736925630347387334837845138297847636 * (7716393770037956249493463814426875880088065621995766965952859225009720876060 + 4054464491818517944465041925004453961450750498666581601966133390075900630291 * 6470619646586328969212970545234385916067473967938270008214262410940824854748field * 5136019809719697126337585033338630155246336585752266299393598434820183635657 * 3199363828121504572471936072786041570218898172308476844390465125426120775261field / (2870735947046075509431120577200145564983224486153161281542380005676840924255 + (Piti? 7326514850008204114193923413140668023593712788820594320620854420992269671010403885619751867126434250975412004398786396991063063100809114630960658260759184 : 287691821947227194648690594322191785809355376991124495822673931314225986843982741156194617314207885085663542930841654298382265328931537999256280842784429field) + 4111224977412177408644345424935033581093673186776072518639702215411409276491field / 6396924971239159712318152437767102244199601932533137181403685339120257803760 / 2032052115950198440446636907339521858006331115389735204024877422557742018957 / (6439397127355927479815766604033208761884791896154148632511703534770967748614 + 6823611677553532338624085026977586921458547252011571045537956888166702594766 * 5498224734100066579769005985640226311034780030805045144507141850150142945239field * 5718520185124928482804734388192245075695544323566979546232491889023610798291field * 7542226518570052291643647771726838475087911398749371995409807077080488605891field)));
} else {
const CCYf: u8 = 69u8;
const TUdx: ((i16, u32, char), i8, field) = ((-16229i16, 1376365916u32, '\u{951c4}'), 30i8, 12173002344181128654339279354796894183971985760710774565698927037560371981971617359621927577061674798615472633279532436485473795733167256616729998612175398field);
if GC5na.1[1u32][0u32..3u32][GC5na.0[..2][0 ** GC5na.0[1..][2] / GC5na.0[1u32..][1] / 2450550577] - GC5na.0[0u32..1][0] / GC5na.0[3u32..4][TUdx.0.1 / GC5na.0[0u32..4][2u32] * GC5na.0[0u32..GC5na.0[0..][3] + GC5na.0[0] ** 0u32 / GC5na.0[0u32..3u32][2] / GC5na.0[..4][2] - 3448216378][0] * 0 * 0 - 0u32] / 2332650131u32 - 3448216380] != aleo14uq2mutwp4sp6g9kn3huklt7clmk4g0xeqq5akxvxnj4vu4c0sxqrv4379 || 28410 > 30824i16 && -113383771062135197880751679502769501310i128 > 7273624671757503050848051095764363087 {
const HqWt2: u8 = CCYf;
const QRcKx: (i64, u32, u64) = (-3673578757000504846i64, GC5na.0[0u32..3u32][0u32], 6872941707062733567u64);
let VVFz = EiX0.1;
I4y7 += CCYf;
if -3207026076534034896i64 <= 3652263778919217051i64 || TUdx.0.0 < TUdx.0.0 {
let QaPU: i8 = K_baB[..3u32][Piti? 1 : 1u32];
let CyFXp: u8 = 0u8 ** I4y7 * HqWt2 * lXFx(TUdx.0.0).2;
let qhXNF: XzVq = Ng2Y;
EiX0.1 *= 0;
const s0qB: u64 = 16748477482649535899u64;
}
} else if 6023u16 != 40984u16 || I4y7 > I4y7 {
const LsidE = (XzVq {amVgA: [-6062086657179083330i64; 2]}, '𡐉', 163u8, 8183u16);
} else {
let Ibvtm: [char; 4] = ['\u{46988}'; 4];
Ibvtm[0] = Ibvtm[1u32..][0u32];
Ibvtm[3u32..] = Ibvtm[2u32..3u32];
Ibvtm[1..4u32] = ['?'; 3];
Ibvtm[..2] = ['\u{c42a7}'; 2];
let F6EV: u64 = 17128117265803594802u64;
let sbql = hGCWD;
let lsjqA: (u128, address, address) = (4559977830801778029892755119050981913u128, aleo1wv8s4kv5cyseta3579ua2l375gdshj7y4lp5vnyj8sf3v2stdcgs37q0cm, aleo1r6flxcqqjpwsrhhu2xvlpcuajj3pzfy5kuunwm3st5vdp2qnmsxqstv5ps);
}
let DULm: u32 = 2812309314u32;
let CldaL: u8 = 195u8;
}
let XUbZ = hdIB;
EiX0 = EiX0;
if 27066 > lXFx(12217).1 || 6927229215077945246u64 >= 7423605298906567602u64 * 0 * 0u64 - 0u64 {
const sRO1: u64 = 8638881537800293187u64;
let R8WQ3 = GC5na.1[1u32][0u32..3u32][(GC5na.0[2u32..][1u32] + 410433655u32 - GC5na.0[..4u32][0u32] / 2215520944u32) - GC5na.0[0u32..][GC5na.0[1u32..4u32][2u32] / GC5na.0[0u32..][0u32] ** 1u32 / 857889251u32 + 3u32] ** 1u32 / GC5na.0[3u32] / 1u32 ** GC5na.0[1u32..2u32][0u32] - 3858650035u32];
Z24jc /= -37;
return (K_baB[2u32..][0u32], (Ng2Y.amVgA[1u32..][3628841383u32 / 4123574656u32 + GC5na.0[0u32..4u32][3u32] - 3448216382u32], Ng2Y));
} else {
EiX0.0 **= 1;
const x97BK: u32 = 345049321u32;
let TJGWW: (i64, i64, u16, char) = (-2112081792003952471i64, 675970213075073906i64, 24532u16, 'Z');
const Yoph: i16 = -27924i16;
let MpPzW: u8 = I4y7;
let zFL2 = Piti;
Z24jc += K_baB[3409642267u32 / 4180980559 * 0u32];
const jmXt = 1735784169u32;
if EiX0.2 == '\u{f9517}' && 16167948181270667293u64 - (18319198699454340865 / 3088893505027334567u64 * 2160983166367418132u64 + 9515024868518284807 * 0 + 4204057007392572310) - 17972255788488367608 / 2868695264298187559u64 != 16210555867748384950 {
const Og5B: u64 = Piti? 14082318920386055479u64 : 11881386050725131201u64;
EiX0.1 *= 1;
zFL2 = Piti;
TJGWW = TJGWW;
let dW09: i64 = Ng2Y.amVgA[0];
TJGWW.0 /= -8341229632512320238;
} else {
const gHsV0: u64 = 15489463556002917073u64;
Ng2Y.m0NjV();
const Zy_s: u32 = GC5na.0[Piti? 3u32 : 3];
let tC3lK: char = TJGWW.3;
}
return (37, (-2093390865580218817i64, XzVq {amVgA: [-8123038279259036857; 2]}));
}
}
function lXFx (XK0T: i16) -> (
char,
i16,
u8
) {
let GevsK: i8 = K_baB[0u32..GC5na.0[..4u32][0u32 * GC5na.0[..GC5na.0[1u32..][1u32] + GC5na.0[0u32..][1u32] / GC5na.0[0u32..2u32][0u32] - 3448216379u32][3u32] + (18065u16 < 21604u16 && GC5na.1[0u32][1u32..2u32][0u32] != GC5na.1[Piti? 1u32 : 1][(false? 1u32 : 1)..3u32][..2u32][0u32] || (GC5na.0[..4u32][1u32] >= GC5na.0[..4u32][0u32] && -1307689122451390649i64 == 2127488539316075275i64 || K_baB[1u32..][0u32] != -51i8) == true? GC5na.0[..(Piti? GC5na.0[..3][2] : GC5na.0[(true? 2 : 2)..][1u32]) / GC5na.0[1..3226391491 ** 3528347423u32 ** 0 + 145035181u32 - 3371426668u32][2u32] + 3920272396 - 3920272395][1] : 783239167u32) / 1455575933u32 ** 1u32 - 2u32] * 0u32 + 1877417993u32 - 1877417990u32][..1u32][0u32];
GevsK **= 0i8;
let GZ9Be: FjCxy = FjCxy {};
GZ9Be = FjCxy {};
let lB8N: u128 = lB6c;
if lB8N > lB6c && '\u{14}' != '\x13' || 29836 >= (false? XK0T : XK0T) {
let txzUG: u32 = GC5na.0[2u32];
let A50Vs: u16 = 12542u16;
if 5650008019146055916554586508371930930351435245054512787396927850192656022068field - 4933227739834069390849610110138103961767173270961316895740777281238360037115field + 70431822478396507075527188341288113728009976499101402504086455300768429371field == 1590870218966073091314252912732397618743063305358546847191387592337819796667 + 2872808458803440163284803150927406551373031395178872573747154805401730941206field * 7212868918825428953927155085253730102525790498605071358132902668412984131997 + 2995581854747478141140241750009120639327102627412190809155046253592740575026field * 1824777979924669359693556898537399710828257246578657532771346569613386056695 && GC5na.1[1u32][..2][0u32] == GC5na.1[GC5na.0[2..4][0u32] + 792376471u32 - (GC5na.0[1u32..Piti? Piti? 3u32 : 3 : 3u32][0..][1u32] / 112388018 / GC5na.0[1u32..3u32][0] / 116183050 ** 1u32) ** 2807171279u32 - 4240592852][0u32..1u32][0u32] && (-6618439962282640257, 31716) != (9001458957811067500i64, 714u16) {
let u1jkn = XK0T;
GZ9Be = GZ9Be;
A50Vs /= A50Vs;
const W5ty = Piti;
GZ9Be = FjCxy {};
if lB6c > 252185208672613692740092054599750472323u128 || 3800805862554725604i64 / 4093465489338565326 * -1 * 0 > -8735765288935445631i64 && [15905i16; 1] != [-20876] {
if 503271405i32 < -1822815827i32 || 357941800873541969898682795565829563411233125965547729542360937017200033481812906459993968753506998632075420756324433909006918976184664261303953996341517 != 2985898859737055148243482254769697530770128832797044716399468557583383410819268117234438571517507247730744537292464564471428094238378600383332188425274075field {
const D5Tqt: u8 = 224u8;
const rKhFB: bool = W5ty;
const D45X = lB6c;
const vuTlx = -5634989829341940409i64;
let l4pc: field = 3031214035321266989747422688264556869165193730115967779088357747657440424579131093595423265556350362939419741625853198769891529197590822464761357748535833field;
}
u1jkn += -9708;
A50Vs = A50Vs;
A50Vs *= A50Vs;
let bcWi: address = GC5na.1[1u32][301086311u32 + GC5na.0[..4u32][3u32..][0u32] - GC5na.0[..0u32 ** GC5na.0[1u32..4u32][0u32] * GC5na.0[1u32..GC5na.0[1u32..4u32][0u32] / 3860763016u32 ** 0u32 - 3448216378u32][GC5na.0[0u32..][0u32] / GC5na.0[3u32] + 1275166309u32 ** 1u32 - 1275166310u32] * (GC5na.0[1u32..4u32][1u32] - GC5na.0[3u32..][true? 0u32 : 0u32 * GC5na.0[1u32] / GC5na.0[..2u32][1]] + 78568537u32 / 894338155u32) + 4u32][1u32..3u32][1u32] - 47545458u32 + 736110778u32 - 989651629u32..][0u32];
}
let illfz: bool = W5ty;
A50Vs += A50Vs;
} else if 157 <= 255u8 && GC5na.0[..3][2u32] > GC5na.0[2u32..3][0] {
let QSFiW: bool = Piti;
}
A50Vs = 54465u16;
for YvHu in GC5na.0[0..2][1u32]..3448216412 {
let M2JW0: u32 = GC5na.0[0u32..][2u32];
let ea5X: i32 = -1116691885i32;
if GC5na.0[1u32] > 2436904091u32 || -36116492946513054660489981462153647973 > 145836909874245468519676552562733775458i128 && 131511527684725280380205228950986952270i128 / 96382253206826283697837771167639093749i128 + 119069848725345222899291714663526773719i128 / 86075031580567774256760522683169900464 != -154504546051089382197739749201383627028 {
let ziyyO: u32 = 2445597197u32;
GZ9Be = GZ9Be;
} else if A50Vs < 49919u16 || 11858539661841911680u64 != 8066479542160191036u64 || XK0T >= -11268 {
let L2Mu2: [i8; 1] = K_baB[2u32..];
}
let xICSI = GC5na.1[0u32][..GC5na.0[2u32] + 808903237u32 / GC5na.0[0u32..][0u32] - 1u32 ** GC5na.0[GC5na.0[..4u32][3u32] / GC5na.0[0u32..][false? 0u32 : 0u32] ** 0u32 - 3448216381u32] * GC5na.0[..3u32][0u32] + 1u32][0u32];
const tpvo2: i64 = 5729090369714237708;
ea5X = ea5X;
}
txzUG **= 1u32;
lB8N -= lB6c;
}
GZ9Be = GZ9Be;
GevsK *= K_baB[4144431037u32 - GC5na.0[1..false? 4 : 4][0u32] - 240862610u32 - 455352043u32..GC5na.0[0u32] - 1625788343 * 0u32 - 3448216379u32][0u32];
return ('g', -3069i16, 85u8);
}
function nKDZF (
GQvi: i8,
const PA5e: i8
) -> (
u128,
address
) {
const Ga8b = 66u8;
const ZTrqz = (61714u16 + 1695u16 + 1705u16 + 1584u16 / 16493u16 / (35611u16 ** 0u16 + 58312u16), lB6c, (false, true, 8093244057719019961894348430889680190272144977514810266826054962064561285394847912582096010413630818468376067546881213613711423727537355713533485479686490field, 1859488065694876536u64), Ga8b);
let J95N: u128 = lB6c;
J95N *= 0u128;
let acICD = Ga8b;
J95N = ZTrqz.1;
let DMNz = K_baB[0u32..(3437263896u32 + 835594347u32 - GC5na.0[1u32..4u32][1u32]) / 1261474132u32 / GC5na.0[..2u32][0u32] * GC5na.0[..3u32][0u32] + 3u32][2u32];
let tXGsI = '\u{9d563}';
DMNz -= K_baB[2..][646416367 - GC5na.0[3..4u32][0] / GC5na.0[0..4u32][2] + 3124847898 - GC5na.0[1..4][1u32] - 323047882u32];
const jdMow: i8 = -122i8;
let hgngX: (i64, i64, i32) = (-3338157062156526977i64, 1655542284862083064i64, -826307539i32);
if -1853591717 < hgngX.2 || GC5na.0[0..3u32][0u32] >= GC5na.0[0u32..1u32][0] {
DMNz = 86i8;
const ca32: i64 = 7662664585440494512i64;
hgngX = hgngX;
hgngX.0 *= 2i64;
let U9_l = ZTrqz.2.0;
} else if -311606970 <= hgngX.2 && 1513381302355575806151475121676224619075997051620832438053416936851070376282365927807691500240864045705745854209431664169742023365721287514984843573289436field != ZTrqz.2.2 && ZTrqz.2.1 != ZTrqz.2.1 {
J95N += J95N;
}
if tXGsI != '\u{47}' && GC5na.0[0u32..4][1..4u32][2] > GC5na.2 {
J95N += 25026043934213379684868521121867068361u128;
acICD /= acICD;
let qapVn: u64 = ZTrqz.2.3;
const sPx2: u32 = GC5na.0[0u32..4u32][GC5na.0[2u32..][0u32] * 0u32 + 3618742644u32 - 3618742641u32];
hgngX.0 += hgngX.1;
hgngX.0 /= hgngX.1;
let dSHwS: field = ZTrqz.2.2;
const hgo_i: FjCxy = FjCxy {};
return (26612933517182050769569932657707698703u128, aleo1pt2e0h5r7jhm38deqgk398rwh8xqgw7jscw476g7ev3hap5r0vyqpz4578);
} else {
let hVi5i: i16 = -24207i16;
let PdJc1 = hgngX.0;
const iY7iv: u8 = Ga8b;
const YXBXv: u16 = ZTrqz.0;
const FWSp1 = -998948994i32;
DMNz -= K_baB[0u32..3][1040336326u32 + 3790109365 / 751309844u32 + GC5na.0[0u32..4u32][0u32..4u32][0u32] * 0 - 1040336329u32];
hgngX.2 /= ZTrqz.2.0? FWSp1 : FWSp1;
const jLMcn: bool = false;
let ITsX: bool = Piti;
return (J95N, GC5na.1[GC5na.0[3..4u32][0] - GC5na.0[0u32..][2] / GC5na.0[319496605 + GC5na.0[GC5na.0[1..3][0u32] * 1u32 ** GC5na.0[1u32] / GC5na.0[..404575834u32 / 1271543374u32 + 4286953846 + 1181410u32 - 4288135252][1] - 1u32..4][3u32] + 0 ** GC5na.0[1202683606u32 / GC5na.0[0] / GC5na.0[0u32..3][2u32] * GC5na.0[1..][2u32] * 0 + 1] - 3767712987..2u32][0u32] - 3448216380u32][..1][0u32]);
}
}
circuit FjCxy {
}

View File

@ -32,10 +32,11 @@ fn bench_big_if_else(c: &mut Criterion) {
c.bench_function("Ast::big_if_else", |b| b.iter(|| &ast));
}
fn bench_big_ternary(c: &mut Criterion) {
// TODO have to figure out why this causes `thread 'main' has overflowed it's stack'
/* fn bench_big_ternary(c: &mut Criterion) {
let ast = parse_ast("./big_ternary.leo", include_str!("./big_ternary.leo"));
c.bench_function("Ast::big_ternary", |b| b.iter(|| &ast));
}
} */
fn bench_big_circuit(c: &mut Criterion) {
let ast = parse_ast("./big_circuit.leo", include_str!("./big_circuit.leo"));
@ -62,15 +63,104 @@ fn bench_many_assigns(c: &mut Criterion) {
c.bench_function("Ast::many_assigns", |b| b.iter(|| &ast));
}
fn bench_small_1(c: &mut Criterion) {
let ast = parse_ast("./small_1.leo", include_str!("./small_1.leo"));
c.bench_function("Ast::small_1", |b| b.iter(|| &ast));
}
fn bench_small_2(c: &mut Criterion) {
let ast = parse_ast("./small_2.leo", include_str!("./small_2.leo"));
c.bench_function("Ast::small_2", |b| b.iter(|| &ast));
}
fn bench_small_3(c: &mut Criterion) {
let ast = parse_ast("./small_3.leo", include_str!("./small_3.leo"));
c.bench_function("Ast::small_3", |b| b.iter(|| &ast));
}
fn bench_small_4(c: &mut Criterion) {
let ast = parse_ast("./small_4.leo", include_str!("./small_4.leo"));
c.bench_function("Ast::small_4", |b| b.iter(|| &ast));
}
fn bench_small_5(c: &mut Criterion) {
let ast = parse_ast("./small_5.leo", include_str!("./small_5.leo"));
c.bench_function("Ast::small_5", |b| b.iter(|| &ast));
}
fn bench_medium_1(c: &mut Criterion) {
let ast = parse_ast("./medium_1.leo", include_str!("./medium_1.leo"));
c.bench_function("Ast::medium_1", |b| b.iter(|| &ast));
}
fn bench_medium_2(c: &mut Criterion) {
let ast = parse_ast("./medium_2.leo", include_str!("./medium_2.leo"));
c.bench_function("Ast::medium_2", |b| b.iter(|| &ast));
}
fn bench_medium_3(c: &mut Criterion) {
let ast = parse_ast("./medium_3.leo", include_str!("./medium_3.leo"));
c.bench_function("Ast::medium_3", |b| b.iter(|| &ast));
}
fn bench_medium_4(c: &mut Criterion) {
let ast = parse_ast("./medium_4.leo", include_str!("./medium_4.leo"));
c.bench_function("Ast::medium_4", |b| b.iter(|| &ast));
}
fn bench_medium_5(c: &mut Criterion) {
let ast = parse_ast("./medium_5.leo", include_str!("./medium_5.leo"));
c.bench_function("Ast::medium_5", |b| b.iter(|| &ast));
}
fn bench_large_1(c: &mut Criterion) {
let ast = parse_ast("./large_1.leo", include_str!("./large_1.leo"));
c.bench_function("Ast::large_1", |b| b.iter(|| &ast));
}
fn bench_large_2(c: &mut Criterion) {
let ast = parse_ast("./large_2.leo", include_str!("./large_2.leo"));
c.bench_function("Ast::large_2", |b| b.iter(|| &ast));
}
fn bench_large_3(c: &mut Criterion) {
let ast = parse_ast("./large_3.leo", include_str!("./large_3.leo"));
c.bench_function("Ast::large_3", |b| b.iter(|| &ast));
}
fn bench_large_4(c: &mut Criterion) {
let ast = parse_ast("./large_4.leo", include_str!("./large_4.leo"));
c.bench_function("Ast::large_4", |b| b.iter(|| &ast));
}
fn bench_large_5(c: &mut Criterion) {
let ast = parse_ast("./large_5.leo", include_str!("./large_5.leo"));
c.bench_function("Ast::large_5", |b| b.iter(|| &ast));
}
criterion_group!(
name = benches;
config = Criterion::default().sample_size(200).measurement_time(Duration::from_secs(10)).nresamples(200_000);
targets = bench_big_circuit,
bench_long_expr,
bench_big_if_else,
bench_big_ternary,
bench_long_array,
bench_many_assigns,
bench_many_foos,
bench_small_1,
bench_small_2,
bench_small_3,
bench_small_4,
bench_small_5,
bench_medium_1,
bench_medium_2,
bench_medium_3,
bench_medium_4,
bench_medium_5,
bench_large_1,
bench_large_2,
bench_large_3,
bench_large_4,
bench_large_5,
);
criterion_main!(benches);

131
parser/benches/medium_1.leo Normal file
View File

@ -0,0 +1,131 @@
const Hqyz7: address = aleo1nr8us4x0p4yyd99qa878e06jwddqr79gavznpxc6degn2gcv8syseq4dqu;
const wGhr: u128 = 4235667942033320943751708062300111155;
function main (
kwbCc: i16,
EYoq: i16
) -> (
bool,
i8
) {
const i6Nx: u128 = 19653594751644457897907893417628551201u128;
const B4lTU: u16 = 16195u16;
const ZSXY: i64 = 7202018956140836812i64;
const Pa6v6: i64 = ZSXY;
let ZDMo: address = aleo1l0c74fedxeu6furwlu7rll54dfctkq3zdkxu7t99wljkjdu2mvyqea2tme;
let r4MO: address = Hqyz7;
ZDMo = ZDMo;
let lemUy = -117953486944586144083570938522518395328i128;
const Gps9 = -88i8;
return (false, -44);
}
function n1L8 (hmFy: i16) -> (
[(u128, field, (field, i16), i128); 1],
i32
) {
const fNvO: field = 2750564077711941029722127649948645537455534027328847069044133377138109161318271362049015351591207614350232642126368462863979795820334965715740480274175573field;
const lmHt: u64 = 2269259618381692923u64;
let KjBI = 2026459569179830935i64 + 866530259422435247i64 - 2645462263636175910i64;
let aXWP: i64 = 4998340210106624395i64;
const RlUx: u32 = 4161027074u32;
const tXdcb = 4272514431369154706070578366360851993386624410603062440183406234072170341787899398086105322985899012859630300981347371254984104806559233268195649076887249field;
let Cx6n: u8 = 76u8;
const gQHav: i64 = -7958573780487908672;
let P0H5: i64 = KjBI;
KjBI = P0H5;
let GFe1: u8 = Cx6n;
let n3Yy = wGhr;
return ([(110864185312861243609835935897246916816u128, 8027383993546761796462571550076630783804181784535647612135622351173715093306398669014878563487584829796598305767019042817305553668855077844718984532061985field, (1734191401539596450667091308059679105135397069793607487076081463676390731066664430577576064187978113101858426081203997659500902563079326338873619720499688field, -21989i16), -150495415826944343782692157879357480108i128)], -1909034892i32);
}
function sUaG (
const oPSv: u64,
const Zq1GL: i64,
const DLxJx: (u16, i16, (i16, char, i64, u64))
) {
let Q5zMF: i32 = 728603058i32;
const PGNcS: u64 = 2144886894999271593u64;
Q5zMF **= 1i32;
let cNWEb: u8 = 84;
let mXMNh: i64 = Zq1GL;
const KyK6H = [-8140698938246143192736917836090033228i128; 2];
//RETURN
}
function IYWBA (
const CZrjP: i16,
const Rm29C: bool
) -> (
field,
bool,
field,
bool
) {
const eLAlK: u64 = 16573868426039605925u64;
let EeHa1: i32 = -328911894i32;
EeHa1 /= EeHa1;
const Ugl9: char = '\u{0}';
const vbXSV: char = Ugl9;
return (9734467587844032180135049760409289131752458803964775280205832969321799328489342874439633930227833935897419288695502424368396451812642234099755920744545580field, Rm29C, 6992853537485527616107390032134467669982048745678832067087057316512037110740310544306240132715608403358887486968673427333743888817361342248398851802398147, Rm29C);
}
function ppiJD () -> (
i32,
u8,
[u16; 2]
) {
let H9dM: char = '\x6d';
let bu1f6: field = 1375053434411349954833697618758505804565334738968515748962076629929756121816538522980093957699888083791282567395555990973599793929063139594764266788458293field;
const Sz5W = (5452500649579431491i64 - -5629827325763702842i64 * 0i64 * (1766643220351448904i64 - 2507652939169077875i64 - 6817170868631554689i64 - 829411153429075840i64 / -3770752768528712120i64) / -2283682254362945243i64) / -5793797664062118757i64 * -1i64 * 1i64 / -1063877678551005733i64 - -6880869154805793385i64;
if -15384373465689585231904975931732993722i128 != -26752496697189791953116865077681343200 && Hqyz7 == Hqyz7 {
let Ffe7: u16 = 17444u16;
const ZfsM: bool = true;
Ffe7 /= 15862;
const cu1q: i8 = -95i8;
const d05Z: u32 = 4141246852u32;
let WyST9: [(u16, u16); 1] = [(Ffe7, Ffe7)];
}
let kS2n: u128 = 78347670304791494401782539682926170246u128;
kS2n *= 1u128;
let mDRp = 11094583564268332311u64;
return (-1618015083i32, 180u8, [7977u16, 15857u16]);
}
function O9Pym (
RgmrC: u32,
A5gG: field
) -> [i32; 3] {
let wbYk = false;
const VlKu: field = 12034823521055684656803960735818709622060742766279427485221451640137620196285540080092505488883352800834441925489549958379284209458850777125442592258731151field;
let MNhB = -6776168784298605423i64 * 0i64 + -7115935549030314263i64 + 5418144407475453963i64 - 6083504378159267387i64;
let bGHh: bool = true;
let K2bc_ = RgmrC;
for YCkW in 2156152823..2156152837u32 {
sUaG(18086129069170702800u64, -8613953065723011850i64, (32716u16, 21214, (-15652i16, '\u{643e8}', -5135511156710229726, 3411414872253501622)));
let BR15 = MNhB;
const rUhu: [u32; 1] = [1184000687u32; 1];
}
const h6nK: address = aleo1090rcrp27nedkusygfk7vs9gkaegkkeyk9lzx2sstydlky9hlspsr6q28g;
if -15514i16 != -5704i16 || K2bc_ >= K2bc_ || -18694 <= -32667i16 {
const IqRag: [bool; 4] = [false, false, true, false];
let x9fPr = 110i8;
wbYk = false;
const K8ie: i8 = -78i8;
let PU93: u32 = RgmrC;
let V3ykU = '\u{141ee}';
MNhB += 1353333771178790252i64;
let EqQO: char = V3ykU;
for fuyD in 1120955862..1120955874 {
const F9OQc: u64 = 11208591221347461172u64;
x9fPr /= x9fPr;
}
return [-745026943i32; 3];
} else {
const Tgqo: u128 = true? 311260970582540822624922797527674715398u128 : 257906757538419513804363749589095902701u128;
return [-1428479824i32, -2099325920i32, 1618141399];
}
}

141
parser/benches/medium_2.leo Normal file
View File

@ -0,0 +1,141 @@
type xs1w = i8;
type Z5tB = field;
type tlVPo = address;
type nsK2V = field;
const QR0A: char = '\x7c';
const AWye: xs1w = 115i8;
const NyOSS: i64 = -9112024196555249712i64;
circuit UaAlp {
Lq72: xs1w,
}
function main (const e6Xk: Z5tB) -> (
bool,
i32
) {
let CEPR = 916470734i32;
let vnI8e: ([u64; 2], field, (u8, bool, i16, UaAlp), u128) = ([2889181496092270957u64; 2], e6Xk, (100u8, true, -25462i16, UaAlp {Lq72: 124i8}), 37760135625388903844123788266413165465u128);
vnI8e.0[1u32..2][..1u32][0] -= vnI8e.0[0u32];
vnI8e = vnI8e;
let qW6DN = true;
let k7ex: (tlVPo, i16, i32, [xs1w; 2]) = (aleo1m0f63uqdvnyzvepxs497gngxcqwhf9rn36przm0hyvcqg8tsyu9q9zcwa7, vnI8e.2.2, CEPR, [-111i8; 2]);
const VQn8: tlVPo = aleo155vefgc0t5yknnvtg4smfy7y5vhpru5t70nfn2nwaee9eeh3hyys4sew5k;
let GeVCw: UaAlp = vnI8e.2.3;
const jBlS = VQn8;
const FrZU_: i8 = AWye;
return (qW6DN, 101413968i32);
}
function rqmLu (
NFML: char,
QMKAV: i64
) -> (
address,
i16,
field,
u64,
u16
) {
let RCqa = [1901182340385490071669784758737838188525280201638449765536941561135711020396220061527746756336674057817295412670452159986331379682153181375499201511956942field, 3762954748737525825800565834905724867725809544272623117743188164518934454008307409373575071111959839122640366966971683394952757289074471910475807688059161field];
RCqa[..1u32][0u32] /= RCqa[2722709438 ** 0u32 * 3359775733 ** 1u32 + 621885425 - 2864750746u32 - 1116910412..2][0u32];
const smbqG: Z5tB = 4439888477454096870793176575457233018778936668879584935658147170525933160250115153298062239208029034427719380092692447123716417481264166241017990941172699field;
let SyUgN: i8 = 69;
RCqa[..2] = RCqa;
const Y1KU: i128 = 97405228876352483168642295161473826241i128;
RCqa[0u32..2u32][1] *= RCqa[0u32..1][0u32];
const mvGo: u128 = 169795069556376802589401758946050630589u128;
let IVnO: i64 = 5343892535930316306i64;
RCqa[0u32..887427927 * 3u32 / 2123569430u32 / 3029150021u32 + 618233057u32 - 472015339u32 - 146217716][0..][1] *= RCqa[1..][3912278184u32 + 851746752u32 ** (537034156u32 ** 0u32 / 1407830278u32) - 1068657130u32 - 2843621055u32];
let mCFyw: i64 = QMKAV;
let A5Mtx = 2924523345158094175u64;
let DeTIv: u128 = jBtml(-1682496107, -21689, -1587968197i32).3;
RCqa[..false? 1u32 : 1u32] = RCqa[1u32..];
return (aleo1es9rfhmgalsxp98em3vz84rpv9f23scfg8psya9feswdgx22dupqfj9g76, -25840, 6997858828717010106874414908217877987149986846543963933921422662340096126945997464575344199644167034548808666112748647877800676427793328759761681650787785field, 16701591620963259193, 27704u16);
}
function gLeR (const ltYE: (char, char)) -> (
i8,
u64
) {
let u1Sx: i8 = -71i8;
const GPino = 251u8;
u1Sx *= -1;
let R_DB: i64 = -4528113102912117276;
R_DB /= R_DB;
let JTtRE = ltYE.1;
let GbFm: i128 = -90729062783389595540283719863095696635i128;
const WU_1: field = 12298641592796131448636852745264712871840940636430143500429547594328419579508003587060777258896545297051274586339383848215302076127997685192089080838171090field;
const oVZ0: char = ltYE.0;
const TzNpy: i32 = ([aleo1fhzvxwk4wpcnx6fjlcx9ay8ajnyx5wnunzz04qrl90fmc5j0y5qqka6rhc; 4], 1557904369i32, (1633941743i32, -9997653857003985702536225791587887214i128, "\x2c\u{10f49d}d", -1129519675037787853i64), aleo17ymuajln74htprfruf2u4cy2pcn85wp3dr3cepwu5trnnmulacqqlh4587).1;
const w5sE: [char; 3] = ['\x33'; 3];
GbFm /= GbFm;
const wywm: u16 = 15960u16;
let pqswY: (u8, u128, u16, i16) = (21u8, 312976231132787483193089462972992041969u128, 42694u16, -24145i16);
return (74, 3906516312311027547u64);
}
circuit KAjg {
}
function xfo64 (
const yruPt: i128,
const nX1D: u8
) -> (
u16,
i32,
((u64, address, u32), char, i64),
char
) {
const zVUMW = true;
let lr0eo: u128 = 121391538414525111368886992804963769570u128;
lr0eo *= 1u128;
let JXLf = 319748941135490065237961282805967438009u128;
lr0eo += jBtml(1408145078i32, 18864i16, -1248489626).3;
const Pbjb: i32 = -211550248;
return (57783, 1844050990, ((11506503550199076036u64, aleo1mw4w3u8n4um6mxshumwkzt44r546yy8cmn78lnqee6nff4weuuqsd2mpf3, 2662859884), '\u{3b}', 6526408650467898187i64), '\u{105bbb}');
}
function jBtml (
VFw8B: i32,
NWJ7: i16,
const p0LX: i32
) -> (
i32,
i8,
i32,
u128,
i8
) {
let gvQUM: i64 = 4037125634803550791i64;
const LmCwg: char = 'g';
gvQUM /= gvQUM;
gvQUM /= -140562257311199343;
gvQUM += 5374352076809309733 + -7311152656384965611i64 / 3567039922885901823 / -2985691946813276109 - 3822948189711225817i64;
gvQUM -= gvQUM;
let CKv0: u32 = 3676790393;
if 107 < 47u8 || 4780895315372286719725570097497690476629729373943383807946296483611741484512681546130787708241328058631116297817062086172863093654079829115271460562868422field != 7982054780179063169560121074566830295371378178527621047378875980325034119262167457126966448864231470178037924417610450639715948611278602804538446771755230 {
CKv0 = 3911808377;
gvQUM -= gvQUM;
const pNpM: u128 = 109321630789574203281186954713440594125;
CKv0 -= CKv0;
let HwOOG: i32 = -1873872992i32;
CKv0 -= CKv0;
const keQsd: field = 11015005865013733702207615426928877863299071468100558157842771770055958954932789085937877273864104098654472278384047931502448190906145334102386491816927923field;
}
const fjUhE: field = 10093019984283224171603190060385302499576567470638200069653260485038239434771591542574318679127541932015353632827969455147712721532875369984181737304135668field;
const zXSXE = -13171i16;
let XviGv = gvQUM;
return (-518773154i32, 26i8, 742687481i32, 106286027905006275051216629536034575527, 3i8);
}

117
parser/benches/medium_3.leo Normal file
View File

@ -0,0 +1,117 @@
type HGvc = char;
type gOJKD = u64;
type EFxm = gtQV;
type aEw3O = i32;
const osrt: u16 = 26669;
const fQIQx: gOJKD = 11778118567534946352u64;
const WzA2: bool = false;
const sJL7i: i8 = -64i8;
function kHP2 () -> (
u8,
i64,
u128
) {
let oqVTO: u32 = 3500171980u32;
let Hukr: address = aleo1ldm42fn08xu6y6qhe09phqjcl7xk9vldp2zpp5fvtznslpmv7gxqtw5qfd;
oqVTO -= oqVTO;
Hukr = Hukr;
let LPBf: u128 = 78202924632109320785868755439308685433u128;
oqVTO = oqVTO;
Hukr = Hukr;
let kvig: i64 = -5442148135952794654i64;
LPBf = LPBf;
kvig = -1452046324620095276;
return ([5u8, 7u8, 18u8, 97u8][0u32..4u32][false? oqVTO + 3987408031 * 1207361576 ** oqVTO + oqVTO - 3987408030u32 : 1u32], kvig, 277815298408416254847707979780000362140);
}
function main (
Q9DOI: field,
const dUAEB: i8,
const SEj4g: address
) {
const thtph: [u32; 3] = [3453204639u32; 3];
const CHwG: HeJTD = HeJTD {};
const prUJ: u16 = osrt;
let grcq: HeJTD = CHwG;
grcq = grcq;
const QdIT = aleo1pphryx5dnmwsjyup8znnj4w9qpvlrvm36j2gl9uulgl8vg4j9u9srxufzk;
grcq = HeJTD {};
let P5L8: u8 = HeJTD {}.sxOgu(100534064157134121298169452117712518470).0;
const YIRE5 = 108u8;
P5L8 *= P5L8;
//RETURN
}
circuit HeJTD {
function sxOgu (self, const kksQi: i128) -> (
u8,
i16,
[u128; 4],
address
) {
let tgb7Z: bool = false;
tgb7Z = WzA2;
const aGPY: i8 = sJL7i;
let OKQp: u16 = 21911u16;
OKQp **= 1u16;
OKQp += OKQp;
let yo1eO: HGvc = '-';
let r5XK = kHP2().0;
tgb7Z = WzA2;
tgb7Z = true;
r5XK += r5XK;
r5XK -= r5XK;
return (r5XK, -25382i16, [288029439387827313674819119656624687220, kHP2().2, 94803277963316423116564545225695504468, 108699602594758049345372064866936627487u128], aleo1cmgajygcpkrs43aud2upesptrf6sfxanxgf6ytf8rm4z6vnxfcqsvz88kk);
}
function Keuz (&self, const qKKxX: i128) {
const lCYBT: bool = WzA2;
self = self;
self = self;
const fPcJ5: i32 = -1765493837;
self = self;
const A2mgB: address = aleo1dlgjsyeagpfg2lxc5d9srdcawucuxtklpw4le68xfd59wzl08qxqdrsde3;
self = self;
//RETURN
}
}
circuit gtQV {
L6gU: i16,
hC3az: u128,
j7uL: i64,
bFpJA: bool,
}
function WRVhi () -> u64 {
const kwp3 = 4062i16;
let maLh: [u16; 1] = [42138u16; 1];
let jlbK: [i128; 4] = [167777657792304947682323667177143824400i128, 147207114508691533575493469927314056629i128, 66922896792228500944582561782862644012i128, -144705193941485103492871736247790985658i128];
const KMFt = true;
let bipj: i64 = 7343659879021916427i64;
const CUZY: u128 = 100991402047349670687233987155884950904u128;
jlbK[0..][0u32..4u32][2] = jlbK[..2u32][1u32];
const A9ur = CUZY;
let D1ki6: u64 = 7803539941792604692u64;
jlbK[2107741964 * 0u32 + 2488863191 - 2488863190u32..2896282209u32 - 1534373463 + 1853241563 + 231797636 + 254304638 - 757682938u32 - 2943569641u32][2] /= jlbK[3339182546 + 898119994u32 / 2751796078 - 3339182544u32..4][0];
jlbK[3725489917u32 / 2537373408 / 3769922341u32 * 0u32 / 3952650523 + 3u32..4][..1] = jlbK[..1u32];
let ezm9p = maLh[0u32..][0u32];
const b16WX: [[i8; 2]; 3] = [-23i8; (3, 2)];
const r8zp = kwp3 - 28411i16 / 3137i16;
return 2027828210765338626u64;
}

101
parser/benches/medium_4.leo Normal file
View File

@ -0,0 +1,101 @@
type LWClh = u128;
type IWJoY = i64;
function p5TI (
z5QN: address,
const Sw20j: address
) {
const AInR: i16 = -2073i16;
const WmUv8: address = Sw20j;
const xRbI8 = [28133i16, AInR, -10528i16, AInR];
let Gm7Q1 = 12844i16;
Gm7Q1 -= xRbI8[2422977436 + 515495012 * 0 - 2422977435];
Gm7Q1 += -16395;
const FSJ6A: i64 = 6157619886311720636i64 / -67081692260650279i64 + 8650193038720055377i64 + -3550500355098963899i64 - 4867657228102685270i64;
Gm7Q1 += -15150i16;
if 214u8 == 153u8 && ('\u{0}', FSJ6A, 53215u16, 377288379) == ('=', FSJ6A, 10078u16, -505993859i32) {
Gm7Q1 -= xRbI8[..4][1u32];
Gm7Q1 -= xRbI8[0..2279480963 * 0u32 * 0 / 2816892006u32 + 2][897147343u32 + 1015327132u32 - 1278124375 + 0 * (1 ** 3041883806 ** 14495719 ** 0u32 * 211762163u32 * 17u32) - 634350099u32];
Gm7Q1 += xRbI8[1u32..4][1u32];
let qqer1: i32 = 640500406i32;
const DHmc: u32 = 231292247u32;
} else {
Gm7Q1 *= -1;
Gm7Q1 *= -1;
const gyOs = 1094302391u32;
Gm7Q1 = 2108i16;
Gm7Q1 += xRbI8[gyOs / gyOs + 2168728816 - gyOs - 1074426426u32..3u32][2u32];
}
let pgYf: i32 = -1223492308i32;
//RETURN
}
function main () {
const mYE5R: address = aleo16u2wdgzzdmfndu64a9rlf94aq3hjg8uvfdwuv6pj622szcm72sps7dvm67;
let SqpOn: u32 = 2435739144u32;
p5TI(mYE5R, aleo1y05nvp959n5uzvrs0rte284jjnhkrnnrdg5yp4jpcfzd75a7zszs7kfw6y);
SqpOn = 1586773493u32;
let QILV: i16 = 31660;
const BnJpQ: char = '\u{a9f63}';
if 17528 == 56639u16 || [c8Vh(143367268170074814325756675108869918402i128).0, -1405951524078698972] == [-5042490098010934107i64; 2] || 4315305223689141172611854269629789624443791742668057254554273380375658646587985136947892668444816829988093868507801566408930423783067559496894602867497954field != 6375646387007274934866518418619368602817935506317354211520118493078759238563069180561541917197952804868043002978785395869313795428120903957615381567585860field {
const GTI_D: bool = false;
QILV /= -11080i16;
QILV -= QILV;
let ECVtH: IWJoY = c8Vh(-149749740516740905129012416792609445859).0;
} else if 122268392226707883586232047962234817449u128 > 76385952782941753938524643600831921136 || 86995834624605189932232106024753517488i128 != -108583076616482601687700136384290734107i128 {
SqpOn += SqpOn;
}
const gtyOM: IWJoY = -311987881571125041;
let Mdybo: char = '\x23';
const yrnIT = gtyOM;
let pcnEp: i128 = [([19646718433106418990288691237342689585i128; 4], -49718263885898812241174302118607060822i128, true); 1][0u32].0[0u32..2u32][0u32];
let hR1y: u16 = 18143u16;
const tmf9v: IWJoY = yrnIT;
let FXil: bool = true;
//RETURN
}
function oyMp (
yM7sW: u8,
const SU6nx: i8
) -> (
[i64; 1],
field,
field,
u64
) {
const UwuSO = aleo1dwd3c25uxlgq65xyzemy9e3jvmcyzrmf0uemhty3avy3ksmszgpq8pp26w;
const KOIhm: i32 = -241128188i32;
let sLpfh: i32 = KOIhm;
let Ohr6b: ([i64; 1], u8, u64) = ([-4157173098401133484; 1], yM7sW, 7256365091210223672u64);
const ypKGm: i16 = -9221i16;
Ohr6b.0 = Ohr6b.0[..3543809812 + 4209153300u32 * 0u32 / 2521347128 ** 0u32 - 2410749134u32 - 1133060677];
Ohr6b.0[0..][0] = Ohr6b.0[0];
const VY22T = aleo1zg3zlxpzaa22tza2ejchq4pcuk7zg4uqmk9e0axauwa4c5wsfyps5d4mag;
let nlmd = ypKGm;
Ohr6b.1 /= 52;
let MBB2D = 93u8;
let s3NV = c8Vh(-166614928166821297736585794221812645694i128).1;
return ([-4467750620927002542; 1], 9278230888765121820706527843633347968314775222288054037375541747584194144677355778452873567746472118871275894084416114593223337643554376551787023186958306, 11889070541040557353472570949046112002889592379923772691570456361854595150726827315523183897692700149315250272794853793486179506546250113001503110933697750, 12480035228868259223u64);
}
function c8Vh (FqsWX: i128) -> (
i64,
i128,
address,
i8
) {
let BwzC = -12788i16;
const ADjE = 880u16;
const tG2V = -26703i16 / 30731i16 + -19378i16 * 0i16 * 1i16;
const pKsRO: u8 = 14u8;
const TjwF: u64 = 5244319823805907838u64;
const PAP4 = aleo1e2vgp062l8qgp3hjtt6gmadsynnw60lyfa0m6scqrtqg8z4755rs00yx3f;
const Ig25 = 3770644008u32;
BwzC -= BwzC;
let H52x: u16 = ADjE;
const dItwn = tG2V;
BwzC *= dItwn + -398 - tG2V - -9022i16 - 8625i16;
return (-2777271838952094387i64, FqsWX, aleo1whw79gakaz4x0k8h43njvpurr88llp33vyc2cmn9c86jwuvsrygsx0fmcd, 50i8);
}

119
parser/benches/medium_5.leo Normal file
View File

@ -0,0 +1,119 @@
type pD0X5 = i8;
type XKaI = i16;
const XwcBV: i128 = -32572378035711434115931151745732207466i128;
const w6aTH: pD0X5 = -93i8;
function cD4r (const Ef4DK: u8) -> bool {
for Sv9O in 3706976931..3706976938u32 {
let pKGY: u128 = 311016385552046158086754861239673139644u128;
let yNcR: u128 = pKGY;
for DDbgy in 3988444086..3988444106 {
yNcR = pKGY;
const MiCDS = 203u8;
pKGY = 6786571399753485756038607500832553953u128;
const x9Kt: i32 = 512603574i32;
}
const pLdgh = 5722i16;
pKGY += yNcR;
let hFkI: XKaI = 31625;
}
let SggA: i8 = -111i8;
SggA /= SggA;
jxlM5([-75, -121i8, -6, 39]);
SggA += SggA;
if 8425416191047753543i64 < 5934851800616123467i64 && 3156932270u32 >= 351248398 ** 0 * 3886250762u32 && Ef4DK == Ef4DK {
let sEIHa: i32 = -856941478;
sEIHa = -488975297i32;
let F7Zh: i32 = -2034366605i32;
const y5M2 = [true; 3];
let rk0b: u32 = 3172526925u32;
} else if aleo1cg07hzfcd7fgelkvztrzsmnxlft6v5pnklzq5f7av5rtj8d4wu8sawysp5 == aleo1uzrrk9taq4a49ht3szzft90nda9ttnhgqmf34usnz9mn5arh8cgqqyhphq || 1037328189i32 < -1901996675i32 && 1796045335698448709i64 >= -8770729005250501820i64 {
const Qd6I: i64 = -2936881039795955623;
SggA -= SggA;
const qfWz: field = 11868574597504245849412759878797470230958899864383535393820114892572467525738645004768652990020629690814753190302756167841756399627109003235558224574300748field;
const aSFc = qfWz;
}
let Rjka: u128 = 129874334876628464772675045313311550090u128;
return 4170085385614217102u64 > 2900170916628410432u64 && (8859831151384150600u64, 9584u16, 64997411429767251474068675400579704411u128, 51394u16) != (8694497216948073522u64, 12295u16, Rjka, 26950u16) || aleo1j3c7r67xcd5qd9hyc03jnsazss4thwsdckeun24sggvxcgyaxuxq5sexds == aleo1jupcxnkqw94s8es4342man4ggx964l5cuct6p47u6w7zh99z9u8qshynps;
}
circuit FKmZ {
M8qe: i32,
D73jn: bool,
zqD4: u64,
GCdL: char,
}
function jxlM5 (const TWEq9: [pD0X5; 4]) {
const Lp82: i128 = XwcBV;
const msPjY: pD0X5 = TWEq9[3u32..4u32][338693848u32 + 2907541410 ** 0 - 338693849..1][0u32];
const BQ6VH: pD0X5 = TWEq9[1u32..2u32][0u32];
const Lab8h = -7426i16;
let e9hbf: u32 = 3611541251;
const DrW8: i16 = Lab8h;
const m_gwo: field = 10149559664849165995965876030637766340317581756563239767481396552863162506821848546264761419152379420397534597160071655018754572310314016031519867789251685;
let xx8jE: i32 = -1865425211i32;
xx8jE -= xx8jE;
let hrqV: u64 = 17666560190951007606u64;
const NdtZ: XKaI = DrW8;
//RETURN
}
function main () -> XKaI {
let u2PY: u16 = 15187u16;
u2PY += 9468;
let Wupm: address = aleo1gj4zc6cxxqt0u6cawjjs3nrvpn27a2u0udnaj09kgveukymneu8sc42lsk;
Wupm = Wupm;
let nhX5: u32 = 3866864476u32;
let dwHKQ: char = '\u{67}';
const WBmh: char = '\x1f';
Wupm = Wupm;
return -12118;
}
function Gsyy (
const lTdD: XKaI,
const VM8m: u16
) -> (
u16,
XKaI,
pD0X5,
(u8, i64, address, i64),
u8
) {
const hAIr: i64 = -1583366540111540541i64;
let W51HO: u128 = 59818555547149636611889596765236400129u128;
let yToh: u128 = W51HO;
let RIXGZ: u8 = 49u8;
W51HO = yToh;
const IbhZ6: bool = false;
W51HO += W51HO;
RIXGZ = RIXGZ;
const u1Sum: u8 = 173;
return (19356u16, -3834i16, 30i8, (13, -1940134876651428626i64, aleo1j07mer7u70duc0uf7r5vqltj2sd9amksayj9rexzehutdpnknvps3mqvys, 5856886436435778601i64), 224u8);
}
function CsfYJ () -> (
u16,
pD0X5
) {
const Jt9fI: (u16, (i128, i8, u8, pD0X5), u8) = (32789u16, (6144650023358955586197856856735185762i128, 113i8, 131u8, -116i8), 54u8);
jxlM5([Jt9fI.1.1; 4]);
const RGcf: u128 = 328631271023943473067383416776906123936u128;
let ykT7 = false;
let AJxJF: pD0X5 = Jt9fI.1.3;
let o1z_y = 287974553047910791989339924422694174888u128;
ykT7 = ykT7;
AJxJF = AJxJF;
let kA0NE: i64 = -995045265928595531i64;
const gB6i: pD0X5 = 88i8;
AJxJF = 111i8 * 1i8 * 0i8 ** (Jt9fI.1.1 - gB6i * 0i8 + -4i8) - Jt9fI.1.1;
kA0NE -= kA0NE;
return (4874, 69i8);
}

View File

@ -0,0 +1,43 @@
type Ol3w = field;
type Ahe2 = bool;
type xAjc = i8;
type TduZ = i64;
type DF5y = Ol3w;
function main (
iMMX: xAjc,
const lySK: TduZ
) {
const gLgI: u128 = 282699336138350242645277143389445348100;
const uWur = 10659i16;
const yqAU: u8 = 59u8;
let v2qM: TduZ = -2800677576350134891i64;
v2qM += v2qM;
const tdgp: i32 = 1456793899i32;
v2qM -= v2qM;
const OEX0 = -124i8;
v2qM = 4055474362711520878i64;
let dFD7L: [xAjc; 2] = [iMMX; 2];
//RETURN
}
function lAof (
const hfZCT: i16,
const P9fd: i64
) -> (
Ahe2,
Ol3w,
u64,
i32
) {
const c75wu: u64 = 8280018649401688824;
const RBo4Z: u64 = 11792350555921266020u64;
const HIo8: u32 = 2592983979u32;
const jKMc: TduZ = -6800829732228999313i64;
const nJ3_ = hfZCT;
return (false, 6795313442177019610056975536579598755713325033744905803767505096755634532108405203751482245835828500042025491235448688532189762093820810066426628199044126, 5678811033286957920u64, 340900260i32);
}

View File

@ -0,0 +1,38 @@
type uxXY = (u32, char);
type gzOiV = bool;
type J0S_ = i8;
type OX7t = field;
type eIgg = i32;
function AVQf (kstq3: u8) -> (
field,
i16
) {
let XqP6: gzOiV = true;
let dnqz: i64 = 8877565108763008728i64;
dnqz -= dnqz;
dnqz = 76181988128375147i64;
XqP6 = XqP6;
dnqz += dnqz;
return (3975283943008764423806352823979937462787237989962909506785125306005907038027118917027678156122087199647358557544951681775626814651745659422151809322132026, -4361i16);
}
function main (
Mv6I9: i128,
const VcQam: u64,
const w78D6: OX7t
) -> (
i128,
gzOiV
) {
let Jb16: char = '\u{2}';
Jb16 = '\x4f';
Jb16 = Jb16;
Jb16 = Jb16;
Jb16 = '\u{5}';
return (-10944738092911991956337139207987089638i128, false);
}

View File

@ -0,0 +1,47 @@
type RoqL = i64;
type AaPhh = u8;
type XPNqC = bool;
const NQAz: address = aleo176mk6cldmpuuyh2t3eqvzpqqve9ets04rv6fmxmwsu6g4hpddgzsemf4ha;
const u8TFy = 287154293074239475275759998449933521189u128;
const xfK1Q: u8 = 211u8;
const xQ3fN: u32 = 2283742765u32;
circuit JFjRt {
P08i: i8,
JVRV: [char; 3],
FCVt: [u16; 4],
NsGIE: u8,
}
function main () {
const eiC8P: i16 = 13718i16;
const pnP_ = '\u{18}';
const YJXe: u32 = xQ3fN;
let h9obt: u128 = u8TFy;
const kqZU: i32 = -362665035i32;
//RETURN
}
function EOTm (ujgq: char) -> (
u64,
address
) {
const ky9F = JFjRt {P08i: -19i8, JVRV: "\u{50}\\\u{5840c}", NsGIE: xfK1Q, FCVt: [39137u16, 28193u16, 647u16, 7050u16]};
let UozOu: address = NQAz;
const Ifeky: i32 = 1323028989i32;
const WGCDN: i32 = Ifeky;
const ff4g: address = NQAz;
const DFO1: field = 4949224453308256785438301712742221616498146217822614960935813525606408755826533468738939148388266885632720559379619397182660164245432115466081418332631047field;
return (3667993466002095237u64, aleo1gjyxuuzckr9r00q5334gwev4z58jetc6fg0t7wy94zjusr047c9qsa7f4f);
}

View File

@ -0,0 +1,42 @@
type km8Fr = u32;
type kzW6 = i32;
const HvzMe: [i128; 1] = [129052111439600100445300449390992581554i128; 1];
const tZYp: field = 532412591991187314534825718392614065009291195021344743358025579695136815735262187551374572170974348796915332593276900604722917065800076960197412192803632field;
const Fp0x4 = 222015611u32;
const certw: i8 = -24i8;
const k3uF = false;
function main () -> u128 {
let ICvC: u128 = 103376857680360010061660663587489098187u128;
const FrGt: i8 = -7i8;
const KJ4T: char = '\u{2b}';
ICvC *= 2u128;
ICvC += ICvC - 0u128 * ICvC * 0 - 153072875935437715327147328595122262565 + (ICvC / ICvC + 284163310479396430280687598543511894458u128) - 232529188309985706261210350055651476542;
return ICvC;
}
function uaKPx (const QNzSh: i128) -> (
u32,
i8
) {
const MsgN = [-106i8; 2];
let xGxjP: i64 = 9166993170921840593i64 + -2529766390868818195i64 - 2791307521551366519i64 / -3538780045482804336i64;
let hDX6 = false;
const Fwgr = '\u{5c030}';
let egmv: char = '\u{99cad}';
return (1055028656, MsgN[1..][0u32]);
}
circuit PANW {
}

View File

@ -0,0 +1,53 @@
type Rx6fk = u8;
type Sq9N = i8;
type Plflu = i64;
type f1gXY = i32;
const jpPIR: u8 = 16u8;
const f2Tb9: i128 = 45051584313652375601764187183414341445;
const V5kfY: i16 = -8790i16;
circuit Sjme {
hmJC: i16,
CcHF: [u128; 2],
ZoZp: char,
A_Pj: u32,
}
function main () -> (
i8,
i32,
f1gXY,
field
) {
let ohlv: f1gXY = -1259603809i32;
let gZRDA: i64 = -7347494256161757768i64;
gZRDA *= 0;
const ok24: Plflu = -2051516710597000367i64;
gZRDA *= gZRDA;
return (8i8, ohlv, 948067729i32, 1783509931145130420616818325370403915997535152021967071633491200599020999853659867294845842362448613053777476366231124404691257428640224773765087015983573field);
}
function tEt1 (
DMUO: u128,
OA4M: u64
) -> Plflu {
const nXWy: u128 = 186484550818404824661609584894630678829;
let dXEf: f1gXY = -240549848i32;
const fWQ_: Sq9N = 42;
const mX9QW: i8 = fWQ_;
for GhJkG in 2746090830u32..2746090848u32 {
dXEf **= 0;
}
dXEf /= -664932742;
return 3717439950548678713i64;
}