/*
 * CDDL HEADER START
 *
 * The contents of this file are subject to the terms of the
 * Common Development and Distribution License, Version 1.0 only
 * (the "License").  You may not use this file except in compliance
 * with the License.
 *
 * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
 * or http://www.opensolaris.org/os/licensing.
 * See the License for the specific language governing permissions
 * and limitations under the License.
 *
 * When distributing Covered Code, include this CDDL HEADER in each
 * file and include the License file at usr/src/OPENSOLARIS.LICENSE.
 * If applicable, add the following below this CDDL HEADER, with the
 * fields enclosed by brackets "[]" replaced with your own identifying
 * information: Portions Copyright [yyyy] [name of copyright owner]
 *
 * CDDL HEADER END
 */
/*
 * Copyright 2004 Sun Microsystems, Inc.  All rights reserved.
 * Use is subject to license terms.
 */

#pragma ident   "%Z%%M% %I%     %E% SMI"


        .section        ".text",#alloc,#execinstr
        .file   "mont_mulf_asm_v8plus.s"

/*
 * This file is a result of compiling the mont_mulf.c file to generate an
 * assembly output and then hand-editing that output to replace the
 * compiler-generated loop for the 512-bit case (nlen == 16) in the
 * mont_mulf_noconv routine with a hand-crafted version.
 * To compile this:
 *
 * cc -c -xarch=v8plus -KPIC mont_mulf_asm.s
 *
 * Note, this file does not support sparcv9 (64-bit).
 */


        .section        ".rodata",#alloc
        .align  8
!
! CONSTANT POOL
!
TwoTo16:
        .word   1089470464
        .word   0
        .type   TwoTo16,#object
        .size   TwoTo16,8
!
! CONSTANT POOL
!
TwoToMinus16:
        .word   1055916032
        .word   0
        .type   TwoToMinus16,#object
        .size   TwoToMinus16,8
!
! CONSTANT POOL
!
Zero:
        .word   0
        .word   0
        .type   Zero,#object
        .size   Zero,8
!
! CONSTANT POOL
!
TwoTo32:
        .word   1106247680
        .word   0
        .type   TwoTo32,#object
        .size   TwoTo32,8
!
! CONSTANT POOL
!
TwoToMinus32:
        .word   1039138816
        .word   0
        .type   TwoToMinus32,#object
        .size   TwoToMinus32,8

        .section        ".text",#alloc,#execinstr
/* 000000          0 */         .align  4
!
! SUBROUTINE conv_d16_to_i32
!
! OFFSET    SOURCE LINE LABEL   INSTRUCTION

                        .global conv_d16_to_i32
                       conv_d16_to_i32:
/* 000000            */         save    %sp,-128,%sp
! FILE mont_mulf.c

!    1                !#define RF_INLINE_MACROS
!    3                !static const double TwoTo16=65536.0;
!    4                !static const double TwoToMinus16=1.0/65536.0;
!    5                !static const double Zero=0.0;
!    6                !static const double TwoTo32=65536.0*65536.0;
!    7                !static const double TwoToMinus32=1.0/(65536.0*65536.0);
!    9                !#ifdef RF_INLINE_MACROS
!   11                !double upper32(double);
!   12                !double lower32(double, double);
!   13                !double mod(double, double, double);
!   15                !#else
!   17                !static double upper32(double x)
!   18                !{
!   19                !  return floor(x*TwoToMinus32);
!   20                !}
!   22                !static double lower32(double x, double y)
!   23                !{
!   24                !  return x-TwoTo32*floor(x*TwoToMinus32);
!   25                !}
!   27                !static double mod(double x, double oneoverm, double m)
!   28                !{
!   29                !  return x-m*floor(x*oneoverm);
!   30                !}
!   32                !#endif
!   35                !static void cleanup(double *dt, int from, int tlen)
!   36                !{
!   37                ! int i;
!   38                ! double tmp,tmp1,x,x1;
!   40                ! tmp=tmp1=Zero;
!   41                ! /* original code **
!   42                ! for(i=2*from;i<2*tlen-2;i++)
!   43                !   {
!   44                !     x=dt[i];
!   45                !     dt[i]=lower32(x,Zero)+tmp1;
!   46                !     tmp1=tmp;
!   47                !     tmp=upper32(x);
!   48                !   }
!   49                ! dt[tlen-2]+=tmp1;
!   50                ! dt[tlen-1]+=tmp;
!   51                ! **end original code ***/
!   52                ! /* new code ***/
!   53                ! for(i=2*from;i<2*tlen;i+=2)
!   54                !   {
!   55                !     x=dt[i];
!   56                !     x1=dt[i+1];
!   57                !     dt[i]=lower32(x,Zero)+tmp;
!   58                !     dt[i+1]=lower32(x1,Zero)+tmp1;
!   59                !     tmp=upper32(x);
!   60                !     tmp1=upper32(x1);
!   61                !   }
!   62                !  /** end new code **/
!   63                !}
!   66                !void conv_d16_to_i32(unsigned int *i32, double *d16, long long *tmp, int ilen)
!   67                !{
!   68                !int i;
!   69                !long long t, t1, a, b, c, d;
!   71                ! t1=0;
!   72                ! a=(long long)d16[0];

/* 0x0004         72 */         ldd     [%i1],%f0
/* 0x0008         67 */         or      %g0,%i1,%o0

!   73                ! b=(long long)d16[1];
!   74                ! for(i=0; i<ilen-1; i++)

/* 0x000c         74 */         sub     %i3,1,%g2
/* 0x0010            */         cmp     %g2,0
/* 0x0014         71 */         or      %g0,0,%o4
/* 0x0018         72 */         fdtox   %f0,%f0
/* 0x001c            */         std     %f0,[%sp+120]
/* 0x0020         74 */         or      %g0,0,%o7
/* 0x0024         67 */         or      %g0,%i3,%o1
/* 0x0028            */         sub     %i3,2,%o2
/* 0x002c         73 */         ldd     [%o0+8],%f0
/* 0x0030         67 */         sethi   %hi(0xfc00),%o1
/* 0x0034            */         add     %o2,1,%g3
/* 0x0038            */         add     %o1,1023,%o1
/* 0x003c            */         or      %g0,%i0,%o5
/* 0x0040         73 */         fdtox   %f0,%f0
/* 0x0044            */         std     %f0,[%sp+112]
/* 0x0048            */         ldx     [%sp+112],%g1
/* 0x004c         72 */         ldx     [%sp+120],%g4
/* 0x0050         74 */         ble,pt  %icc,.L900000117
/* 0x0054            */         sethi   %hi(0xfc00),%g2
/* 0x0058         67 */         or      %g0,-1,%g2
/* 0x005c         74 */         cmp     %g3,3
/* 0x0060         67 */         srl     %g2,0,%o3
/* 0x0064         74 */         bl,pn   %icc,.L77000134
/* 0x0068            */         or      %g0,%o0,%g2

!   75                !   {
!   76                !     c=(long long)d16[2*i+2];

/* 0x006c         76 */         ldd     [%o0+16],%f0

!   77                !     t1+=a&0xffffffff;
!   78                !     t=(a>>32);
!   79                !     d=(long long)d16[2*i+3];
!   80                !     t1+=(b&0xffff)<<16;
!   81                !     t+=(b>>16)+(t1>>32);
!   82                !     i32[i]=t1&0xffffffff;
!   83                !     t1=t;
!   84                !     a=c;
!   85                !     b=d;

/* 0x0070         85 */         add     %o0,16,%g2
/* 0x0074         80 */         and     %g1,%o1,%o0
/* 0x0078            */         sllx    %o0,16,%g3
/* 0x007c         77 */         and     %g4,%o3,%o0
/* 0x0080         74 */         add     %o0,%g3,%o4
/* 0x0084         76 */         fdtox   %f0,%f0
/* 0x0088            */         std     %f0,[%sp+104]
/* 0x008c         82 */         and     %o4,%o3,%g5
/* 0x0090         79 */         ldd     [%g2+8],%f2
/* 0x0094         85 */         add     %o5,4,%o5
/* 0x0098         81 */         srax    %o4,32,%o4
/* 0x009c            */         stx     %o4,[%sp+112]
/* 0x00a0         79 */         fdtox   %f2,%f0
/* 0x00a4            */         std     %f0,[%sp+96]
/* 0x00a8         81 */         srax    %g1,16,%o0
/* 0x00ac            */         ldx     [%sp+112],%o7
/* 0x00b0         78 */         srax    %g4,32,%o4
/* 0x00b4         81 */         add     %o0,%o7,%g4
/* 0x00b8         85 */         or      %g0,1,%o7
/* 0x00bc         76 */         ldx     [%sp+104],%g3
/* 0x00c0         81 */         add     %o4,%g4,%o4
/* 0x00c4         79 */         ldx     [%sp+96],%g1
/* 0x00c8         82 */         st      %g5,[%o5-4]
/* 0x00cc         84 */         or      %g0,%g3,%g4
                       .L900000112:
/* 0x00d0         76 */         ldd     [%g2+16],%f0
/* 0x00d4         85 */         add     %o7,1,%o7
/* 0x00d8            */         add     %o5,4,%o5
/* 0x00dc            */         cmp     %o7,%o2
/* 0x00e0            */         add     %g2,16,%g2
/* 0x00e4         76 */         fdtox   %f0,%f0
/* 0x00e8            */         std     %f0,[%sp+104]
/* 0x00ec         79 */         ldd     [%g2+8],%f0
/* 0x00f0            */         fdtox   %f0,%f0
/* 0x00f4            */         std     %f0,[%sp+96]
/* 0x00f8         80 */         and     %g1,%o1,%g3
/* 0x00fc            */         sllx    %g3,16,%g5
/* 0x0100         77 */         and     %g4,%o3,%g3
/* 0x0104         74 */         add     %g3,%g5,%g3
/* 0x0108         81 */         srax    %g1,16,%g1
/* 0x010c         74 */         add     %g3,%o4,%g3
/* 0x0110         81 */         srax    %g3,32,%o4
/* 0x0114            */         stx     %o4,[%sp+112]
/* 0x0118         76 */         ldx     [%sp+104],%g5
/* 0x011c         78 */         srax    %g4,32,%o4
/* 0x0120         81 */         ldx     [%sp+112],%g4
/* 0x0124            */         add     %g1,%g4,%g4
/* 0x0128         79 */         ldx     [%sp+96],%g1
/* 0x012c         81 */         add     %o4,%g4,%o4
/* 0x0130         82 */         and     %g3,%o3,%g3
/* 0x0134         84 */         or      %g0,%g5,%g4
/* 0x0138         85 */         ble,pt  %icc,.L900000112
/* 0x013c            */         st      %g3,[%o5-4]
                       .L900000115:
/* 0x0140         85 */         ba      .L900000117
/* 0x0144            */         sethi   %hi(0xfc00),%g2
                       .L77000134:
/* 0x0148         76 */         ldd     [%g2+16],%f0
                       .L900000116:
/* 0x014c         77 */         and     %g4,%o3,%o0
/* 0x0150         80 */         and     %g1,%o1,%g3
/* 0x0154         76 */         fdtox   %f0,%f0
/* 0x0158         77 */         add     %o4,%o0,%o0
/* 0x015c         76 */         std     %f0,[%sp+104]
/* 0x0160         85 */         add     %o7,1,%o7
/* 0x0164         80 */         sllx    %g3,16,%o4
/* 0x0168         79 */         ldd     [%g2+24],%f2
/* 0x016c         85 */         add     %g2,16,%g2
/* 0x0170         80 */         add     %o0,%o4,%o0
/* 0x0174         85 */         cmp     %o7,%o2
/* 0x0178         82 */         and     %o0,%o3,%g3
/* 0x017c         79 */         fdtox   %f2,%f0
/* 0x0180            */         std     %f0,[%sp+96]
/* 0x0184         81 */         srax    %o0,32,%o0
/* 0x0188            */         stx     %o0,[%sp+112]
/* 0x018c         78 */         srax    %g4,32,%o4
/* 0x0190         79 */         ldx     [%sp+96],%o0
/* 0x0194         81 */         srax    %g1,16,%g5
/* 0x0198            */         ldx     [%sp+112],%g4
/* 0x019c         76 */         ldx     [%sp+104],%g1
/* 0x01a0         82 */         st      %g3,[%o5]
/* 0x01a4         81 */         add     %g5,%g4,%g4
/* 0x01a8         85 */         add     %o5,4,%o5
/* 0x01ac         81 */         add     %o4,%g4,%o4
/* 0x01b0         84 */         or      %g0,%g1,%g4
/* 0x01b4         85 */         or      %g0,%o0,%g1
/* 0x01b8            */         ble,a,pt        %icc,.L900000116
/* 0x01bc            */         ldd     [%g2+16],%f0
                       .L77000127:

!   86                !   }
!   87                !     t1+=a&0xffffffff;
!   88                !     t=(a>>32);
!   89                !     t1+=(b&0xffff)<<16;
!   90                !     i32[i]=t1&0xffffffff;

/* 0x01c0         90 */         sethi   %hi(0xfc00),%g2
                       .L900000117:
/* 0x01c4         90 */         or      %g0,-1,%g3
/* 0x01c8            */         add     %g2,1023,%g2
/* 0x01cc            */         srl     %g3,0,%g3
/* 0x01d0            */         and     %g1,%g2,%g2
/* 0x01d4            */         and     %g4,%g3,%g4
/* 0x01d8            */         sllx    %g2,16,%g2
/* 0x01dc            */         add     %o4,%g4,%g4
/* 0x01e0            */         add     %g4,%g2,%g2
/* 0x01e4            */         sll     %o7,2,%g4
/* 0x01e8            */         and     %g2,%g3,%g2
/* 0x01ec            */         st      %g2,[%i0+%g4]
/* 0x01f0            */         ret     ! Result =
/* 0x01f4            */         restore %g0,%g0,%g0
/* 0x01f8          0 */         .type   conv_d16_to_i32,2
/* 0x01f8            */         .size   conv_d16_to_i32,(.-conv_d16_to_i32)

        .section        ".text",#alloc,#execinstr
/* 000000          0 */         .align  8
!
! CONSTANT POOL
!
                       .L_const_seg_900000201:
/* 000000          0 */         .word   1127219200,0
/* 0x0008          0 */         .align  4
/* 0x0008            */         .skip   16
!
! SUBROUTINE conv_i32_to_d32
!
! OFFSET    SOURCE LINE LABEL   INSTRUCTION

                        .global conv_i32_to_d32
                       conv_i32_to_d32:
/* 000000            */         or      %g0,%o7,%g2
/* 0x0004            */         or      %g0,%o1,%g4
                       .L900000210:
/* 0x0008            */         call    .+8
/* 0x000c            */         sethi   /*X*/%hi(_GLOBAL_OFFSET_TABLE_-(.L900000210-.)),%g3

!   92                !}
!   94                !void conv_i32_to_d32(double *d32, unsigned int *i32, int len)
!   95                !{
!   96                !int i;
!   98                !#pragma pipeloop(0)
!   99                ! for(i=0;i<len;i++) d32[i]=(double)(i32[i]);

/* 0x0010         99 */         or      %g0,0,%o5
/* 0x0014         95 */         add     %g3,/*X*/%lo(_GLOBAL_OFFSET_TABLE_-(.L900000210-.)),%g3
/* 0x0018            */         or      %g0,%o0,%g5
/* 0x001c            */         add     %g3,%o7,%g1
/* 0x0020            */         orcc    %g0,%o2,%g3
/* 0x0024         99 */         ble,pt  %icc,.L77000140
/* 0x0028            */         or      %g0,%g2,%o7
/* 0x002c            */         sethi   %hi(.L_const_seg_900000201),%g2
/* 0x0030            */         add     %g2,%lo(.L_const_seg_900000201),%g2
/* 0x0034            */         sub     %o2,1,%g3
/* 0x0038            */         ld      [%g1+%g2],%g2
/* 0x003c            */         cmp     %o2,9
/* 0x0040            */         bl,pn   %icc,.L77000144
/* 0x0044            */         ldd     [%g2],%f8
/* 0x0048            */         add     %o1,16,%g4
/* 0x004c            */         sub     %o2,5,%g1
/* 0x0050            */         ld      [%o1],%f7
/* 0x0054            */         or      %g0,4,%o5
/* 0x0058            */         ld      [%o1+4],%f5
/* 0x005c            */         ld      [%o1+8],%f3
/* 0x0060            */         fmovs   %f8,%f6
/* 0x0064            */         ld      [%o1+12],%f1
                       .L900000205:
/* 0x0068            */         ld      [%g4],%f11
/* 0x006c            */         add     %o5,5,%o5
/* 0x0070            */         add     %g4,20,%g4
/* 0x0074            */         fsubd   %f6,%f8,%f6
/* 0x0078            */         std     %f6,[%g5]
/* 0x007c            */         cmp     %o5,%g1
/* 0x0080            */         add     %g5,40,%g5
/* 0x0084            */         fmovs   %f8,%f4
/* 0x0088            */         ld      [%g4-16],%f7
/* 0x008c            */         fsubd   %f4,%f8,%f12
/* 0x0090            */         fmovs   %f8,%f2
/* 0x0094            */         std     %f12,[%g5-32]
/* 0x0098            */         ld      [%g4-12],%f5
/* 0x009c            */         fsubd   %f2,%f8,%f12
/* 0x00a0            */         fmovs   %f8,%f0
/* 0x00a4            */         std     %f12,[%g5-24]
/* 0x00a8            */         ld      [%g4-8],%f3
/* 0x00ac            */         fsubd   %f0,%f8,%f12
/* 0x00b0            */         fmovs   %f8,%f10
/* 0x00b4            */         std     %f12,[%g5-16]
/* 0x00b8            */         ld      [%g4-4],%f1
/* 0x00bc            */         fsubd   %f10,%f8,%f10
/* 0x00c0            */         fmovs   %f8,%f6
/* 0x00c4            */         ble,pt  %icc,.L900000205
/* 0x00c8            */         std     %f10,[%g5-8]
                       .L900000208:
/* 0x00cc            */         fmovs   %f8,%f4
/* 0x00d0            */         add     %g5,32,%g5
/* 0x00d4            */         cmp     %o5,%g3
/* 0x00d8            */         fmovs   %f8,%f2
/* 0x00dc            */         fmovs   %f8,%f0
/* 0x00e0            */         fsubd   %f6,%f8,%f6
/* 0x00e4            */         std     %f6,[%g5-32]
/* 0x00e8            */         fsubd   %f4,%f8,%f4
/* 0x00ec            */         std     %f4,[%g5-24]
/* 0x00f0            */         fsubd   %f2,%f8,%f2
/* 0x00f4            */         std     %f2,[%g5-16]
/* 0x00f8            */         fsubd   %f0,%f8,%f0
/* 0x00fc            */         bg,pn   %icc,.L77000140
/* 0x0100            */         std     %f0,[%g5-8]
                       .L77000144:
/* 0x0104            */         ld      [%g4],%f1
                       .L900000211:
/* 0x0108            */         ldd     [%g2],%f8
/* 0x010c            */         add     %o5,1,%o5
/* 0x0110            */         add     %g4,4,%g4
/* 0x0114            */         cmp     %o5,%g3
/* 0x0118            */         fmovs   %f8,%f0
/* 0x011c            */         fsubd   %f0,%f8,%f0
/* 0x0120            */         std     %f0,[%g5]
/* 0x0124            */         add     %g5,8,%g5
/* 0x0128            */         ble,a,pt        %icc,.L900000211
/* 0x012c            */         ld      [%g4],%f1
                       .L77000140:
/* 0x0130            */         retl    ! Result =
/* 0x0134            */         nop
/* 0x0138          0 */         .type   conv_i32_to_d32,2
/* 0x0138            */         .size   conv_i32_to_d32,(.-conv_i32_to_d32)

        .section        ".text",#alloc,#execinstr
/* 000000          0 */         .align  8
!
! CONSTANT POOL
!
                       .L_const_seg_900000301:
/* 000000          0 */         .word   1127219200,0
/* 0x0008          0 */         .align  4
/* 0x0008            */         .skip   16
!
! SUBROUTINE conv_i32_to_d16
!
! OFFSET    SOURCE LINE LABEL   INSTRUCTION

                        .global conv_i32_to_d16
                       conv_i32_to_d16:
/* 000000            */         save    %sp,-104,%sp
                       .L900000310:
/* 0x0004            */         call    .+8
/* 0x0008            */         sethi   /*X*/%hi(_GLOBAL_OFFSET_TABLE_-(.L900000310-.)),%g3
/* 0x000c            */         orcc    %g0,%i2,%o0
/* 0x0010            */         add     %g3,/*X*/%lo(_GLOBAL_OFFSET_TABLE_-(.L900000310-.)),%g3

!  100                !}
!  103                !void conv_i32_to_d16(double *d16, unsigned int *i32, int len)
!  104                !{
!  105                !int i;
!  106                !unsigned int a;
!  108                !#pragma pipeloop(0)
!  109                ! for(i=0;i<len;i++)

/* 0x0014        109 */         ble,pt  %icc,.L77000150
/* 0x0018            */         add     %g3,%o7,%o2

!  110                !   {
!  111                !     a=i32[i];
!  112                !     d16[2*i]=(double)(a&0xffff);
!  113                !     d16[2*i+1]=(double)(a>>16);

/* 0x001c        113 */         sethi   %hi(.L_const_seg_900000301),%g2
/* 0x0020        109 */         sub     %o0,1,%o5
/* 0x0024        113 */         add     %g2,%lo(.L_const_seg_900000301),%o1
/* 0x0028            */         ld      [%o2+%o1],%o3
/* 0x002c        109 */         sethi   %hi(0xfc00),%o0
/* 0x0030            */         add     %o5,1,%g2
/* 0x0034            */         or      %g0,0,%g1
/* 0x0038            */         cmp     %g2,3
/* 0x003c        112 */         ldd     [%o3],%f0
/* 0x0040            */         or      %g0,%i1,%o7
/* 0x0044            */         add     %o0,1023,%o4
/* 0x0048            */         or      %g0,%i0,%g3
/* 0x004c        109 */         bl,pn   %icc,.L77000154
/* 0x0050            */         add     %o7,4,%o0
/* 0x0054        111 */         ld      [%o0-4],%o1
/* 0x0058          0 */         or      %g0,%o0,%o7
/* 0x005c        113 */         or      %g0,1,%g1
/* 0x0060        112 */         and     %o1,%o4,%o0
                       .L900000306:
/* 0x0064        112 */         st      %o0,[%sp+96]
/* 0x0068        113 */         add     %g1,1,%g1
/* 0x006c            */         add     %g3,16,%g3
/* 0x0070            */         cmp     %g1,%o5
/* 0x0074            */         add     %o7,4,%o7
/* 0x0078        112 */         ld      [%sp+96],%f3
/* 0x007c            */         fmovs   %f0,%f2
/* 0x0080            */         fsubd   %f2,%f0,%f2
/* 0x0084        113 */         srl     %o1,16,%o0
/* 0x0088        112 */         std     %f2,[%g3-16]
/* 0x008c        113 */         st      %o0,[%sp+92]
/* 0x0090            */         ld      [%sp+92],%f3
/* 0x0094        111 */         ld      [%o7-4],%o1
/* 0x0098        113 */         fmovs   %f0,%f2
/* 0x009c            */         fsubd   %f2,%f0,%f2
/* 0x00a0        112 */         and     %o1,%o4,%o0
/* 0x00a4        113 */         ble,pt  %icc,.L900000306
/* 0x00a8            */         std     %f2,[%g3-8]
                       .L900000309:
/* 0x00ac        112 */         st      %o0,[%sp+96]
/* 0x00b0            */         fmovs   %f0,%f2
/* 0x00b4        113 */         add     %g3,16,%g3
/* 0x00b8            */         srl     %o1,16,%o0
/* 0x00bc        112 */         ld      [%sp+96],%f3
/* 0x00c0            */         fsubd   %f2,%f0,%f2
/* 0x00c4            */         std     %f2,[%g3-16]
/* 0x00c8        113 */         st      %o0,[%sp+92]
/* 0x00cc            */         fmovs   %f0,%f2
/* 0x00d0            */         ld      [%sp+92],%f3
/* 0x00d4            */         fsubd   %f2,%f0,%f0
/* 0x00d8            */         std     %f0,[%g3-8]
/* 0x00dc            */         ret     ! Result =
/* 0x00e0            */         restore %g0,%g0,%g0
                       .L77000154:
/* 0x00e4        111 */         ld      [%o7],%o0
                       .L900000311:
/* 0x00e8        112 */         and     %o0,%o4,%o1
/* 0x00ec            */         st      %o1,[%sp+96]
/* 0x00f0        113 */         add     %g1,1,%g1
/* 0x00f4        112 */         ldd     [%o3],%f0
/* 0x00f8        113 */         srl     %o0,16,%o0
/* 0x00fc            */         add     %o7,4,%o7
/* 0x0100            */         cmp     %g1,%o5
/* 0x0104        112 */         fmovs   %f0,%f2
/* 0x0108            */         ld      [%sp+96],%f3
/* 0x010c            */         fsubd   %f2,%f0,%f2
/* 0x0110            */         std     %f2,[%g3]
/* 0x0114        113 */         st      %o0,[%sp+92]
/* 0x0118            */         fmovs   %f0,%f2
/* 0x011c            */         ld      [%sp+92],%f3
/* 0x0120            */         fsubd   %f2,%f0,%f0
/* 0x0124            */         std     %f0,[%g3+8]
/* 0x0128            */         add     %g3,16,%g3
/* 0x012c            */         ble,a,pt        %icc,.L900000311
/* 0x0130            */         ld      [%o7],%o0
                       .L77000150:
/* 0x0134            */         ret     ! Result =
/* 0x0138            */         restore %g0,%g0,%g0
/* 0x013c          0 */         .type   conv_i32_to_d16,2
/* 0x013c            */         .size   conv_i32_to_d16,(.-conv_i32_to_d16)

        .section        ".text",#alloc,#execinstr
/* 000000          0 */         .align  8
!
! CONSTANT POOL
!
                       .L_const_seg_900000401:
/* 000000          0 */         .word   1127219200,0
/* 0x0008          0 */         .align  4
/* 0x0008            */         .skip   16
!
! SUBROUTINE conv_i32_to_d32_and_d16
!
! OFFSET    SOURCE LINE LABEL   INSTRUCTION

                        .global conv_i32_to_d32_and_d16
                       conv_i32_to_d32_and_d16:
/* 000000            */         save    %sp,-104,%sp
                       .L900000413:
/* 0x0004            */         call    .+8
/* 0x0008            */         sethi   /*X*/%hi(_GLOBAL_OFFSET_TABLE_-(.L900000413-.)),%g4

!  114                !   }
!  115                !}
!  118                !void i16_to_d16_and_d32x4(const double * /*1/(2^16)*/,
!  119                !                   const double * /* 2^16*/, const double * /* 0 */,
!  120                !                   double * /*result16*/, double * /* result32 */,
!  121                !                   float *  /*source - should be */
!  122                !                   unsigned int* converted to float* */);
!  126                !void conv_i32_to_d32_and_d16(double *d32, double *d16,
!  127                !                      unsigned int *i32, int len)
!  128                !{
!  129                !int i;
!  130                !unsigned int a;
!  132                !#pragma pipeloop(0)
!  133                ! for(i=0;i<len-3;i+=4)

/* 0x000c        133 */         sub     %i3,3,%g2
/* 0x0010            */         cmp     %g2,0
/* 0x0014        128 */         add     %g4,/*X*/%lo(_GLOBAL_OFFSET_TABLE_-(.L900000413-.)),%g4
/* 0x0018            */         or      %g0,%i2,%g5

!  134                !   {
!  135                !     i16_to_d16_and_d32x4(&TwoToMinus16, &TwoTo16, &Zero,
!  136                !                   &(d16[2*i]), &(d32[i]), (float *)(&(i32[i])));

/* 0x001c        136 */         sethi   %hi(Zero),%g2
/* 0x0020        128 */         add     %g4,%o7,%o2
/* 0x0024        133 */         or      %g0,0,%g1
/* 0x0028        128 */         or      %g0,%i0,%i4
/* 0x002c        136 */         add     %g2,%lo(Zero),%g2
/* 0x0030        133 */         ble,pt  %icc,.L900000416
/* 0x0034            */         cmp     %g1,%i3
/* 0x0038            */         or      %g0,%g5,%o4
/* 0x003c        136 */         ld      [%o2+%g2],%o1
/* 0x0040        133 */         sub     %i3,4,%o3
/* 0x0044            */         or      %g0,0,%o7
/* 0x0048            */         or      %g0,0,%o5
/* 0x004c        136 */         or      %g0,%o4,%g4
                       .L900000415:
/* 0x0050            */         ldd     [%o1],%f2
/* 0x0054        136 */         add     %i4,%o7,%g2
/* 0x0058            */         add     %i1,%o5,%g3
/* 0x005c            */         ldd     [%o1-8],%f0
/* 0x0060            */         add     %g1,4,%g1
/* 0x0064            */         add     %o4,16,%o4
/* 0x0068            */         fmovd   %f2,%f14
/* 0x006c            */         ld      [%g4],%f15
/* 0x0070            */         cmp     %g1,%o3
/* 0x0074            */         fmovd   %f2,%f10
/* 0x0078            */         ld      [%g4+4],%f11
/* 0x007c            */         fmovd   %f2,%f6
/* 0x0080            */         ld      [%g4+8],%f7
/* 0x0084            */         ld      [%g4+12],%f3
/* 0x0088            */         fxtod   %f14,%f14
/* 0x008c            */         fxtod   %f10,%f10
/* 0x0090            */         ldd     [%o1-16],%f16
/* 0x0094            */         fxtod   %f6,%f6
/* 0x0098            */         std     %f14,[%i4+%o7]
/* 0x009c            */         add     %o7,32,%o7
/* 0x00a0            */         fxtod   %f2,%f2
/* 0x00a4            */         fmuld   %f0,%f14,%f12
/* 0x00a8            */         std     %f10,[%g2+8]
/* 0x00ac            */         fmuld   %f0,%f10,%f8
/* 0x00b0            */         std     %f6,[%g2+16]
/* 0x00b4            */         fmuld   %f0,%f6,%f4
/* 0x00b8            */         std     %f2,[%g2+24]
/* 0x00bc            */         fmuld   %f0,%f2,%f0
/* 0x00c0            */         fdtox   %f12,%f12
/* 0x00c4            */         fdtox   %f8,%f8
/* 0x00c8            */         fdtox   %f4,%f4
/* 0x00cc            */         fdtox   %f0,%f0
/* 0x00d0            */         fxtod   %f12,%f12
/* 0x00d4            */         std     %f12,[%g3+8]
/* 0x00d8            */         fxtod   %f8,%f8
/* 0x00dc            */         std     %f8,[%g3+24]
/* 0x00e0            */         fxtod   %f4,%f4
/* 0x00e4            */         std     %f4,[%g3+40]
/* 0x00e8            */         fxtod   %f0,%f0
/* 0x00ec            */         fmuld   %f12,%f16,%f12
/* 0x00f0            */         std     %f0,[%g3+56]
/* 0x00f4            */         fmuld   %f8,%f16,%f8
/* 0x00f8            */         fmuld   %f4,%f16,%f4
/* 0x00fc            */         fmuld   %f0,%f16,%f0
/* 0x0100            */         fsubd   %f14,%f12,%f12
/* 0x0104            */         std     %f12,[%i1+%o5]
/* 0x0108            */         fsubd   %f10,%f8,%f8
/* 0x010c            */         std     %f8,[%g3+16]
/* 0x0110            */         add     %o5,64,%o5
/* 0x0114            */         fsubd   %f6,%f4,%f4
/* 0x0118            */         std     %f4,[%g3+32]
/* 0x011c            */         fsubd   %f2,%f0,%f0
/* 0x0120            */         std     %f0,[%g3+48]
/* 0x0124            */         ble,pt  %icc,.L900000415
/* 0x0128            */         or      %g0,%o4,%g4
                       .L77000159:

!  137                !   }
!  138                ! for(;i<len;i++)

/* 0x012c        138 */         cmp     %g1,%i3
                       .L900000416:
/* 0x0130        138 */         bge,pt  %icc,.L77000164
/* 0x0134            */         nop

!  139                !   {
!  140                !     a=i32[i];
!  141                !     d32[i]=(double)(i32[i]);
!  142                !     d16[2*i]=(double)(a&0xffff);
!  143                !     d16[2*i+1]=(double)(a>>16);

/* 0x0138        143 */         sethi   %hi(.L_const_seg_900000401),%g2
/* 0x013c            */         add     %g2,%lo(.L_const_seg_900000401),%o1
/* 0x0140        138 */         sethi   %hi(0xfc00),%o0
/* 0x0144            */         ld      [%o2+%o1],%o2
/* 0x0148            */         sll     %g1,2,%o3
/* 0x014c            */         sub     %i3,%g1,%g3
/* 0x0150            */         sll     %g1,3,%g2
/* 0x0154            */         add     %o0,1023,%o4
/* 0x0158        141 */         ldd     [%o2],%f0
/* 0x015c            */         add     %g5,%o3,%o0
/* 0x0160        138 */         cmp     %g3,3
/* 0x0164            */         add     %i4,%g2,%o3
/* 0x0168            */         sub     %i3,1,%o1
/* 0x016c            */         sll     %g1,4,%g4
/* 0x0170            */         bl,pn   %icc,.L77000161
/* 0x0174            */         add     %i1,%g4,%o5
/* 0x0178        141 */         ld      [%o0],%f3
/* 0x017c        143 */         add     %o3,8,%o3
/* 0x0180        140 */         ld      [%o0],%o7
/* 0x0184        143 */         add     %o5,16,%o5
/* 0x0188            */         add     %g1,1,%g1
/* 0x018c        141 */         fmovs   %f0,%f2
/* 0x0190        143 */         add     %o0,4,%o0
/* 0x0194        142 */         and     %o7,%o4,%g2
/* 0x0198        141 */         fsubd   %f2,%f0,%f2
/* 0x019c            */         std     %f2,[%o3-8]
/* 0x01a0        143 */         srl     %o7,16,%o7
/* 0x01a4        142 */         st      %g2,[%sp+96]
/* 0x01a8            */         fmovs   %f0,%f2
/* 0x01ac            */         ld      [%sp+96],%f3
/* 0x01b0            */         fsubd   %f2,%f0,%f2
/* 0x01b4            */         std     %f2,[%o5-16]
/* 0x01b8        143 */         st      %o7,[%sp+92]
/* 0x01bc            */         fmovs   %f0,%f2
/* 0x01c0            */         ld      [%sp+92],%f3
/* 0x01c4            */         fsubd   %f2,%f0,%f2
/* 0x01c8            */         std     %f2,[%o5-8]
                       .L900000409:
/* 0x01cc        141 */         ld      [%o0],%f3
/* 0x01d0        143 */         add     %g1,2,%g1
/* 0x01d4            */         add     %o5,32,%o5
/* 0x01d8        140 */         ld      [%o0],%o7
/* 0x01dc        143 */         cmp     %g1,%o1
/* 0x01e0            */         add     %o3,16,%o3
/* 0x01e4        141 */         fmovs   %f0,%f2
/* 0x01e8            */         fsubd   %f2,%f0,%f2
/* 0x01ec            */         std     %f2,[%o3-16]
/* 0x01f0        142 */         and     %o7,%o4,%g2
/* 0x01f4            */         st      %g2,[%sp+96]
/* 0x01f8            */         ld      [%sp+96],%f3
/* 0x01fc            */         fmovs   %f0,%f2
/* 0x0200            */         fsubd   %f2,%f0,%f2
/* 0x0204        143 */         srl     %o7,16,%o7
/* 0x0208        142 */         std     %f2,[%o5-32]
/* 0x020c        143 */         st      %o7,[%sp+92]
/* 0x0210            */         ld      [%sp+92],%f3
/* 0x0214            */         fmovs   %f0,%f2
/* 0x0218            */         fsubd   %f2,%f0,%f2
/* 0x021c            */         std     %f2,[%o5-24]
/* 0x0220            */         add     %o0,4,%o0
/* 0x0224        141 */         ld      [%o0],%f3
/* 0x0228        140 */         ld      [%o0],%o7
/* 0x022c        141 */         fmovs   %f0,%f2
/* 0x0230            */         fsubd   %f2,%f0,%f2
/* 0x0234            */         std     %f2,[%o3-8]
/* 0x0238        142 */         and     %o7,%o4,%g2
/* 0x023c            */         st      %g2,[%sp+96]
/* 0x0240            */         ld      [%sp+96],%f3
/* 0x0244            */         fmovs   %f0,%f2
/* 0x0248            */         fsubd   %f2,%f0,%f2
/* 0x024c        143 */         srl     %o7,16,%o7
/* 0x0250        142 */         std     %f2,[%o5-16]
/* 0x0254        143 */         st      %o7,[%sp+92]
/* 0x0258            */         ld      [%sp+92],%f3
/* 0x025c            */         fmovs   %f0,%f2
/* 0x0260            */         fsubd   %f2,%f0,%f2
/* 0x0264            */         std     %f2,[%o5-8]
/* 0x0268            */         bl,pt   %icc,.L900000409
/* 0x026c            */         add     %o0,4,%o0
                       .L900000412:
/* 0x0270        143 */         cmp     %g1,%i3
/* 0x0274            */         bge,pn  %icc,.L77000164
/* 0x0278            */         nop
                       .L77000161:
/* 0x027c        141 */         ld      [%o0],%f3
                       .L900000414:
/* 0x0280        141 */         ldd     [%o2],%f0
/* 0x0284        143 */         add     %g1,1,%g1
/* 0x0288        140 */         ld      [%o0],%o1
/* 0x028c        143 */         add     %o0,4,%o0
/* 0x0290            */         cmp     %g1,%i3
/* 0x0294        141 */         fmovs   %f0,%f2
/* 0x0298        142 */         and     %o1,%o4,%o7
/* 0x029c        141 */         fsubd   %f2,%f0,%f2
/* 0x02a0            */         std     %f2,[%o3]
/* 0x02a4        143 */         srl     %o1,16,%o1
/* 0x02a8        142 */         st      %o7,[%sp+96]
/* 0x02ac        143 */         add     %o3,8,%o3
/* 0x02b0        142 */         fmovs   %f0,%f2
/* 0x02b4            */         ld      [%sp+96],%f3
/* 0x02b8            */         fsubd   %f2,%f0,%f2
/* 0x02bc            */         std     %f2,[%o5]
/* 0x02c0        143 */         st      %o1,[%sp+92]
/* 0x02c4            */         fmovs   %f0,%f2
/* 0x02c8            */         ld      [%sp+92],%f3
/* 0x02cc            */         fsubd   %f2,%f0,%f0
/* 0x02d0            */         std     %f0,[%o5+8]
/* 0x02d4            */         add     %o5,16,%o5
/* 0x02d8            */         bl,a,pt %icc,.L900000414
/* 0x02dc            */         ld      [%o0],%f3
                       .L77000164:
/* 0x02e0            */         ret     ! Result =
/* 0x02e4            */         restore %g0,%g0,%g0
/* 0x02e8          0 */         .type   conv_i32_to_d32_and_d16,2
/* 0x02e8            */         .size   conv_i32_to_d32_and_d16,(.-conv_i32_to_d32_and_d16)

        .section        ".text",#alloc,#execinstr
/* 000000          0 */         .align  4
!
! SUBROUTINE adjust_montf_result
!
! OFFSET    SOURCE LINE LABEL   INSTRUCTION

                        .global adjust_montf_result
                       adjust_montf_result:

!  144                !   }
!  145                !}
!  148                !void adjust_montf_result(unsigned int *i32, unsigned int *nint, int len)
!  149                !{
!  150                !long long acc;
!  151                !int i;
!  153                ! if(i32[len]>0) i=-1;

/* 000000        153 */         sll     %o2,2,%g1
/* 0x0004            */         or      %g0,-1,%g3
/* 0x0008            */         ld      [%o0+%g1],%g1
/* 0x000c            */         cmp     %g1,0
/* 0x0010            */         bleu,pn %icc,.L77000175
/* 0x0014            */         or      %g0,%o1,%o3
/* 0x0018            */         ba      .L900000511
/* 0x001c            */         cmp     %g3,0
                       .L77000175:

!  154                ! else
!  155                !   {
!  156                !     for(i=len-1; i>=0; i--)

/* 0x0020        156 */         subcc   %o2,1,%g3
/* 0x0024            */         bneg,pt %icc,.L900000511
/* 0x0028            */         cmp     %g3,0
/* 0x002c            */         sll     %g3,2,%g1
/* 0x0030            */         add     %o0,%g1,%g2
/* 0x0034            */         add     %o1,%g1,%g1

!  157                !       {
!  158                !  if(i32[i]!=nint[i]) break;

/* 0x0038        158 */         ld      [%g1],%g5
                       .L900000510:
/* 0x003c        158 */         ld      [%g2],%o5
/* 0x0040            */         sub     %g1,4,%g1
/* 0x0044            */         sub     %g2,4,%g2
/* 0x0048            */         cmp     %o5,%g5
/* 0x004c            */         bne,pn  %icc,.L77000182
/* 0x0050            */         nop
/* 0x0054            */         subcc   %g3,1,%g3
/* 0x0058            */         bpos,a,pt       %icc,.L900000510
/* 0x005c            */         ld      [%g1],%g5
                       .L77000182:

!  159                !       }
!  160                !   }
!  161                ! if((i<0)||(i32[i]>nint[i]))

/* 0x0060        161 */         cmp     %g3,0
                       .L900000511:
/* 0x0064        161 */         bl,pn   %icc,.L77000198
/* 0x0068            */         sll     %g3,2,%g2
/* 0x006c            */         ld      [%o1+%g2],%g1
/* 0x0070            */         ld      [%o0+%g2],%g2
/* 0x0074            */         cmp     %g2,%g1
/* 0x0078            */         bleu,pt %icc,.L77000191
/* 0x007c            */         nop
                       .L77000198:

!  162                !   {
!  163                !     acc=0;
!  164                !     for(i=0;i<len;i++)

/* 0x0080        164 */         cmp     %o2,0
/* 0x0084            */         ble,pt  %icc,.L77000191
/* 0x0088            */         nop
/* 0x008c        161 */         or      %g0,-1,%g2
/* 0x0090            */         sub     %o2,1,%g4
/* 0x0094            */         srl     %g2,0,%g3
/* 0x0098        163 */         or      %g0,0,%g5
/* 0x009c        164 */         or      %g0,0,%o5
/* 0x00a0        161 */         or      %g0,%o0,%o4
/* 0x00a4            */         cmp     %o2,3
/* 0x00a8            */         add     %o1,4,%g2
/* 0x00ac        164 */         bl,pn   %icc,.L77000199
/* 0x00b0            */         add     %o0,8,%g1

!  165                !       {
!  166                !  acc=acc+(unsigned long long)(i32[i])-(unsigned long long)(nint[i]);

/* 0x00b4        166 */         ld      [%o0],%o2
/* 0x00b8          0 */         or      %g0,%g2,%o3
/* 0x00bc        166 */         ld      [%o1],%o1
/* 0x00c0          0 */         or      %g0,%g1,%o4

!  167                !  i32[i]=acc&0xffffffff;
!  168                !  acc=acc>>32;

/* 0x00c4        168 */         or      %g0,2,%o5
/* 0x00c8        166 */         ld      [%o0+4],%g1
/* 0x00cc        164 */         sub     %o2,%o1,%o2
/* 0x00d0            */         or      %g0,%o2,%g5
/* 0x00d4        167 */         and     %o2,%g3,%o2
/* 0x00d8            */         st      %o2,[%o0]
/* 0x00dc        168 */         srax    %g5,32,%g5
                       .L900000505:
/* 0x00e0        166 */         ld      [%o3],%o2
/* 0x00e4        168 */         add     %o5,1,%o5
/* 0x00e8            */         add     %o3,4,%o3
/* 0x00ec            */         cmp     %o5,%g4
/* 0x00f0            */         add     %o4,4,%o4
/* 0x00f4        164 */         sub     %g1,%o2,%g1
/* 0x00f8            */         add     %g1,%g5,%g5
/* 0x00fc        167 */         and     %g5,%g3,%o2
/* 0x0100        166 */         ld      [%o4-4],%g1
/* 0x0104        167 */         st      %o2,[%o4-8]
/* 0x0108        168 */         ble,pt  %icc,.L900000505
/* 0x010c            */         srax    %g5,32,%g5
                       .L900000508:
/* 0x0110        166 */         ld      [%o3],%g2
/* 0x0114        164 */         sub     %g1,%g2,%g1
/* 0x0118            */         add     %g1,%g5,%g1
/* 0x011c        167 */         and     %g1,%g3,%g2
/* 0x0120            */         retl    ! Result =
/* 0x0124            */         st      %g2,[%o4-4]
                       .L77000199:
/* 0x0128        166 */         ld      [%o4],%g1
                       .L900000509:
/* 0x012c        166 */         ld      [%o3],%g2
/* 0x0130            */         add     %g5,%g1,%g1
/* 0x0134        168 */         add     %o5,1,%o5
/* 0x0138            */         add     %o3,4,%o3
/* 0x013c            */         cmp     %o5,%g4
/* 0x0140        166 */         sub     %g1,%g2,%g1
/* 0x0144        167 */         and     %g1,%g3,%g2
/* 0x0148            */         st      %g2,[%o4]
/* 0x014c        168 */         add     %o4,4,%o4
/* 0x0150            */         srax    %g1,32,%g5
/* 0x0154            */         ble,a,pt        %icc,.L900000509
/* 0x0158            */         ld      [%o4],%g1
                       .L77000191:
/* 0x015c            */         retl    ! Result =
/* 0x0160            */         nop
/* 0x0164          0 */         .type   adjust_montf_result,2
/* 0x0164            */         .size   adjust_montf_result,(.-adjust_montf_result)

        .section        ".text",#alloc,#execinstr
/* 000000          0 */         .align  4
/* 000000            */         .skip   16
!
! SUBROUTINE mont_mulf_noconv
!
! OFFSET    SOURCE LINE LABEL   INSTRUCTION

                        .global mont_mulf_noconv
                       mont_mulf_noconv:
/* 000000            */         save    %sp,-144,%sp
                       .L900000644:
/* 0x0004            */         call    .+8
/* 0x0008            */         sethi   /*X*/%hi(_GLOBAL_OFFSET_TABLE_-(.L900000644-.)),%g4

!  169                !       }
!  170                !   }
!  171                !}
!  175                !void cleanup(double *dt, int from, int tlen);
!  177                !/*
!  178                !** the lengths of the input arrays should be at least the following:
!  179                !** result[nlen+1], dm1[nlen], dm2[2*nlen+1], dt[4*nlen+2], dn[nlen], nint[nlen]
!  180                !** all of them should be different from one another
!  181                !**
!  182                !*/
!  183                !void mont_mulf_noconv(unsigned int *result,
!  184                !              double *dm1, double *dm2, double *dt,
!  185                !              double *dn, unsigned int *nint,
!  186                !              int nlen, double dn0)
!  187                !{
!  188                ! int i, j, jj;
!  189                ! int tmp;
!  190                ! double digit, m2j, nextm2j, a, b;
!  191                ! double *dptmp, *pdm1, *pdm2, *pdn, *pdtj, pdn_0, pdm1_0;
!  193                ! pdm1=&(dm1[0]);
!  194                ! pdm2=&(dm2[0]);
!  195                ! pdn=&(dn[0]);
!  196                ! pdm2[2*nlen]=Zero;

/* 0x000c        196 */         sethi   %hi(Zero),%g2
/* 0x0010            */         ld      [%fp+92],%o0
/* 0x0014        187 */         add     %g4,/*X*/%lo(_GLOBAL_OFFSET_TABLE_-(.L900000644-.)),%g4
/* 0x0018        196 */         add     %g2,%lo(Zero),%g2
/* 0x001c        187 */         ldd     [%fp+96],%f2
/* 0x0020            */         add     %g4,%o7,%o3
/* 0x0024            */         st      %i0,[%fp+68]
/* 0x0028            */         or      %g0,%i3,%o1
/* 0x002c        196 */         ld      [%o3+%g2],%g3
/* 0x0030            */         sll     %o0,4,%g2
/* 0x0034        187 */         or      %g0,%i1,%g4
/* 0x0038            */         fmovd   %f2,%f16
/* 0x003c            */         st      %i5,[%fp+88]
/* 0x0040            */         or      %g0,%o1,%g5
/* 0x0044            */         or      %g0,%i2,%o2
/* 0x0048        196 */         ldd     [%g3],%f0
/* 0x004c            */         or      %g0,%o0,%g1

!  198                ! if (nlen!=16)

/* 0x0050        198 */         cmp     %o0,16
/* 0x0054            */         be,pn   %icc,.L77000289
/* 0x0058            */         std     %f0,[%o2+%g2]

!  199                !   {
!  200                !     for(i=0;i<4*nlen+2;i++) dt[i]=Zero;

/* 0x005c        200 */         sll     %o0,2,%g2
/* 0x0060        187 */         or      %g0,%i4,%i0
/* 0x0064        196 */         sll     %o0,1,%o7
/* 0x0068        200 */         add     %g2,2,%o2
/* 0x006c            */         cmp     %o2,0
/* 0x0070        196 */         or      %g0,%i2,%i1
/* 0x0074        200 */         ble,a,pt        %icc,.L900000658
/* 0x0078            */         ldd     [%g4],%f0

!  202                !     a=dt[0]=pdm1[0]*pdm2[0];
!  203                !     digit=mod(lower32(a,Zero)*dn0,TwoToMinus16,TwoTo16);
!  205                !     pdtj=&(dt[0]);
!  206                !     for(j=jj=0;j<2*nlen;j++,jj++,pdtj++)
!  207                !       {
!  208                !  m2j=pdm2[j];
!  209                !  a=pdtj[0]+pdn[0]*digit;
!  210                !  b=pdtj[1]+pdm1[0]*pdm2[j+1]+a*TwoToMinus16;
!  211                !  pdtj[1]=b;
!  213                !#pragma pipeloop(0)
!  214                !  for(i=1;i<nlen;i++)
!  215                !    {
!  216                !      pdtj[2*i]+=pdm1[i]*m2j+pdn[i]*digit;
!  217                !    }
!  218                !          if((jj==30)) {cleanup(dt,j/2+1,2*nlen+1); jj=0;}
!  219                !
!  220                !  digit=mod(lower32(b,Zero)*dn0,TwoToMinus16,TwoTo16);
!  221                !       }
!  222                !   }
!  223                ! else
!  224                !   {
!  225                !     a=dt[0]=pdm1[0]*pdm2[0];
!  227                !     dt[65]=     dt[64]=     dt[63]=     dt[62]=     dt[61]=     dt[60]=
!  228                !     dt[59]=     dt[58]=     dt[57]=     dt[56]=     dt[55]=     dt[54]=
!  229                !     dt[53]=     dt[52]=     dt[51]=     dt[50]=     dt[49]=     dt[48]=
!  230                !     dt[47]=     dt[46]=     dt[45]=     dt[44]=     dt[43]=     dt[42]=
!  231                !     dt[41]=     dt[40]=     dt[39]=     dt[38]=     dt[37]=     dt[36]=
!  232                !     dt[35]=     dt[34]=     dt[33]=     dt[32]=     dt[31]=     dt[30]=
!  233                !     dt[29]=     dt[28]=     dt[27]=     dt[26]=     dt[25]=     dt[24]=
!  234                !     dt[23]=     dt[22]=     dt[21]=     dt[20]=     dt[19]=     dt[18]=
!  235                !     dt[17]=     dt[16]=     dt[15]=     dt[14]=     dt[13]=     dt[12]=
!  236                !     dt[11]=     dt[10]=     dt[ 9]=     dt[ 8]=     dt[ 7]=     dt[ 6]=
!  237                !     dt[ 5]=     dt[ 4]=     dt[ 3]=     dt[ 2]=     dt[ 1]=Zero;
!  239                !     pdn_0=pdn[0];
!  240                !     pdm1_0=pdm1[0];
!  242                !     digit=mod(lower32(a,Zero)*dn0,TwoToMinus16,TwoTo16);
!  243                !     pdtj=&(dt[0]);
!  245                !     for(j=0;j<32;j++,pdtj++)
!  246                !       {
!  248                !  m2j=pdm2[j];
!  249                !  a=pdtj[0]+pdn_0*digit;
!  250                !  b=pdtj[1]+pdm1_0*pdm2[j+1]+a*TwoToMinus16;
!  251                !  pdtj[1]=b;
!  253                !  /**** this loop will be fully unrolled:
!  254                !  for(i=1;i<16;i++)
!  255                !    {
!  256                !      pdtj[2*i]+=pdm1[i]*m2j+pdn[i]*digit;
!  257                !    }
!  258                !  *************************************/
!  259                !      pdtj[2]+=pdm1[1]*m2j+pdn[1]*digit;
!  260                !      pdtj[4]+=pdm1[2]*m2j+pdn[2]*digit;
!  261                !      pdtj[6]+=pdm1[3]*m2j+pdn[3]*digit;
!  262                !      pdtj[8]+=pdm1[4]*m2j+pdn[4]*digit;
!  263                !      pdtj[10]+=pdm1[5]*m2j+pdn[5]*digit;
!  264                !      pdtj[12]+=pdm1[6]*m2j+pdn[6]*digit;
!  265                !      pdtj[14]+=pdm1[7]*m2j+pdn[7]*digit;
!  266                !      pdtj[16]+=pdm1[8]*m2j+pdn[8]*digit;
!  267                !      pdtj[18]+=pdm1[9]*m2j+pdn[9]*digit;
!  268                !      pdtj[20]+=pdm1[10]*m2j+pdn[10]*digit;
!  269                !      pdtj[22]+=pdm1[11]*m2j+pdn[11]*digit;
!  270                !      pdtj[24]+=pdm1[12]*m2j+pdn[12]*digit;
!  271                !      pdtj[26]+=pdm1[13]*m2j+pdn[13]*digit;
!  272                !      pdtj[28]+=pdm1[14]*m2j+pdn[14]*digit;
!  273                !      pdtj[30]+=pdm1[15]*m2j+pdn[15]*digit;
!  274                !  /* no need for cleenup, cannot overflow */
!  275                !  digit=mod(lower32(b,Zero)*dn0,TwoToMinus16,TwoTo16);
!  276                !       }
!  277                !   }
!  279                ! conv_d16_to_i32(result,dt+2*nlen,(long long *)dt,nlen+1);
!  281                ! adjust_montf_result(result,nint,nlen);

/* 0x007c        281 */         add     %g2,2,%o0
/* 0x0080        200 */         add     %g2,1,%o2
/* 0x0084        281 */         cmp     %o0,3
/* 0x0088            */         bl,pn   %icc,.L77000279
/* 0x008c            */         or      %g0,1,%o0
/* 0x0090            */         add     %o1,8,%o1
/* 0x0094            */         or      %g0,1,%o3
/* 0x0098            */         std     %f0,[%g5]
                       .L900000628:
/* 0x009c            */         std     %f0,[%o1]
/* 0x00a0            */         add     %o3,2,%o3
/* 0x00a4            */         add     %o1,16,%o1
/* 0x00a8            */         cmp     %o3,%g2
/* 0x00ac            */         ble,pt  %icc,.L900000628
/* 0x00b0            */         std     %f0,[%o1-8]
                       .L900000631:
/* 0x00b4            */         cmp     %o3,%o2
/* 0x00b8            */         bg,pn   %icc,.L77000284
/* 0x00bc            */         add     %o3,1,%o0
                       .L77000279:
/* 0x00c0            */         std     %f0,[%o1]
                       .L900000657:
/* 0x00c4            */         ldd     [%g3],%f0
/* 0x00c8            */         cmp     %o0,%o2
/* 0x00cc            */         add     %o1,8,%o1
/* 0x00d0            */         add     %o0,1,%o0
/* 0x00d4            */         ble,a,pt        %icc,.L900000657
/* 0x00d8            */         std     %f0,[%o1]
                       .L77000284:
/* 0x00dc        202 */         ldd     [%g4],%f0
                       .L900000658:
/* 0x00e0        202 */         ldd     [%i2],%f2
/* 0x00e4            */         add     %o7,1,%o2
/* 0x00e8        206 */         cmp     %o7,0
/* 0x00ec            */         sll     %o2,1,%o0
/* 0x00f0            */         sub     %o7,1,%o1
/* 0x00f4        202 */         fmuld   %f0,%f2,%f0
/* 0x00f8            */         std     %f0,[%g5]
/* 0x00fc            */         sub     %g1,1,%o7
/* 0x0100            */         ldd     [%g3],%f6
/* 0x0104          0 */         or      %g0,%o7,%i2
/* 0x0108            */         or      %g0,0,%l0
/* 0x010c            */         ldd     [%g3-8],%f2
/* 0x0110            */         or      %g0,0,%i5
/* 0x0114            */         or      %g0,%o1,%o5
/* 0x0118            */         fdtox   %f0,%f0
/* 0x011c            */         ldd     [%g3-16],%f4
/* 0x0120            */         or      %g0,%o0,%o3
/* 0x0124        210 */         add     %i1,8,%o4
/* 0x0128            */         or      %g0,0,%i4
/* 0x012c            */         fmovs   %f6,%f0
/* 0x0130            */         fxtod   %f0,%f0
/* 0x0134        203 */         fmuld   %f0,%f16,%f0
/* 0x0138            */         fmuld   %f0,%f2,%f2
/* 0x013c            */         fdtox   %f2,%f2
/* 0x0140            */         fxtod   %f2,%f2
/* 0x0144            */         fmuld   %f2,%f4,%f2
/* 0x0148            */         fsubd   %f0,%f2,%f22
/* 0x014c        206 */         ble,pt  %icc,.L900000651
/* 0x0150            */         sll     %g1,4,%g2
/* 0x0154        210 */         ldd     [%i0],%f0
                       .L900000652:
/* 0x0158        210 */         fmuld   %f0,%f22,%f8
/* 0x015c            */         ldd     [%g4],%f0
/* 0x0160        214 */         cmp     %g1,1
/* 0x0164        210 */         ldd     [%o4+%i4],%f6
/* 0x0168            */         add     %g4,8,%o0
/* 0x016c        214 */         or      %g0,1,%o1
/* 0x0170        210 */         ldd     [%i3],%f2
/* 0x0174            */         add     %i3,16,%l1
/* 0x0178            */         fmuld   %f0,%f6,%f6
/* 0x017c            */         ldd     [%g3-8],%f4
/* 0x0180            */         faddd   %f2,%f8,%f2
/* 0x0184            */         ldd     [%i3+8],%f0
/* 0x0188        208 */         ldd     [%i1+%i4],%f20
/* 0x018c        210 */         faddd   %f0,%f6,%f0
/* 0x0190            */         fmuld   %f2,%f4,%f2
/* 0x0194            */         faddd   %f0,%f2,%f18
/* 0x0198        211 */         std     %f18,[%i3+8]
/* 0x019c        214 */         ble,pt  %icc,.L900000656
/* 0x01a0            */         srl     %i5,31,%g2
/* 0x01a4            */         cmp     %i2,7
/* 0x01a8        210 */         add     %i0,8,%g2
/* 0x01ac        214 */         bl,pn   %icc,.L77000281
/* 0x01b0            */         add     %g2,24,%o2
/* 0x01b4        216 */         ldd     [%g4+8],%f2
/* 0x01b8            */         add     %g4,40,%o0
/* 0x01bc            */         ldd     [%g4+16],%f6
/* 0x01c0          0 */         or      %g0,%o2,%g2
/* 0x01c4        216 */         add     %i3,48,%l1
/* 0x01c8            */         ldd     [%g2-24],%f0
/* 0x01cc            */         fmuld   %f2,%f20,%f2
/* 0x01d0        214 */         sub     %i2,2,%o2
/* 0x01d4        216 */         ldd     [%g2-16],%f8
/* 0x01d8            */         fmuld   %f6,%f20,%f10
/* 0x01dc            */         or      %g0,5,%o1
/* 0x01e0            */         ldd     [%g4+24],%f14
/* 0x01e4            */         fmuld   %f0,%f22,%f4
/* 0x01e8            */         ldd     [%i3+16],%f0
/* 0x01ec            */         ldd     [%g2-8],%f6
/* 0x01f0            */         ldd     [%g4+32],%f12
/* 0x01f4            */         faddd   %f2,%f4,%f4
/* 0x01f8            */         ldd     [%i3+32],%f2
                       .L900000640:
/* 0x01fc        216 */         ldd     [%g2],%f24
/* 0x0200            */         add     %o1,3,%o1
/* 0x0204            */         add     %g2,24,%g2
/* 0x0208            */         fmuld   %f8,%f22,%f8
/* 0x020c            */         ldd     [%l1],%f28
/* 0x0210            */         cmp     %o1,%o2
/* 0x0214            */         add     %o0,24,%o0
/* 0x0218            */         ldd     [%o0-24],%f26
/* 0x021c            */         faddd   %f0,%f4,%f0
/* 0x0220            */         add     %l1,48,%l1
/* 0x0224            */         faddd   %f10,%f8,%f10
/* 0x0228            */         fmuld   %f14,%f20,%f4
/* 0x022c            */         std     %f0,[%l1-80]
/* 0x0230            */         ldd     [%g2-16],%f8
/* 0x0234            */         fmuld   %f6,%f22,%f6
/* 0x0238            */         ldd     [%l1-32],%f0
/* 0x023c            */         ldd     [%o0-16],%f14
/* 0x0240            */         faddd   %f2,%f10,%f2
/* 0x0244            */         faddd   %f4,%f6,%f10
/* 0x0248            */         fmuld   %f12,%f20,%f4
/* 0x024c            */         std     %f2,[%l1-64]
/* 0x0250            */         ldd     [%g2-8],%f6
/* 0x0254            */         fmuld   %f24,%f22,%f24
/* 0x0258            */         ldd     [%l1-16],%f2
/* 0x025c            */         ldd     [%o0-8],%f12
/* 0x0260            */         faddd   %f28,%f10,%f10
/* 0x0264            */         std     %f10,[%l1-48]
/* 0x0268            */         fmuld   %f26,%f20,%f10
/* 0x026c            */         ble,pt  %icc,.L900000640
/* 0x0270            */         faddd   %f4,%f24,%f4
                       .L900000643:
/* 0x0274        216 */         fmuld   %f8,%f22,%f28
/* 0x0278            */         ldd     [%g2],%f24
/* 0x027c            */         faddd   %f0,%f4,%f26
/* 0x0280            */         fmuld   %f12,%f20,%f8
/* 0x0284            */         add     %l1,32,%l1
/* 0x0288            */         cmp     %o1,%i2
/* 0x028c            */         fmuld   %f14,%f20,%f14
/* 0x0290            */         ldd     [%l1-32],%f4
/* 0x0294            */         add     %g2,8,%g2
/* 0x0298            */         faddd   %f10,%f28,%f12
/* 0x029c            */         fmuld   %f6,%f22,%f6
/* 0x02a0            */         ldd     [%l1-16],%f0
/* 0x02a4            */         fmuld   %f24,%f22,%f10
/* 0x02a8            */         std     %f26,[%l1-64]
/* 0x02ac            */         faddd   %f2,%f12,%f2
/* 0x02b0            */         std     %f2,[%l1-48]
/* 0x02b4            */         faddd   %f14,%f6,%f6
/* 0x02b8            */         faddd   %f8,%f10,%f2
/* 0x02bc            */         faddd   %f4,%f6,%f4
/* 0x02c0            */         std     %f4,[%l1-32]
/* 0x02c4            */         faddd   %f0,%f2,%f0
/* 0x02c8            */         bg,pn   %icc,.L77000213
/* 0x02cc            */         std     %f0,[%l1-16]
                       .L77000281:
/* 0x02d0        216 */         ldd     [%o0],%f0
                       .L900000655:
/* 0x02d4        216 */         ldd     [%g2],%f4
/* 0x02d8            */         fmuld   %f0,%f20,%f2
/* 0x02dc            */         add     %o1,1,%o1
/* 0x02e0            */         ldd     [%l1],%f0
/* 0x02e4            */         add     %o0,8,%o0
/* 0x02e8            */         add     %g2,8,%g2
/* 0x02ec            */         fmuld   %f4,%f22,%f4
/* 0x02f0            */         cmp     %o1,%i2
/* 0x02f4            */         faddd   %f2,%f4,%f2
/* 0x02f8            */         faddd   %f0,%f2,%f0
/* 0x02fc            */         std     %f0,[%l1]
/* 0x0300            */         add     %l1,16,%l1
/* 0x0304            */         ble,a,pt        %icc,.L900000655
/* 0x0308            */         ldd     [%o0],%f0
                       .L77000213:
/* 0x030c            */         srl     %i5,31,%g2
                       .L900000656:
/* 0x0310        218 */         cmp     %l0,30
/* 0x0314            */         bne,a,pt        %icc,.L900000654
/* 0x0318            */         fdtox   %f18,%f0
/* 0x031c            */         add     %i5,%g2,%g2
/* 0x0320            */         sub     %o3,1,%o2
/* 0x0324            */         sra     %g2,1,%o0
/* 0x0328        216 */         ldd     [%g3],%f0
/* 0x032c            */         add     %o0,1,%g2
/* 0x0330            */         sll     %g2,1,%o0
/* 0x0334            */         fmovd   %f0,%f2
/* 0x0338            */         sll     %g2,4,%o1
/* 0x033c            */         cmp     %o0,%o3
/* 0x0340            */         bge,pt  %icc,.L77000215
/* 0x0344            */         or      %g0,0,%l0
/* 0x0348        218 */         add     %g5,%o1,%o1
/* 0x034c        216 */         ldd     [%o1],%f6
                       .L900000653:
/* 0x0350            */         fdtox   %f6,%f10
/* 0x0354            */         ldd     [%o1+8],%f4
/* 0x0358            */         add     %o0,2,%o0
/* 0x035c            */         ldd     [%g3],%f12
/* 0x0360            */         fdtox   %f6,%f6
/* 0x0364            */         cmp     %o0,%o2
/* 0x0368            */         fdtox   %f4,%f8
/* 0x036c            */         fdtox   %f4,%f4
/* 0x0370            */         fmovs   %f12,%f10
/* 0x0374            */         fmovs   %f12,%f8
/* 0x0378            */         fxtod   %f10,%f10
/* 0x037c            */         fxtod   %f8,%f8
/* 0x0380            */         faddd   %f10,%f2,%f2
/* 0x0384            */         std     %f2,[%o1]
/* 0x0388            */         faddd   %f8,%f0,%f0
/* 0x038c            */         std     %f0,[%o1+8]
/* 0x0390            */         add     %o1,16,%o1
/* 0x0394            */         fitod   %f6,%f2
/* 0x0398            */         fitod   %f4,%f0
/* 0x039c            */         ble,a,pt        %icc,.L900000653
/* 0x03a0            */         ldd     [%o1],%f6
                       .L77000233:
/* 0x03a4            */         or      %g0,0,%l0
                       .L77000215:
/* 0x03a8            */         fdtox   %f18,%f0
                       .L900000654:
/* 0x03ac            */         ldd     [%g3],%f6
/* 0x03b0        220 */         add     %i5,1,%i5
/* 0x03b4            */         add     %i4,8,%i4
/* 0x03b8            */         ldd     [%g3-8],%f2
/* 0x03bc            */         add     %l0,1,%l0
/* 0x03c0            */         add     %i3,8,%i3
/* 0x03c4            */         fmovs   %f6,%f0
/* 0x03c8            */         ldd     [%g3-16],%f4
/* 0x03cc            */         cmp     %i5,%o5
/* 0x03d0            */         fxtod   %f0,%f0
/* 0x03d4            */         fmuld   %f0,%f16,%f0
/* 0x03d8            */         fmuld   %f0,%f2,%f2
/* 0x03dc            */         fdtox   %f2,%f2
/* 0x03e0            */         fxtod   %f2,%f2
/* 0x03e4            */         fmuld   %f2,%f4,%f2
/* 0x03e8            */         fsubd   %f0,%f2,%f22
/* 0x03ec            */         ble,a,pt        %icc,.L900000652
/* 0x03f0            */         ldd     [%i0],%f0
                       .L900000627:
/* 0x03f4        220 */         ba      .L900000651
/* 0x03f8            */         sll     %g1,4,%g2
                       .L77000289:
/* 0x03fc        225 */         ldd     [%o2],%f6
/* 0x0400        243 */         or      %g0,%o1,%o4
/* 0x0404        245 */         or      %g0,0,%o3
/* 0x0408        225 */         ldd     [%g4],%f4
/* 0x040c        237 */         std     %f0,[%o1+8]
/* 0x0410            */         std     %f0,[%o1+16]
/* 0x0414        225 */         fmuld   %f4,%f6,%f4
/* 0x0418            */         std     %f4,[%o1]
/* 0x041c        237 */         std     %f0,[%o1+24]
/* 0x0420            */         std     %f0,[%o1+32]
/* 0x0424            */         fdtox   %f4,%f4
/* 0x0428            */         std     %f0,[%o1+40]
/* 0x042c            */         std     %f0,[%o1+48]
/* 0x0430            */         std     %f0,[%o1+56]
/* 0x0434            */         std     %f0,[%o1+64]
/* 0x0438            */         std     %f0,[%o1+72]
/* 0x043c            */         std     %f0,[%o1+80]
/* 0x0440            */         std     %f0,[%o1+88]
/* 0x0444            */         std     %f0,[%o1+96]
/* 0x0448            */         std     %f0,[%o1+104]
/* 0x044c            */         std     %f0,[%o1+112]
/* 0x0450            */         std     %f0,[%o1+120]
/* 0x0454            */         std     %f0,[%o1+128]
/* 0x0458            */         std     %f0,[%o1+136]
/* 0x045c            */         std     %f0,[%o1+144]
/* 0x0460            */         std     %f0,[%o1+152]
/* 0x0464            */         std     %f0,[%o1+160]
/* 0x0468            */         std     %f0,[%o1+168]
/* 0x046c            */         fmovs   %f0,%f4
/* 0x0470            */         std     %f0,[%o1+176]
/* 0x0474        245 */         or      %g0,0,%o0
/* 0x0478        237 */         std     %f0,[%o1+184]
/* 0x047c            */         fxtod   %f4,%f4
/* 0x0480            */         std     %f0,[%o1+192]
/* 0x0484            */         std     %f0,[%o1+200]
/* 0x0488            */         std     %f0,[%o1+208]
/* 0x048c        242 */         fmuld   %f4,%f2,%f2
/* 0x0490        237 */         std     %f0,[%o1+216]
/* 0x0494            */         std     %f0,[%o1+224]
/* 0x0498            */         std     %f0,[%o1+232]
/* 0x049c            */         std     %f0,[%o1+240]
/* 0x04a0            */         std     %f0,[%o1+248]
/* 0x04a4            */         std     %f0,[%o1+256]
/* 0x04a8            */         std     %f0,[%o1+264]
/* 0x04ac            */         std     %f0,[%o1+272]
/* 0x04b0            */         std     %f0,[%o1+280]
/* 0x04b4            */         std     %f0,[%o1+288]
/* 0x04b8            */         std     %f0,[%o1+296]
/* 0x04bc            */         std     %f0,[%o1+304]
/* 0x04c0            */         std     %f0,[%o1+312]
/* 0x04c4            */         std     %f0,[%o1+320]
/* 0x04c8            */         std     %f0,[%o1+328]
/* 0x04cc            */         std     %f0,[%o1+336]
/* 0x04d0            */         std     %f0,[%o1+344]
/* 0x04d4            */         std     %f0,[%o1+352]
/* 0x04d8            */         std     %f0,[%o1+360]
/* 0x04dc            */         std     %f0,[%o1+368]
/* 0x04e0            */         std     %f0,[%o1+376]
/* 0x04e4            */         std     %f0,[%o1+384]
/* 0x04e8            */         std     %f0,[%o1+392]
/* 0x04ec            */         std     %f0,[%o1+400]
/* 0x04f0            */         std     %f0,[%o1+408]
/* 0x04f4            */         std     %f0,[%o1+416]
/* 0x04f8            */         std     %f0,[%o1+424]
/* 0x04fc            */         std     %f0,[%o1+432]
/* 0x0500            */         std     %f0,[%o1+440]
/* 0x0504            */         std     %f0,[%o1+448]
/* 0x0508            */         std     %f0,[%o1+456]
/* 0x050c            */         std     %f0,[%o1+464]
/* 0x0510            */         std     %f0,[%o1+472]
/* 0x0514            */         std     %f0,[%o1+480]
/* 0x0518            */         std     %f0,[%o1+488]
/* 0x051c            */         std     %f0,[%o1+496]
/* 0x0520            */         std     %f0,[%o1+504]
/* 0x0524            */         std     %f0,[%o1+512]
/* 0x0528            */         std     %f0,[%o1+520]
/* 0x052c            */         ldd     [%g3-8],%f0
/* 0x0530            */         ldd     [%g3-16],%f8
/* 0x0534            */         fmuld   %f2,%f0,%f6
/* 0x0538        239 */         ldd     [%i4],%f4
/* 0x053c        240 */         ldd     [%g4],%f0
/* 0x0540            */         fdtox   %f6,%f6
/* 0x0544            */         fxtod   %f6,%f6
/* 0x0548            */         fmuld   %f6,%f8,%f6
/* 0x054c            */         fsubd   %f2,%f6,%f2
/* 0x0550        250 */         fmuld   %f4,%f2,%f12
                       .L900000650:


        fmovd %f2,%f0
        fmovd %f16,%f18
        ldd [%i4],%f2
        ldd [%o4],%f8
        ldd [%g4],%f10
        ldd [%g3-8],%f14
        ldd [%g3-16],%f16
        ldd [%i2],%f24

        ldd [%g4+8],%f26
        ldd [%g4+16],%f40
        ldd [%g4+48],%f46
        ldd [%g4+56],%f30
        ldd [%g4+64],%f54
        ldd [%g4+104],%f34
        ldd [%g4+112],%f58

        ldd [%i4+8],%f28
        ldd [%i4+104],%f38
        ldd [%i4+112],%f60


        .L99999999:
!1
        ldd     [%g4+24],%f32
        fmuld   %f0,%f2,%f4
!2
        ldd     [%i4+24],%f36
        fmuld   %f26,%f24,%f20
!3
        ldd     [%g4+40],%f42
        fmuld   %f28,%f0,%f22
!4
        ldd     [%i4+40],%f44
        fmuld   %f32,%f24,%f32
!5
        ldd     [%i2+8],%f6
        faddd   %f4,%f8,%f4
        fmuld   %f36,%f0,%f36
!6
        add     %i2,8,%i2
        ldd     [%i4+56],%f50
        fmuld   %f42,%f24,%f42
!7
        ldd     [%g4+72],%f52
        faddd   %f20,%f22,%f20
        fmuld   %f44,%f0,%f44
!8
        ldd     [%o4+16],%f22
        fmuld   %f10,%f6,%f12
!9
        ldd     [%i4+72],%f56
        faddd   %f32,%f36,%f32
        fmuld   %f14,%f4,%f4
!10
        ldd     [%o4+48],%f36
        fmuld   %f30,%f24,%f48
!11
        ldd     [%o4+8],%f8
        faddd   %f20,%f22,%f20
        fmuld   %f50,%f0,%f50
!12
        std     %f20,[%o4+16]
        faddd   %f42,%f44,%f42
        fmuld   %f52,%f24,%f52
!13
        ldd     [%o4+80],%f44
        faddd   %f4,%f12,%f4
        fmuld   %f56,%f0,%f56
!14
        ldd     [%g4+88],%f20
        faddd   %f32,%f36,%f32
!15
        ldd     [%i4+88],%f22
        faddd   %f48,%f50,%f48
!16
        ldd     [%o4+112],%f50
        faddd   %f52,%f56,%f52
!17
        ldd     [%o4+144],%f56
        faddd   %f4,%f8,%f8
        fmuld   %f20,%f24,%f20
!18
        std     %f32,[%o4+48]
        faddd   %f42,%f44,%f42
        fmuld   %f22,%f0,%f22
!19
        std     %f42,[%o4+80]
        faddd   %f48,%f50,%f48
        fmuld   %f34,%f24,%f32
!20
        std     %f48,[%o4+112]
        faddd   %f52,%f56,%f52
        fmuld   %f38,%f0,%f36
!21
        ldd     [%g4+120],%f42
        fdtox   %f8,%f4
!22
        std     %f52,[%o4+144]
        faddd   %f20,%f22,%f20
!23
        ldd     [%i4+120],%f44
!24
        ldd     [%o4+176],%f22
        faddd   %f32,%f36,%f32
        fmuld   %f42,%f24,%f42
!25
        ldd     [%i4+16],%f50
        fmovs   %f17,%f4
!26
        ldd     [%g4+32],%f52
        fmuld   %f44,%f0,%f44
!27
        ldd     [%i4+32],%f56
        fmuld   %f40,%f24,%f48
!28
        ldd     [%o4+208],%f36
        faddd   %f20,%f22,%f20
        fmuld   %f50,%f0,%f50
!29
        std     %f20,[%o4+176]
        fxtod   %f4,%f4
        fmuld   %f52,%f24,%f52
!30
        ldd     [%i4+48],%f22
        faddd   %f42,%f44,%f42
        fmuld   %f56,%f0,%f56
!31
        ldd     [%o4+240],%f44
        faddd   %f32,%f36,%f32
!32
        std     %f32,[%o4+208]
        faddd   %f48,%f50,%f48
        fmuld   %f46,%f24,%f20
!33
        ldd     [%o4+32],%f50
        fmuld   %f4,%f18,%f12
!34
        ldd     [%i4+64],%f36
        faddd   %f52,%f56,%f52
        fmuld   %f22,%f0,%f22
!35
        ldd     [%o4+64],%f56
        faddd   %f42,%f44,%f42
!36
        std     %f42,[%o4+240]
        faddd   %f48,%f50,%f48
        fmuld   %f54,%f24,%f32
!37
        std     %f48,[%o4+32]
        fmuld   %f12,%f14,%f4
!38
        ldd     [%g4+80],%f42
        faddd   %f52,%f56,%f56  ! yes, tmp52!
        fmuld   %f36,%f0,%f36
!39
        ldd     [%i4+80],%f44
        faddd   %f20,%f22,%f20
!40
        ldd     [%g4+96],%f48
        fmuld   %f58,%f24,%f52
!41
        ldd     [%i4+96],%f50
        fdtox   %f4,%f4
        fmuld   %f42,%f24,%f42
!42
        std     %f56,[%o4+64]   ! yes, tmp52!
        faddd   %f32,%f36,%f32
        fmuld   %f44,%f0,%f44
!43
        ldd     [%o4+96],%f22
        fmuld   %f48,%f24,%f48
!44
        ldd     [%o4+128],%f36
        fmovd   %f6,%f24
        fmuld   %f50,%f0,%f50
!45
        fxtod   %f4,%f4
        fmuld   %f60,%f0,%f56
!46
        add     %o4,8,%o4
        faddd   %f42,%f44,%f42
!47
        ldd     [%o4+160-8],%f44
        faddd   %f20,%f22,%f20
!48
        std     %f20,[%o4+96-8]
        faddd   %f48,%f50,%f48
!49
        ldd     [%o4+192-8],%f50
        faddd   %f52,%f56,%f52
        fmuld   %f4,%f16,%f4
!50
        ldd     [%o4+224-8],%f56
        faddd   %f32,%f36,%f32
!51
        std     %f32,[%o4+128-8]
        faddd   %f42,%f44,%f42
!52
        add     %o3,1,%o3
        std     %f42,[%o4+160-8]
        faddd   %f48,%f50,%f48
!53
        cmp     %o3,31
        std     %f48,[%o4+192-8]
        fsubd   %f12,%f4,%f0
!54
        faddd   %f52,%f56,%f52
        ble,pt  %icc,.L99999999
        std     %f52,[%o4+224-8]
!55
        std %f8,[%o4]


                               .L77000285:
/* 0x07a8        279 */         sll     %g1,4,%g2
                       .L900000651:
/* 0x07ac        279 */         ldd     [%g5+%g2],%f0
/* 0x07b0            */         add     %g5,%g2,%i1
/* 0x07b4            */         or      %g0,0,%o4
/* 0x07b8        206 */         ld      [%fp+68],%o0
/* 0x07bc        279 */         or      %g0,0,%i0
/* 0x07c0            */         cmp     %g1,0
/* 0x07c4            */         fdtox   %f0,%f0
/* 0x07c8            */         std     %f0,[%sp+120]
/* 0x07cc        275 */         sethi   %hi(0xfc00),%o1
/* 0x07d0        206 */         or      %g0,%o0,%o3
/* 0x07d4        275 */         sub     %g1,1,%g4
/* 0x07d8        279 */         ldd     [%i1+8],%f0
/* 0x07dc            */         or      %g0,%o0,%g5
/* 0x07e0            */         add     %o1,1023,%o1
/* 0x07e4            */         fdtox   %f0,%f0
/* 0x07e8            */         std     %f0,[%sp+112]
/* 0x07ec            */         ldx     [%sp+112],%o5
/* 0x07f0            */         ldx     [%sp+120],%o7
/* 0x07f4            */         ble,pt  %icc,.L900000649
/* 0x07f8            */         sethi   %hi(0xfc00),%g2
/* 0x07fc        275 */         or      %g0,-1,%g2
/* 0x0800        279 */         cmp     %g1,3
/* 0x0804        275 */         srl     %g2,0,%o2
/* 0x0808        279 */         bl,pn   %icc,.L77000286
/* 0x080c            */         or      %g0,%i1,%g2
/* 0x0810            */         ldd     [%i1+16],%f0
/* 0x0814            */         and     %o5,%o1,%o0
/* 0x0818            */         add     %i1,16,%g2
/* 0x081c            */         sllx    %o0,16,%g3
/* 0x0820            */         and     %o7,%o2,%o0
/* 0x0824            */         fdtox   %f0,%f0
/* 0x0828            */         std     %f0,[%sp+104]
/* 0x082c            */         add     %o0,%g3,%o4
/* 0x0830            */         ldd     [%i1+24],%f2
/* 0x0834            */         srax    %o5,16,%o0
/* 0x0838            */         add     %o3,4,%g5
/* 0x083c            */         stx     %o0,[%sp+128]
/* 0x0840            */         and     %o4,%o2,%o0
/* 0x0844            */         or      %g0,1,%i0
/* 0x0848            */         stx     %o0,[%sp+112]
/* 0x084c            */         srax    %o4,32,%o0
/* 0x0850            */         fdtox   %f2,%f0
/* 0x0854            */         stx     %o0,[%sp+136]
/* 0x0858            */         srax    %o7,32,%o4
/* 0x085c            */         std     %f0,[%sp+96]
/* 0x0860            */         ldx     [%sp+136],%o7
/* 0x0864            */         ldx     [%sp+128],%o0
/* 0x0868            */         ldx     [%sp+104],%g3
/* 0x086c            */         add     %o0,%o7,%o0
/* 0x0870            */         ldx     [%sp+112],%o7
/* 0x0874            */         add     %o4,%o0,%o4
/* 0x0878            */         ldx     [%sp+96],%o5
/* 0x087c            */         st      %o7,[%o3]
/* 0x0880            */         or      %g0,%g3,%o7
                       .L900000632:
/* 0x0884            */         ldd     [%g2+16],%f0
/* 0x0888            */         add     %i0,1,%i0
/* 0x088c            */         add     %g5,4,%g5
/* 0x0890            */         cmp     %i0,%g4
/* 0x0894            */         add     %g2,16,%g2
/* 0x0898            */         fdtox   %f0,%f0
/* 0x089c            */         std     %f0,[%sp+104]
/* 0x08a0            */         ldd     [%g2+8],%f0
/* 0x08a4            */         fdtox   %f0,%f0
/* 0x08a8            */         std     %f0,[%sp+96]
/* 0x08ac            */         and     %o5,%o1,%g3
/* 0x08b0            */         sllx    %g3,16,%g3
/* 0x08b4            */         stx     %g3,[%sp+120]
/* 0x08b8            */         and     %o7,%o2,%g3
/* 0x08bc            */         stx     %o7,[%sp+128]
/* 0x08c0            */         ldx     [%sp+120],%o7
/* 0x08c4            */         add     %g3,%o7,%g3
/* 0x08c8            */         ldx     [%sp+128],%o7
/* 0x08cc            */         srax    %o5,16,%o5
/* 0x08d0            */         add     %g3,%o4,%g3
/* 0x08d4            */         srax    %g3,32,%o4
/* 0x08d8            */         stx     %o4,[%sp+112]
/* 0x08dc            */         srax    %o7,32,%o4
/* 0x08e0            */         ldx     [%sp+112],%o7
/* 0x08e4            */         add     %o5,%o7,%o7
/* 0x08e8            */         ldx     [%sp+96],%o5
/* 0x08ec            */         add     %o4,%o7,%o4
/* 0x08f0            */         and     %g3,%o2,%g3
/* 0x08f4            */         ldx     [%sp+104],%o7
/* 0x08f8            */         ble,pt  %icc,.L900000632
/* 0x08fc            */         st      %g3,[%g5-4]
                       .L900000635:
/* 0x0900            */         ba      .L900000649
/* 0x0904            */         sethi   %hi(0xfc00),%g2
                       .L77000286:
/* 0x0908            */         ldd     [%g2+16],%f0
                       .L900000648:
/* 0x090c            */         and     %o7,%o2,%o0
/* 0x0910            */         and     %o5,%o1,%g3
/* 0x0914            */         fdtox   %f0,%f0
/* 0x0918            */         add     %o4,%o0,%o0
/* 0x091c            */         std     %f0,[%sp+104]
/* 0x0920            */         add     %i0,1,%i0
/* 0x0924            */         sllx    %g3,16,%o4
/* 0x0928            */         ldd     [%g2+24],%f2
/* 0x092c            */         add     %g2,16,%g2
/* 0x0930            */         add     %o0,%o4,%o4
/* 0x0934            */         cmp     %i0,%g4
/* 0x0938            */         srax    %o5,16,%o0
/* 0x093c            */         stx     %o0,[%sp+112]
/* 0x0940            */         and     %o4,%o2,%g3
/* 0x0944            */         srax    %o4,32,%o5
/* 0x0948            */         fdtox   %f2,%f0
/* 0x094c            */         std     %f0,[%sp+96]
/* 0x0950            */         srax    %o7,32,%o4
/* 0x0954            */         ldx     [%sp+112],%o7
/* 0x0958            */         add     %o7,%o5,%o7
/* 0x095c            */         ldx     [%sp+104],%o5
/* 0x0960            */         add     %o4,%o7,%o4
/* 0x0964            */         ldx     [%sp+96],%o0
/* 0x0968            */         st      %g3,[%g5]
/* 0x096c            */         or      %g0,%o5,%o7
/* 0x0970            */         add     %g5,4,%g5
/* 0x0974            */         or      %g0,%o0,%o5
/* 0x0978            */         ble,a,pt        %icc,.L900000648
/* 0x097c            */         ldd     [%g2+16],%f0
                       .L77000236:
/* 0x0980            */         sethi   %hi(0xfc00),%g2
                       .L900000649:
/* 0x0984            */         or      %g0,-1,%o0
/* 0x0988            */         add     %g2,1023,%g2
/* 0x098c            */         ld      [%fp+88],%o1
/* 0x0990            */         srl     %o0,0,%g3
/* 0x0994            */         and     %o5,%g2,%g2
/* 0x0998            */         and     %o7,%g3,%g4
/* 0x099c            */         sllx    %g2,16,%g2
/* 0x09a0            */         add     %o4,%g4,%g4
/* 0x09a4            */         add     %g4,%g2,%g2
/* 0x09a8            */         sll     %i0,2,%g4
/* 0x09ac            */         and     %g2,%g3,%g2
/* 0x09b0            */         st      %g2,[%o3+%g4]
/* 0x09b4        281 */         sll     %g1,2,%g2
/* 0x09b8            */         ld      [%o3+%g2],%g2
/* 0x09bc            */         cmp     %g2,0
/* 0x09c0            */         bleu,pn %icc,.L77000241
/* 0x09c4            */         or      %g0,-1,%o5
/* 0x09c8            */         ba      .L900000647
/* 0x09cc            */         cmp     %o5,0
                       .L77000241:
/* 0x09d0            */         subcc   %g1,1,%o5
/* 0x09d4            */         bneg,pt %icc,.L900000647
/* 0x09d8            */         cmp     %o5,0
/* 0x09dc            */         sll     %o5,2,%g2
/* 0x09e0            */         add     %o1,%g2,%o0
/* 0x09e4            */         add     %o3,%g2,%o4
/* 0x09e8            */         ld      [%o0],%g2
                       .L900000646:
/* 0x09ec            */         ld      [%o4],%g3
/* 0x09f0            */         sub     %o0,4,%o0
/* 0x09f4            */         sub     %o4,4,%o4
/* 0x09f8            */         cmp     %g3,%g2
/* 0x09fc            */         bne,pn  %icc,.L77000244
/* 0x0a00            */         nop
/* 0x0a04            */         subcc   %o5,1,%o5
/* 0x0a08            */         bpos,a,pt       %icc,.L900000646
/* 0x0a0c            */         ld      [%o0],%g2
                       .L77000244:
/* 0x0a10            */         cmp     %o5,0
                       .L900000647:
/* 0x0a14            */         bl,pn   %icc,.L77000287
/* 0x0a18            */         sll     %o5,2,%g2
/* 0x0a1c            */         ld      [%o1+%g2],%g3
/* 0x0a20            */         ld      [%o3+%g2],%g2
/* 0x0a24            */         cmp     %g2,%g3
/* 0x0a28            */         bleu,pt %icc,.L77000224
/* 0x0a2c            */         nop
                       .L77000287:
/* 0x0a30            */         cmp     %g1,0
/* 0x0a34            */         ble,pt  %icc,.L77000224
/* 0x0a38            */         nop
/* 0x0a3c        281 */         sub     %g1,1,%o7
/* 0x0a40            */         or      %g0,-1,%g2
/* 0x0a44            */         srl     %g2,0,%o4
/* 0x0a48            */         add     %o7,1,%o0
/* 0x0a4c            */         or      %g0,%o1,%o2
/* 0x0a50        279 */         or      %g0,0,%o5
/* 0x0a54            */         or      %g0,0,%g1
/* 0x0a58            */         cmp     %o0,3
/* 0x0a5c            */         add     %o1,4,%o0
/* 0x0a60            */         bl,pn   %icc,.L77000288
/* 0x0a64            */         add     %o3,8,%o1
/* 0x0a68            */         ld      [%o0-4],%g3
/* 0x0a6c          0 */         or      %g0,%o1,%o3
/* 0x0a70            */         or      %g0,%o0,%o2
/* 0x0a74        279 */         ld      [%o1-8],%g2
/* 0x0a78            */         or      %g0,2,%g1
/* 0x0a7c            */         ld      [%o3-4],%o0
/* 0x0a80            */         sub     %g2,%g3,%g2
/* 0x0a84            */         or      %g0,%g2,%o5
/* 0x0a88            */         and     %g2,%o4,%g2
/* 0x0a8c            */         st      %g2,[%o3-8]
/* 0x0a90            */         srax    %o5,32,%o5
                       .L900000636:
/* 0x0a94            */         ld      [%o2],%g2
/* 0x0a98            */         add     %g1,1,%g1
/* 0x0a9c            */         add     %o2,4,%o2
/* 0x0aa0            */         cmp     %g1,%o7
/* 0x0aa4            */         add     %o3,4,%o3
/* 0x0aa8            */         sub     %o0,%g2,%o0
/* 0x0aac            */         add     %o0,%o5,%o5
/* 0x0ab0            */         and     %o5,%o4,%g2
/* 0x0ab4            */         ld      [%o3-4],%o0
/* 0x0ab8            */         st      %g2,[%o3-8]
/* 0x0abc            */         ble,pt  %icc,.L900000636
/* 0x0ac0            */         srax    %o5,32,%o5
                       .L900000639:
/* 0x0ac4            */         ld      [%o2],%o1
/* 0x0ac8            */         sub     %o0,%o1,%o0
/* 0x0acc            */         add     %o0,%o5,%o0
/* 0x0ad0            */         and     %o0,%o4,%o1
/* 0x0ad4            */         st      %o1,[%o3-4]
/* 0x0ad8            */         ret     ! Result =
/* 0x0adc            */         restore %g0,%g0,%g0
                       .L77000288:
/* 0x0ae0            */         ld      [%o3],%o0
                       .L900000645:
/* 0x0ae4            */         ld      [%o2],%o1
/* 0x0ae8            */         add     %o5,%o0,%o0
/* 0x0aec            */         add     %g1,1,%g1
/* 0x0af0            */         add     %o2,4,%o2
/* 0x0af4            */         cmp     %g1,%o7
/* 0x0af8            */         sub     %o0,%o1,%o0
/* 0x0afc            */         and     %o0,%o4,%o1
/* 0x0b00            */         st      %o1,[%o3]
/* 0x0b04            */         add     %o3,4,%o3
/* 0x0b08            */         srax    %o0,32,%o5
/* 0x0b0c            */         ble,a,pt        %icc,.L900000645
/* 0x0b10            */         ld      [%o3],%o0
                       .L77000224:
/* 0x0b14            */         ret     ! Result =
/* 0x0b18            */         restore %g0,%g0,%g0
/* 0x0b1c          0 */         .type   mont_mulf_noconv,2
/* 0x0b1c            */         .size   mont_mulf_noconv,(.-mont_mulf_noconv)

! Begin Disassembling Stabs
        .xstabs ".stab.index","Xa ; O ; P ; V=3.1 ; R=WorkShop Compilers 5.0 99/02/25 C 5.0 patch 107289-01",60,0,0,0   ! (/tmp/acompAAAhNaOly:1)
        .xstabs ".stab.index","/home/ferenc/venus/userland/rsa; /usr/dist/pkgs/devpro,v5.0/5.x-sparc/SC5.0/bin/cc -fast -xarch=v8plus -xO5 -xstrconst -xdepend -Xa -xchip=ultra2 -KPIC -Wc,-Qrm-Qd -Wc,-Qrm-Qf -Wc,-assembly -V -c proba.il -o mont_mulf.o  mont_mulf.c -W0,-xp",52,0,0,0       ! (/tmp/acompAAAhNaOly:2)
! End Disassembling Stabs

! Begin Disassembling Ident
        .ident  "cg: WorkShop Compilers 5.0 99/04/15 Compiler Common 5.0 Patch 107357-02"       ! (NO SOURCE LINE)
        .ident  "acomp: WorkShop Compilers 5.0 99/02/25 C 5.0 patch 107289-01"  ! (/tmp/acompAAAhNaOly:31)
! End Disassembling Ident