From 4a5ae49e897bb5be7935f5f6fa681f9a37c44d10 Mon Sep 17 00:00:00 2001 From: Gleb Krasilich Date: Mon, 28 Oct 2024 16:57:36 +0300 Subject: [PATCH] Regenerated test filles --- examples/pil-fun/tests/gens/scala3/expected | 370 ++++++++++++++------ 1 file changed, 255 insertions(+), 115 deletions(-) diff --git a/examples/pil-fun/tests/gens/scala3/expected b/examples/pil-fun/tests/gens/scala3/expected index 3805de0c..8ef967d7 100644 --- a/examples/pil-fun/tests/gens/scala3/expected +++ b/examples/pil-fun/tests/gens/scala3/expected @@ -2,168 +2,308 @@ @main -def mnsa(): Unit = { - if true.||(false.||(false)) then { - var fdzhrrhm: Boolean = true - val adzbd = (nrhvs: Int, xrjrwx: Boolean) => { - var juaggj: Boolean = false - var f = (nrhvs.*(nrhvs)).+(3.*(0)) - fdzhrrhm = 4.<(f.*(0)) - - } : Unit - extension (mngs: Int) - def c(dkvkpmkzgs: Boolean, i: Boolean, bjihb: Boolean) = { - fdzhrrhm = 2.<=(mngs.*(-(mngs))) - extension (qs: Boolean) - def ye(yz: Boolean, wuxaq: Int, en: Boolean, f: Boolean): Boolean = - wuxaq <= wuxaq - - } - val e = (h: Int, rjmijkncbq: Boolean, ojdrz: Int, jfhtsyzw: Int) => - (0 * 5) * (4.*(1)) - - } else { - val hqwnmbq: Int = (-(0)) * (5.+(2)) - def hdoup(a: Boolean, ccciiux: Int, rgaqgckocj: Boolean, xrcubtog: Int, esgwvqqvj: Boolean, x: Int) = - val pmdvj = (ws: Int, m: Int) => { - if ccciiux.<=(3 * ccciiux) then { - extension (qprxvr: Int) def z(ey: Boolean) = { 3 } - - } else { - val jhthzccdm = (4.==(4)) || rgaqgckocj - - } - val rwbc: Int = (x.*(2)) * m +def ltpic(): Unit = { + if 5 == (5.+(-(0))) then + val s = (4.+(4)).*(6.*(-(0))) + if 4 <= (0 * s) then + Console.println(3) + + else + {} + if (s * 1).==(4) then { + if 2.<(-(-(2))) then + val vztsa = (lsg: Int, qnt: Boolean, xeuwshq: Boolean, jpzgmtm: Boolean, pujqsokaog: Int, qi: Boolean) => + (pujqsokaog.*(2)) * (2.+(lsg)) - } : Unit - val utlg = (p: Int) => { - pmdvj(ccciiux, 0.*(ccciiux * 0)) + else + if (3 * 5).<=(2) then + {} - } : Unit - hqwnmbq * (x.*(-(hqwnmbq))) - if 5 <= (4.*(-(hqwnmbq))) then { + def egvcuohs(): Int = + (5 * s) * s } else { + if (s.*(s)) == (-(-(4))) then + var dtek: Boolean = 5 == (5 * (-(s))) + + else + if 1 < 5 then + {} + + var k = (6.*(s)) < (-(-(s))) } - if (-(2)) <= (4 * hqwnmbq) then - {} - extension (u: Int) def qlxoze(mreec: Boolean, mmjsrcpeqw: Boolean): Unit = { {} } : Unit + if 1 == (-(-(3))) then + if (s + 2) <= 5 then { + + } else { + + } + + val yzurw = (s.*(0)).<(-(-(s))) - } - if 0 == (4.*(-(5))) then - extension (mozthbn: Int) - def uebcvuox(xmd: Boolean, gsilgnw: Int, ecv: Int) = - if xmd || (mozthbn == (-(5))) then - if true || (2.<(2)) then - val fkmcysdfrd = xmd.||(ecv.<(-(mozthbn))) + else + var raq = (5.*(6)).<(-(5)) + extension (jyanno: Boolean) + def mmjsrcpeqw(tut: Boolean, rdazry: Int) = + if (1 * 6).<=(rdazry.*(rdazry)) then + if true then { + Console.println(rdazry * (rdazry * 0)) - else - def gia() = - {} + } else { + Console.println((-(3)).+(-(6))) + } + def b(cttc: Int, a: Int, pqvycwxbs: Int, whr: Boolean) = { } else - val jx = 0 * (6 + mozthbn) + raq = (-(rdazry)).==(-(rdazry)) + Console.println(-(-(rdazry))) - def mhqody(crdri: Int): Unit = - extension (wh: Boolean) def cocwhnb(azlde: Int, lbda: Boolean, e: Boolean, jqcyn: Int): Int = { -(crdri) } : Int - - val ieosux = () => - ecv + val xcvpw: Boolean = (rdazry.+(5)).==(rdazry.*(6)) - (-(4)).uebcvuox(3 == 0, 5 * (-(4)), -(1 * 6)) - if (1 * 0) <= (-(0)) then - if false then { - - } - + if (4.+(3)) <= (5.*(5)) then + {} else - (-(5)).uebcvuox(2 < 1, 5 * 6, (-(5)) * 5) + raq = 0 <= (4 * 6) + extension (eszncsoh: Int) + def sohllqkz(wbod: Int, wvqqvju: Boolean, x: Boolean): Boolean = + (-(wbod)).<(0.*(-(wbod))) - val jeiqv: Int = 6 + val rqay: Boolean = (2 * 5).<(0) + (2.<=(0)).mmjsrcpeqw(6.<=(-(4)), 4.*(1)) - else - var xofqxp: Boolean = (true.||(true)) || (false.||(false)) - extension (fneq: Int) - def fgcyhaxpe(o: Boolean): Int = { - val ch = (sojkbqw: Int, mdefqu: Boolean, a: Int, xemxfjaoz: Int) => - var h = sojkbqw.*(5 * (-(a))) - 6 - val zxsuzivv: Int = fneq - ch(fneq, true, -(1), 3) - } : Int - extension (ahahw: Int) - def p(tdqtckpnsx: Int, xw: Int, fwmpzhvupi: Boolean, o: Boolean, p: Boolean) = { - extension (rrrmmcqlp: Boolean) - def plqagg(et: Int, mpdscof: Boolean, kgtopycdns: Boolean): Unit = - {} - xw fgcyhaxpe (ahahw.<=(-(ahahw))) - } - xofqxp = 5 <= 0 - - val n = () => { - if (true.||(true)) || (0 == (-(5))) then { - extension (jho: Int) def fwi(juwqgswj: Boolean, nshxpnn: Int): Unit = { } : Unit - val rdszhhqhhf = (fobjrlxn: Int, ereaqyqmh: Boolean, uhobkwqyx: Boolean, s: Int, poszubn: Boolean, xejgssqh: Int) => - ((2 * 6) * (6 * (-(5)))) : Int + var pisaijht = (-(0)).<=(4 + 5) + if false then { + if true then { + pisaijht = (1 * 3) <= (2 * (-(4))) + pisaijht = true } else { + if (-(5)).==(5 + (-(3))) then { + pisaijht = pisaijht + + } else { + Console.println(4.*(1.*(0))) + + } + def djeiqvgbbg(whun: Boolean, lbn: Boolean, nvvwfj: Boolean, owgqgsil: Int) = { 3 } } - if (6 * 1).==(0.*(1)) then { + if true then + Console.println((-(4)) + (3.*(0))) + + def ioxl(uebcvuox: Int, isalquq: Boolean, duyogah: Boolean, o: Int, shnguy: Boolean, unnpimoz: Int) = + (2.*(6)) * (6 * (-(5))) + + } else { + pisaijht = (6.+(1)).==(2.*(-(2))) + if 3 <= (3 * (-(1))) then { + pisaijht = (1 * 5) < (0.*(-(4))) } else { - if false.||(false.||(true)) then + if 5.==(5) then {} else {} } - extension (x: Boolean) def vnd() = { (2 * 1) * (0.*(-(5))) } + def hojxen(dhgxdq: Boolean, rgt: Int, xbq: Int, nhqrgmmzyh: Int, ekfzq: Int, xiyxlczips: Boolean): Unit = { } - } : Unit - var h = (0.*(0)).<=(0) - def digtlljisa(yog: Int, lylptqjv: Boolean, rdjrbt: Boolean, shn: Boolean, yflaeizbbc: Int): Unit = { - n() + } + if pisaijht then + var gerrlsbc: Int = 3 + if (-(gerrlsbc)).<(5 * gerrlsbc) then { + + } + + else + pisaijht = (-(6)) <= 1 + Console.println((-(6)) * (6 * 6)) - } - n() } ------------------- -val mfusqmki: Int = (0 * 4).*(0.*(3)) -var gfknyi = true || (true.||(false)) @main -def u(): Unit = { +def sgieoz(): Unit = { + if 3 == (0.+(-(2))) then { + if (1.*(3)) <= 0 then + Console.println(3) + if false then { + + } else { + var zbzyduovm: Boolean = (6 * 0).<=(0.*(-(0))) + def cogci(hfczjsf: Int, apwdzgs: Boolean, ptfihqq: Int): Int = { hfczjsf * (6.*(-(hfczjsf))) } + + } + val rx = 1.*(2 * (-(0))) + var iuesckliu: Int = (4.*(rx)) * 1 + + else + Console.println((-(4)).*(0)) + val rvxbpfyynu = (rsvjos: Int, ikhn: Int, rgnq: Int, jbircjmehe: Int) => { + extension (brej: Boolean) + def cimhsnfho(gmpsvvdk: Int, wiajyefeuk: Boolean) = { + if brej then { + + } else { + + } + + } + var l: Int = (ikhn * 4).*(rgnq) + + } + val cxsjf = (wtonjtgcne: Boolean, vikzzcbnv: Int, rlanw: Boolean, xyecvjwqz: Boolean, gx: Boolean, cbauzpb: Boolean) => { {} } : Unit + var ybtomym: Boolean = (6.*(0)) < (6 * (-(0))) + + extension (icpkbfkc: Int) + def oslkymdjd(opieb: Int, dmm: Int) = + var uga: Int = (icpkbfkc.*(5)).*(icpkbfkc) + uga = -(0 * icpkbfkc) + if (0.*(icpkbfkc)) <= icpkbfkc then + {} + else + {} + + if (-(2)) < (4 + (-(3))) then + if (-(3)) <= (-(-(1))) then + 5.oslkymdjd(4 * (-(0)), -(4 * 3)) + + Console.println(-(1 + 3)) + + else + Console.println(6 * 2) + var imvazbtyk: Int = (1 + 1) + (3.*(3)) + + (3.*(2)).oslkymdjd(4.*(-(0)), 1 + (-(3))) + (0.*(6)).oslkymdjd(2 * 4, 0) + + } else { + Console.println((-(3)).+(5.*(6))) + var ry: Boolean = (2 * 6) == 5 + ry = (1.*(4)).==(5.*(0)) + ry = (-(3)) == (4 + (-(4))) + if (0.*(4)).==(6) then + {} + else + {} + + } + val k = (6.+(6)) <= (4.*(6)) } ------------------- -val qdwuca: Int = (6.*(0)).*(0 * 5) -def nzq(gptfihqq: Int, yzhcxeauia: Int, stlw: Boolean): Unit = { - val cpkbfkcuo = 0 - -} -var smzjwfuprm = 5.<(6) +val aa = (wa: Int, nrgydimrbn: Int, eioalbfmhk: Int, odvsmyt: Int, d: Boolean) => { + if (wa + wa) == (eioalbfmhk.+(0)) then { + Console.println(wa.*(1)) + Console.println(-(nrgydimrbn.*(4))) + val qnkfzi: Int = 1 + val ziciefv = (ygoemy: Boolean, fkcwflab: Int, ocfrdy: Int, kir: Int, dlxrzk: Int) => { {} } : Unit + + } else { + if 1 < wa then { + Console.println(wa.*(2)) + Console.println(5) + + } else { + if wa.<=(odvsmyt) then { + Console.println(6.*(odvsmyt * 6)) + + } else { + Console.println((-(6)) * (-(odvsmyt))) + if (eioalbfmhk.+(wa)).<=(0.*(-(eioalbfmhk))) then { + + } else { + + } + + } + + } + def ea(): Unit = + if (4 * wa).<(5) then + var vpkegepjjn = (6.*(eioalbfmhk)) * wa + + else + Console.println(0) + + val ghh = d + + extension (zhlqmpiw: Boolean) + def ywebthud(fbcyq: Boolean, uykfht: Int, ghotg: Boolean, yey: Boolean): Int = + (1 * uykfht).+(uykfht.*(odvsmyt)) + + } + Console.println((-(eioalbfmhk)).+(-(5))) + val hcnf = (kwhyj: Int, ccdqhntypz: Boolean, b: Int, jq: Int, ifwmyvedi: Int, nzekacnbt: Int) => + Console.println((-(kwhyj)).*(2)) + var w = kwhyj.==(2.+(-(6))) + 2 + Console.println(4) + val qldfxdq = nrgydimrbn + wa + -(0) +} : Int @main -def ptziubj(): Unit = { - if qdwuca == (qdwuca.*(3)) then - val afqw = (qdwuca + qdwuca).*(qdwuca * (-(qdwuca))) - smzjwfuprm = qdwuca.<=(0) +def rqiuzwbjav(): Unit = { + if (5.+(2)).<=(2 + (-(1))) then { + if (4 * 3) < (3.*(1)) then { + Console.println((-(6)) * (6 * 5)) + + } else { + if (2.*(0)).<(2 * (-(5))) then + Console.println((-(4)).+(1.*(5))) + + else + if (6.*(0)).<(-(-(6))) then + if (5.*(5)).<=(3.+(1)) then + {} + + else + val x = false + + + Console.println((-(2)).*(4.*(4))) + Console.println((-(4)).*(3 * 4)) + + } + Console.println(3 + (0.*(0))) + def dpr() = { } + + } + extension (t: Int) + def ysjxsox(z: Boolean) = { + Console.println(0.*(t * t)) + var bs = aa(6, 1, -(t), t, 6.<=(2)) + 1 < t + } + if (-(4)).ysjxsox(2 < (-(5))) then + Console.println((-(0)) + (-(3))) + var nagar = (3.*(2)) < (1 * 0) else - val fmdn = qdwuca * qdwuca - def zilrhuky(ovmiu: Boolean, jtdachxqn: Boolean, hsw: Int, czjsfl: Int): Boolean = { false } + extension (d: Boolean) + def wbvyjvgcq(xto: Boolean, sejwopjk: Boolean, vdggfvogi: Boolean, fy: Boolean, bsifubv: Boolean) = + Console.println(1) + (6 * 0).ysjxsox(4.ysjxsox(false)) + val cqwo = (miilc: Int) => { {} } : Unit - nzq(4 * qdwuca, 3, smzjwfuprm) - if (qdwuca.*(qdwuca)) <= (qdwuca.*(-(3))) then { + if 5 < (4.*(1)) then { + if (4.*(4)).<(0 + (-(1))) then { + + } else { + + } } else { + if 3 < (5.+(3)) then + {} } + var qmlipxuzy: Int = aa(1, 4, -(4), 0 * 5, 2.ysjxsox(true)) }