# qhasm: int32 eax

# qhasm: int32 ebx

# qhasm: int32 esi

# qhasm: int32 edi

# qhasm: int32 ebp

# qhasm: caller eax

# qhasm: caller ebx

# qhasm: caller esi

# qhasm: caller edi

# qhasm: caller ebp

# qhasm: stack32 eax_stack

# qhasm: stack32 ebx_stack

# qhasm: stack32 esi_stack

# qhasm: stack32 edi_stack

# qhasm: stack32 ebp_stack

# qhasm: stack32 arg1

# qhasm: stack32 arg2

# qhasm: stack32 arg3

# qhasm: stack32 arg4

# qhasm: stack32 arg5

# qhasm: input arg1

# qhasm: input arg2

# qhasm: input arg3

# qhasm: input arg4

# qhasm: input arg5

# qhasm: int32 out

# qhasm: int32 r

# qhasm: int32 s

# qhasm: int32 m

# qhasm: int32 l

# qhasm: int32 m0

# qhasm: int32 m1

# qhasm: int32 m2

# qhasm: int32 m3

# qhasm: float80 a0

# qhasm: float80 a1

# qhasm: float80 a2

# qhasm: float80 a3

# qhasm: float80 h0

# qhasm: float80 h1

# qhasm: float80 h2

# qhasm: float80 h3

# qhasm: float80 x0

# qhasm: float80 x1

# qhasm: float80 x2

# qhasm: float80 x3

# qhasm: float80 y0

# qhasm: float80 y1

# qhasm: float80 y2

# qhasm: float80 y3

# qhasm: float80 r0x0

# qhasm: float80 r1x0

# qhasm: float80 r2x0

# qhasm: float80 r3x0

# qhasm: float80 r0x1

# qhasm: float80 r1x1

# qhasm: float80 r2x1

# qhasm: float80 sr3x1

# qhasm: float80 r0x2

# qhasm: float80 r1x2

# qhasm: float80 sr2x2

# qhasm: float80 sr3x2

# qhasm: float80 r0x3

# qhasm: float80 sr1x3

# qhasm: float80 sr2x3

# qhasm: float80 sr3x3

# qhasm: stack64 d0

# qhasm: stack64 d1

# qhasm: stack64 d2

# qhasm: stack64 d3

# qhasm: stack64 r0

# qhasm: stack64 r1

# qhasm: stack64 r2

# qhasm: stack64 r3

# qhasm: stack64 sr1

# qhasm: stack64 sr2

# qhasm: stack64 sr3

# qhasm: enter poly1305_x86_ppro stackaligned4096 poly1305_x86_ppro_constants
.text
.p2align 5
.globl _poly1305_x86_ppro
.globl poly1305_x86_ppro
_poly1305_x86_ppro:
poly1305_x86_ppro:
mov %esp,%eax
sub $poly1305_x86_ppro_constants,%eax
and $4095,%eax
add $192,%eax
sub %eax,%esp

# qhasm:   round *(uint16 *) &poly1305_x86_ppro_rounding
fldcw poly1305_x86_ppro_rounding

# qhasm:   ebx_stack = ebx
# asm 1: movl <ebx=int32#4,>ebx_stack=stack32#1
# asm 2: movl <ebx=%ebx,>ebx_stack=0(%esp)
movl %ebx,0(%esp)

# qhasm:   esi_stack = esi
# asm 1: movl <esi=int32#5,>esi_stack=stack32#2
# asm 2: movl <esi=%esi,>esi_stack=4(%esp)
movl %esi,4(%esp)

# qhasm:   edi_stack = edi
# asm 1: movl <edi=int32#6,>edi_stack=stack32#3
# asm 2: movl <edi=%edi,>edi_stack=8(%esp)
movl %edi,8(%esp)

# qhasm:   ebp_stack = ebp
# asm 1: movl <ebp=int32#7,>ebp_stack=stack32#4
# asm 2: movl <ebp=%ebp,>ebp_stack=12(%esp)
movl %ebp,12(%esp)

# qhasm:   r = arg2
# asm 1: movl <arg2=stack32#-2,>r=int32#2
# asm 2: movl <arg2=8(%esp,%eax),>r=%ecx
movl 8(%esp,%eax),%ecx

# qhasm:   a0 = *(int32 *) (r + 0)
# asm 1: fildl 0(<r=int32#2)
# asm 2: fildl 0(<r=%ecx)
fildl 0(%ecx)
# comment:fpstackfrombottom:<a0#15:

# qhasm:   *(float64 *) &r0 = a0
# asm 1: fstpl >r0=stack64#1
# asm 2: fstpl >r0=96(%esp)
fstpl 96(%esp)
# comment:fpstackfrombottom:

# qhasm:   a1 = *(int32 *) (r + 4)
# asm 1: fildl 4(<r=int32#2)
# asm 2: fildl 4(<r=%ecx)
fildl 4(%ecx)
# comment:fpstackfrombottom:<a1#17:

# qhasm:   a1 *= *(float64 *) &poly1305_x86_ppro_two32
fmull poly1305_x86_ppro_two32
# comment:fpstackfrombottom:<a1#17:

# qhasm:   *(float64 *) &r1 = a1
# asm 1: fstl >r1=stack64#2
# asm 2: fstl >r1=104(%esp)
fstl 104(%esp)
# comment:fpstackfrombottom:<a1#17:

# qhasm:   a1 *= *(float64 *) &poly1305_x86_ppro_scale
fmull poly1305_x86_ppro_scale
# comment:fpstackfrombottom:<a1#17:

# qhasm:   *(float64 *) &sr1 = a1
# asm 1: fstpl >sr1=stack64#3
# asm 2: fstpl >sr1=112(%esp)
fstpl 112(%esp)
# comment:fpstackfrombottom:

# qhasm:   a2 = *(int32 *) (r + 8)
# asm 1: fildl 8(<r=int32#2)
# asm 2: fildl 8(<r=%ecx)
fildl 8(%ecx)
# comment:fpstackfrombottom:<a2#20:

# qhasm:   a2 *= *(float64 *) &poly1305_x86_ppro_two64
fmull poly1305_x86_ppro_two64
# comment:fpstackfrombottom:<a2#20:

# qhasm:   *(float64 *) &r2 = a2
# asm 1: fstl >r2=stack64#4
# asm 2: fstl >r2=120(%esp)
fstl 120(%esp)
# comment:fpstackfrombottom:<a2#20:

# qhasm:   a2 *= *(float64 *) &poly1305_x86_ppro_scale
fmull poly1305_x86_ppro_scale
# comment:fpstackfrombottom:<a2#20:

# qhasm:   *(float64 *) &sr2 = a2
# asm 1: fstpl >sr2=stack64#5
# asm 2: fstpl >sr2=128(%esp)
fstpl 128(%esp)
# comment:fpstackfrombottom:

# qhasm:   a3 = *(int32 *) (r + 12)
# asm 1: fildl 12(<r=int32#2)
# asm 2: fildl 12(<r=%ecx)
fildl 12(%ecx)
# comment:fpstackfrombottom:<a3#23:

# qhasm:   a3 *= *(float64 *) &poly1305_x86_ppro_two96
fmull poly1305_x86_ppro_two96
# comment:fpstackfrombottom:<a3#23:

# qhasm:   *(float64 *) &r3 = a3
# asm 1: fstl >r3=stack64#6
# asm 2: fstl >r3=136(%esp)
fstl 136(%esp)
# comment:fpstackfrombottom:<a3#23:

# qhasm:   a3 *= *(float64 *) &poly1305_x86_ppro_scale
fmull poly1305_x86_ppro_scale
# comment:fpstackfrombottom:<a3#23:

# qhasm:   *(float64 *) &sr3 = a3
# asm 1: fstpl >sr3=stack64#7
# asm 2: fstpl >sr3=144(%esp)
fstpl 144(%esp)
# comment:fpstackfrombottom:

# qhasm:   h3 = 0
fldz
# comment:fpstackfrombottom:<h3#26:

# qhasm:   h2 = 0
fldz
# comment:fpstackfrombottom:<h3#26:<h2#27:

# qhasm:   h1 = 0
fldz
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:

# qhasm:   h0 = 0
fldz
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   d0 top = 0x43300000
# asm 1: movl  $0x43300000,>d0=stack64#8
# asm 2: movl  $0x43300000,>d0=156(%esp)
movl  $0x43300000,156(%esp)
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   d1 top = 0x45300000
# asm 1: movl  $0x45300000,>d1=stack64#9
# asm 2: movl  $0x45300000,>d1=164(%esp)
movl  $0x45300000,164(%esp)
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   d2 top = 0x47300000
# asm 1: movl  $0x47300000,>d2=stack64#10
# asm 2: movl  $0x47300000,>d2=172(%esp)
movl  $0x47300000,172(%esp)
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   d3 top = 0x49300000
# asm 1: movl  $0x49300000,>d3=stack64#11
# asm 2: movl  $0x49300000,>d3=180(%esp)
movl  $0x49300000,180(%esp)
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   m = arg4
# asm 1: movl <arg4=stack32#-4,>m=int32#5
# asm 2: movl <arg4=16(%esp,%eax),>m=%esi
movl 16(%esp,%eax),%esi
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   l = arg5
# asm 1: movl <arg5=stack32#-5,>l=int32#2
# asm 2: movl <arg5=20(%esp,%eax),>l=%ecx
movl 20(%esp,%eax),%ecx
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   eax_stack = eax
# asm 1: movl <eax=int32#1,>eax_stack=stack32#5
# asm 2: movl <eax=%eax,>eax_stack=16(%esp)
movl %eax,16(%esp)
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:                          unsigned<? l - 16
# asm 1: cmp  $16,<l=int32#2
# asm 2: cmp  $16,<l=%ecx
cmp  $16,%ecx
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:
# comment:fp stack unchanged by jump
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm: goto addatmost15bytes if unsigned<
jb ._addatmost15bytes
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   m3 = *(uint32 *) (m + 12)
# asm 1: movl 12(<m=int32#5),>m3=int32#1
# asm 2: movl 12(<m=%esi),>m3=%eax
movl 12(%esi),%eax
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   m2 = *(uint32 *) (m + 8)
# asm 1: movl 8(<m=int32#5),>m2=int32#3
# asm 2: movl 8(<m=%esi),>m2=%edx
movl 8(%esi),%edx
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   m1 = *(uint32 *) (m + 4)
# asm 1: movl 4(<m=int32#5),>m1=int32#4
# asm 2: movl 4(<m=%esi),>m1=%ebx
movl 4(%esi),%ebx
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   m0 = *(uint32 *) (m + 0)
# asm 1: movl 0(<m=int32#5),>m0=int32#6
# asm 2: movl 0(<m=%esi),>m0=%edi
movl 0(%esi),%edi
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   inplace d3 bottom = m3
# asm 1: movl <m3=int32#1,<d3=stack64#11
# asm 2: movl <m3=%eax,<d3=176(%esp)
movl %eax,176(%esp)
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   inplace d2 bottom = m2
# asm 1: movl <m2=int32#3,<d2=stack64#10
# asm 2: movl <m2=%edx,<d2=168(%esp)
movl %edx,168(%esp)
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   inplace d1 bottom = m1
# asm 1: movl <m1=int32#4,<d1=stack64#9
# asm 2: movl <m1=%ebx,<d1=160(%esp)
movl %ebx,160(%esp)
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   inplace d0 bottom = m0
# asm 1: movl <m0=int32#6,<d0=stack64#8
# asm 2: movl <m0=%edi,<d0=152(%esp)
movl %edi,152(%esp)
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   m += 16
# asm 1: add  $16,<m=int32#5
# asm 2: add  $16,<m=%esi
add  $16,%esi
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   l -= 16
# asm 1: sub  $16,<l=int32#2
# asm 2: sub  $16,<l=%ecx
sub  $16,%ecx
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm: internal stacktop h3
# asm 1: fxch <h3=float80#4
# asm 2: fxch <h3=%st(3)
fxch %st(3)

# qhasm:   h3 += *(float64 *) &d3
# asm 1: faddl <d3=stack64#11
# asm 2: faddl <d3=176(%esp)
faddl 176(%esp)
# comment:fpstackfrombottom:<h0#29:<h2#27:<h1#28:<h3#26:

# qhasm:   h3 -= *(float64 *) &poly1305_x86_ppro_doffset3minustwo128
fsubl poly1305_x86_ppro_doffset3minustwo128
# comment:fpstackfrombottom:<h0#29:<h2#27:<h1#28:<h3#26:

# qhasm: internal stacktop h2
# asm 1: fxch <h2=float80#3
# asm 2: fxch <h2=%st(2)
fxch %st(2)

# qhasm:   h2 += *(float64 *) &d2
# asm 1: faddl <d2=stack64#10
# asm 2: faddl <d2=168(%esp)
faddl 168(%esp)
# comment:fpstackfrombottom:<h0#29:<h3#26:<h1#28:<h2#27:

# qhasm:   h2 -= *(float64 *) &poly1305_x86_ppro_doffset2
fsubl poly1305_x86_ppro_doffset2
# comment:fpstackfrombottom:<h0#29:<h3#26:<h1#28:<h2#27:

# qhasm: internal stacktop h1
# asm 1: fxch <h1=float80#2
# asm 2: fxch <h1=%st(1)
fxch %st(1)

# qhasm:   h1 += *(float64 *) &d1
# asm 1: faddl <d1=stack64#9
# asm 2: faddl <d1=160(%esp)
faddl 160(%esp)
# comment:fpstackfrombottom:<h0#29:<h3#26:<h2#27:<h1#28:

# qhasm:   h1 -= *(float64 *) &poly1305_x86_ppro_doffset1
fsubl poly1305_x86_ppro_doffset1
# comment:fpstackfrombottom:<h0#29:<h3#26:<h2#27:<h1#28:

# qhasm: internal stacktop h0
# asm 1: fxch <h0=float80#4
# asm 2: fxch <h0=%st(3)
fxch %st(3)

# qhasm:   h0 += *(float64 *) &d0
# asm 1: faddl <d0=stack64#8
# asm 2: faddl <d0=152(%esp)
faddl 152(%esp)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:

# qhasm:   h0 -= *(float64 *) &poly1305_x86_ppro_doffset0
fsubl poly1305_x86_ppro_doffset0
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:

# qhasm:                                  unsigned<? l - 16
# asm 1: cmp  $16,<l=int32#2
# asm 2: cmp  $16,<l=%ecx
cmp  $16,%ecx
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:
# comment:fp stack unchanged by jump
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:

# qhasm: goto multiplyaddatmost15bytes if unsigned<
jb ._multiplyaddatmost15bytes
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:

# qhasm: multiplyaddatleast16bytes:
._multiplyaddatleast16bytes:
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:

# qhasm:   m3 = *(uint32 *) (m + 12)
# asm 1: movl 12(<m=int32#5),>m3=int32#1
# asm 2: movl 12(<m=%esi),>m3=%eax
movl 12(%esi),%eax
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:

# qhasm:   m2 = *(uint32 *) (m + 8)
# asm 1: movl 8(<m=int32#5),>m2=int32#3
# asm 2: movl 8(<m=%esi),>m2=%edx
movl 8(%esi),%edx
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:

# qhasm:   m1 = *(uint32 *) (m + 4)
# asm 1: movl 4(<m=int32#5),>m1=int32#4
# asm 2: movl 4(<m=%esi),>m1=%ebx
movl 4(%esi),%ebx
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:

# qhasm:   m0 = *(uint32 *) (m + 0)
# asm 1: movl 0(<m=int32#5),>m0=int32#6
# asm 2: movl 0(<m=%esi),>m0=%edi
movl 0(%esi),%edi
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:

# qhasm:   inplace d3 bottom = m3
# asm 1: movl <m3=int32#1,<d3=stack64#11
# asm 2: movl <m3=%eax,<d3=176(%esp)
movl %eax,176(%esp)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:

# qhasm:   inplace d2 bottom = m2
# asm 1: movl <m2=int32#3,<d2=stack64#10
# asm 2: movl <m2=%edx,<d2=168(%esp)
movl %edx,168(%esp)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:

# qhasm:   inplace d1 bottom = m1
# asm 1: movl <m1=int32#4,<d1=stack64#9
# asm 2: movl <m1=%ebx,<d1=160(%esp)
movl %ebx,160(%esp)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:

# qhasm:   inplace d0 bottom = m0
# asm 1: movl <m0=int32#6,<d0=stack64#8
# asm 2: movl <m0=%edi,<d0=152(%esp)
movl %edi,152(%esp)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:

# qhasm:   m += 16
# asm 1: add  $16,<m=int32#5
# asm 2: add  $16,<m=%esi
add  $16,%esi
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:

# qhasm:   l -= 16
# asm 1: sub  $16,<l=int32#2
# asm 2: sub  $16,<l=%ecx
sub  $16,%ecx
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:

# qhasm:   x0 = *(float64 *) &poly1305_x86_ppro_alpha130
fldl poly1305_x86_ppro_alpha130
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#47:

# qhasm:   x0 += h3
# asm 1: fadd <h3=float80#4,<x0=float80#1
# asm 2: fadd <h3=%st(3),<x0=%st(0)
fadd %st(3),%st(0)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#47:

# qhasm:   x0 -= *(float64 *) &poly1305_x86_ppro_alpha130
fsubl poly1305_x86_ppro_alpha130
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#47:

# qhasm:   h3 -= x0
# asm 1: fsubr <x0=float80#1,<h3=float80#4
# asm 2: fsubr <x0=%st(0),<h3=%st(3)
fsubr %st(0),%st(3)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#47:

# qhasm:   x0 *= *(float64 *) &poly1305_x86_ppro_scale
fmull poly1305_x86_ppro_scale
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#47:

# qhasm:   x1 = *(float64 *) &poly1305_x86_ppro_alpha32
fldl poly1305_x86_ppro_alpha32
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#47:<x1#48:

# qhasm:   x1 += h0
# asm 1: fadd <h0=float80#3,<x1=float80#1
# asm 2: fadd <h0=%st(2),<x1=%st(0)
fadd %st(2),%st(0)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#47:<x1#48:

# qhasm:   x1 -= *(float64 *) &poly1305_x86_ppro_alpha32
fsubl poly1305_x86_ppro_alpha32
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#47:<x1#48:

# qhasm:   h0 -= x1
# asm 1: fsubr <x1=float80#1,<h0=float80#3
# asm 2: fsubr <x1=%st(0),<h0=%st(2)
fsubr %st(0),%st(2)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#47:<x1#48:

# qhasm: internal stacktop h0
# asm 1: fxch <h0=float80#3
# asm 2: fxch <h0=%st(2)
fxch %st(2)

# qhasm:   x0 += h0
# asm 1: faddp <h0=float80#1,<x0=float80#2
# asm 2: faddp <h0=%st(0),<x0=%st(1)
faddp %st(0),%st(1)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<x1#48:<x0#47:

# qhasm:   x2 = *(float64 *) &poly1305_x86_ppro_alpha64
fldl poly1305_x86_ppro_alpha64
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<x1#48:<x0#47:<x2#49:

# qhasm:   x2 += h1
# asm 1: fadd <h1=float80#6,<x2=float80#1
# asm 2: fadd <h1=%st(5),<x2=%st(0)
fadd %st(5),%st(0)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<x1#48:<x0#47:<x2#49:

# qhasm:   x2 -= *(float64 *) &poly1305_x86_ppro_alpha64
fsubl poly1305_x86_ppro_alpha64
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<x1#48:<x0#47:<x2#49:

# qhasm:   h1 -= x2
# asm 1: fsubr <x2=float80#1,<h1=float80#6
# asm 2: fsubr <x2=%st(0),<h1=%st(5)
fsubr %st(0),%st(5)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<x1#48:<x0#47:<x2#49:

# qhasm:   x3 = *(float64 *) &poly1305_x86_ppro_alpha96
fldl poly1305_x86_ppro_alpha96
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<x1#48:<x0#47:<x2#49:<x3#50:

# qhasm:   x3 += h2
# asm 1: fadd <h2=float80#5,<x3=float80#1
# asm 2: fadd <h2=%st(4),<x3=%st(0)
fadd %st(4),%st(0)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<x1#48:<x0#47:<x2#49:<x3#50:

# qhasm:   x3 -= *(float64 *) &poly1305_x86_ppro_alpha96
fsubl poly1305_x86_ppro_alpha96
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<x1#48:<x0#47:<x2#49:<x3#50:

# qhasm:   h2 -= x3
# asm 1: fsubr <x3=float80#1,<h2=float80#5
# asm 2: fsubr <x3=%st(0),<h2=%st(4)
fsubr %st(0),%st(4)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<x1#48:<x0#47:<x2#49:<x3#50:

# qhasm: internal stacktop h2
# asm 1: fxch <h2=float80#5
# asm 2: fxch <h2=%st(4)
fxch %st(4)

# qhasm:   x2 += h2
# asm 1: faddp <h2=float80#1,<x2=float80#2
# asm 2: faddp <h2=%st(0),<x2=%st(1)
faddp %st(0),%st(1)
# comment:fpstackfrombottom:<h1#28:<h3#26:<x3#50:<x1#48:<x0#47:<x2#49:

# qhasm: internal stacktop h3
# asm 1: fxch <h3=float80#5
# asm 2: fxch <h3=%st(4)
fxch %st(4)

# qhasm:   x3 += h3
# asm 1: faddp <h3=float80#1,<x3=float80#4
# asm 2: faddp <h3=%st(0),<x3=%st(3)
faddp %st(0),%st(3)
# comment:fpstackfrombottom:<h1#28:<x2#49:<x3#50:<x1#48:<x0#47:

# qhasm: internal stacktop h1
# asm 1: fxch <h1=float80#5
# asm 2: fxch <h1=%st(4)
fxch %st(4)

# qhasm:   x1 += h1
# asm 1: faddp <h1=float80#1,<x1=float80#2
# asm 2: faddp <h1=%st(0),<x1=%st(1)
faddp %st(0),%st(1)
# comment:fpstackfrombottom:<x0#47:<x2#49:<x3#50:<x1#48:

# qhasm:   h3 = *(float64 *) &r3
# asm 1: fldl <r3=stack64#6
# asm 2: fldl <r3=136(%esp)
fldl 136(%esp)
# comment:fpstackfrombottom:<x0#47:<x2#49:<x3#50:<x1#48:<h3#26:

# qhasm:   h3 *= x0
# asm 1: fmul <x0=float80#5,<h3=float80#1
# asm 2: fmul <x0=%st(4),<h3=%st(0)
fmul %st(4),%st(0)
# comment:fpstackfrombottom:<x0#47:<x2#49:<x3#50:<x1#48:<h3#26:

# qhasm:   h2 = *(float64 *) &r2
# asm 1: fldl <r2=stack64#4
# asm 2: fldl <r2=120(%esp)
fldl 120(%esp)
# comment:fpstackfrombottom:<x0#47:<x2#49:<x3#50:<x1#48:<h3#26:<h2#27:

# qhasm:   h2 *= x0
# asm 1: fmul <x0=float80#6,<h2=float80#1
# asm 2: fmul <x0=%st(5),<h2=%st(0)
fmul %st(5),%st(0)
# comment:fpstackfrombottom:<x0#47:<x2#49:<x3#50:<x1#48:<h3#26:<h2#27:

# qhasm:   h1 = *(float64 *) &r1
# asm 1: fldl <r1=stack64#2
# asm 2: fldl <r1=104(%esp)
fldl 104(%esp)
# comment:fpstackfrombottom:<x0#47:<x2#49:<x3#50:<x1#48:<h3#26:<h2#27:<h1#28:

# qhasm:   h1 *= x0
# asm 1: fmul <x0=float80#7,<h1=float80#1
# asm 2: fmul <x0=%st(6),<h1=%st(0)
fmul %st(6),%st(0)
# comment:fpstackfrombottom:<x0#47:<x2#49:<x3#50:<x1#48:<h3#26:<h2#27:<h1#28:

# qhasm:   h0 = *(float64 *) &r0
# asm 1: fldl <r0=stack64#1
# asm 2: fldl <r0=96(%esp)
fldl 96(%esp)
# comment:fpstackfrombottom:<x0#47:<x2#49:<x3#50:<x1#48:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   h0 *= x0
# asm 1: fmulp <x0=float80#1,<h0=float80#8
# asm 2: fmulp <x0=%st(0),<h0=%st(7)
fmulp %st(0),%st(7)
# comment:fpstackfrombottom:<h0#29:<x2#49:<x3#50:<x1#48:<h3#26:<h2#27:<h1#28:

# qhasm:   r2x1 = *(float64 *) &r2
# asm 1: fldl <r2=stack64#4
# asm 2: fldl <r2=120(%esp)
fldl 120(%esp)
# comment:fpstackfrombottom:<h0#29:<x2#49:<x3#50:<x1#48:<h3#26:<h2#27:<h1#28:<r2x1#51:

# qhasm:   r2x1 *= x1
# asm 1: fmul <x1=float80#5,<r2x1=float80#1
# asm 2: fmul <x1=%st(4),<r2x1=%st(0)
fmul %st(4),%st(0)
# comment:fpstackfrombottom:<h0#29:<x2#49:<x3#50:<x1#48:<h3#26:<h2#27:<h1#28:<r2x1#51:

# qhasm:   h3 += r2x1
# asm 1: faddp <r2x1=float80#1,<h3=float80#4
# asm 2: faddp <r2x1=%st(0),<h3=%st(3)
faddp %st(0),%st(3)
# comment:fpstackfrombottom:<h0#29:<x2#49:<x3#50:<x1#48:<h3#26:<h2#27:<h1#28:

# qhasm:   r1x1 = *(float64 *) &r1
# asm 1: fldl <r1=stack64#2
# asm 2: fldl <r1=104(%esp)
fldl 104(%esp)
# comment:fpstackfrombottom:<h0#29:<x2#49:<x3#50:<x1#48:<h3#26:<h2#27:<h1#28:<r1x1#52:

# qhasm:   r1x1 *= x1
# asm 1: fmul <x1=float80#5,<r1x1=float80#1
# asm 2: fmul <x1=%st(4),<r1x1=%st(0)
fmul %st(4),%st(0)
# comment:fpstackfrombottom:<h0#29:<x2#49:<x3#50:<x1#48:<h3#26:<h2#27:<h1#28:<r1x1#52:

# qhasm:   h2 += r1x1
# asm 1: faddp <r1x1=float80#1,<h2=float80#3
# asm 2: faddp <r1x1=%st(0),<h2=%st(2)
faddp %st(0),%st(2)
# comment:fpstackfrombottom:<h0#29:<x2#49:<x3#50:<x1#48:<h3#26:<h2#27:<h1#28:

# qhasm:   r0x1 = *(float64 *) &r0
# asm 1: fldl <r0=stack64#1
# asm 2: fldl <r0=96(%esp)
fldl 96(%esp)
# comment:fpstackfrombottom:<h0#29:<x2#49:<x3#50:<x1#48:<h3#26:<h2#27:<h1#28:<r0x1#53:

# qhasm:   r0x1 *= x1
# asm 1: fmul <x1=float80#5,<r0x1=float80#1
# asm 2: fmul <x1=%st(4),<r0x1=%st(0)
fmul %st(4),%st(0)
# comment:fpstackfrombottom:<h0#29:<x2#49:<x3#50:<x1#48:<h3#26:<h2#27:<h1#28:<r0x1#53:

# qhasm:   h1 += r0x1
# asm 1: faddp <r0x1=float80#1,<h1=float80#2
# asm 2: faddp <r0x1=%st(0),<h1=%st(1)
faddp %st(0),%st(1)
# comment:fpstackfrombottom:<h0#29:<x2#49:<x3#50:<x1#48:<h3#26:<h2#27:<h1#28:

# qhasm:   sr3x1 = *(float64 *) &sr3
# asm 1: fldl <sr3=stack64#7
# asm 2: fldl <sr3=144(%esp)
fldl 144(%esp)
# comment:fpstackfrombottom:<h0#29:<x2#49:<x3#50:<x1#48:<h3#26:<h2#27:<h1#28:<sr3x1#54:

# qhasm:   sr3x1 *= x1
# asm 1: fmulp <x1=float80#1,<sr3x1=float80#5
# asm 2: fmulp <x1=%st(0),<sr3x1=%st(4)
fmulp %st(0),%st(4)
# comment:fpstackfrombottom:<h0#29:<x2#49:<x3#50:<sr3x1#54:<h3#26:<h2#27:<h1#28:

# qhasm: internal stacktop sr3x1
# asm 1: fxch <sr3x1=float80#4
# asm 2: fxch <sr3x1=%st(3)
fxch %st(3)

# qhasm:   h0 += sr3x1
# asm 1: faddp <sr3x1=float80#1,<h0=float80#7
# asm 2: faddp <sr3x1=%st(0),<h0=%st(6)
faddp %st(0),%st(6)
# comment:fpstackfrombottom:<h0#29:<x2#49:<x3#50:<h1#28:<h3#26:<h2#27:

# qhasm:   r1x2 = *(float64 *) &r1
# asm 1: fldl <r1=stack64#2
# asm 2: fldl <r1=104(%esp)
fldl 104(%esp)
# comment:fpstackfrombottom:<h0#29:<x2#49:<x3#50:<h1#28:<h3#26:<h2#27:<r1x2#55:

# qhasm:   r1x2 *= x2
# asm 1: fmul <x2=float80#6,<r1x2=float80#1
# asm 2: fmul <x2=%st(5),<r1x2=%st(0)
fmul %st(5),%st(0)
# comment:fpstackfrombottom:<h0#29:<x2#49:<x3#50:<h1#28:<h3#26:<h2#27:<r1x2#55:

# qhasm:   h3 += r1x2
# asm 1: faddp <r1x2=float80#1,<h3=float80#3
# asm 2: faddp <r1x2=%st(0),<h3=%st(2)
faddp %st(0),%st(2)
# comment:fpstackfrombottom:<h0#29:<x2#49:<x3#50:<h1#28:<h3#26:<h2#27:

# qhasm:   r0x2 = *(float64 *) &r0
# asm 1: fldl <r0=stack64#1
# asm 2: fldl <r0=96(%esp)
fldl 96(%esp)
# comment:fpstackfrombottom:<h0#29:<x2#49:<x3#50:<h1#28:<h3#26:<h2#27:<r0x2#56:

# qhasm:   r0x2 *= x2
# asm 1: fmul <x2=float80#6,<r0x2=float80#1
# asm 2: fmul <x2=%st(5),<r0x2=%st(0)
fmul %st(5),%st(0)
# comment:fpstackfrombottom:<h0#29:<x2#49:<x3#50:<h1#28:<h3#26:<h2#27:<r0x2#56:

# qhasm:   h2 += r0x2
# asm 1: faddp <r0x2=float80#1,<h2=float80#2
# asm 2: faddp <r0x2=%st(0),<h2=%st(1)
faddp %st(0),%st(1)
# comment:fpstackfrombottom:<h0#29:<x2#49:<x3#50:<h1#28:<h3#26:<h2#27:

# qhasm:   sr3x2 = *(float64 *) &sr3
# asm 1: fldl <sr3=stack64#7
# asm 2: fldl <sr3=144(%esp)
fldl 144(%esp)
# comment:fpstackfrombottom:<h0#29:<x2#49:<x3#50:<h1#28:<h3#26:<h2#27:<sr3x2#57:

# qhasm:   sr3x2 *= x2
# asm 1: fmul <x2=float80#6,<sr3x2=float80#1
# asm 2: fmul <x2=%st(5),<sr3x2=%st(0)
fmul %st(5),%st(0)
# comment:fpstackfrombottom:<h0#29:<x2#49:<x3#50:<h1#28:<h3#26:<h2#27:<sr3x2#57:

# qhasm:   h1 += sr3x2
# asm 1: faddp <sr3x2=float80#1,<h1=float80#4
# asm 2: faddp <sr3x2=%st(0),<h1=%st(3)
faddp %st(0),%st(3)
# comment:fpstackfrombottom:<h0#29:<x2#49:<x3#50:<h1#28:<h3#26:<h2#27:

# qhasm:   sr2x2 = *(float64 *) &sr2
# asm 1: fldl <sr2=stack64#5
# asm 2: fldl <sr2=128(%esp)
fldl 128(%esp)
# comment:fpstackfrombottom:<h0#29:<x2#49:<x3#50:<h1#28:<h3#26:<h2#27:<sr2x2#58:

# qhasm:   sr2x2 *= x2
# asm 1: fmulp <x2=float80#1,<sr2x2=float80#6
# asm 2: fmulp <x2=%st(0),<sr2x2=%st(5)
fmulp %st(0),%st(5)
# comment:fpstackfrombottom:<h0#29:<sr2x2#58:<x3#50:<h1#28:<h3#26:<h2#27:

# qhasm: internal stacktop sr2x2
# asm 1: fxch <sr2x2=float80#5
# asm 2: fxch <sr2x2=%st(4)
fxch %st(4)

# qhasm:   h0 += sr2x2
# asm 1: faddp <sr2x2=float80#1,<h0=float80#6
# asm 2: faddp <sr2x2=%st(0),<h0=%st(5)
faddp %st(0),%st(5)
# comment:fpstackfrombottom:<h0#29:<h2#27:<x3#50:<h1#28:<h3#26:

# qhasm:   r0x3 = *(float64 *) &r0
# asm 1: fldl <r0=stack64#1
# asm 2: fldl <r0=96(%esp)
fldl 96(%esp)
# comment:fpstackfrombottom:<h0#29:<h2#27:<x3#50:<h1#28:<h3#26:<r0x3#59:

# qhasm:   r0x3 *= x3
# asm 1: fmul <x3=float80#4,<r0x3=float80#1
# asm 2: fmul <x3=%st(3),<r0x3=%st(0)
fmul %st(3),%st(0)
# comment:fpstackfrombottom:<h0#29:<h2#27:<x3#50:<h1#28:<h3#26:<r0x3#59:

# qhasm:   h3 += r0x3
# asm 1: faddp <r0x3=float80#1,<h3=float80#2
# asm 2: faddp <r0x3=%st(0),<h3=%st(1)
faddp %st(0),%st(1)
# comment:fpstackfrombottom:<h0#29:<h2#27:<x3#50:<h1#28:<h3#26:

# qhasm:   sr3x3 = *(float64 *) &sr3
# asm 1: fldl <sr3=stack64#7
# asm 2: fldl <sr3=144(%esp)
fldl 144(%esp)
# comment:fpstackfrombottom:<h0#29:<h2#27:<x3#50:<h1#28:<h3#26:<sr3x3#60:

# qhasm:   sr3x3 *= x3
# asm 1: fmul <x3=float80#4,<sr3x3=float80#1
# asm 2: fmul <x3=%st(3),<sr3x3=%st(0)
fmul %st(3),%st(0)
# comment:fpstackfrombottom:<h0#29:<h2#27:<x3#50:<h1#28:<h3#26:<sr3x3#60:

# qhasm:   h2 += sr3x3
# asm 1: faddp <sr3x3=float80#1,<h2=float80#5
# asm 2: faddp <sr3x3=%st(0),<h2=%st(4)
faddp %st(0),%st(4)
# comment:fpstackfrombottom:<h0#29:<h2#27:<x3#50:<h1#28:<h3#26:

# qhasm:   sr2x3 = *(float64 *) &sr2
# asm 1: fldl <sr2=stack64#5
# asm 2: fldl <sr2=128(%esp)
fldl 128(%esp)
# comment:fpstackfrombottom:<h0#29:<h2#27:<x3#50:<h1#28:<h3#26:<sr2x3#61:

# qhasm:   sr2x3 *= x3
# asm 1: fmul <x3=float80#4,<sr2x3=float80#1
# asm 2: fmul <x3=%st(3),<sr2x3=%st(0)
fmul %st(3),%st(0)
# comment:fpstackfrombottom:<h0#29:<h2#27:<x3#50:<h1#28:<h3#26:<sr2x3#61:

# qhasm:   h1 += sr2x3
# asm 1: faddp <sr2x3=float80#1,<h1=float80#3
# asm 2: faddp <sr2x3=%st(0),<h1=%st(2)
faddp %st(0),%st(2)
# comment:fpstackfrombottom:<h0#29:<h2#27:<x3#50:<h1#28:<h3#26:

# qhasm:   stacktop h2
# asm 1: fxch <h2=float80#4
# asm 2: fxch <h2=%st(3)
fxch %st(3)
# comment:fpstackfrombottom:<h0#29:<h3#26:<x3#50:<h1#28:<h2#27:

# qhasm:   sr1x3 = *(float64 *) &sr1
# asm 1: fldl <sr1=stack64#3
# asm 2: fldl <sr1=112(%esp)
fldl 112(%esp)
# comment:fpstackfrombottom:<h0#29:<h3#26:<x3#50:<h1#28:<h2#27:<sr1x3#62:

# qhasm:   sr1x3 *= x3
# asm 1: fmulp <x3=float80#1,<sr1x3=float80#4
# asm 2: fmulp <x3=%st(0),<sr1x3=%st(3)
fmulp %st(0),%st(3)
# comment:fpstackfrombottom:<h0#29:<h3#26:<sr1x3#62:<h1#28:<h2#27:

# qhasm: internal stacktop sr1x3
# asm 1: fxch <sr1x3=float80#3
# asm 2: fxch <sr1x3=%st(2)
fxch %st(2)

# qhasm:   h0 += sr1x3
# asm 1: faddp <sr1x3=float80#1,<h0=float80#5
# asm 2: faddp <sr1x3=%st(0),<h0=%st(4)
faddp %st(0),%st(4)
# comment:fpstackfrombottom:<h0#29:<h3#26:<h2#27:<h1#28:

# qhasm:                                    unsigned<? l - 16
# asm 1: cmp  $16,<l=int32#2
# asm 2: cmp  $16,<l=%ecx
cmp  $16,%ecx
# comment:fpstackfrombottom:<h0#29:<h3#26:<h2#27:<h1#28:

# qhasm:   y3 = *(float64 *) &d3
# asm 1: fldl <d3=stack64#11
# asm 2: fldl <d3=176(%esp)
fldl 176(%esp)
# comment:fpstackfrombottom:<h0#29:<h3#26:<h2#27:<h1#28:<y3#64:

# qhasm:   y3 -= *(float64 *) &poly1305_x86_ppro_doffset3minustwo128
fsubl poly1305_x86_ppro_doffset3minustwo128
# comment:fpstackfrombottom:<h0#29:<h3#26:<h2#27:<h1#28:<y3#64:

# qhasm:   h3 += y3
# asm 1: faddp <y3=float80#1,<h3=float80#4
# asm 2: faddp <y3=%st(0),<h3=%st(3)
faddp %st(0),%st(3)
# comment:fpstackfrombottom:<h0#29:<h3#26:<h2#27:<h1#28:

# qhasm:   y2 = *(float64 *) &d2
# asm 1: fldl <d2=stack64#10
# asm 2: fldl <d2=168(%esp)
fldl 168(%esp)
# comment:fpstackfrombottom:<h0#29:<h3#26:<h2#27:<h1#28:<y2#65:

# qhasm:   y2 -= *(float64 *) &poly1305_x86_ppro_doffset2
fsubl poly1305_x86_ppro_doffset2
# comment:fpstackfrombottom:<h0#29:<h3#26:<h2#27:<h1#28:<y2#65:

# qhasm:   h2 += y2
# asm 1: faddp <y2=float80#1,<h2=float80#3
# asm 2: faddp <y2=%st(0),<h2=%st(2)
faddp %st(0),%st(2)
# comment:fpstackfrombottom:<h0#29:<h3#26:<h2#27:<h1#28:

# qhasm:   y1 = *(float64 *) &d1
# asm 1: fldl <d1=stack64#9
# asm 2: fldl <d1=160(%esp)
fldl 160(%esp)
# comment:fpstackfrombottom:<h0#29:<h3#26:<h2#27:<h1#28:<y1#66:

# qhasm:   y1 -= *(float64 *) &poly1305_x86_ppro_doffset1
fsubl poly1305_x86_ppro_doffset1
# comment:fpstackfrombottom:<h0#29:<h3#26:<h2#27:<h1#28:<y1#66:

# qhasm:   h1 += y1
# asm 1: faddp <y1=float80#1,<h1=float80#2
# asm 2: faddp <y1=%st(0),<h1=%st(1)
faddp %st(0),%st(1)
# comment:fpstackfrombottom:<h0#29:<h3#26:<h2#27:<h1#28:

# qhasm:   stacktop h0
# asm 1: fxch <h0=float80#4
# asm 2: fxch <h0=%st(3)
fxch %st(3)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:

# qhasm:   y0 = *(float64 *) &d0
# asm 1: fldl <d0=stack64#8
# asm 2: fldl <d0=152(%esp)
fldl 152(%esp)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<y0#67:

# qhasm:   y0 -= *(float64 *) &poly1305_x86_ppro_doffset0
fsubl poly1305_x86_ppro_doffset0
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<y0#67:

# qhasm:   h0 += y0
# asm 1: faddp <y0=float80#1,<h0=float80#2
# asm 2: faddp <y0=%st(0),<h0=%st(1)
faddp %st(0),%st(1)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:
# comment:fp stack unchanged by jump
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:

# qhasm: goto multiplyaddatleast16bytes if !unsigned<
jae ._multiplyaddatleast16bytes
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:
# comment:fp stack unchanged by fallthrough
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:

# qhasm: multiplyaddatmost15bytes:
._multiplyaddatmost15bytes:
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:

# qhasm:   x0 = *(float64 *) &poly1305_x86_ppro_alpha130
fldl poly1305_x86_ppro_alpha130
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#68:

# qhasm:   x0 += h3
# asm 1: fadd <h3=float80#4,<x0=float80#1
# asm 2: fadd <h3=%st(3),<x0=%st(0)
fadd %st(3),%st(0)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#68:

# qhasm:   x0 -= *(float64 *) &poly1305_x86_ppro_alpha130
fsubl poly1305_x86_ppro_alpha130
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#68:

# qhasm:   h3 -= x0
# asm 1: fsubr <x0=float80#1,<h3=float80#4
# asm 2: fsubr <x0=%st(0),<h3=%st(3)
fsubr %st(0),%st(3)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#68:

# qhasm:   x0 *= *(float64 *) &poly1305_x86_ppro_scale
fmull poly1305_x86_ppro_scale
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#68:

# qhasm:   x1 = *(float64 *) &poly1305_x86_ppro_alpha32
fldl poly1305_x86_ppro_alpha32
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#68:<x1#69:

# qhasm:   x1 += h0
# asm 1: fadd <h0=float80#3,<x1=float80#1
# asm 2: fadd <h0=%st(2),<x1=%st(0)
fadd %st(2),%st(0)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#68:<x1#69:

# qhasm:   x1 -= *(float64 *) &poly1305_x86_ppro_alpha32
fsubl poly1305_x86_ppro_alpha32
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#68:<x1#69:

# qhasm:   h0 -= x1
# asm 1: fsubr <x1=float80#1,<h0=float80#3
# asm 2: fsubr <x1=%st(0),<h0=%st(2)
fsubr %st(0),%st(2)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#68:<x1#69:

# qhasm:   x2 = *(float64 *) &poly1305_x86_ppro_alpha64
fldl poly1305_x86_ppro_alpha64
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#68:<x1#69:<x2#70:

# qhasm:   x2 += h1
# asm 1: fadd <h1=float80#7,<x2=float80#1
# asm 2: fadd <h1=%st(6),<x2=%st(0)
fadd %st(6),%st(0)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#68:<x1#69:<x2#70:

# qhasm:   x2 -= *(float64 *) &poly1305_x86_ppro_alpha64
fsubl poly1305_x86_ppro_alpha64
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#68:<x1#69:<x2#70:

# qhasm:   h1 -= x2
# asm 1: fsubr <x2=float80#1,<h1=float80#7
# asm 2: fsubr <x2=%st(0),<h1=%st(6)
fsubr %st(0),%st(6)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#68:<x1#69:<x2#70:

# qhasm:   x3 = *(float64 *) &poly1305_x86_ppro_alpha96
fldl poly1305_x86_ppro_alpha96
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#68:<x1#69:<x2#70:<x3#71:

# qhasm:   x3 += h2
# asm 1: fadd <h2=float80#6,<x3=float80#1
# asm 2: fadd <h2=%st(5),<x3=%st(0)
fadd %st(5),%st(0)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#68:<x1#69:<x2#70:<x3#71:

# qhasm:   x3 -= *(float64 *) &poly1305_x86_ppro_alpha96
fsubl poly1305_x86_ppro_alpha96
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#68:<x1#69:<x2#70:<x3#71:

# qhasm:   h2 -= x3
# asm 1: fsubr <x3=float80#1,<h2=float80#6
# asm 2: fsubr <x3=%st(0),<h2=%st(5)
fsubr %st(0),%st(5)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#68:<x1#69:<x2#70:<x3#71:

# qhasm: internal stacktop h0
# asm 1: fxch <h0=float80#5
# asm 2: fxch <h0=%st(4)
fxch %st(4)

# qhasm:   x0 += h0
# asm 1: faddp <h0=float80#1,<x0=float80#4
# asm 2: faddp <h0=%st(0),<x0=%st(3)
faddp %st(0),%st(3)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<x3#71:<x0#68:<x1#69:<x2#70:

# qhasm: internal stacktop h1
# asm 1: fxch <h1=float80#7
# asm 2: fxch <h1=%st(6)
fxch %st(6)

# qhasm:   x1 += h1
# asm 1: faddp <h1=float80#1,<x1=float80#2
# asm 2: faddp <h1=%st(0),<x1=%st(1)
faddp %st(0),%st(1)
# comment:fpstackfrombottom:<x2#70:<h3#26:<h2#27:<x3#71:<x0#68:<x1#69:

# qhasm: internal stacktop h2
# asm 1: fxch <h2=float80#4
# asm 2: fxch <h2=%st(3)
fxch %st(3)

# qhasm:   x2 += h2
# asm 1: faddp <h2=float80#1,<x2=float80#6
# asm 2: faddp <h2=%st(0),<x2=%st(5)
faddp %st(0),%st(5)
# comment:fpstackfrombottom:<x2#70:<h3#26:<x1#69:<x3#71:<x0#68:

# qhasm: internal stacktop h3
# asm 1: fxch <h3=float80#4
# asm 2: fxch <h3=%st(3)
fxch %st(3)

# qhasm:   x3 += h3
# asm 1: faddp <h3=float80#1,<x3=float80#2
# asm 2: faddp <h3=%st(0),<x3=%st(1)
faddp %st(0),%st(1)
# comment:fpstackfrombottom:<x2#70:<x0#68:<x1#69:<x3#71:

# qhasm:   h3 = *(float64 *) &r3
# asm 1: fldl <r3=stack64#6
# asm 2: fldl <r3=136(%esp)
fldl 136(%esp)
# comment:fpstackfrombottom:<x2#70:<x0#68:<x1#69:<x3#71:<h3#26:

# qhasm:   h3 *= x0
# asm 1: fmul <x0=float80#4,<h3=float80#1
# asm 2: fmul <x0=%st(3),<h3=%st(0)
fmul %st(3),%st(0)
# comment:fpstackfrombottom:<x2#70:<x0#68:<x1#69:<x3#71:<h3#26:

# qhasm:   h2 = *(float64 *) &r2
# asm 1: fldl <r2=stack64#4
# asm 2: fldl <r2=120(%esp)
fldl 120(%esp)
# comment:fpstackfrombottom:<x2#70:<x0#68:<x1#69:<x3#71:<h3#26:<h2#27:

# qhasm:   h2 *= x0
# asm 1: fmul <x0=float80#5,<h2=float80#1
# asm 2: fmul <x0=%st(4),<h2=%st(0)
fmul %st(4),%st(0)
# comment:fpstackfrombottom:<x2#70:<x0#68:<x1#69:<x3#71:<h3#26:<h2#27:

# qhasm:   h1 = *(float64 *) &r1
# asm 1: fldl <r1=stack64#2
# asm 2: fldl <r1=104(%esp)
fldl 104(%esp)
# comment:fpstackfrombottom:<x2#70:<x0#68:<x1#69:<x3#71:<h3#26:<h2#27:<h1#28:

# qhasm:   h1 *= x0
# asm 1: fmul <x0=float80#6,<h1=float80#1
# asm 2: fmul <x0=%st(5),<h1=%st(0)
fmul %st(5),%st(0)
# comment:fpstackfrombottom:<x2#70:<x0#68:<x1#69:<x3#71:<h3#26:<h2#27:<h1#28:

# qhasm:   h0 = *(float64 *) &r0
# asm 1: fldl <r0=stack64#1
# asm 2: fldl <r0=96(%esp)
fldl 96(%esp)
# comment:fpstackfrombottom:<x2#70:<x0#68:<x1#69:<x3#71:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   h0 *= x0
# asm 1: fmulp <x0=float80#1,<h0=float80#7
# asm 2: fmulp <x0=%st(0),<h0=%st(6)
fmulp %st(0),%st(6)
# comment:fpstackfrombottom:<x2#70:<h0#29:<x1#69:<x3#71:<h3#26:<h2#27:<h1#28:

# qhasm:   r2x1 = *(float64 *) &r2
# asm 1: fldl <r2=stack64#4
# asm 2: fldl <r2=120(%esp)
fldl 120(%esp)
# comment:fpstackfrombottom:<x2#70:<h0#29:<x1#69:<x3#71:<h3#26:<h2#27:<h1#28:<r2x1#72:

# qhasm:   r2x1 *= x1
# asm 1: fmul <x1=float80#6,<r2x1=float80#1
# asm 2: fmul <x1=%st(5),<r2x1=%st(0)
fmul %st(5),%st(0)
# comment:fpstackfrombottom:<x2#70:<h0#29:<x1#69:<x3#71:<h3#26:<h2#27:<h1#28:<r2x1#72:

# qhasm:   h3 += r2x1
# asm 1: faddp <r2x1=float80#1,<h3=float80#4
# asm 2: faddp <r2x1=%st(0),<h3=%st(3)
faddp %st(0),%st(3)
# comment:fpstackfrombottom:<x2#70:<h0#29:<x1#69:<x3#71:<h3#26:<h2#27:<h1#28:

# qhasm:   r1x1 = *(float64 *) &r1
# asm 1: fldl <r1=stack64#2
# asm 2: fldl <r1=104(%esp)
fldl 104(%esp)
# comment:fpstackfrombottom:<x2#70:<h0#29:<x1#69:<x3#71:<h3#26:<h2#27:<h1#28:<r1x1#73:

# qhasm:   r1x1 *= x1
# asm 1: fmul <x1=float80#6,<r1x1=float80#1
# asm 2: fmul <x1=%st(5),<r1x1=%st(0)
fmul %st(5),%st(0)
# comment:fpstackfrombottom:<x2#70:<h0#29:<x1#69:<x3#71:<h3#26:<h2#27:<h1#28:<r1x1#73:

# qhasm:   h2 += r1x1
# asm 1: faddp <r1x1=float80#1,<h2=float80#3
# asm 2: faddp <r1x1=%st(0),<h2=%st(2)
faddp %st(0),%st(2)
# comment:fpstackfrombottom:<x2#70:<h0#29:<x1#69:<x3#71:<h3#26:<h2#27:<h1#28:

# qhasm:   r0x1 = *(float64 *) &r0
# asm 1: fldl <r0=stack64#1
# asm 2: fldl <r0=96(%esp)
fldl 96(%esp)
# comment:fpstackfrombottom:<x2#70:<h0#29:<x1#69:<x3#71:<h3#26:<h2#27:<h1#28:<r0x1#74:

# qhasm:   r0x1 *= x1
# asm 1: fmul <x1=float80#6,<r0x1=float80#1
# asm 2: fmul <x1=%st(5),<r0x1=%st(0)
fmul %st(5),%st(0)
# comment:fpstackfrombottom:<x2#70:<h0#29:<x1#69:<x3#71:<h3#26:<h2#27:<h1#28:<r0x1#74:

# qhasm:   h1 += r0x1
# asm 1: faddp <r0x1=float80#1,<h1=float80#2
# asm 2: faddp <r0x1=%st(0),<h1=%st(1)
faddp %st(0),%st(1)
# comment:fpstackfrombottom:<x2#70:<h0#29:<x1#69:<x3#71:<h3#26:<h2#27:<h1#28:

# qhasm:   sr3x1 = *(float64 *) &sr3
# asm 1: fldl <sr3=stack64#7
# asm 2: fldl <sr3=144(%esp)
fldl 144(%esp)
# comment:fpstackfrombottom:<x2#70:<h0#29:<x1#69:<x3#71:<h3#26:<h2#27:<h1#28:<sr3x1#75:

# qhasm:   sr3x1 *= x1
# asm 1: fmulp <x1=float80#1,<sr3x1=float80#6
# asm 2: fmulp <x1=%st(0),<sr3x1=%st(5)
fmulp %st(0),%st(5)
# comment:fpstackfrombottom:<x2#70:<h0#29:<sr3x1#75:<x3#71:<h3#26:<h2#27:<h1#28:

# qhasm: internal stacktop sr3x1
# asm 1: fxch <sr3x1=float80#5
# asm 2: fxch <sr3x1=%st(4)
fxch %st(4)

# qhasm:   h0 += sr3x1
# asm 1: faddp <sr3x1=float80#1,<h0=float80#6
# asm 2: faddp <sr3x1=%st(0),<h0=%st(5)
faddp %st(0),%st(5)
# comment:fpstackfrombottom:<x2#70:<h0#29:<h1#28:<x3#71:<h3#26:<h2#27:

# qhasm:   r1x2 = *(float64 *) &r1
# asm 1: fldl <r1=stack64#2
# asm 2: fldl <r1=104(%esp)
fldl 104(%esp)
# comment:fpstackfrombottom:<x2#70:<h0#29:<h1#28:<x3#71:<h3#26:<h2#27:<r1x2#76:

# qhasm:   r1x2 *= x2
# asm 1: fmul <x2=float80#7,<r1x2=float80#1
# asm 2: fmul <x2=%st(6),<r1x2=%st(0)
fmul %st(6),%st(0)
# comment:fpstackfrombottom:<x2#70:<h0#29:<h1#28:<x3#71:<h3#26:<h2#27:<r1x2#76:

# qhasm:   h3 += r1x2
# asm 1: faddp <r1x2=float80#1,<h3=float80#3
# asm 2: faddp <r1x2=%st(0),<h3=%st(2)
faddp %st(0),%st(2)
# comment:fpstackfrombottom:<x2#70:<h0#29:<h1#28:<x3#71:<h3#26:<h2#27:

# qhasm:   r0x2 = *(float64 *) &r0
# asm 1: fldl <r0=stack64#1
# asm 2: fldl <r0=96(%esp)
fldl 96(%esp)
# comment:fpstackfrombottom:<x2#70:<h0#29:<h1#28:<x3#71:<h3#26:<h2#27:<r0x2#77:

# qhasm:   r0x2 *= x2
# asm 1: fmul <x2=float80#7,<r0x2=float80#1
# asm 2: fmul <x2=%st(6),<r0x2=%st(0)
fmul %st(6),%st(0)
# comment:fpstackfrombottom:<x2#70:<h0#29:<h1#28:<x3#71:<h3#26:<h2#27:<r0x2#77:

# qhasm:   h2 += r0x2
# asm 1: faddp <r0x2=float80#1,<h2=float80#2
# asm 2: faddp <r0x2=%st(0),<h2=%st(1)
faddp %st(0),%st(1)
# comment:fpstackfrombottom:<x2#70:<h0#29:<h1#28:<x3#71:<h3#26:<h2#27:

# qhasm:   sr3x2 = *(float64 *) &sr3
# asm 1: fldl <sr3=stack64#7
# asm 2: fldl <sr3=144(%esp)
fldl 144(%esp)
# comment:fpstackfrombottom:<x2#70:<h0#29:<h1#28:<x3#71:<h3#26:<h2#27:<sr3x2#78:

# qhasm:   sr3x2 *= x2
# asm 1: fmul <x2=float80#7,<sr3x2=float80#1
# asm 2: fmul <x2=%st(6),<sr3x2=%st(0)
fmul %st(6),%st(0)
# comment:fpstackfrombottom:<x2#70:<h0#29:<h1#28:<x3#71:<h3#26:<h2#27:<sr3x2#78:

# qhasm:   h1 += sr3x2
# asm 1: faddp <sr3x2=float80#1,<h1=float80#5
# asm 2: faddp <sr3x2=%st(0),<h1=%st(4)
faddp %st(0),%st(4)
# comment:fpstackfrombottom:<x2#70:<h0#29:<h1#28:<x3#71:<h3#26:<h2#27:

# qhasm:   sr2x2 = *(float64 *) &sr2
# asm 1: fldl <sr2=stack64#5
# asm 2: fldl <sr2=128(%esp)
fldl 128(%esp)
# comment:fpstackfrombottom:<x2#70:<h0#29:<h1#28:<x3#71:<h3#26:<h2#27:<sr2x2#79:

# qhasm:   sr2x2 *= x2
# asm 1: fmulp <x2=float80#1,<sr2x2=float80#7
# asm 2: fmulp <x2=%st(0),<sr2x2=%st(6)
fmulp %st(0),%st(6)
# comment:fpstackfrombottom:<sr2x2#79:<h0#29:<h1#28:<x3#71:<h3#26:<h2#27:

# qhasm: internal stacktop sr2x2
# asm 1: fxch <sr2x2=float80#6
# asm 2: fxch <sr2x2=%st(5)
fxch %st(5)

# qhasm:   h0 += sr2x2
# asm 1: faddp <sr2x2=float80#1,<h0=float80#5
# asm 2: faddp <sr2x2=%st(0),<h0=%st(4)
faddp %st(0),%st(4)
# comment:fpstackfrombottom:<h2#27:<h0#29:<h1#28:<x3#71:<h3#26:

# qhasm:   r0x3 = *(float64 *) &r0
# asm 1: fldl <r0=stack64#1
# asm 2: fldl <r0=96(%esp)
fldl 96(%esp)
# comment:fpstackfrombottom:<h2#27:<h0#29:<h1#28:<x3#71:<h3#26:<r0x3#80:

# qhasm:   r0x3 *= x3
# asm 1: fmul <x3=float80#3,<r0x3=float80#1
# asm 2: fmul <x3=%st(2),<r0x3=%st(0)
fmul %st(2),%st(0)
# comment:fpstackfrombottom:<h2#27:<h0#29:<h1#28:<x3#71:<h3#26:<r0x3#80:

# qhasm:   h3 += r0x3
# asm 1: faddp <r0x3=float80#1,<h3=float80#2
# asm 2: faddp <r0x3=%st(0),<h3=%st(1)
faddp %st(0),%st(1)
# comment:fpstackfrombottom:<h2#27:<h0#29:<h1#28:<x3#71:<h3#26:

# qhasm:   sr3x3 = *(float64 *) &sr3
# asm 1: fldl <sr3=stack64#7
# asm 2: fldl <sr3=144(%esp)
fldl 144(%esp)
# comment:fpstackfrombottom:<h2#27:<h0#29:<h1#28:<x3#71:<h3#26:<sr3x3#81:

# qhasm:   sr3x3 *= x3
# asm 1: fmul <x3=float80#3,<sr3x3=float80#1
# asm 2: fmul <x3=%st(2),<sr3x3=%st(0)
fmul %st(2),%st(0)
# comment:fpstackfrombottom:<h2#27:<h0#29:<h1#28:<x3#71:<h3#26:<sr3x3#81:

# qhasm:   h2 += sr3x3
# asm 1: faddp <sr3x3=float80#1,<h2=float80#6
# asm 2: faddp <sr3x3=%st(0),<h2=%st(5)
faddp %st(0),%st(5)
# comment:fpstackfrombottom:<h2#27:<h0#29:<h1#28:<x3#71:<h3#26:

# qhasm:   sr2x3 = *(float64 *) &sr2
# asm 1: fldl <sr2=stack64#5
# asm 2: fldl <sr2=128(%esp)
fldl 128(%esp)
# comment:fpstackfrombottom:<h2#27:<h0#29:<h1#28:<x3#71:<h3#26:<sr2x3#82:

# qhasm:   sr2x3 *= x3
# asm 1: fmul <x3=float80#3,<sr2x3=float80#1
# asm 2: fmul <x3=%st(2),<sr2x3=%st(0)
fmul %st(2),%st(0)
# comment:fpstackfrombottom:<h2#27:<h0#29:<h1#28:<x3#71:<h3#26:<sr2x3#82:

# qhasm:   h1 += sr2x3
# asm 1: faddp <sr2x3=float80#1,<h1=float80#4
# asm 2: faddp <sr2x3=%st(0),<h1=%st(3)
faddp %st(0),%st(3)
# comment:fpstackfrombottom:<h2#27:<h0#29:<h1#28:<x3#71:<h3#26:

# qhasm:   sr1x3 = *(float64 *) &sr1
# asm 1: fldl <sr1=stack64#3
# asm 2: fldl <sr1=112(%esp)
fldl 112(%esp)
# comment:fpstackfrombottom:<h2#27:<h0#29:<h1#28:<x3#71:<h3#26:<sr1x3#83:

# qhasm:   sr1x3 *= x3
# asm 1: fmulp <x3=float80#1,<sr1x3=float80#3
# asm 2: fmulp <x3=%st(0),<sr1x3=%st(2)
fmulp %st(0),%st(2)
# comment:fpstackfrombottom:<h2#27:<h0#29:<h1#28:<sr1x3#83:<h3#26:

# qhasm: internal stacktop sr1x3
# asm 1: fxch <sr1x3=float80#2
# asm 2: fxch <sr1x3=%st(1)
fxch %st(1)

# qhasm:   h0 += sr1x3
# asm 1: faddp <sr1x3=float80#1,<h0=float80#4
# asm 2: faddp <sr1x3=%st(0),<h0=%st(3)
faddp %st(0),%st(3)
# comment:fpstackfrombottom:<h2#27:<h0#29:<h1#28:<h3#26:
# comment:automatically reorganizing fp stack for fallthrough

# qhasm: internal stacktop h2
# asm 1: fxch <h2=float80#4
# asm 2: fxch <h2=%st(3)
fxch %st(3)
# comment:fpstackfrombottom:<h3#26:<h0#29:<h1#28:<h2#27:

# qhasm: internal stacktop h0
# asm 1: fxch <h0=float80#3
# asm 2: fxch <h0=%st(2)
fxch %st(2)
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm: addatmost15bytes:
._addatmost15bytes:
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:                     =? l - 0
# asm 1: cmp  $0,<l=int32#2
# asm 2: cmp  $0,<l=%ecx
cmp  $0,%ecx
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:
# comment:fp stack unchanged by jump
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm: goto nomorebytes if =
je ._nomorebytes
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm: stack128 lastchunk
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm: int32 destination
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   ((uint32 *) &lastchunk)[0] = 0
# asm 1: movl $0,>lastchunk=stack128#1
# asm 2: movl $0,>lastchunk=64(%esp)
movl $0,64(%esp)
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   ((uint32 *) &lastchunk)[1] = 0
# asm 1: movl $0,4+<lastchunk=stack128#1
# asm 2: movl $0,4+<lastchunk=64(%esp)
movl $0,4+64(%esp)
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   ((uint32 *) &lastchunk)[2] = 0
# asm 1: movl $0,8+<lastchunk=stack128#1
# asm 2: movl $0,8+<lastchunk=64(%esp)
movl $0,8+64(%esp)
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   ((uint32 *) &lastchunk)[3] = 0
# asm 1: movl $0,12+<lastchunk=stack128#1
# asm 2: movl $0,12+<lastchunk=64(%esp)
movl $0,12+64(%esp)
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   destination = &lastchunk
# asm 1: leal <lastchunk=stack128#1,>destination=int32#6
# asm 2: leal <lastchunk=64(%esp),>destination=%edi
leal 64(%esp),%edi
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   while (l) { *destination++ = *m++; --l }
rep movsb
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   *(uint8 *) (destination + 0) = 1
# asm 1: movb $1,0(<destination=int32#6)
# asm 2: movb $1,0(<destination=%edi)
movb $1,0(%edi)
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   m3 = ((uint32 *) &lastchunk)[3]
# asm 1: movl 12+<lastchunk=stack128#1,>m3=int32#1
# asm 2: movl 12+<lastchunk=64(%esp),>m3=%eax
movl 12+64(%esp),%eax
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   m2 = ((uint32 *) &lastchunk)[2]
# asm 1: movl 8+<lastchunk=stack128#1,>m2=int32#2
# asm 2: movl 8+<lastchunk=64(%esp),>m2=%ecx
movl 8+64(%esp),%ecx
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   m1 = ((uint32 *) &lastchunk)[1]
# asm 1: movl 4+<lastchunk=stack128#1,>m1=int32#3
# asm 2: movl 4+<lastchunk=64(%esp),>m1=%edx
movl 4+64(%esp),%edx
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   m0 = ((uint32 *) &lastchunk)[0]
# asm 1: movl <lastchunk=stack128#1,>m0=int32#4
# asm 2: movl <lastchunk=64(%esp),>m0=%ebx
movl 64(%esp),%ebx
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   inplace d3 bottom = m3
# asm 1: movl <m3=int32#1,<d3=stack64#11
# asm 2: movl <m3=%eax,<d3=176(%esp)
movl %eax,176(%esp)
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   inplace d2 bottom = m2
# asm 1: movl <m2=int32#2,<d2=stack64#10
# asm 2: movl <m2=%ecx,<d2=168(%esp)
movl %ecx,168(%esp)
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   inplace d1 bottom = m1
# asm 1: movl <m1=int32#3,<d1=stack64#9
# asm 2: movl <m1=%edx,<d1=160(%esp)
movl %edx,160(%esp)
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   inplace d0 bottom = m0
# asm 1: movl <m0=int32#4,<d0=stack64#8
# asm 2: movl <m0=%ebx,<d0=152(%esp)
movl %ebx,152(%esp)
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm: internal stacktop h3
# asm 1: fxch <h3=float80#4
# asm 2: fxch <h3=%st(3)
fxch %st(3)

# qhasm:   h3 += *(float64 *) &d3
# asm 1: faddl <d3=stack64#11
# asm 2: faddl <d3=176(%esp)
faddl 176(%esp)
# comment:fpstackfrombottom:<h0#29:<h2#27:<h1#28:<h3#26:

# qhasm:   h3 -= *(float64 *) &poly1305_x86_ppro_doffset3
fsubl poly1305_x86_ppro_doffset3
# comment:fpstackfrombottom:<h0#29:<h2#27:<h1#28:<h3#26:

# qhasm: internal stacktop h2
# asm 1: fxch <h2=float80#3
# asm 2: fxch <h2=%st(2)
fxch %st(2)

# qhasm:   h2 += *(float64 *) &d2
# asm 1: faddl <d2=stack64#10
# asm 2: faddl <d2=168(%esp)
faddl 168(%esp)
# comment:fpstackfrombottom:<h0#29:<h3#26:<h1#28:<h2#27:

# qhasm:   h2 -= *(float64 *) &poly1305_x86_ppro_doffset2
fsubl poly1305_x86_ppro_doffset2
# comment:fpstackfrombottom:<h0#29:<h3#26:<h1#28:<h2#27:

# qhasm: internal stacktop h1
# asm 1: fxch <h1=float80#2
# asm 2: fxch <h1=%st(1)
fxch %st(1)

# qhasm:   h1 += *(float64 *) &d1
# asm 1: faddl <d1=stack64#9
# asm 2: faddl <d1=160(%esp)
faddl 160(%esp)
# comment:fpstackfrombottom:<h0#29:<h3#26:<h2#27:<h1#28:

# qhasm:   h1 -= *(float64 *) &poly1305_x86_ppro_doffset1
fsubl poly1305_x86_ppro_doffset1
# comment:fpstackfrombottom:<h0#29:<h3#26:<h2#27:<h1#28:

# qhasm: internal stacktop h0
# asm 1: fxch <h0=float80#4
# asm 2: fxch <h0=%st(3)
fxch %st(3)

# qhasm:   h0 += *(float64 *) &d0
# asm 1: faddl <d0=stack64#8
# asm 2: faddl <d0=152(%esp)
faddl 152(%esp)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:

# qhasm:   h0 -= *(float64 *) &poly1305_x86_ppro_doffset0
fsubl poly1305_x86_ppro_doffset0
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:

# qhasm:   x0 = *(float64 *) &poly1305_x86_ppro_alpha130
fldl poly1305_x86_ppro_alpha130
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#91:

# qhasm:   x0 += h3
# asm 1: fadd <h3=float80#4,<x0=float80#1
# asm 2: fadd <h3=%st(3),<x0=%st(0)
fadd %st(3),%st(0)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#91:

# qhasm:   x0 -= *(float64 *) &poly1305_x86_ppro_alpha130
fsubl poly1305_x86_ppro_alpha130
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#91:

# qhasm:   h3 -= x0
# asm 1: fsubr <x0=float80#1,<h3=float80#4
# asm 2: fsubr <x0=%st(0),<h3=%st(3)
fsubr %st(0),%st(3)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#91:

# qhasm:   x0 *= *(float64 *) &poly1305_x86_ppro_scale
fmull poly1305_x86_ppro_scale
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#91:

# qhasm:   x1 = *(float64 *) &poly1305_x86_ppro_alpha32
fldl poly1305_x86_ppro_alpha32
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#91:<x1#92:

# qhasm:   x1 += h0
# asm 1: fadd <h0=float80#3,<x1=float80#1
# asm 2: fadd <h0=%st(2),<x1=%st(0)
fadd %st(2),%st(0)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#91:<x1#92:

# qhasm:   x1 -= *(float64 *) &poly1305_x86_ppro_alpha32
fsubl poly1305_x86_ppro_alpha32
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#91:<x1#92:

# qhasm:   h0 -= x1
# asm 1: fsubr <x1=float80#1,<h0=float80#3
# asm 2: fsubr <x1=%st(0),<h0=%st(2)
fsubr %st(0),%st(2)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#91:<x1#92:

# qhasm:   x2 = *(float64 *) &poly1305_x86_ppro_alpha64
fldl poly1305_x86_ppro_alpha64
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#91:<x1#92:<x2#93:

# qhasm:   x2 += h1
# asm 1: fadd <h1=float80#7,<x2=float80#1
# asm 2: fadd <h1=%st(6),<x2=%st(0)
fadd %st(6),%st(0)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#91:<x1#92:<x2#93:

# qhasm:   x2 -= *(float64 *) &poly1305_x86_ppro_alpha64
fsubl poly1305_x86_ppro_alpha64
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#91:<x1#92:<x2#93:

# qhasm:   h1 -= x2
# asm 1: fsubr <x2=float80#1,<h1=float80#7
# asm 2: fsubr <x2=%st(0),<h1=%st(6)
fsubr %st(0),%st(6)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#91:<x1#92:<x2#93:

# qhasm:   x3 = *(float64 *) &poly1305_x86_ppro_alpha96
fldl poly1305_x86_ppro_alpha96
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#91:<x1#92:<x2#93:<x3#94:

# qhasm:   x3 += h2
# asm 1: fadd <h2=float80#6,<x3=float80#1
# asm 2: fadd <h2=%st(5),<x3=%st(0)
fadd %st(5),%st(0)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#91:<x1#92:<x2#93:<x3#94:

# qhasm:   x3 -= *(float64 *) &poly1305_x86_ppro_alpha96
fsubl poly1305_x86_ppro_alpha96
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#91:<x1#92:<x2#93:<x3#94:

# qhasm:   h2 -= x3
# asm 1: fsubr <x3=float80#1,<h2=float80#6
# asm 2: fsubr <x3=%st(0),<h2=%st(5)
fsubr %st(0),%st(5)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<h0#29:<x0#91:<x1#92:<x2#93:<x3#94:

# qhasm: internal stacktop h0
# asm 1: fxch <h0=float80#5
# asm 2: fxch <h0=%st(4)
fxch %st(4)

# qhasm:   x0 += h0
# asm 1: faddp <h0=float80#1,<x0=float80#4
# asm 2: faddp <h0=%st(0),<x0=%st(3)
faddp %st(0),%st(3)
# comment:fpstackfrombottom:<h1#28:<h3#26:<h2#27:<x3#94:<x0#91:<x1#92:<x2#93:

# qhasm: internal stacktop h1
# asm 1: fxch <h1=float80#7
# asm 2: fxch <h1=%st(6)
fxch %st(6)

# qhasm:   x1 += h1
# asm 1: faddp <h1=float80#1,<x1=float80#2
# asm 2: faddp <h1=%st(0),<x1=%st(1)
faddp %st(0),%st(1)
# comment:fpstackfrombottom:<x2#93:<h3#26:<h2#27:<x3#94:<x0#91:<x1#92:

# qhasm: internal stacktop h2
# asm 1: fxch <h2=float80#4
# asm 2: fxch <h2=%st(3)
fxch %st(3)

# qhasm:   x2 += h2
# asm 1: faddp <h2=float80#1,<x2=float80#6
# asm 2: faddp <h2=%st(0),<x2=%st(5)
faddp %st(0),%st(5)
# comment:fpstackfrombottom:<x2#93:<h3#26:<x1#92:<x3#94:<x0#91:

# qhasm: internal stacktop h3
# asm 1: fxch <h3=float80#4
# asm 2: fxch <h3=%st(3)
fxch %st(3)

# qhasm:   x3 += h3
# asm 1: faddp <h3=float80#1,<x3=float80#2
# asm 2: faddp <h3=%st(0),<x3=%st(1)
faddp %st(0),%st(1)
# comment:fpstackfrombottom:<x2#93:<x0#91:<x1#92:<x3#94:

# qhasm:   h3 = *(float64 *) &r3
# asm 1: fldl <r3=stack64#6
# asm 2: fldl <r3=136(%esp)
fldl 136(%esp)
# comment:fpstackfrombottom:<x2#93:<x0#91:<x1#92:<x3#94:<h3#26:

# qhasm:   h3 *= x0
# asm 1: fmul <x0=float80#4,<h3=float80#1
# asm 2: fmul <x0=%st(3),<h3=%st(0)
fmul %st(3),%st(0)
# comment:fpstackfrombottom:<x2#93:<x0#91:<x1#92:<x3#94:<h3#26:

# qhasm:   h2 = *(float64 *) &r2
# asm 1: fldl <r2=stack64#4
# asm 2: fldl <r2=120(%esp)
fldl 120(%esp)
# comment:fpstackfrombottom:<x2#93:<x0#91:<x1#92:<x3#94:<h3#26:<h2#27:

# qhasm:   h2 *= x0
# asm 1: fmul <x0=float80#5,<h2=float80#1
# asm 2: fmul <x0=%st(4),<h2=%st(0)
fmul %st(4),%st(0)
# comment:fpstackfrombottom:<x2#93:<x0#91:<x1#92:<x3#94:<h3#26:<h2#27:

# qhasm:   h1 = *(float64 *) &r1
# asm 1: fldl <r1=stack64#2
# asm 2: fldl <r1=104(%esp)
fldl 104(%esp)
# comment:fpstackfrombottom:<x2#93:<x0#91:<x1#92:<x3#94:<h3#26:<h2#27:<h1#28:

# qhasm:   h1 *= x0
# asm 1: fmul <x0=float80#6,<h1=float80#1
# asm 2: fmul <x0=%st(5),<h1=%st(0)
fmul %st(5),%st(0)
# comment:fpstackfrombottom:<x2#93:<x0#91:<x1#92:<x3#94:<h3#26:<h2#27:<h1#28:

# qhasm:   h0 = *(float64 *) &r0
# asm 1: fldl <r0=stack64#1
# asm 2: fldl <r0=96(%esp)
fldl 96(%esp)
# comment:fpstackfrombottom:<x2#93:<x0#91:<x1#92:<x3#94:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   h0 *= x0
# asm 1: fmulp <x0=float80#1,<h0=float80#7
# asm 2: fmulp <x0=%st(0),<h0=%st(6)
fmulp %st(0),%st(6)
# comment:fpstackfrombottom:<x2#93:<h0#29:<x1#92:<x3#94:<h3#26:<h2#27:<h1#28:

# qhasm:   r2x1 = *(float64 *) &r2
# asm 1: fldl <r2=stack64#4
# asm 2: fldl <r2=120(%esp)
fldl 120(%esp)
# comment:fpstackfrombottom:<x2#93:<h0#29:<x1#92:<x3#94:<h3#26:<h2#27:<h1#28:<r2x1#95:

# qhasm:   r2x1 *= x1
# asm 1: fmul <x1=float80#6,<r2x1=float80#1
# asm 2: fmul <x1=%st(5),<r2x1=%st(0)
fmul %st(5),%st(0)
# comment:fpstackfrombottom:<x2#93:<h0#29:<x1#92:<x3#94:<h3#26:<h2#27:<h1#28:<r2x1#95:

# qhasm:   h3 += r2x1
# asm 1: faddp <r2x1=float80#1,<h3=float80#4
# asm 2: faddp <r2x1=%st(0),<h3=%st(3)
faddp %st(0),%st(3)
# comment:fpstackfrombottom:<x2#93:<h0#29:<x1#92:<x3#94:<h3#26:<h2#27:<h1#28:

# qhasm:   r1x1 = *(float64 *) &r1
# asm 1: fldl <r1=stack64#2
# asm 2: fldl <r1=104(%esp)
fldl 104(%esp)
# comment:fpstackfrombottom:<x2#93:<h0#29:<x1#92:<x3#94:<h3#26:<h2#27:<h1#28:<r1x1#96:

# qhasm:   r1x1 *= x1
# asm 1: fmul <x1=float80#6,<r1x1=float80#1
# asm 2: fmul <x1=%st(5),<r1x1=%st(0)
fmul %st(5),%st(0)
# comment:fpstackfrombottom:<x2#93:<h0#29:<x1#92:<x3#94:<h3#26:<h2#27:<h1#28:<r1x1#96:

# qhasm:   h2 += r1x1
# asm 1: faddp <r1x1=float80#1,<h2=float80#3
# asm 2: faddp <r1x1=%st(0),<h2=%st(2)
faddp %st(0),%st(2)
# comment:fpstackfrombottom:<x2#93:<h0#29:<x1#92:<x3#94:<h3#26:<h2#27:<h1#28:

# qhasm:   r0x1 = *(float64 *) &r0
# asm 1: fldl <r0=stack64#1
# asm 2: fldl <r0=96(%esp)
fldl 96(%esp)
# comment:fpstackfrombottom:<x2#93:<h0#29:<x1#92:<x3#94:<h3#26:<h2#27:<h1#28:<r0x1#97:

# qhasm:   r0x1 *= x1
# asm 1: fmul <x1=float80#6,<r0x1=float80#1
# asm 2: fmul <x1=%st(5),<r0x1=%st(0)
fmul %st(5),%st(0)
# comment:fpstackfrombottom:<x2#93:<h0#29:<x1#92:<x3#94:<h3#26:<h2#27:<h1#28:<r0x1#97:

# qhasm:   h1 += r0x1
# asm 1: faddp <r0x1=float80#1,<h1=float80#2
# asm 2: faddp <r0x1=%st(0),<h1=%st(1)
faddp %st(0),%st(1)
# comment:fpstackfrombottom:<x2#93:<h0#29:<x1#92:<x3#94:<h3#26:<h2#27:<h1#28:

# qhasm:   sr3x1 = *(float64 *) &sr3
# asm 1: fldl <sr3=stack64#7
# asm 2: fldl <sr3=144(%esp)
fldl 144(%esp)
# comment:fpstackfrombottom:<x2#93:<h0#29:<x1#92:<x3#94:<h3#26:<h2#27:<h1#28:<sr3x1#98:

# qhasm:   sr3x1 *= x1
# asm 1: fmulp <x1=float80#1,<sr3x1=float80#6
# asm 2: fmulp <x1=%st(0),<sr3x1=%st(5)
fmulp %st(0),%st(5)
# comment:fpstackfrombottom:<x2#93:<h0#29:<sr3x1#98:<x3#94:<h3#26:<h2#27:<h1#28:

# qhasm: internal stacktop sr3x1
# asm 1: fxch <sr3x1=float80#5
# asm 2: fxch <sr3x1=%st(4)
fxch %st(4)

# qhasm:   h0 += sr3x1
# asm 1: faddp <sr3x1=float80#1,<h0=float80#6
# asm 2: faddp <sr3x1=%st(0),<h0=%st(5)
faddp %st(0),%st(5)
# comment:fpstackfrombottom:<x2#93:<h0#29:<h1#28:<x3#94:<h3#26:<h2#27:

# qhasm:   r1x2 = *(float64 *) &r1
# asm 1: fldl <r1=stack64#2
# asm 2: fldl <r1=104(%esp)
fldl 104(%esp)
# comment:fpstackfrombottom:<x2#93:<h0#29:<h1#28:<x3#94:<h3#26:<h2#27:<r1x2#99:

# qhasm:   r1x2 *= x2
# asm 1: fmul <x2=float80#7,<r1x2=float80#1
# asm 2: fmul <x2=%st(6),<r1x2=%st(0)
fmul %st(6),%st(0)
# comment:fpstackfrombottom:<x2#93:<h0#29:<h1#28:<x3#94:<h3#26:<h2#27:<r1x2#99:

# qhasm:   h3 += r1x2
# asm 1: faddp <r1x2=float80#1,<h3=float80#3
# asm 2: faddp <r1x2=%st(0),<h3=%st(2)
faddp %st(0),%st(2)
# comment:fpstackfrombottom:<x2#93:<h0#29:<h1#28:<x3#94:<h3#26:<h2#27:

# qhasm:   r0x2 = *(float64 *) &r0
# asm 1: fldl <r0=stack64#1
# asm 2: fldl <r0=96(%esp)
fldl 96(%esp)
# comment:fpstackfrombottom:<x2#93:<h0#29:<h1#28:<x3#94:<h3#26:<h2#27:<r0x2#100:

# qhasm:   r0x2 *= x2
# asm 1: fmul <x2=float80#7,<r0x2=float80#1
# asm 2: fmul <x2=%st(6),<r0x2=%st(0)
fmul %st(6),%st(0)
# comment:fpstackfrombottom:<x2#93:<h0#29:<h1#28:<x3#94:<h3#26:<h2#27:<r0x2#100:

# qhasm:   h2 += r0x2
# asm 1: faddp <r0x2=float80#1,<h2=float80#2
# asm 2: faddp <r0x2=%st(0),<h2=%st(1)
faddp %st(0),%st(1)
# comment:fpstackfrombottom:<x2#93:<h0#29:<h1#28:<x3#94:<h3#26:<h2#27:

# qhasm:   sr3x2 = *(float64 *) &sr3
# asm 1: fldl <sr3=stack64#7
# asm 2: fldl <sr3=144(%esp)
fldl 144(%esp)
# comment:fpstackfrombottom:<x2#93:<h0#29:<h1#28:<x3#94:<h3#26:<h2#27:<sr3x2#101:

# qhasm:   sr3x2 *= x2
# asm 1: fmul <x2=float80#7,<sr3x2=float80#1
# asm 2: fmul <x2=%st(6),<sr3x2=%st(0)
fmul %st(6),%st(0)
# comment:fpstackfrombottom:<x2#93:<h0#29:<h1#28:<x3#94:<h3#26:<h2#27:<sr3x2#101:

# qhasm:   h1 += sr3x2
# asm 1: faddp <sr3x2=float80#1,<h1=float80#5
# asm 2: faddp <sr3x2=%st(0),<h1=%st(4)
faddp %st(0),%st(4)
# comment:fpstackfrombottom:<x2#93:<h0#29:<h1#28:<x3#94:<h3#26:<h2#27:

# qhasm:   sr2x2 = *(float64 *) &sr2
# asm 1: fldl <sr2=stack64#5
# asm 2: fldl <sr2=128(%esp)
fldl 128(%esp)
# comment:fpstackfrombottom:<x2#93:<h0#29:<h1#28:<x3#94:<h3#26:<h2#27:<sr2x2#102:

# qhasm:   sr2x2 *= x2
# asm 1: fmulp <x2=float80#1,<sr2x2=float80#7
# asm 2: fmulp <x2=%st(0),<sr2x2=%st(6)
fmulp %st(0),%st(6)
# comment:fpstackfrombottom:<sr2x2#102:<h0#29:<h1#28:<x3#94:<h3#26:<h2#27:

# qhasm: internal stacktop sr2x2
# asm 1: fxch <sr2x2=float80#6
# asm 2: fxch <sr2x2=%st(5)
fxch %st(5)

# qhasm:   h0 += sr2x2
# asm 1: faddp <sr2x2=float80#1,<h0=float80#5
# asm 2: faddp <sr2x2=%st(0),<h0=%st(4)
faddp %st(0),%st(4)
# comment:fpstackfrombottom:<h2#27:<h0#29:<h1#28:<x3#94:<h3#26:

# qhasm:   r0x3 = *(float64 *) &r0
# asm 1: fldl <r0=stack64#1
# asm 2: fldl <r0=96(%esp)
fldl 96(%esp)
# comment:fpstackfrombottom:<h2#27:<h0#29:<h1#28:<x3#94:<h3#26:<r0x3#103:

# qhasm:   r0x3 *= x3
# asm 1: fmul <x3=float80#3,<r0x3=float80#1
# asm 2: fmul <x3=%st(2),<r0x3=%st(0)
fmul %st(2),%st(0)
# comment:fpstackfrombottom:<h2#27:<h0#29:<h1#28:<x3#94:<h3#26:<r0x3#103:

# qhasm:   h3 += r0x3
# asm 1: faddp <r0x3=float80#1,<h3=float80#2
# asm 2: faddp <r0x3=%st(0),<h3=%st(1)
faddp %st(0),%st(1)
# comment:fpstackfrombottom:<h2#27:<h0#29:<h1#28:<x3#94:<h3#26:

# qhasm:   sr3x3 = *(float64 *) &sr3
# asm 1: fldl <sr3=stack64#7
# asm 2: fldl <sr3=144(%esp)
fldl 144(%esp)
# comment:fpstackfrombottom:<h2#27:<h0#29:<h1#28:<x3#94:<h3#26:<sr3x3#104:

# qhasm:   sr3x3 *= x3
# asm 1: fmul <x3=float80#3,<sr3x3=float80#1
# asm 2: fmul <x3=%st(2),<sr3x3=%st(0)
fmul %st(2),%st(0)
# comment:fpstackfrombottom:<h2#27:<h0#29:<h1#28:<x3#94:<h3#26:<sr3x3#104:

# qhasm:   h2 += sr3x3
# asm 1: faddp <sr3x3=float80#1,<h2=float80#6
# asm 2: faddp <sr3x3=%st(0),<h2=%st(5)
faddp %st(0),%st(5)
# comment:fpstackfrombottom:<h2#27:<h0#29:<h1#28:<x3#94:<h3#26:

# qhasm:   sr2x3 = *(float64 *) &sr2
# asm 1: fldl <sr2=stack64#5
# asm 2: fldl <sr2=128(%esp)
fldl 128(%esp)
# comment:fpstackfrombottom:<h2#27:<h0#29:<h1#28:<x3#94:<h3#26:<sr2x3#105:

# qhasm:   sr2x3 *= x3
# asm 1: fmul <x3=float80#3,<sr2x3=float80#1
# asm 2: fmul <x3=%st(2),<sr2x3=%st(0)
fmul %st(2),%st(0)
# comment:fpstackfrombottom:<h2#27:<h0#29:<h1#28:<x3#94:<h3#26:<sr2x3#105:

# qhasm:   h1 += sr2x3
# asm 1: faddp <sr2x3=float80#1,<h1=float80#4
# asm 2: faddp <sr2x3=%st(0),<h1=%st(3)
faddp %st(0),%st(3)
# comment:fpstackfrombottom:<h2#27:<h0#29:<h1#28:<x3#94:<h3#26:

# qhasm:   sr1x3 = *(float64 *) &sr1
# asm 1: fldl <sr1=stack64#3
# asm 2: fldl <sr1=112(%esp)
fldl 112(%esp)
# comment:fpstackfrombottom:<h2#27:<h0#29:<h1#28:<x3#94:<h3#26:<sr1x3#106:

# qhasm:   sr1x3 *= x3
# asm 1: fmulp <x3=float80#1,<sr1x3=float80#3
# asm 2: fmulp <x3=%st(0),<sr1x3=%st(2)
fmulp %st(0),%st(2)
# comment:fpstackfrombottom:<h2#27:<h0#29:<h1#28:<sr1x3#106:<h3#26:

# qhasm: internal stacktop sr1x3
# asm 1: fxch <sr1x3=float80#2
# asm 2: fxch <sr1x3=%st(1)
fxch %st(1)

# qhasm:   h0 += sr1x3
# asm 1: faddp <sr1x3=float80#1,<h0=float80#4
# asm 2: faddp <sr1x3=%st(0),<h0=%st(3)
faddp %st(0),%st(3)
# comment:fpstackfrombottom:<h2#27:<h0#29:<h1#28:<h3#26:
# comment:automatically reorganizing fp stack for fallthrough

# qhasm: internal stacktop h2
# asm 1: fxch <h2=float80#4
# asm 2: fxch <h2=%st(3)
fxch %st(3)
# comment:fpstackfrombottom:<h3#26:<h0#29:<h1#28:<h2#27:

# qhasm: internal stacktop h0
# asm 1: fxch <h0=float80#3
# asm 2: fxch <h0=%st(2)
fxch %st(2)
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm: nomorebytes:
._nomorebytes:
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:

# qhasm:   x0 = *(float64 *) &poly1305_x86_ppro_alpha130
fldl poly1305_x86_ppro_alpha130
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:<x0#107:

# qhasm:   x0 += h3
# asm 1: fadd <h3=float80#5,<x0=float80#1
# asm 2: fadd <h3=%st(4),<x0=%st(0)
fadd %st(4),%st(0)
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:<x0#107:

# qhasm:   x0 -= *(float64 *) &poly1305_x86_ppro_alpha130
fsubl poly1305_x86_ppro_alpha130
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:<x0#107:

# qhasm:   h3 -= x0
# asm 1: fsubr <x0=float80#1,<h3=float80#5
# asm 2: fsubr <x0=%st(0),<h3=%st(4)
fsubr %st(0),%st(4)
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:<x0#107:

# qhasm:   x0 *= *(float64 *) &poly1305_x86_ppro_scale
fmull poly1305_x86_ppro_scale
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:<x0#107:

# qhasm:   x1 = *(float64 *) &poly1305_x86_ppro_alpha32
fldl poly1305_x86_ppro_alpha32
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:<x0#107:<x1#108:

# qhasm:   x1 += h0
# asm 1: fadd <h0=float80#3,<x1=float80#1
# asm 2: fadd <h0=%st(2),<x1=%st(0)
fadd %st(2),%st(0)
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:<x0#107:<x1#108:

# qhasm:   x1 -= *(float64 *) &poly1305_x86_ppro_alpha32
fsubl poly1305_x86_ppro_alpha32
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:<x0#107:<x1#108:

# qhasm:   h0 -= x1
# asm 1: fsubr <x1=float80#1,<h0=float80#3
# asm 2: fsubr <x1=%st(0),<h0=%st(2)
fsubr %st(0),%st(2)
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:<x0#107:<x1#108:

# qhasm:   x2 = *(float64 *) &poly1305_x86_ppro_alpha64
fldl poly1305_x86_ppro_alpha64
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:<x0#107:<x1#108:<x2#109:

# qhasm:   x2 += h1
# asm 1: fadd <h1=float80#5,<x2=float80#1
# asm 2: fadd <h1=%st(4),<x2=%st(0)
fadd %st(4),%st(0)
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:<x0#107:<x1#108:<x2#109:

# qhasm:   x2 -= *(float64 *) &poly1305_x86_ppro_alpha64
fsubl poly1305_x86_ppro_alpha64
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:<x0#107:<x1#108:<x2#109:

# qhasm:   h1 -= x2
# asm 1: fsubr <x2=float80#1,<h1=float80#5
# asm 2: fsubr <x2=%st(0),<h1=%st(4)
fsubr %st(0),%st(4)
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:<x0#107:<x1#108:<x2#109:

# qhasm:   x3 = *(float64 *) &poly1305_x86_ppro_alpha96
fldl poly1305_x86_ppro_alpha96
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:<x0#107:<x1#108:<x2#109:<x3#110:

# qhasm:   x3 += h2
# asm 1: fadd <h2=float80#7,<x3=float80#1
# asm 2: fadd <h2=%st(6),<x3=%st(0)
fadd %st(6),%st(0)
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:<x0#107:<x1#108:<x2#109:<x3#110:

# qhasm:   x3 -= *(float64 *) &poly1305_x86_ppro_alpha96
fsubl poly1305_x86_ppro_alpha96
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:<x0#107:<x1#108:<x2#109:<x3#110:

# qhasm:   h2 -= x3
# asm 1: fsubr <x3=float80#1,<h2=float80#7
# asm 2: fsubr <x3=%st(0),<h2=%st(6)
fsubr %st(0),%st(6)
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<h0#29:<x0#107:<x1#108:<x2#109:<x3#110:

# qhasm: internal stacktop h0
# asm 1: fxch <h0=float80#5
# asm 2: fxch <h0=%st(4)
fxch %st(4)

# qhasm:   x0 += h0
# asm 1: faddp <h0=float80#1,<x0=float80#4
# asm 2: faddp <h0=%st(0),<x0=%st(3)
faddp %st(0),%st(3)
# comment:fpstackfrombottom:<h3#26:<h2#27:<h1#28:<x3#110:<x0#107:<x1#108:<x2#109:

# qhasm: internal stacktop h1
# asm 1: fxch <h1=float80#5
# asm 2: fxch <h1=%st(4)
fxch %st(4)

# qhasm:   x1 += h1
# asm 1: faddp <h1=float80#1,<x1=float80#2
# asm 2: faddp <h1=%st(0),<x1=%st(1)
faddp %st(0),%st(1)
# comment:fpstackfrombottom:<h3#26:<h2#27:<x2#109:<x3#110:<x0#107:<x1#108:

# qhasm: internal stacktop h2
# asm 1: fxch <h2=float80#5
# asm 2: fxch <h2=%st(4)
fxch %st(4)

# qhasm:   x2 += h2
# asm 1: faddp <h2=float80#1,<x2=float80#4
# asm 2: faddp <h2=%st(0),<x2=%st(3)
faddp %st(0),%st(3)
# comment:fpstackfrombottom:<h3#26:<x1#108:<x2#109:<x3#110:<x0#107:

# qhasm: internal stacktop h3
# asm 1: fxch <h3=float80#5
# asm 2: fxch <h3=%st(4)
fxch %st(4)

# qhasm:   x3 += h3
# asm 1: faddp <h3=float80#1,<x3=float80#2
# asm 2: faddp <h3=%st(0),<x3=%st(1)
faddp %st(0),%st(1)
# comment:fpstackfrombottom:<x0#107:<x1#108:<x2#109:<x3#110:

# qhasm: internal stacktop x0
# asm 1: fxch <x0=float80#4
# asm 2: fxch <x0=%st(3)
fxch %st(3)

# qhasm:   x0 += *(float64 *) &poly1305_x86_ppro_hoffset0
faddl poly1305_x86_ppro_hoffset0
# comment:fpstackfrombottom:<x3#110:<x1#108:<x2#109:<x0#107:

# qhasm: internal stacktop x1
# asm 1: fxch <x1=float80#3
# asm 2: fxch <x1=%st(2)
fxch %st(2)

# qhasm:   x1 += *(float64 *) &poly1305_x86_ppro_hoffset1
faddl poly1305_x86_ppro_hoffset1
# comment:fpstackfrombottom:<x3#110:<x0#107:<x2#109:<x1#108:

# qhasm: internal stacktop x2
# asm 1: fxch <x2=float80#2
# asm 2: fxch <x2=%st(1)
fxch %st(1)

# qhasm:   x2 += *(float64 *) &poly1305_x86_ppro_hoffset2
faddl poly1305_x86_ppro_hoffset2
# comment:fpstackfrombottom:<x3#110:<x0#107:<x1#108:<x2#109:

# qhasm: internal stacktop x3
# asm 1: fxch <x3=float80#4
# asm 2: fxch <x3=%st(3)
fxch %st(3)

# qhasm:   x3 += *(float64 *) &poly1305_x86_ppro_hoffset3
faddl poly1305_x86_ppro_hoffset3
# comment:fpstackfrombottom:<x2#109:<x0#107:<x1#108:<x3#110:

# qhasm: internal stacktop x0
# asm 1: fxch <x0=float80#3
# asm 2: fxch <x0=%st(2)
fxch %st(2)

# qhasm:   *(float64 *) &d0 = x0
# asm 1: fstpl >d0=stack64#1
# asm 2: fstpl >d0=96(%esp)
fstpl 96(%esp)
# comment:fpstackfrombottom:<x2#109:<x3#110:<x1#108:

# qhasm:   *(float64 *) &d1 = x1
# asm 1: fstpl >d1=stack64#2
# asm 2: fstpl >d1=104(%esp)
fstpl 104(%esp)
# comment:fpstackfrombottom:<x2#109:<x3#110:

# qhasm: internal stacktop x2
# asm 1: fxch <x2=float80#2
# asm 2: fxch <x2=%st(1)
fxch %st(1)

# qhasm:   *(float64 *) &d2 = x2
# asm 1: fstpl >d2=stack64#3
# asm 2: fstpl >d2=112(%esp)
fstpl 112(%esp)
# comment:fpstackfrombottom:<x3#110:

# qhasm:   *(float64 *) &d3 = x3
# asm 1: fstpl >d3=stack64#4
# asm 2: fstpl >d3=120(%esp)
fstpl 120(%esp)
# comment:fpstackfrombottom:

# qhasm: int32 f0

# qhasm: int32 f1

# qhasm: int32 f2

# qhasm: int32 f3

# qhasm: int32 f4

# qhasm: int32 g0

# qhasm: int32 g1

# qhasm: int32 g2

# qhasm: int32 g3

# qhasm: int32 f

# qhasm: int32 notf

# qhasm: stack32 f1_stack

# qhasm: stack32 f2_stack

# qhasm: stack32 f3_stack

# qhasm: stack32 f4_stack

# qhasm: stack32 g0_stack

# qhasm: stack32 g1_stack

# qhasm: stack32 g2_stack

# qhasm: stack32 g3_stack

# qhasm:   g0 = top d0
# asm 1: movl <d0=stack64#1,>g0=int32#1
# asm 2: movl <d0=100(%esp),>g0=%eax
movl 100(%esp),%eax

# qhasm:   g0 &= 63
# asm 1: and  $63,<g0=int32#1
# asm 2: and  $63,<g0=%eax
and  $63,%eax

# qhasm:   g1 = top d1
# asm 1: movl <d1=stack64#2,>g1=int32#2
# asm 2: movl <d1=108(%esp),>g1=%ecx
movl 108(%esp),%ecx

# qhasm:   g1 &= 63
# asm 1: and  $63,<g1=int32#2
# asm 2: and  $63,<g1=%ecx
and  $63,%ecx

# qhasm:   g2 = top d2
# asm 1: movl <d2=stack64#3,>g2=int32#3
# asm 2: movl <d2=116(%esp),>g2=%edx
movl 116(%esp),%edx

# qhasm:   g2 &= 63
# asm 1: and  $63,<g2=int32#3
# asm 2: and  $63,<g2=%edx
and  $63,%edx

# qhasm:   g3 = top d3
# asm 1: movl <d3=stack64#4,>g3=int32#4
# asm 2: movl <d3=124(%esp),>g3=%ebx
movl 124(%esp),%ebx

# qhasm:   g3 &= 63
# asm 1: and  $63,<g3=int32#4
# asm 2: and  $63,<g3=%ebx
and  $63,%ebx

# qhasm:   f1 = bottom d1
# asm 1: movl <d1=stack64#2,>f1=int32#5
# asm 2: movl <d1=104(%esp),>f1=%esi
movl 104(%esp),%esi

# qhasm:   carry? f1 += g0
# asm 1: addl <g0=int32#1,<f1=int32#5
# asm 2: addl <g0=%eax,<f1=%esi
addl %eax,%esi

# qhasm:   f1_stack = f1
# asm 1: movl <f1=int32#5,>f1_stack=stack32#6
# asm 2: movl <f1=%esi,>f1_stack=20(%esp)
movl %esi,20(%esp)

# qhasm:   f2 = bottom d2
# asm 1: movl <d2=stack64#3,>f2=int32#1
# asm 2: movl <d2=112(%esp),>f2=%eax
movl 112(%esp),%eax

# qhasm:   carry? f2 += g1 + carry
# asm 1: adcl <g1=int32#2,<f2=int32#1
# asm 2: adcl <g1=%ecx,<f2=%eax
adcl %ecx,%eax

# qhasm:   f2_stack = f2
# asm 1: movl <f2=int32#1,>f2_stack=stack32#7
# asm 2: movl <f2=%eax,>f2_stack=24(%esp)
movl %eax,24(%esp)

# qhasm:   f3 = bottom d3
# asm 1: movl <d3=stack64#4,>f3=int32#1
# asm 2: movl <d3=120(%esp),>f3=%eax
movl 120(%esp),%eax

# qhasm:   carry? f3 += g2 + carry
# asm 1: adcl <g2=int32#3,<f3=int32#1
# asm 2: adcl <g2=%edx,<f3=%eax
adcl %edx,%eax

# qhasm:   f3_stack = f3
# asm 1: movl <f3=int32#1,>f3_stack=stack32#8
# asm 2: movl <f3=%eax,>f3_stack=28(%esp)
movl %eax,28(%esp)

# qhasm:   f4 = 0
# asm 1: mov  $0,>f4=int32#1
# asm 2: mov  $0,>f4=%eax
mov  $0,%eax

# qhasm:          f4 += g3 + carry
# asm 1: adcl <g3=int32#4,<f4=int32#1
# asm 2: adcl <g3=%ebx,<f4=%eax
adcl %ebx,%eax

# qhasm:   f4_stack = f4
# asm 1: movl <f4=int32#1,>f4_stack=stack32#9
# asm 2: movl <f4=%eax,>f4_stack=32(%esp)
movl %eax,32(%esp)

# qhasm:   g0 = 5
# asm 1: mov  $5,>g0=int32#1
# asm 2: mov  $5,>g0=%eax
mov  $5,%eax

# qhasm:   f0 = bottom d0
# asm 1: movl <d0=stack64#1,>f0=int32#2
# asm 2: movl <d0=96(%esp),>f0=%ecx
movl 96(%esp),%ecx

# qhasm:   carry? g0 += f0
# asm 1: addl <f0=int32#2,<g0=int32#1
# asm 2: addl <f0=%ecx,<g0=%eax
addl %ecx,%eax

# qhasm:   g0_stack = g0
# asm 1: movl <g0=int32#1,>g0_stack=stack32#10
# asm 2: movl <g0=%eax,>g0_stack=36(%esp)
movl %eax,36(%esp)

# qhasm:   g1 = 0
# asm 1: mov  $0,>g1=int32#1
# asm 2: mov  $0,>g1=%eax
mov  $0,%eax

# qhasm:   f1 = f1_stack
# asm 1: movl <f1_stack=stack32#6,>f1=int32#3
# asm 2: movl <f1_stack=20(%esp),>f1=%edx
movl 20(%esp),%edx

# qhasm:   carry? g1 += f1 + carry
# asm 1: adcl <f1=int32#3,<g1=int32#1
# asm 2: adcl <f1=%edx,<g1=%eax
adcl %edx,%eax

# qhasm:   g1_stack = g1
# asm 1: movl <g1=int32#1,>g1_stack=stack32#6
# asm 2: movl <g1=%eax,>g1_stack=20(%esp)
movl %eax,20(%esp)

# qhasm:   g2 = 0
# asm 1: mov  $0,>g2=int32#1
# asm 2: mov  $0,>g2=%eax
mov  $0,%eax

# qhasm:   f2 = f2_stack
# asm 1: movl <f2_stack=stack32#7,>f2=int32#4
# asm 2: movl <f2_stack=24(%esp),>f2=%ebx
movl 24(%esp),%ebx

# qhasm:   carry? g2 += f2 + carry
# asm 1: adcl <f2=int32#4,<g2=int32#1
# asm 2: adcl <f2=%ebx,<g2=%eax
adcl %ebx,%eax

# qhasm:   g2_stack = g2
# asm 1: movl <g2=int32#1,>g2_stack=stack32#7
# asm 2: movl <g2=%eax,>g2_stack=24(%esp)
movl %eax,24(%esp)

# qhasm:   g3 = 0
# asm 1: mov  $0,>g3=int32#1
# asm 2: mov  $0,>g3=%eax
mov  $0,%eax

# qhasm:   f3 = f3_stack
# asm 1: movl <f3_stack=stack32#8,>f3=int32#5
# asm 2: movl <f3_stack=28(%esp),>f3=%esi
movl 28(%esp),%esi

# qhasm:   carry? g3 += f3 + carry
# asm 1: adcl <f3=int32#5,<g3=int32#1
# asm 2: adcl <f3=%esi,<g3=%eax
adcl %esi,%eax

# qhasm:   g3_stack = g3
# asm 1: movl <g3=int32#1,>g3_stack=stack32#8
# asm 2: movl <g3=%eax,>g3_stack=28(%esp)
movl %eax,28(%esp)

# qhasm:   f = -4
# asm 1: mov  $-4,>f=int32#1
# asm 2: mov  $-4,>f=%eax
mov  $-4,%eax

# qhasm:   f4 = f4_stack
# asm 1: movl <f4_stack=stack32#9,>f4=int32#6
# asm 2: movl <f4_stack=32(%esp),>f4=%edi
movl 32(%esp),%edi

# qhasm:          f += f4 + carry
# asm 1: adcl <f4=int32#6,<f=int32#1
# asm 2: adcl <f4=%edi,<f=%eax
adcl %edi,%eax

# qhasm:   (int32) f >>= 16
# asm 1: sar  $16,<f=int32#1
# asm 2: sar  $16,<f=%eax
sar  $16,%eax

# qhasm:   notf = f
# asm 1: mov  <f=int32#1,>notf=int32#6
# asm 2: mov  <f=%eax,>notf=%edi
mov  %eax,%edi

# qhasm:   notf ^= -1
# asm 1: xor  $-1,<notf=int32#6
# asm 2: xor  $-1,<notf=%edi
xor  $-1,%edi

# qhasm:   f0 &= f
# asm 1: andl <f=int32#1,<f0=int32#2
# asm 2: andl <f=%eax,<f0=%ecx
andl %eax,%ecx

# qhasm:   g0 = g0_stack
# asm 1: movl <g0_stack=stack32#10,>g0=int32#7
# asm 2: movl <g0_stack=36(%esp),>g0=%ebp
movl 36(%esp),%ebp

# qhasm:   g0 &= notf
# asm 1: andl <notf=int32#6,<g0=int32#7
# asm 2: andl <notf=%edi,<g0=%ebp
andl %edi,%ebp

# qhasm:   f0 |= g0
# asm 1: orl  <g0=int32#7,<f0=int32#2
# asm 2: orl  <g0=%ebp,<f0=%ecx
orl  %ebp,%ecx

# qhasm:   f1 &= f
# asm 1: andl <f=int32#1,<f1=int32#3
# asm 2: andl <f=%eax,<f1=%edx
andl %eax,%edx

# qhasm:   g1 = g1_stack
# asm 1: movl <g1_stack=stack32#6,>g1=int32#7
# asm 2: movl <g1_stack=20(%esp),>g1=%ebp
movl 20(%esp),%ebp

# qhasm:   g1 &= notf
# asm 1: andl <notf=int32#6,<g1=int32#7
# asm 2: andl <notf=%edi,<g1=%ebp
andl %edi,%ebp

# qhasm:   f1 |= g1
# asm 1: orl  <g1=int32#7,<f1=int32#3
# asm 2: orl  <g1=%ebp,<f1=%edx
orl  %ebp,%edx

# qhasm:   f2 &= f
# asm 1: andl <f=int32#1,<f2=int32#4
# asm 2: andl <f=%eax,<f2=%ebx
andl %eax,%ebx

# qhasm:   g2 = g2_stack
# asm 1: movl <g2_stack=stack32#7,>g2=int32#7
# asm 2: movl <g2_stack=24(%esp),>g2=%ebp
movl 24(%esp),%ebp

# qhasm:   g2 &= notf
# asm 1: andl <notf=int32#6,<g2=int32#7
# asm 2: andl <notf=%edi,<g2=%ebp
andl %edi,%ebp

# qhasm:   f2 |= g2
# asm 1: orl  <g2=int32#7,<f2=int32#4
# asm 2: orl  <g2=%ebp,<f2=%ebx
orl  %ebp,%ebx

# qhasm:   f3 &= f
# asm 1: andl <f=int32#1,<f3=int32#5
# asm 2: andl <f=%eax,<f3=%esi
andl %eax,%esi

# qhasm:   g3 = g3_stack
# asm 1: movl <g3_stack=stack32#8,>g3=int32#1
# asm 2: movl <g3_stack=28(%esp),>g3=%eax
movl 28(%esp),%eax

# qhasm:   g3 &= notf
# asm 1: andl <notf=int32#6,<g3=int32#1
# asm 2: andl <notf=%edi,<g3=%eax
andl %edi,%eax

# qhasm:   f3 |= g3
# asm 1: orl  <g3=int32#1,<f3=int32#5
# asm 2: orl  <g3=%eax,<f3=%esi
orl  %eax,%esi

# qhasm:   eax = eax_stack
# asm 1: movl <eax_stack=stack32#5,>eax=int32#1
# asm 2: movl <eax_stack=16(%esp),>eax=%eax
movl 16(%esp),%eax

# qhasm:   s = arg3
# asm 1: movl <arg3=stack32#-3,>s=int32#6
# asm 2: movl <arg3=12(%esp,%eax),>s=%edi
movl 12(%esp,%eax),%edi

# qhasm:   carry? f0 += *(uint32 *) (s + 0)
# asm 1: addl 0(<s=int32#6),<f0=int32#2
# asm 2: addl 0(<s=%edi),<f0=%ecx
addl 0(%edi),%ecx

# qhasm:   carry? f1 += *(uint32 *) (s + 4) + carry
# asm 1: adcl 4(<s=int32#6),<f1=int32#3
# asm 2: adcl 4(<s=%edi),<f1=%edx
adcl 4(%edi),%edx

# qhasm:   carry? f2 += *(uint32 *) (s + 8) + carry
# asm 1: adcl 8(<s=int32#6),<f2=int32#4
# asm 2: adcl 8(<s=%edi),<f2=%ebx
adcl 8(%edi),%ebx

# qhasm:          f3 += *(uint32 *) (s + 12) + carry
# asm 1: adcl 12(<s=int32#6),<f3=int32#5
# asm 2: adcl 12(<s=%edi),<f3=%esi
adcl 12(%edi),%esi

# qhasm:   out = arg1
# asm 1: movl <arg1=stack32#-1,>out=int32#6
# asm 2: movl <arg1=4(%esp,%eax),>out=%edi
movl 4(%esp,%eax),%edi

# qhasm:   *(uint32 *) (out + 0) = f0
# asm 1: movl <f0=int32#2,0(<out=int32#6)
# asm 2: movl <f0=%ecx,0(<out=%edi)
movl %ecx,0(%edi)

# qhasm:   *(uint32 *) (out + 4) = f1
# asm 1: movl <f1=int32#3,4(<out=int32#6)
# asm 2: movl <f1=%edx,4(<out=%edi)
movl %edx,4(%edi)

# qhasm:   *(uint32 *) (out + 8) = f2
# asm 1: movl <f2=int32#4,8(<out=int32#6)
# asm 2: movl <f2=%ebx,8(<out=%edi)
movl %ebx,8(%edi)

# qhasm:   *(uint32 *) (out + 12) = f3
# asm 1: movl <f3=int32#5,12(<out=int32#6)
# asm 2: movl <f3=%esi,12(<out=%edi)
movl %esi,12(%edi)

# qhasm:   ebx = ebx_stack
# asm 1: movl <ebx_stack=stack32#1,>ebx=int32#4
# asm 2: movl <ebx_stack=0(%esp),>ebx=%ebx
movl 0(%esp),%ebx

# qhasm:   esi = esi_stack
# asm 1: movl <esi_stack=stack32#2,>esi=int32#5
# asm 2: movl <esi_stack=4(%esp),>esi=%esi
movl 4(%esp),%esi

# qhasm:   edi = edi_stack
# asm 1: movl <edi_stack=stack32#3,>edi=int32#6
# asm 2: movl <edi_stack=8(%esp),>edi=%edi
movl 8(%esp),%edi

# qhasm:   ebp = ebp_stack
# asm 1: movl <ebp_stack=stack32#4,>ebp=int32#7
# asm 2: movl <ebp_stack=12(%esp),>ebp=%ebp
movl 12(%esp),%ebp

# qhasm: leave
add %eax,%esp
ret