2 /* Do not modify. This file is auto-generated from keccak1600-x86_64.pl. */
5 .type __KeccakF1600,@function
262 .size __KeccakF1600,.-__KeccakF1600
264 .type KeccakF1600,@function
269 .cfi_adjust_cfa_offset 8
272 .cfi_adjust_cfa_offset 8
275 .cfi_adjust_cfa_offset 8
278 .cfi_adjust_cfa_offset 8
281 .cfi_adjust_cfa_offset 8
284 .cfi_adjust_cfa_offset 8
289 .cfi_adjust_cfa_offset 200
298 leaq iotas(%rip),%r15
312 .cfi_adjust_cfa_offset -200
315 .cfi_adjust_cfa_offset -8
318 .cfi_adjust_cfa_offset -8
321 .cfi_adjust_cfa_offset -8
324 .cfi_adjust_cfa_offset -8
327 .cfi_adjust_cfa_offset -8
330 .cfi_adjust_cfa_offset -8
334 .size KeccakF1600,.-KeccakF1600
336 .type SHA3_absorb,@function
341 .cfi_adjust_cfa_offset 8
344 .cfi_adjust_cfa_offset 8
347 .cfi_adjust_cfa_offset 8
350 .cfi_adjust_cfa_offset 8
353 .cfi_adjust_cfa_offset 8
356 .cfi_adjust_cfa_offset 8
361 .cfi_adjust_cfa_offset 232
372 leaq iotas(%rip),%r15
374 movq %rcx,216-100(%rsi)
393 movq %r9,200-100(%rsi)
394 movq %rdx,208-100(%rsi)
396 movq 200-100(%rsi),%r9
397 movq 208-100(%rsi),%rdx
398 movq 216-100(%rsi),%rcx
413 .cfi_adjust_cfa_offset -232
416 .cfi_adjust_cfa_offset -8
419 .cfi_adjust_cfa_offset -8
422 .cfi_adjust_cfa_offset -8
425 .cfi_adjust_cfa_offset -8
428 .cfi_adjust_cfa_offset -8
431 .cfi_adjust_cfa_offset -8
435 .size SHA3_absorb,.-SHA3_absorb
437 .type SHA3_squeeze,@function
442 .cfi_adjust_cfa_offset 8
445 .cfi_adjust_cfa_offset 8
448 .cfi_adjust_cfa_offset 8
486 .cfi_adjust_cfa_offset -8
489 .cfi_adjust_cfa_offset -8
492 .cfi_adjust_cfa_offset -8
496 .size SHA3_squeeze,.-SHA3_squeeze
498 .quad 0,0,0,0,0,0,0,0
501 .quad 0x0000000000000001
502 .quad 0x0000000000008082
503 .quad 0x800000000000808a
504 .quad 0x8000000080008000
505 .quad 0x000000000000808b
506 .quad 0x0000000080000001
507 .quad 0x8000000080008081
508 .quad 0x8000000000008009
509 .quad 0x000000000000008a
510 .quad 0x0000000000000088
511 .quad 0x0000000080008009
512 .quad 0x000000008000000a
513 .quad 0x000000008000808b
514 .quad 0x800000000000008b
515 .quad 0x8000000000008089
516 .quad 0x8000000000008003
517 .quad 0x8000000000008002
518 .quad 0x8000000000000080
519 .quad 0x000000000000800a
520 .quad 0x800000008000000a
521 .quad 0x8000000080008081
522 .quad 0x8000000000008080
523 .quad 0x0000000080000001
524 .quad 0x8000000080008008
526 .byte 75,101,99,99,97,107,45,49,54,48,48,32,97,98,115,111,114,98,32,97,110,100,32,115,113,117,101,101,122,101,32,102,111,114,32,120,56,54,95,54,52,44,32,67,82,89,80,84,79,71,65,77,83,32,98,121,32,60,97,112,112,114,111,64,111,112,101,110,115,115,108,46,111,114,103,62,0