annotate src/zlib-1.2.8/contrib/masmx64/inffasx64.asm @ 169:223a55898ab9 tip default

Add null config files
author Chris Cannam <cannam@all-day-breakfast.com>
date Mon, 02 Mar 2020 14:03:47 +0000
parents 5b4145a0d408
children
rev   line source
cannam@128 1 ; inffasx64.asm is a hand tuned assembler version of inffast.c - fast decoding
cannam@128 2 ; version for AMD64 on Windows using Microsoft C compiler
cannam@128 3 ;
cannam@128 4 ; inffasx64.asm is automatically convert from AMD64 portion of inffas86.c
cannam@128 5 ; inffasx64.asm is called by inffas8664.c, which contain more info.
cannam@128 6
cannam@128 7
cannam@128 8 ; to compile this file, I use option
cannam@128 9 ; ml64.exe /Flinffasx64 /c /Zi inffasx64.asm
cannam@128 10 ; with Microsoft Macro Assembler (x64) for AMD64
cannam@128 11 ;
cannam@128 12
cannam@128 13 ; This file compile with Microsoft Macro Assembler (x64) for AMD64
cannam@128 14 ;
cannam@128 15 ; ml64.exe is given with Visual Studio 2005/2008/2010 and Windows WDK
cannam@128 16 ;
cannam@128 17 ; (you can get Windows WDK with ml64 for AMD64 from
cannam@128 18 ; http://www.microsoft.com/whdc/Devtools/wdk/default.mspx for low price)
cannam@128 19 ;
cannam@128 20
cannam@128 21
cannam@128 22 .code
cannam@128 23 inffas8664fnc PROC
cannam@128 24
cannam@128 25 ; see http://weblogs.asp.net/oldnewthing/archive/2004/01/14/58579.aspx and
cannam@128 26 ; http://msdn.microsoft.com/library/en-us/kmarch/hh/kmarch/64bitAMD_8e951dd2-ee77-4728-8702-55ce4b5dd24a.xml.asp
cannam@128 27 ;
cannam@128 28 ; All registers must be preserved across the call, except for
cannam@128 29 ; rax, rcx, rdx, r8, r-9, r10, and r11, which are scratch.
cannam@128 30
cannam@128 31
cannam@128 32 mov [rsp-8],rsi
cannam@128 33 mov [rsp-16],rdi
cannam@128 34 mov [rsp-24],r12
cannam@128 35 mov [rsp-32],r13
cannam@128 36 mov [rsp-40],r14
cannam@128 37 mov [rsp-48],r15
cannam@128 38 mov [rsp-56],rbx
cannam@128 39
cannam@128 40 mov rax,rcx
cannam@128 41
cannam@128 42 mov [rax+8], rbp ; /* save regs rbp and rsp */
cannam@128 43 mov [rax], rsp
cannam@128 44
cannam@128 45 mov rsp, rax ; /* make rsp point to &ar */
cannam@128 46
cannam@128 47 mov rsi, [rsp+16] ; /* rsi = in */
cannam@128 48 mov rdi, [rsp+32] ; /* rdi = out */
cannam@128 49 mov r9, [rsp+24] ; /* r9 = last */
cannam@128 50 mov r10, [rsp+48] ; /* r10 = end */
cannam@128 51 mov rbp, [rsp+64] ; /* rbp = lcode */
cannam@128 52 mov r11, [rsp+72] ; /* r11 = dcode */
cannam@128 53 mov rdx, [rsp+80] ; /* rdx = hold */
cannam@128 54 mov ebx, [rsp+88] ; /* ebx = bits */
cannam@128 55 mov r12d, [rsp+100] ; /* r12d = lmask */
cannam@128 56 mov r13d, [rsp+104] ; /* r13d = dmask */
cannam@128 57 ; /* r14d = len */
cannam@128 58 ; /* r15d = dist */
cannam@128 59
cannam@128 60
cannam@128 61 cld
cannam@128 62 cmp r10, rdi
cannam@128 63 je L_one_time ; /* if only one decode left */
cannam@128 64 cmp r9, rsi
cannam@128 65
cannam@128 66 jne L_do_loop
cannam@128 67
cannam@128 68
cannam@128 69 L_one_time:
cannam@128 70 mov r8, r12 ; /* r8 = lmask */
cannam@128 71 cmp bl, 32
cannam@128 72 ja L_get_length_code_one_time
cannam@128 73
cannam@128 74 lodsd ; /* eax = *(uint *)in++ */
cannam@128 75 mov cl, bl ; /* cl = bits, needs it for shifting */
cannam@128 76 add bl, 32 ; /* bits += 32 */
cannam@128 77 shl rax, cl
cannam@128 78 or rdx, rax ; /* hold |= *((uint *)in)++ << bits */
cannam@128 79 jmp L_get_length_code_one_time
cannam@128 80
cannam@128 81 ALIGN 4
cannam@128 82 L_while_test:
cannam@128 83 cmp r10, rdi
cannam@128 84 jbe L_break_loop
cannam@128 85 cmp r9, rsi
cannam@128 86 jbe L_break_loop
cannam@128 87
cannam@128 88 L_do_loop:
cannam@128 89 mov r8, r12 ; /* r8 = lmask */
cannam@128 90 cmp bl, 32
cannam@128 91 ja L_get_length_code ; /* if (32 < bits) */
cannam@128 92
cannam@128 93 lodsd ; /* eax = *(uint *)in++ */
cannam@128 94 mov cl, bl ; /* cl = bits, needs it for shifting */
cannam@128 95 add bl, 32 ; /* bits += 32 */
cannam@128 96 shl rax, cl
cannam@128 97 or rdx, rax ; /* hold |= *((uint *)in)++ << bits */
cannam@128 98
cannam@128 99 L_get_length_code:
cannam@128 100 and r8, rdx ; /* r8 &= hold */
cannam@128 101 mov eax, [rbp+r8*4] ; /* eax = lcode[hold & lmask] */
cannam@128 102
cannam@128 103 mov cl, ah ; /* cl = this.bits */
cannam@128 104 sub bl, ah ; /* bits -= this.bits */
cannam@128 105 shr rdx, cl ; /* hold >>= this.bits */
cannam@128 106
cannam@128 107 test al, al
cannam@128 108 jnz L_test_for_length_base ; /* if (op != 0) 45.7% */
cannam@128 109
cannam@128 110 mov r8, r12 ; /* r8 = lmask */
cannam@128 111 shr eax, 16 ; /* output this.val char */
cannam@128 112 stosb
cannam@128 113
cannam@128 114 L_get_length_code_one_time:
cannam@128 115 and r8, rdx ; /* r8 &= hold */
cannam@128 116 mov eax, [rbp+r8*4] ; /* eax = lcode[hold & lmask] */
cannam@128 117
cannam@128 118 L_dolen:
cannam@128 119 mov cl, ah ; /* cl = this.bits */
cannam@128 120 sub bl, ah ; /* bits -= this.bits */
cannam@128 121 shr rdx, cl ; /* hold >>= this.bits */
cannam@128 122
cannam@128 123 test al, al
cannam@128 124 jnz L_test_for_length_base ; /* if (op != 0) 45.7% */
cannam@128 125
cannam@128 126 shr eax, 16 ; /* output this.val char */
cannam@128 127 stosb
cannam@128 128 jmp L_while_test
cannam@128 129
cannam@128 130 ALIGN 4
cannam@128 131 L_test_for_length_base:
cannam@128 132 mov r14d, eax ; /* len = this */
cannam@128 133 shr r14d, 16 ; /* len = this.val */
cannam@128 134 mov cl, al
cannam@128 135
cannam@128 136 test al, 16
cannam@128 137 jz L_test_for_second_level_length ; /* if ((op & 16) == 0) 8% */
cannam@128 138 and cl, 15 ; /* op &= 15 */
cannam@128 139 jz L_decode_distance ; /* if (!op) */
cannam@128 140
cannam@128 141 L_add_bits_to_len:
cannam@128 142 sub bl, cl
cannam@128 143 xor eax, eax
cannam@128 144 inc eax
cannam@128 145 shl eax, cl
cannam@128 146 dec eax
cannam@128 147 and eax, edx ; /* eax &= hold */
cannam@128 148 shr rdx, cl
cannam@128 149 add r14d, eax ; /* len += hold & mask[op] */
cannam@128 150
cannam@128 151 L_decode_distance:
cannam@128 152 mov r8, r13 ; /* r8 = dmask */
cannam@128 153 cmp bl, 32
cannam@128 154 ja L_get_distance_code ; /* if (32 < bits) */
cannam@128 155
cannam@128 156 lodsd ; /* eax = *(uint *)in++ */
cannam@128 157 mov cl, bl ; /* cl = bits, needs it for shifting */
cannam@128 158 add bl, 32 ; /* bits += 32 */
cannam@128 159 shl rax, cl
cannam@128 160 or rdx, rax ; /* hold |= *((uint *)in)++ << bits */
cannam@128 161
cannam@128 162 L_get_distance_code:
cannam@128 163 and r8, rdx ; /* r8 &= hold */
cannam@128 164 mov eax, [r11+r8*4] ; /* eax = dcode[hold & dmask] */
cannam@128 165
cannam@128 166 L_dodist:
cannam@128 167 mov r15d, eax ; /* dist = this */
cannam@128 168 shr r15d, 16 ; /* dist = this.val */
cannam@128 169 mov cl, ah
cannam@128 170 sub bl, ah ; /* bits -= this.bits */
cannam@128 171 shr rdx, cl ; /* hold >>= this.bits */
cannam@128 172 mov cl, al ; /* cl = this.op */
cannam@128 173
cannam@128 174 test al, 16 ; /* if ((op & 16) == 0) */
cannam@128 175 jz L_test_for_second_level_dist
cannam@128 176 and cl, 15 ; /* op &= 15 */
cannam@128 177 jz L_check_dist_one
cannam@128 178
cannam@128 179 L_add_bits_to_dist:
cannam@128 180 sub bl, cl
cannam@128 181 xor eax, eax
cannam@128 182 inc eax
cannam@128 183 shl eax, cl
cannam@128 184 dec eax ; /* (1 << op) - 1 */
cannam@128 185 and eax, edx ; /* eax &= hold */
cannam@128 186 shr rdx, cl
cannam@128 187 add r15d, eax ; /* dist += hold & ((1 << op) - 1) */
cannam@128 188
cannam@128 189 L_check_window:
cannam@128 190 mov r8, rsi ; /* save in so from can use it's reg */
cannam@128 191 mov rax, rdi
cannam@128 192 sub rax, [rsp+40] ; /* nbytes = out - beg */
cannam@128 193
cannam@128 194 cmp eax, r15d
cannam@128 195 jb L_clip_window ; /* if (dist > nbytes) 4.2% */
cannam@128 196
cannam@128 197 mov ecx, r14d ; /* ecx = len */
cannam@128 198 mov rsi, rdi
cannam@128 199 sub rsi, r15 ; /* from = out - dist */
cannam@128 200
cannam@128 201 sar ecx, 1
cannam@128 202 jnc L_copy_two ; /* if len % 2 == 0 */
cannam@128 203
cannam@128 204 rep movsw
cannam@128 205 mov al, [rsi]
cannam@128 206 mov [rdi], al
cannam@128 207 inc rdi
cannam@128 208
cannam@128 209 mov rsi, r8 ; /* move in back to %rsi, toss from */
cannam@128 210 jmp L_while_test
cannam@128 211
cannam@128 212 L_copy_two:
cannam@128 213 rep movsw
cannam@128 214 mov rsi, r8 ; /* move in back to %rsi, toss from */
cannam@128 215 jmp L_while_test
cannam@128 216
cannam@128 217 ALIGN 4
cannam@128 218 L_check_dist_one:
cannam@128 219 cmp r15d, 1 ; /* if dist 1, is a memset */
cannam@128 220 jne L_check_window
cannam@128 221 cmp [rsp+40], rdi ; /* if out == beg, outside window */
cannam@128 222 je L_check_window
cannam@128 223
cannam@128 224 mov ecx, r14d ; /* ecx = len */
cannam@128 225 mov al, [rdi-1]
cannam@128 226 mov ah, al
cannam@128 227
cannam@128 228 sar ecx, 1
cannam@128 229 jnc L_set_two
cannam@128 230 mov [rdi], al
cannam@128 231 inc rdi
cannam@128 232
cannam@128 233 L_set_two:
cannam@128 234 rep stosw
cannam@128 235 jmp L_while_test
cannam@128 236
cannam@128 237 ALIGN 4
cannam@128 238 L_test_for_second_level_length:
cannam@128 239 test al, 64
cannam@128 240 jnz L_test_for_end_of_block ; /* if ((op & 64) != 0) */
cannam@128 241
cannam@128 242 xor eax, eax
cannam@128 243 inc eax
cannam@128 244 shl eax, cl
cannam@128 245 dec eax
cannam@128 246 and eax, edx ; /* eax &= hold */
cannam@128 247 add eax, r14d ; /* eax += len */
cannam@128 248 mov eax, [rbp+rax*4] ; /* eax = lcode[val+(hold&mask[op])]*/
cannam@128 249 jmp L_dolen
cannam@128 250
cannam@128 251 ALIGN 4
cannam@128 252 L_test_for_second_level_dist:
cannam@128 253 test al, 64
cannam@128 254 jnz L_invalid_distance_code ; /* if ((op & 64) != 0) */
cannam@128 255
cannam@128 256 xor eax, eax
cannam@128 257 inc eax
cannam@128 258 shl eax, cl
cannam@128 259 dec eax
cannam@128 260 and eax, edx ; /* eax &= hold */
cannam@128 261 add eax, r15d ; /* eax += dist */
cannam@128 262 mov eax, [r11+rax*4] ; /* eax = dcode[val+(hold&mask[op])]*/
cannam@128 263 jmp L_dodist
cannam@128 264
cannam@128 265 ALIGN 4
cannam@128 266 L_clip_window:
cannam@128 267 mov ecx, eax ; /* ecx = nbytes */
cannam@128 268 mov eax, [rsp+92] ; /* eax = wsize, prepare for dist cmp */
cannam@128 269 neg ecx ; /* nbytes = -nbytes */
cannam@128 270
cannam@128 271 cmp eax, r15d
cannam@128 272 jb L_invalid_distance_too_far ; /* if (dist > wsize) */
cannam@128 273
cannam@128 274 add ecx, r15d ; /* nbytes = dist - nbytes */
cannam@128 275 cmp dword ptr [rsp+96], 0
cannam@128 276 jne L_wrap_around_window ; /* if (write != 0) */
cannam@128 277
cannam@128 278 mov rsi, [rsp+56] ; /* from = window */
cannam@128 279 sub eax, ecx ; /* eax -= nbytes */
cannam@128 280 add rsi, rax ; /* from += wsize - nbytes */
cannam@128 281
cannam@128 282 mov eax, r14d ; /* eax = len */
cannam@128 283 cmp r14d, ecx
cannam@128 284 jbe L_do_copy ; /* if (nbytes >= len) */
cannam@128 285
cannam@128 286 sub eax, ecx ; /* eax -= nbytes */
cannam@128 287 rep movsb
cannam@128 288 mov rsi, rdi
cannam@128 289 sub rsi, r15 ; /* from = &out[ -dist ] */
cannam@128 290 jmp L_do_copy
cannam@128 291
cannam@128 292 ALIGN 4
cannam@128 293 L_wrap_around_window:
cannam@128 294 mov eax, [rsp+96] ; /* eax = write */
cannam@128 295 cmp ecx, eax
cannam@128 296 jbe L_contiguous_in_window ; /* if (write >= nbytes) */
cannam@128 297
cannam@128 298 mov esi, [rsp+92] ; /* from = wsize */
cannam@128 299 add rsi, [rsp+56] ; /* from += window */
cannam@128 300 add rsi, rax ; /* from += write */
cannam@128 301 sub rsi, rcx ; /* from -= nbytes */
cannam@128 302 sub ecx, eax ; /* nbytes -= write */
cannam@128 303
cannam@128 304 mov eax, r14d ; /* eax = len */
cannam@128 305 cmp eax, ecx
cannam@128 306 jbe L_do_copy ; /* if (nbytes >= len) */
cannam@128 307
cannam@128 308 sub eax, ecx ; /* len -= nbytes */
cannam@128 309 rep movsb
cannam@128 310 mov rsi, [rsp+56] ; /* from = window */
cannam@128 311 mov ecx, [rsp+96] ; /* nbytes = write */
cannam@128 312 cmp eax, ecx
cannam@128 313 jbe L_do_copy ; /* if (nbytes >= len) */
cannam@128 314
cannam@128 315 sub eax, ecx ; /* len -= nbytes */
cannam@128 316 rep movsb
cannam@128 317 mov rsi, rdi
cannam@128 318 sub rsi, r15 ; /* from = out - dist */
cannam@128 319 jmp L_do_copy
cannam@128 320
cannam@128 321 ALIGN 4
cannam@128 322 L_contiguous_in_window:
cannam@128 323 mov rsi, [rsp+56] ; /* rsi = window */
cannam@128 324 add rsi, rax
cannam@128 325 sub rsi, rcx ; /* from += write - nbytes */
cannam@128 326
cannam@128 327 mov eax, r14d ; /* eax = len */
cannam@128 328 cmp eax, ecx
cannam@128 329 jbe L_do_copy ; /* if (nbytes >= len) */
cannam@128 330
cannam@128 331 sub eax, ecx ; /* len -= nbytes */
cannam@128 332 rep movsb
cannam@128 333 mov rsi, rdi
cannam@128 334 sub rsi, r15 ; /* from = out - dist */
cannam@128 335 jmp L_do_copy ; /* if (nbytes >= len) */
cannam@128 336
cannam@128 337 ALIGN 4
cannam@128 338 L_do_copy:
cannam@128 339 mov ecx, eax ; /* ecx = len */
cannam@128 340 rep movsb
cannam@128 341
cannam@128 342 mov rsi, r8 ; /* move in back to %esi, toss from */
cannam@128 343 jmp L_while_test
cannam@128 344
cannam@128 345 L_test_for_end_of_block:
cannam@128 346 test al, 32
cannam@128 347 jz L_invalid_literal_length_code
cannam@128 348 mov dword ptr [rsp+116], 1
cannam@128 349 jmp L_break_loop_with_status
cannam@128 350
cannam@128 351 L_invalid_literal_length_code:
cannam@128 352 mov dword ptr [rsp+116], 2
cannam@128 353 jmp L_break_loop_with_status
cannam@128 354
cannam@128 355 L_invalid_distance_code:
cannam@128 356 mov dword ptr [rsp+116], 3
cannam@128 357 jmp L_break_loop_with_status
cannam@128 358
cannam@128 359 L_invalid_distance_too_far:
cannam@128 360 mov dword ptr [rsp+116], 4
cannam@128 361 jmp L_break_loop_with_status
cannam@128 362
cannam@128 363 L_break_loop:
cannam@128 364 mov dword ptr [rsp+116], 0
cannam@128 365
cannam@128 366 L_break_loop_with_status:
cannam@128 367 ; /* put in, out, bits, and hold back into ar and pop esp */
cannam@128 368 mov [rsp+16], rsi ; /* in */
cannam@128 369 mov [rsp+32], rdi ; /* out */
cannam@128 370 mov [rsp+88], ebx ; /* bits */
cannam@128 371 mov [rsp+80], rdx ; /* hold */
cannam@128 372
cannam@128 373 mov rax, [rsp] ; /* restore rbp and rsp */
cannam@128 374 mov rbp, [rsp+8]
cannam@128 375 mov rsp, rax
cannam@128 376
cannam@128 377
cannam@128 378
cannam@128 379 mov rsi,[rsp-8]
cannam@128 380 mov rdi,[rsp-16]
cannam@128 381 mov r12,[rsp-24]
cannam@128 382 mov r13,[rsp-32]
cannam@128 383 mov r14,[rsp-40]
cannam@128 384 mov r15,[rsp-48]
cannam@128 385 mov rbx,[rsp-56]
cannam@128 386
cannam@128 387 ret 0
cannam@128 388 ; :
cannam@128 389 ; : "m" (ar)
cannam@128 390 ; : "memory", "%rax", "%rbx", "%rcx", "%rdx", "%rsi", "%rdi",
cannam@128 391 ; "%r8", "%r9", "%r10", "%r11", "%r12", "%r13", "%r14", "%r15"
cannam@128 392 ; );
cannam@128 393
cannam@128 394 inffas8664fnc ENDP
cannam@128 395 ;_TEXT ENDS
cannam@128 396 END