-rw-r--r-- 4131 lib25519-20221222/crypto_hashblocks/sha512/m3/inner.desc raw
:name:ptr:p0:p1:p2:p3:p4:p5:
ptr r:var/r=ptr:
:name:int32:i0:i1:i2:i3:i4:i5:i6:i7:i8:i9:
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:stackptr:n0:n1:n2:
stackptr r:var/r=stackptr:
:name:stack32:o0:o1:o2:
stack32 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=ptr#1:>input_1=ptr#2:>input_2=int32#3:>input_3=ptr#4:asm/int #f(unsigned char *p0,unsigned char *p1,unsigned int i2,unsigned char *p3):asm/{:asm/int equal;:asm/int unsignedge;:asm/unsigned char *p2;:asm/unsigned int i0,i1,i3,i4,i5,i6,i7,i8,i9;:asm/uint64 u0,u1,u2,u3,u4,u5,u6,u7;:asm/uint64 m0,m1,m2,m3,m4,m5,m6,m7,m8,m9,m10,m11,m12,m13,m14,m15,m16,m17,m18;:asm/unsigned char *n0,*n1,*n2;:asm/unsigned int o0,o1,o2;:asm/uint64 d0,d1,d2,d3,d4,d5,d6,d7,d8,d9,d10,d11,d12,d13,d14,d15,d16;:

popreturn r:<r=int32#1:nofallthrough:asm/return i0;:asm/}:leave:

f#:#f:label/f:asm/label_#f!colon:
goto f:#f:nofallthrough:jump/f:asm/goto label_#f;:
goto f if =:#f:jump/f:<?=:asm/if (equal) goto label_#f;:
goto f if unsigned>=:#f:jump/f:<?unsigned>=:asm/if (unsignedge) goto label_#f;:

r = s:>r=ptr:<s=ptr:asm/>r = <s;:
r += n:<r=ptr:inplace>r=ptr:#n:asm/<r += #n;:
r -= n:<r=ptr:inplace>r=ptr:#n:asm/<r -= #n;:

r = s:>r=ptr:<s=stackptr:asm/>r = <s;:
r = s:>r=stackptr:<s=ptr:asm/>r = <s;:

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;:
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/equal = eq(<r,#n);:
r -= n:<r=int32:inplace>r=int32:#n:>?=:>?unsigned>=:asm/equal = eq(<r,#n); unsignedge = ge(<r,#n); <r -= #n;:

r = s:>r=int64:<s=int64:asm/>r = <s;:
r = s:>r=int64:<s=stack64:asm/>r = <s;:
r = s:>r=stack64:<s=int64:asm/>r = <s;:
r = s:>r=int64:<s=spill64:asm/>r = <s;:
r = s:>r=spill64:<s=int64:asm/>r = <s;:

assign 0 to r:<r=spill64#1:
assign 1 to r:<r=spill64#2:
assign 2 to r:<r=spill64#3:
assign 3 to r:<r=spill64#4:
assign 4 to r:<r=spill64#5:
assign 5 to r:<r=spill64#6:
assign 6 to r:<r=spill64#7:
assign 7 to r:<r=spill64#8:
assign 8 to r:<r=spill64#9:
assign 9 to r:<r=spill64#10:
assign 10 to r:<r=spill64#11:
assign 11 to r:<r=spill64#12:
assign 12 to r:<r=spill64#13:
assign 13 to r:<r=spill64#14:
assign 14 to r:<r=spill64#15:
assign 15 to r:<r=spill64#16:

r = mem64[s]:>r=int64:<s=ptr:asm/>r = load64(<s);:
r = mem64[s]; s += 8:>r=int64:<s=ptr:inplace>s=int32:asm/>r = load64(<s); <s += 8;:
r = mem64[s+n]:>r=int64:<s=ptr:#n:asm/>r = load64(<s+#n);:

r = flip mem64[s]:>r=int64:<s=ptr:asm/>r = flip(load64(<s));:
r = flip mem64[s]; s += 8:>r=int64:<s=ptr:inplace>s=int32:asm/>r = flip(load64(<s)); <s += 8;:
r = flip mem64[s+n]:>r=int64:<s=ptr:#n:asm/>r = flip(load64(<s+#n));:

mem64[s] = r:<r=int64:<s=ptr:asm/store64(<s,<r);:
mem64[s+n] = r:<r=int64:<s=ptr:#n:asm/store64(<s+#n,<r);:
mem64[s] = flip r:<r=int64:<s=ptr:asm/store64(<s,flip(<r));:
mem64[s+n] = flip r:<r=int64:<s=ptr:#n:asm/store64(<s+#n,flip(<r));:

r = reverse s:>r=int64:<s=int64:asm/>r = reverse(<s);:
r = reverse flip s:>r=int64:<s=int64:asm/>r = reverse(flip(<s));:
r += s:inplace>r=int64:<r=int64:<s=int64:asm/<r += <s;:
r += s:inplace>r=int64:<r=int64:<s=stack64:asm/<r += <s;:

r += w + mem64[c] + Sigma1(x) + Ch(x,y,z); c += n:inplace>r=int64:<r=int64:<w=int64:#n:<x=int64:<y=int64:<z=int64:<c=ptr:asm/<r += <w + load64(<c) + Sigma1(<x) + Ch(<x,<y,<z);:asm/<c += #n;:

r += Sigma0(x) + Maj(x,y,z):inplace>r=int64:<r=int64:<x=int64:<y=int64:<z=int64:asm/<r += Sigma0(<x) + Maj(<x,<y,<z);:

r += sigma0(x):inplace>r=int64:<r=int64:<x=int64:asm/<r += sigma0(<x);:
r += sigma1(x):inplace>r=int64:<r=int64:<x=int64:asm/<r += sigma1(<x);:

:

ptr input_0
ptr input_1
int32 input_2
ptr input_3