diff options
| author | Mark Adler <madler@alumni.caltech.edu> | 2011-09-09 23:20:29 -0700 |
|---|---|---|
| committer | Mark Adler <madler@alumni.caltech.edu> | 2011-09-09 23:20:29 -0700 |
| commit | 14763ac7c6c03bca62c39e35c03cf5bfc7728802 (patch) | |
| tree | f1055d11ef7b282b698ce7c40e1a9c061413cbdf /contrib/asm686 | |
| parent | c34c1fcbb19852ca35216ad66276f4f86af3fc22 (diff) | |
| download | zlib-1.1.3.tar.gz zlib-1.1.3.tar.bz2 zlib-1.1.3.zip | |
zlib 1.1.3v1.1.3
Diffstat (limited to 'contrib/asm686')
| -rw-r--r-- | contrib/asm686/README.686 | 34 | ||||
| -rw-r--r-- | contrib/asm686/match.S | 327 |
2 files changed, 361 insertions, 0 deletions
diff --git a/contrib/asm686/README.686 b/contrib/asm686/README.686 new file mode 100644 index 0000000..a593f23 --- /dev/null +++ b/contrib/asm686/README.686 | |||
| @@ -0,0 +1,34 @@ | |||
| 1 | This is a patched version of zlib, modified to use | ||
| 2 | Pentium-Pro-optimized assembly code in the deflation algorithm. The | ||
| 3 | files changed/added by this patch are: | ||
| 4 | |||
| 5 | README.686 | ||
| 6 | match.S | ||
| 7 | |||
| 8 | The speedup that this patch provides varies, depending on whether the | ||
| 9 | compiler used to build the original version of zlib falls afoul of the | ||
| 10 | PPro's speed traps. My own tests show a speedup of around 10-20% at | ||
| 11 | the default compression level, and 20-30% using -9, against a version | ||
| 12 | compiled using gcc 2.7.2.3. Your mileage may vary. | ||
| 13 | |||
| 14 | Note that this code has been tailored for the PPro/PII in particular, | ||
| 15 | and will not perform particuarly well on a Pentium. | ||
| 16 | |||
| 17 | If you are using an assembler other than GNU as, you will have to | ||
| 18 | translate match.S to use your assembler's syntax. (Have fun.) | ||
| 19 | |||
| 20 | Brian Raiter | ||
| 21 | breadbox@muppetlabs.com | ||
| 22 | April, 1998 | ||
| 23 | |||
| 24 | |||
| 25 | Added for zlib 1.1.3: | ||
| 26 | |||
| 27 | The patches come from | ||
| 28 | http://www.muppetlabs.com/~breadbox/software/assembly.html | ||
| 29 | |||
| 30 | To compile zlib with this asm file, copy match.S to the zlib directory | ||
| 31 | then do: | ||
| 32 | |||
| 33 | CFLAGS="-O3 -DASMV" ./configure | ||
| 34 | make OBJA=match.o | ||
diff --git a/contrib/asm686/match.S b/contrib/asm686/match.S new file mode 100644 index 0000000..8e86c33 --- /dev/null +++ b/contrib/asm686/match.S | |||
| @@ -0,0 +1,327 @@ | |||
| 1 | /* match.s -- Pentium-Pro-optimized version of longest_match() | ||
| 2 | * Written for zlib 1.1.2 | ||
| 3 | * Copyright (C) 1998 Brian Raiter <breadbox@muppetlabs.com> | ||
| 4 | * | ||
| 5 | * This is free software; you can redistribute it and/or modify it | ||
| 6 | * under the terms of the GNU General Public License. | ||
| 7 | */ | ||
| 8 | |||
| 9 | #ifndef NO_UNDERLINE | ||
| 10 | #define match_init _match_init | ||
| 11 | #define longest_match _longest_match | ||
| 12 | #endif | ||
| 13 | |||
| 14 | #define MAX_MATCH (258) | ||
| 15 | #define MIN_MATCH (3) | ||
| 16 | #define MIN_LOOKAHEAD (MAX_MATCH + MIN_MATCH + 1) | ||
| 17 | #define MAX_MATCH_8 ((MAX_MATCH + 7) & ~7) | ||
| 18 | |||
| 19 | /* stack frame offsets */ | ||
| 20 | |||
| 21 | #define chainlenwmask 0 /* high word: current chain len */ | ||
| 22 | /* low word: s->wmask */ | ||
| 23 | #define window 4 /* local copy of s->window */ | ||
| 24 | #define windowbestlen 8 /* s->window + bestlen */ | ||
| 25 | #define scanstart 16 /* first two bytes of string */ | ||
| 26 | #define scanend 12 /* last two bytes of string */ | ||
| 27 | #define scanalign 20 /* dword-misalignment of string */ | ||
| 28 | #define nicematch 24 /* a good enough match size */ | ||
| 29 | #define bestlen 28 /* size of best match so far */ | ||
| 30 | #define scan 32 /* ptr to string wanting match */ | ||
| 31 | |||
| 32 | #define LocalVarsSize (36) | ||
| 33 | /* saved ebx 36 */ | ||
| 34 | /* saved edi 40 */ | ||
| 35 | /* saved esi 44 */ | ||
| 36 | /* saved ebp 48 */ | ||
| 37 | /* return address 52 */ | ||
| 38 | #define deflatestate 56 /* the function arguments */ | ||
| 39 | #define curmatch 60 | ||
| 40 | |||
| 41 | /* Offsets for fields in the deflate_state structure. These numbers | ||
| 42 | * are calculated from the definition of deflate_state, with the | ||
| 43 | * assumption that the compiler will dword-align the fields. (Thus, | ||
| 44 | * changing the definition of deflate_state could easily cause this | ||
| 45 | * program to crash horribly, without so much as a warning at | ||
| 46 | * compile time. Sigh.) | ||
| 47 | */ | ||
| 48 | #define dsWSize 36 | ||
| 49 | #define dsWMask 44 | ||
| 50 | #define dsWindow 48 | ||
| 51 | #define dsPrev 56 | ||
| 52 | #define dsMatchLen 88 | ||
| 53 | #define dsPrevMatch 92 | ||
| 54 | #define dsStrStart 100 | ||
| 55 | #define dsMatchStart 104 | ||
| 56 | #define dsLookahead 108 | ||
| 57 | #define dsPrevLen 112 | ||
| 58 | #define dsMaxChainLen 116 | ||
| 59 | #define dsGoodMatch 132 | ||
| 60 | #define dsNiceMatch 136 | ||
| 61 | |||
| 62 | |||
| 63 | .file "match.S" | ||
| 64 | |||
| 65 | .globl match_init, longest_match | ||
| 66 | |||
| 67 | .text | ||
| 68 | |||
| 69 | /* uInt longest_match(deflate_state *deflatestate, IPos curmatch) */ | ||
| 70 | |||
| 71 | longest_match: | ||
| 72 | |||
| 73 | /* Save registers that the compiler may be using, and adjust %esp to */ | ||
| 74 | /* make room for our stack frame. */ | ||
| 75 | |||
| 76 | pushl %ebp | ||
| 77 | pushl %edi | ||
| 78 | pushl %esi | ||
| 79 | pushl %ebx | ||
| 80 | subl $LocalVarsSize, %esp | ||
| 81 | |||
| 82 | /* Retrieve the function arguments. %ecx will hold cur_match */ | ||
| 83 | /* throughout the entire function. %edx will hold the pointer to the */ | ||
| 84 | /* deflate_state structure during the function's setup (before */ | ||
| 85 | /* entering the main loop). */ | ||
| 86 | |||
| 87 | movl deflatestate(%esp), %edx | ||
| 88 | movl curmatch(%esp), %ecx | ||
| 89 | |||
| 90 | /* uInt wmask = s->w_mask; */ | ||
| 91 | /* unsigned chain_length = s->max_chain_length; */ | ||
| 92 | /* if (s->prev_length >= s->good_match) { */ | ||
| 93 | /* chain_length >>= 2; */ | ||
| 94 | /* } */ | ||
| 95 | |||
| 96 | movl dsPrevLen(%edx), %eax | ||
| 97 | movl dsGoodMatch(%edx), %ebx | ||
| 98 | cmpl %ebx, %eax | ||
| 99 | movl dsWMask(%edx), %eax | ||
| 100 | movl dsMaxChainLen(%edx), %ebx | ||
| 101 | jl LastMatchGood | ||
| 102 | shrl $2, %ebx | ||
| 103 | LastMatchGood: | ||
| 104 | |||
| 105 | /* chainlen is decremented once beforehand so that the function can */ | ||
| 106 | /* use the sign flag instead of the zero flag for the exit test. */ | ||
| 107 | /* It is then shifted into the high word, to make room for the wmask */ | ||
| 108 | /* value, which it will always accompany. */ | ||
| 109 | |||
| 110 | decl %ebx | ||
| 111 | shll $16, %ebx | ||
| 112 | orl %eax, %ebx | ||
| 113 | movl %ebx, chainlenwmask(%esp) | ||
| 114 | |||
| 115 | /* if ((uInt)nice_match > s->lookahead) nice_match = s->lookahead; */ | ||
| 116 | |||
| 117 | movl dsNiceMatch(%edx), %eax | ||
| 118 | movl dsLookahead(%edx), %ebx | ||
| 119 | cmpl %eax, %ebx | ||
| 120 | jl LookaheadLess | ||
| 121 | movl %eax, %ebx | ||
| 122 | LookaheadLess: movl %ebx, nicematch(%esp) | ||
| 123 | |||
| 124 | /* register Bytef *scan = s->window + s->strstart; */ | ||
| 125 | |||
| 126 | movl dsWindow(%edx), %esi | ||
| 127 | movl %esi, window(%esp) | ||
| 128 | movl dsStrStart(%edx), %ebp | ||
| 129 | lea (%esi,%ebp), %edi | ||
| 130 | movl %edi, scan(%esp) | ||
| 131 | |||
| 132 | /* Determine how many bytes the scan ptr is off from being */ | ||
| 133 | /* dword-aligned. */ | ||
| 134 | |||
| 135 | movl %edi, %eax | ||
| 136 | negl %eax | ||
| 137 | andl $3, %eax | ||
| 138 | movl %eax, scanalign(%esp) | ||
| 139 | |||
| 140 | /* IPos limit = s->strstart > (IPos)MAX_DIST(s) ? */ | ||
| 141 | /* s->strstart - (IPos)MAX_DIST(s) : NIL; */ | ||
| 142 | |||
| 143 | movl dsWSize(%edx), %eax | ||
| 144 | subl $MIN_LOOKAHEAD, %eax | ||
| 145 | subl %eax, %ebp | ||
| 146 | jg LimitPositive | ||
| 147 | xorl %ebp, %ebp | ||
| 148 | LimitPositive: | ||
| 149 | |||
| 150 | /* int best_len = s->prev_length; */ | ||
| 151 | |||
| 152 | movl dsPrevLen(%edx), %eax | ||
| 153 | movl %eax, bestlen(%esp) | ||
| 154 | |||
| 155 | /* Store the sum of s->window + best_len in %esi locally, and in %esi. */ | ||
| 156 | |||
| 157 | addl %eax, %esi | ||
| 158 | movl %esi, windowbestlen(%esp) | ||
| 159 | |||
| 160 | /* register ush scan_start = *(ushf*)scan; */ | ||
| 161 | /* register ush scan_end = *(ushf*)(scan+best_len-1); */ | ||
| 162 | /* Posf *prev = s->prev; */ | ||
| 163 | |||
| 164 | movzwl (%edi), %ebx | ||
| 165 | movl %ebx, scanstart(%esp) | ||
| 166 | movzwl -1(%edi,%eax), %ebx | ||
| 167 | movl %ebx, scanend(%esp) | ||
| 168 | movl dsPrev(%edx), %edi | ||
| 169 | |||
| 170 | /* Jump into the main loop. */ | ||
| 171 | |||
| 172 | movl chainlenwmask(%esp), %edx | ||
| 173 | jmp LoopEntry | ||
| 174 | |||
| 175 | .balign 16 | ||
| 176 | |||
| 177 | /* do { | ||
| 178 | * match = s->window + cur_match; | ||
| 179 | * if (*(ushf*)(match+best_len-1) != scan_end || | ||
| 180 | * *(ushf*)match != scan_start) continue; | ||
| 181 | * [...] | ||
| 182 | * } while ((cur_match = prev[cur_match & wmask]) > limit | ||
| 183 | * && --chain_length != 0); | ||
| 184 | * | ||
| 185 | * Here is the inner loop of the function. The function will spend the | ||
| 186 | * majority of its time in this loop, and majority of that time will | ||
| 187 | * be spent in the first ten instructions. | ||
| 188 | * | ||
| 189 | * Within this loop: | ||
| 190 | * %ebx = scanend | ||
| 191 | * %ecx = curmatch | ||
| 192 | * %edx = chainlenwmask - i.e., ((chainlen << 16) | wmask) | ||
| 193 | * %esi = windowbestlen - i.e., (window + bestlen) | ||
| 194 | * %edi = prev | ||
| 195 | * %ebp = limit | ||
| 196 | */ | ||
| 197 | LookupLoop: | ||
| 198 | andl %edx, %ecx | ||
| 199 | movzwl (%edi,%ecx,2), %ecx | ||
| 200 | cmpl %ebp, %ecx | ||
| 201 | jbe LeaveNow | ||
| 202 | subl $0x00010000, %edx | ||
| 203 | js LeaveNow | ||
| 204 | LoopEntry: movzwl -1(%esi,%ecx), %eax | ||
| 205 | cmpl %ebx, %eax | ||
| 206 | jnz LookupLoop | ||
| 207 | movl window(%esp), %eax | ||
| 208 | movzwl (%eax,%ecx), %eax | ||
| 209 | cmpl scanstart(%esp), %eax | ||
| 210 | jnz LookupLoop | ||
| 211 | |||
| 212 | /* Store the current value of chainlen. */ | ||
| 213 | |||
| 214 | movl %edx, chainlenwmask(%esp) | ||
| 215 | |||
| 216 | /* Point %edi to the string under scrutiny, and %esi to the string we */ | ||
| 217 | /* are hoping to match it up with. In actuality, %esi and %edi are */ | ||
| 218 | /* both pointed (MAX_MATCH_8 - scanalign) bytes ahead, and %edx is */ | ||
| 219 | /* initialized to -(MAX_MATCH_8 - scanalign). */ | ||
| 220 | |||
| 221 | movl window(%esp), %esi | ||
| 222 | movl scan(%esp), %edi | ||
| 223 | addl %ecx, %esi | ||
| 224 | movl scanalign(%esp), %eax | ||
| 225 | movl $(-MAX_MATCH_8), %edx | ||
| 226 | lea MAX_MATCH_8(%edi,%eax), %edi | ||
| 227 | lea MAX_MATCH_8(%esi,%eax), %esi | ||
| 228 | |||
| 229 | /* Test the strings for equality, 8 bytes at a time. At the end, | ||
| 230 | * adjust %edx so that it is offset to the exact byte that mismatched. | ||
| 231 | * | ||
| 232 | * We already know at this point that the first three bytes of the | ||
| 233 | * strings match each other, and they can be safely passed over before | ||
| 234 | * starting the compare loop. So what this code does is skip over 0-3 | ||
| 235 | * bytes, as much as necessary in order to dword-align the %edi | ||
| 236 | * pointer. (%esi will still be misaligned three times out of four.) | ||
| 237 | * | ||
| 238 | * It should be confessed that this loop usually does not represent | ||
| 239 | * much of the total running time. Replacing it with a more | ||
| 240 | * straightforward "rep cmpsb" would not drastically degrade | ||
| 241 | * performance. | ||
| 242 | */ | ||
| 243 | LoopCmps: | ||
| 244 | movl (%esi,%edx), %eax | ||
| 245 | xorl (%edi,%edx), %eax | ||
| 246 | jnz LeaveLoopCmps | ||
| 247 | movl 4(%esi,%edx), %eax | ||
| 248 | xorl 4(%edi,%edx), %eax | ||
| 249 | jnz LeaveLoopCmps4 | ||
| 250 | addl $8, %edx | ||
| 251 | jnz LoopCmps | ||
| 252 | jmp LenMaximum | ||
| 253 | LeaveLoopCmps4: addl $4, %edx | ||
| 254 | LeaveLoopCmps: testl $0x0000FFFF, %eax | ||
| 255 | jnz LenLower | ||
| 256 | addl $2, %edx | ||
| 257 | shrl $16, %eax | ||
| 258 | LenLower: subb $1, %al | ||
| 259 | adcl $0, %edx | ||
| 260 | |||
| 261 | /* Calculate the length of the match. If it is longer than MAX_MATCH, */ | ||
| 262 | /* then automatically accept it as the best possible match and leave. */ | ||
| 263 | |||
| 264 | lea (%edi,%edx), %eax | ||
| 265 | movl scan(%esp), %edi | ||
| 266 | subl %edi, %eax | ||
| 267 | cmpl $MAX_MATCH, %eax | ||
| 268 | jge LenMaximum | ||
| 269 | |||
| 270 | /* If the length of the match is not longer than the best match we */ | ||
| 271 | /* have so far, then forget it and return to the lookup loop. */ | ||
| 272 | |||
| 273 | movl deflatestate(%esp), %edx | ||
| 274 | movl bestlen(%esp), %ebx | ||
| 275 | cmpl %ebx, %eax | ||
| 276 | jg LongerMatch | ||
| 277 | movl windowbestlen(%esp), %esi | ||
| 278 | movl dsPrev(%edx), %edi | ||
| 279 | movl scanend(%esp), %ebx | ||
| 280 | movl chainlenwmask(%esp), %edx | ||
| 281 | jmp LookupLoop | ||
| 282 | |||
| 283 | /* s->match_start = cur_match; */ | ||
| 284 | /* best_len = len; */ | ||
| 285 | /* if (len >= nice_match) break; */ | ||
| 286 | /* scan_end = *(ushf*)(scan+best_len-1); */ | ||
| 287 | |||
| 288 | LongerMatch: movl nicematch(%esp), %ebx | ||
| 289 | movl %eax, bestlen(%esp) | ||
| 290 | movl %ecx, dsMatchStart(%edx) | ||
| 291 | cmpl %ebx, %eax | ||
| 292 | jge LeaveNow | ||
| 293 | movl window(%esp), %esi | ||
| 294 | addl %eax, %esi | ||
| 295 | movl %esi, windowbestlen(%esp) | ||
| 296 | movzwl -1(%edi,%eax), %ebx | ||
| 297 | movl dsPrev(%edx), %edi | ||
| 298 | movl %ebx, scanend(%esp) | ||
| 299 | movl chainlenwmask(%esp), %edx | ||
| 300 | jmp LookupLoop | ||
| 301 | |||
| 302 | /* Accept the current string, with the maximum possible length. */ | ||
| 303 | |||
| 304 | LenMaximum: movl deflatestate(%esp), %edx | ||
| 305 | movl $MAX_MATCH, bestlen(%esp) | ||
| 306 | movl %ecx, dsMatchStart(%edx) | ||
| 307 | |||
| 308 | /* if ((uInt)best_len <= s->lookahead) return (uInt)best_len; */ | ||
| 309 | /* return s->lookahead; */ | ||
| 310 | |||
| 311 | LeaveNow: | ||
| 312 | movl deflatestate(%esp), %edx | ||
| 313 | movl bestlen(%esp), %ebx | ||
| 314 | movl dsLookahead(%edx), %eax | ||
| 315 | cmpl %eax, %ebx | ||
| 316 | jg LookaheadRet | ||
| 317 | movl %ebx, %eax | ||
| 318 | LookaheadRet: | ||
| 319 | |||
| 320 | /* Restore the stack and return from whence we came. */ | ||
| 321 | |||
| 322 | addl $LocalVarsSize, %esp | ||
| 323 | popl %ebx | ||
| 324 | popl %esi | ||
| 325 | popl %edi | ||
| 326 | popl %ebp | ||
| 327 | match_init: ret | ||
