-rw-r--r-- 6362 lib25519-20221222/crypto_hashblocks/sha512/m4inline/inner32.desc raw
:name:int32:input_0:input_1:input_2:input_3:i4:i5:i6:
ptr r:var/r=int32:
int32 r:var/r=int32:
:name:int64:u0:u1:u2:u3:u4:u5:u6:u7:u8:u9:u10:u11:u12:u13:u14:u15:u16:
int64 r:var/r=int64:
:name:stack64:m0:m1:m2:m3:m4:m5:m6:m7:m8:m9:m10:m11:m12:m13:m14:m15:m16:m17:m18:
stack64 r:var/r=stack64:
:name:stack32:o0:o1:o2:o3:o4:o5:o6:
stack32 r:var/r=stack32:
stackptr r:var/r=stack32:
:name:spill64:d0:d1:d2:d3:d4:d5:d6:d7:d8:d9:d10:d11:d12:d13:d14:d15:d16:
spill64 r:var/r=spill64:

:flag:=:
:flag:unsigned>=:

pushenter f:enter/f:>input_0=int32#1:>input_1=int32#2:>input_2=int32#3:>input_3=int32#4:asm/pushenter #f:

popreturn r:<r=int32#1:nofallthrough:asm/popreturn input_0:leave:

f#:#f:label/f:asm/#f!colon:
goto f:#f:nofallthrough:jump/f:asm/goto #f:
goto f if =:#f:jump/f:<?=:asm/goto #f if =:
goto f if unsigned>=:#f:jump/f:<?unsigned>=:asm/goto #f if !unsigned!lt;:

r = s:>r=int32:<s=int32:asm/>r = <s:
r = n:>r=int32:#n:asm/>r = #n:
r = n simple:>r=int32:#n:asm/>r = #n simple:
r += n:<r=int32:inplace>r=int32:#n:asm/<r += #n:
r = s - n:>r=int32:<s=int32:#n:asm/>r = <s - #n:

r = s:>r=int32:<s=stack32:asm/>r = <s:
r = s:>r=stack32:<s=int32:asm/>r = <s:

r -= n:<r=int32:inplace>r=int32:#n:asm/<r -= #n:
r - n:<r=int32:inplace>r=int32:#n:>?=:asm/=? <r - #n:
r -= n:<r=int32:inplace>r=int32:#n:>?=:>?unsigned>=:asm/=? unsigned!lt;? <r -= #n:

r = s:>r=int64:<s=int64:asm/lo>r = lo<s:asm/hi>r = hi<s:
r = s:>r=int64:<s=stack64:asm/lo>r = lo<s:asm/hi>r = hi<s:
r = s:>r=stack64:<s=int64:asm/lo>r = lo<s:asm/hi>r = hi<s:
r = s:>r=int64:<s=spill64:asm/lo>r = lo<s:asm/hi>r = hi<s:
r = s:>r=spill64:<s=int64:asm/lo>r = lo<s:asm/hi>r = hi<s:

assign 0 to r:<r=spill64#1:asm/assign 0 to lo<r:asm/assign 1 to hi<r:
assign 1 to r:<r=spill64#2:asm/assign 2 to lo<r:asm/assign 3 to hi<r:
assign 2 to r:<r=spill64#3:asm/assign 4 to lo<r:asm/assign 5 to hi<r:
assign 3 to r:<r=spill64#4:asm/assign 6 to lo<r:asm/assign 7 to hi<r:
assign 4 to r:<r=spill64#5:asm/assign 8 to lo<r:asm/assign 9 to hi<r:
assign 5 to r:<r=spill64#6:asm/assign 10 to lo<r:asm/assign 11 to hi<r:
assign 6 to r:<r=spill64#7:asm/assign 12 to lo<r:asm/assign 13 to hi<r:
assign 7 to r:<r=spill64#8:asm/assign 14 to lo<r:asm/assign 15 to hi<r:
assign 8 to r:<r=spill64#9:asm/assign 16 to lo<r:asm/assign 17 to hi<r:
assign 9 to r:<r=spill64#10:asm/assign 18 to lo<r:asm/assign 19 to hi<r:
assign 10 to r:<r=spill64#11:asm/assign 20 to lo<r:asm/assign 21 to hi<r:
assign 11 to r:<r=spill64#12:asm/assign 22 to lo<r:asm/assign 23 to hi<r:
assign 12 to r:<r=spill64#13:asm/assign 24 to lo<r:asm/assign 25 to hi<r:
assign 13 to r:<r=spill64#14:asm/assign 26 to lo<r:asm/assign 27 to hi<r:
assign 14 to r:<r=spill64#15:asm/assign 28 to lo<r:asm/assign 29 to hi<r:
assign 15 to r:<r=spill64#16:asm/assign 30 to lo<r:asm/assign 31 to hi<r:

r = flip mem64[s]:>r=int64:<s=int32:asm/hi>r = mem32[<s]:asm/lo>r = mem32[<s+4]:
r = flip mem64[s]; s += 8:>r=int64:<s=int32:asm/hi>r = mem32[<s]; <s += 4:asm/lo>r = mem32[<s]; <s += 4:
r = flip mem64[s+n]:>r=int64:<s=int32:#n:asm/hi>r = mem32[<s+#n]:asm/lo>r = mem32[<s+ADD4(#n)]:

mem64[s] = flip r:<r=int64:<s=int32:asm/mem32[<s] = hi<r:asm/mem32[<s+4] = lo<r:
mem64[s+n] = flip r:<r=int64:<s=int32:#n:asm/mem32[<s+#n] = hi<r:asm/mem32[<s+ADD4(#n)] = lo<r:

r = reverse flip s:>r=int64:<s=int64:asm/lo>r = lo<s[3]lo<s[2]lo<s[1]lo<s[0]:asm/hi>r = hi<s[3]hi<s[2]hi<s[1]hi<s[0]:

r += s:inplace>r=int64:<r=int64:<s=int64:asm/carry? lo<r += lo<s:asm/hi<r += hi<s + carry:
r += s:inplace>r=int64:<r=int64:<s=stack64:asm/lotmp = lo<s:asm/hitmp = hi<s:asm/carry? lo<r += lotmp:asm/hi<r += hitmp + carry:

r += w + mem64[c] + Sigma1(x) + Ch(x,y,z); c += 8:inplace>r=int64:<r=int64:<w=int64:<x=int64:<y=int64:<z=int64:<c=int32:asm/carry? lo<r += lo<w:asm/hi<r += hi<w + carry:asm/lotmp = mem32[<c]; <c += 4:asm/hitmp = mem32[<c]; <c += 4:asm/carry? lo<r += lotmp:asm/hi<r += hitmp + carry:asm/lotmp = (hi<x unsigned!gt;!gt; 9):asm/lotmp ^= (lo<x !lt;!lt; 23):asm/lotmp ^= (lo<x unsigned!gt;!gt; 18):asm/lotmp ^= (hi<x !lt;!lt; 14):asm/lotmp ^= (lo<x unsigned!gt;!gt; 14):asm/lotmp ^= (hi<x !lt;!lt; 18):asm/carry? lo<r += lotmp:asm/hitmp = (lo<x unsigned!gt;!gt; 9):asm/hitmp ^= (hi<x !lt;!lt; 23):asm/hitmp ^= (hi<x unsigned!gt;!gt; 18):asm/hitmp ^= (lo<x !lt;!lt; 14):asm/hitmp ^= (hi<x unsigned!gt;!gt; 14):asm/hitmp ^= (lo<x !lt;!lt; 18):asm/hi<r += hitmp + carry:asm/lotmp = lo<x & lo<y:asm/lotmp2 = lo<z & ~lo<x:asm/lotmp ^= lotmp2:asm/carry? lo<r += lotmp:asm/hitmp = hi<x & hi<y:asm/hitmp2 = hi<z & ~hi<x:asm/hitmp ^= hitmp2:asm/hi<r += hitmp + carry:

r += Sigma0(x) + Maj(x,y,z):inplace>r=int64:<r=int64:<x=int64:<y=int64:<z=int64:asm/lotmp = (hi<x unsigned!gt;!gt; 7):asm/lotmp ^= (lo<x !lt;!lt; 25):asm/lotmp ^= (hi<x unsigned!gt;!gt; 2):asm/lotmp ^= (lo<x !lt;!lt; 30):asm/lotmp ^= (lo<x unsigned!gt;!gt; 28):asm/lotmp ^= (hi<x !lt;!lt; 4):asm/carry? lo<r += lotmp:asm/hitmp = (lo<x unsigned!gt;!gt; 7):asm/hitmp ^= (hi<x !lt;!lt; 25):asm/hitmp ^= (lo<x unsigned!gt;!gt; 2):asm/hitmp ^= (hi<x !lt;!lt; 30):asm/hitmp ^= (hi<x unsigned!gt;!gt; 28):asm/hitmp ^= (lo<x !lt;!lt; 4):asm/hi<r += hitmp + carry:asm/lotmp = lo<y ^ lo<z:asm/lotmp &= lo<x:asm/lotmp2 = lo<y & lo<z:asm/lotmp ^= lotmp2:asm/carry? lo<r += lotmp:asm/hitmp = hi<y ^ hi<z:asm/hitmp &= hi<x:asm/hitmp2 = hi<y & hi<z:asm/hitmp ^= hitmp2:asm/hi<r += hitmp + carry:

r += sigma0(x):inplace>r=int64:<r=int64:<x=int64:asm/carry? lotmp = (lo<x unsigned!gt;!gt; 1):asm/hitmp = (carry,hi<x unsigned!gt;!gt; 1):asm/lotmp ^= (hi<x !lt;!lt; 31):asm/lotmp ^= (lo<x unsigned!gt;!gt;7):asm/lotmp ^= (hi<x !lt;!lt; 25):asm/hitmp ^= (hi<x unsigned!gt;!gt;7):asm/lotmp ^= (lo<x unsigned!gt;!gt;8):asm/lotmp ^= (hi<x !lt;!lt; 24):asm/hitmp ^= (hi<x unsigned!gt;!gt;8):asm/hitmp ^= (lo<x !lt;!lt; 24):asm/carry? lo<r += lotmp:asm/hi<r += hitmp + carry:

r += sigma1(x):inplace>r=int64:<r=int64:<x=int64:asm/lotmp = (lo<x unsigned!gt;!gt; 6):asm/lotmp ^= (hi<x !lt;!lt; 26):asm/lotmp ^= (lo<x unsigned!gt;!gt; 19):asm/lotmp ^= (hi<x !lt;!lt; 13):asm/lotmp ^= (hi<x unsigned!gt;!gt; 29):asm/lotmp ^= (lo<x !lt;!lt; 3):asm/carry? lo<r += lotmp:asm/hitmp = (hi<x unsigned!gt;!gt; 6):asm/hitmp ^= (hi<x unsigned!gt;!gt; 19):asm/hitmp ^= (lo<x !lt;!lt; 13):asm/hitmp ^= (lo<x unsigned!gt;!gt; 29):asm/hitmp ^= (hi<x !lt;!lt; 3):asm/hi<r += hitmp + carry:

:

int32 input_0
int32 input_1
int32 input_2
int32 input_3