copyd.asm
上传用户:qaz666999
上传日期:2022-08-06
资源大小:2570k
文件大小:4k
源码类别:

数学计算

开发平台:

Unix_Linux

  1. dnl  Intel P6 mpn_copyd -- copy limb vector backwards.
  2. dnl  Copyright 2001, 2002 Free Software Foundation, Inc.
  3. dnl
  4. dnl  This file is part of the GNU MP Library.
  5. dnl
  6. dnl  The GNU MP Library is free software; you can redistribute it and/or
  7. dnl  modify it under the terms of the GNU Lesser General Public License as
  8. dnl  published by the Free Software Foundation; either version 3 of the
  9. dnl  License, or (at your option) any later version.
  10. dnl
  11. dnl  The GNU MP Library is distributed in the hope that it will be useful,
  12. dnl  but WITHOUT ANY WARRANTY; without even the implied warranty of
  13. dnl  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  14. dnl  Lesser General Public License for more details.
  15. dnl
  16. dnl  You should have received a copy of the GNU Lesser General Public License
  17. dnl  along with the GNU MP Library.  If not, see http://www.gnu.org/licenses/.
  18. include(`../config.m4')
  19. C P6: 1.75 cycles/limb, or 0.75 if no overlap
  20. C void mpn_copyd (mp_ptr dst, mp_srcptr src, mp_size_t size);
  21. C
  22. C An explicit loop is used because a decrementing rep movsl is a bit slow at
  23. C 2.4 c/l.  That rep movsl also has about a 40 cycle startup time, and the
  24. C code here stands a chance of being faster if the branches predict well.
  25. C
  26. C The slightly strange loop form seems necessary for the claimed speed.
  27. C Maybe load/store ordering affects it.
  28. C
  29. C The source and destination are checked to see if they're actually
  30. C overlapping, since it might be possible to use an incrementing rep movsl
  31. C at 0.75 c/l.  (It doesn't suffer the bad startup time of the decrementing
  32. C version.)
  33. C
  34. C Enhancements:
  35. C
  36. C Top speed for an all-integer copy is probably 1.0 c/l, being one load and
  37. C one store each cycle.  Unrolling the loop below would approach 1.0, but
  38. C it'd be good to know why something like store/load/subl + store/load/jnz
  39. C doesn't already run at 1.0 c/l.  It looks like it should decode in 2
  40. C cycles, but doesn't run that way.
  41. defframe(PARAM_SIZE,12)
  42. defframe(PARAM_SRC, 8)
  43. defframe(PARAM_DST, 4)
  44. dnl  re-using parameter space
  45. define(SAVE_ESI,`PARAM_SIZE')
  46. define(SAVE_EDI,`PARAM_SRC')
  47. TEXT
  48. ALIGN(16)
  49. PROLOGUE(mpn_copyd)
  50. deflit(`FRAME',0)
  51. movl PARAM_SIZE, %ecx
  52. movl %esi, SAVE_ESI
  53. movl PARAM_SRC, %esi
  54. movl %edi, SAVE_EDI
  55. movl PARAM_DST, %edi
  56. subl $1, %ecx
  57. jb L(zero)
  58. movl (%esi,%ecx,4), %eax C src[size-1]
  59. jz L(one)
  60. movl -4(%esi,%ecx,4), %edx C src[size-2]
  61. subl $2, %ecx
  62. jbe L(done_loop) C 2 or 3 limbs only
  63. C The usual overlap is
  64. C
  65. C     high                   low
  66. C     +------------------+
  67. C     |               dst|
  68. C     +------------------+
  69. C           +------------------+
  70. C           |               src|
  71. C           +------------------+
  72. C
  73. C We can use an incrementing copy in the following circumstances.
  74. C
  75. C     src+4*size<=dst, since then the regions are disjoint
  76. C
  77. C     src==dst, clearly (though this shouldn't occur normally)
  78. C
  79. C     src>dst, since in that case it's a requirement of the
  80. C              parameters that src>=dst+size*4, and hence the
  81. C              regions are disjoint
  82. C
  83. leal (%edi,%ecx,4), %edx
  84. cmpl %edi, %esi
  85. jae L(use_movsl) C src >= dst
  86. cmpl %edi, %edx
  87. movl 4(%esi,%ecx,4), %edx C src[size-2] again
  88. jbe L(use_movsl) C src+4*size <= dst
  89. L(top):
  90. C eax prev high limb
  91. C ebx
  92. C ecx counter, size-3 down to 0 or -1, inclusive, by 2s
  93. C edx prev low limb
  94. C esi src
  95. C edi dst
  96. C ebp
  97. movl %eax, 8(%edi,%ecx,4)
  98. movl (%esi,%ecx,4), %eax
  99. movl %edx, 4(%edi,%ecx,4)
  100. movl -4(%esi,%ecx,4), %edx
  101. subl $2, %ecx
  102. jnbe L(top)
  103. L(done_loop):
  104. movl %eax, 8(%edi,%ecx,4)
  105. movl %edx, 4(%edi,%ecx,4)
  106. C copy low limb (needed if size was odd, but will already have been
  107. C done in the loop if size was even)
  108. movl (%esi), %eax
  109. L(one):
  110. movl %eax, (%edi)
  111. movl SAVE_EDI, %edi
  112. movl SAVE_ESI, %esi
  113. ret
  114. L(use_movsl):
  115. C eax
  116. C ebx
  117. C ecx size-3
  118. C edx
  119. C esi src
  120. C edi dst
  121. C ebp
  122. addl $3, %ecx
  123. cld C better safe than sorry, see mpn/x86/README
  124. rep
  125. movsl
  126. L(zero):
  127. movl SAVE_ESI, %esi
  128. movl SAVE_EDI, %edi
  129. ret
  130. EPILOGUE()