1 #include <machine/asm.h> 2 .text 3 4 .type __KeccakF1600,@function 5 .align 32 6 __KeccakF1600: 7 .cfi_startproc 8 movq 60(%rdi),%rax 9 movq 68(%rdi),%rbx 10 movq 76(%rdi),%rcx 11 movq 84(%rdi),%rdx 12 movq 92(%rdi),%rbp 13 jmp .Loop 14 15 .align 32 16 .Loop: 17 movq -100(%rdi),%r8 18 movq -52(%rdi),%r9 19 movq -4(%rdi),%r10 20 movq 44(%rdi),%r11 21 22 xorq -84(%rdi),%rcx 23 xorq -76(%rdi),%rdx 24 xorq %r8,%rax 25 xorq -92(%rdi),%rbx 26 xorq -44(%rdi),%rcx 27 xorq -60(%rdi),%rax 28 movq %rbp,%r12 29 xorq -68(%rdi),%rbp 30 31 xorq %r10,%rcx 32 xorq -20(%rdi),%rax 33 xorq -36(%rdi),%rdx 34 xorq %r9,%rbx 35 xorq -28(%rdi),%rbp 36 37 xorq 36(%rdi),%rcx 38 xorq 20(%rdi),%rax 39 xorq 4(%rdi),%rdx 40 xorq -12(%rdi),%rbx 41 xorq 12(%rdi),%rbp 42 43 movq %rcx,%r13 44 rolq $1,%rcx 45 xorq %rax,%rcx 46 xorq %r11,%rdx 47 48 rolq $1,%rax 49 xorq %rdx,%rax 50 xorq 28(%rdi),%rbx 51 52 rolq $1,%rdx 53 xorq %rbx,%rdx 54 xorq 52(%rdi),%rbp 55 56 rolq $1,%rbx 57 xorq %rbp,%rbx 58 59 rolq $1,%rbp 60 xorq %r13,%rbp 61 xorq %rcx,%r9 62 xorq %rdx,%r10 63 rolq $44,%r9 64 xorq %rbp,%r11 65 xorq %rax,%r12 66 rolq $43,%r10 67 xorq %rbx,%r8 68 movq %r9,%r13 69 rolq $21,%r11 70 orq %r10,%r9 71 xorq %r8,%r9 72 rolq $14,%r12 73 74 xorq (%r15),%r9 75 leaq 8(%r15),%r15 76 77 movq %r12,%r14 78 andq %r11,%r12 79 movq %r9,-100(%rsi) 80 xorq %r10,%r12 81 notq %r10 82 movq %r12,-84(%rsi) 83 84 orq %r11,%r10 85 movq 76(%rdi),%r12 86 xorq %r13,%r10 87 movq %r10,-92(%rsi) 88 89 andq %r8,%r13 90 movq -28(%rdi),%r9 91 xorq %r14,%r13 92 movq -20(%rdi),%r10 93 movq %r13,-68(%rsi) 94 95 orq %r8,%r14 96 movq -76(%rdi),%r8 97 xorq %r11,%r14 98 movq 28(%rdi),%r11 99 movq %r14,-76(%rsi) 100 101 102 xorq %rbp,%r8 103 xorq %rdx,%r12 104 rolq $28,%r8 105 xorq %rcx,%r11 106 xorq %rax,%r9 107 rolq $61,%r12 108 rolq $45,%r11 109 xorq %rbx,%r10 110 rolq $20,%r9 111 movq %r8,%r13 112 orq %r12,%r8 113 rolq $3,%r10 114 115 xorq %r11,%r8 116 movq %r8,-36(%rsi) 117 118 movq %r9,%r14 119 andq %r13,%r9 120 movq -92(%rdi),%r8 121 xorq %r12,%r9 122 notq %r12 123 movq %r9,-28(%rsi) 124 125 orq %r11,%r12 126 movq -44(%rdi),%r9 127 xorq %r10,%r12 128 movq %r12,-44(%rsi) 129 130 andq %r10,%r11 131 movq 60(%rdi),%r12 132 xorq %r14,%r11 133 movq %r11,-52(%rsi) 134 135 orq %r10,%r14 136 movq 4(%rdi),%r10 137 xorq %r13,%r14 138 movq 52(%rdi),%r11 139 movq %r14,-60(%rsi) 140 141 142 xorq %rbp,%r10 143 xorq %rax,%r11 144 rolq $25,%r10 145 xorq %rdx,%r9 146 rolq $8,%r11 147 xorq %rbx,%r12 148 rolq $6,%r9 149 xorq %rcx,%r8 150 rolq $18,%r12 151 movq %r10,%r13 152 andq %r11,%r10 153 rolq $1,%r8 154 155 notq %r11 156 xorq %r9,%r10 157 movq %r10,-12(%rsi) 158 159 movq %r12,%r14 160 andq %r11,%r12 161 movq -12(%rdi),%r10 162 xorq %r13,%r12 163 movq %r12,-4(%rsi) 164 165 orq %r9,%r13 166 movq 84(%rdi),%r12 167 xorq %r8,%r13 168 movq %r13,-20(%rsi) 169 170 andq %r8,%r9 171 xorq %r14,%r9 172 movq %r9,12(%rsi) 173 174 orq %r8,%r14 175 movq -60(%rdi),%r9 176 xorq %r11,%r14 177 movq 36(%rdi),%r11 178 movq %r14,4(%rsi) 179 180 181 movq -68(%rdi),%r8 182 183 xorq %rcx,%r10 184 xorq %rdx,%r11 185 rolq $10,%r10 186 xorq %rbx,%r9 187 rolq $15,%r11 188 xorq %rbp,%r12 189 rolq $36,%r9 190 xorq %rax,%r8 191 rolq $56,%r12 192 movq %r10,%r13 193 orq %r11,%r10 194 rolq $27,%r8 195 196 notq %r11 197 xorq %r9,%r10 198 movq %r10,28(%rsi) 199 200 movq %r12,%r14 201 orq %r11,%r12 202 xorq %r13,%r12 203 movq %r12,36(%rsi) 204 205 andq %r9,%r13 206 xorq %r8,%r13 207 movq %r13,20(%rsi) 208 209 orq %r8,%r9 210 xorq %r14,%r9 211 movq %r9,52(%rsi) 212 213 andq %r14,%r8 214 xorq %r11,%r8 215 movq %r8,44(%rsi) 216 217 218 xorq -84(%rdi),%rdx 219 xorq -36(%rdi),%rbp 220 rolq $62,%rdx 221 xorq 68(%rdi),%rcx 222 rolq $55,%rbp 223 xorq 12(%rdi),%rax 224 rolq $2,%rcx 225 xorq 20(%rdi),%rbx 226 xchgq %rsi,%rdi 227 rolq $39,%rax 228 rolq $41,%rbx 229 movq %rdx,%r13 230 andq %rbp,%rdx 231 notq %rbp 232 xorq %rcx,%rdx 233 movq %rdx,92(%rdi) 234 235 movq %rax,%r14 236 andq %rbp,%rax 237 xorq %r13,%rax 238 movq %rax,60(%rdi) 239 240 orq %rcx,%r13 241 xorq %rbx,%r13 242 movq %r13,84(%rdi) 243 244 andq %rbx,%rcx 245 xorq %r14,%rcx 246 movq %rcx,76(%rdi) 247 248 orq %r14,%rbx 249 xorq %rbp,%rbx 250 movq %rbx,68(%rdi) 251 252 movq %rdx,%rbp 253 movq %r13,%rdx 254 255 testq $255,%r15 256 jnz .Loop 257 258 leaq -192(%r15),%r15 259 .byte 0xf3,0xc3 260 .cfi_endproc 261 .size __KeccakF1600,.-__KeccakF1600 262 263 .type KeccakF1600,@function 264 .align 32 265 KeccakF1600: 266 .cfi_startproc 267 pushq %rbx 268 .cfi_adjust_cfa_offset 8 269 .cfi_offset %rbx,-16 270 pushq %rbp 271 .cfi_adjust_cfa_offset 8 272 .cfi_offset %rbp,-24 273 pushq %r12 274 .cfi_adjust_cfa_offset 8 275 .cfi_offset %r12,-32 276 pushq %r13 277 .cfi_adjust_cfa_offset 8 278 .cfi_offset %r13,-40 279 pushq %r14 280 .cfi_adjust_cfa_offset 8 281 .cfi_offset %r14,-48 282 pushq %r15 283 .cfi_adjust_cfa_offset 8 284 .cfi_offset %r15,-56 285 286 leaq 100(%rdi),%rdi 287 subq $200,%rsp 288 .cfi_adjust_cfa_offset 200 289 290 notq -92(%rdi) 291 notq -84(%rdi) 292 notq -36(%rdi) 293 notq -4(%rdi) 294 notq 36(%rdi) 295 notq 60(%rdi) 296 297 leaq iotas(%rip),%r15 298 leaq 100(%rsp),%rsi 299 300 call __KeccakF1600 301 302 notq -92(%rdi) 303 notq -84(%rdi) 304 notq -36(%rdi) 305 notq -4(%rdi) 306 notq 36(%rdi) 307 notq 60(%rdi) 308 leaq -100(%rdi),%rdi 309 310 addq $200,%rsp 311 .cfi_adjust_cfa_offset -200 312 313 popq %r15 314 .cfi_adjust_cfa_offset -8 315 .cfi_restore %r15 316 popq %r14 317 .cfi_adjust_cfa_offset -8 318 .cfi_restore %r14 319 popq %r13 320 .cfi_adjust_cfa_offset -8 321 .cfi_restore %r13 322 popq %r12 323 .cfi_adjust_cfa_offset -8 324 .cfi_restore %r12 325 popq %rbp 326 .cfi_adjust_cfa_offset -8 327 .cfi_restore %rbp 328 popq %rbx 329 .cfi_adjust_cfa_offset -8 330 .cfi_restore %rbx 331 .byte 0xf3,0xc3 332 .cfi_endproc 333 .size KeccakF1600,.-KeccakF1600 334 .globl SHA3_absorb 335 .type SHA3_absorb,@function 336 .align 32 337 SHA3_absorb: 338 .cfi_startproc 339 pushq %rbx 340 .cfi_adjust_cfa_offset 8 341 .cfi_offset %rbx,-16 342 pushq %rbp 343 .cfi_adjust_cfa_offset 8 344 .cfi_offset %rbp,-24 345 pushq %r12 346 .cfi_adjust_cfa_offset 8 347 .cfi_offset %r12,-32 348 pushq %r13 349 .cfi_adjust_cfa_offset 8 350 .cfi_offset %r13,-40 351 pushq %r14 352 .cfi_adjust_cfa_offset 8 353 .cfi_offset %r14,-48 354 pushq %r15 355 .cfi_adjust_cfa_offset 8 356 .cfi_offset %r15,-56 357 358 leaq 100(%rdi),%rdi 359 subq $232,%rsp 360 .cfi_adjust_cfa_offset 232 361 362 movq %rsi,%r9 363 leaq 100(%rsp),%rsi 364 365 notq -92(%rdi) 366 notq -84(%rdi) 367 notq -36(%rdi) 368 notq -4(%rdi) 369 notq 36(%rdi) 370 notq 60(%rdi) 371 leaq iotas(%rip),%r15 372 373 movq %rcx,216-100(%rsi) 374 375 .Loop_absorb: 376 cmpq %rcx,%rdx 377 jc .Ldone_absorb 378 379 shrq $3,%rcx 380 leaq -100(%rdi),%r8 381 382 .Lblock_absorb: 383 movq (%r9),%rax 384 leaq 8(%r9),%r9 385 xorq (%r8),%rax 386 leaq 8(%r8),%r8 387 subq $8,%rdx 388 movq %rax,-8(%r8) 389 subq $1,%rcx 390 jnz .Lblock_absorb 391 392 movq %r9,200-100(%rsi) 393 movq %rdx,208-100(%rsi) 394 call __KeccakF1600 395 movq 200-100(%rsi),%r9 396 movq 208-100(%rsi),%rdx 397 movq 216-100(%rsi),%rcx 398 jmp .Loop_absorb 399 400 .align 32 401 .Ldone_absorb: 402 movq %rdx,%rax 403 404 notq -92(%rdi) 405 notq -84(%rdi) 406 notq -36(%rdi) 407 notq -4(%rdi) 408 notq 36(%rdi) 409 notq 60(%rdi) 410 411 addq $232,%rsp 412 .cfi_adjust_cfa_offset -232 413 414 popq %r15 415 .cfi_adjust_cfa_offset -8 416 .cfi_restore %r15 417 popq %r14 418 .cfi_adjust_cfa_offset -8 419 .cfi_restore %r14 420 popq %r13 421 .cfi_adjust_cfa_offset -8 422 .cfi_restore %r13 423 popq %r12 424 .cfi_adjust_cfa_offset -8 425 .cfi_restore %r12 426 popq %rbp 427 .cfi_adjust_cfa_offset -8 428 .cfi_restore %rbp 429 popq %rbx 430 .cfi_adjust_cfa_offset -8 431 .cfi_restore %rbx 432 .byte 0xf3,0xc3 433 .cfi_endproc 434 .size SHA3_absorb,.-SHA3_absorb 435 .globl SHA3_squeeze 436 .type SHA3_squeeze,@function 437 .align 32 438 SHA3_squeeze: 439 .cfi_startproc 440 pushq %r12 441 .cfi_adjust_cfa_offset 8 442 .cfi_offset %r12,-16 443 pushq %r13 444 .cfi_adjust_cfa_offset 8 445 .cfi_offset %r13,-24 446 pushq %r14 447 .cfi_adjust_cfa_offset 8 448 .cfi_offset %r14,-32 449 450 shrq $3,%rcx 451 movq %rdi,%r8 452 movq %rsi,%r12 453 movq %rdx,%r13 454 movq %rcx,%r14 455 jmp .Loop_squeeze 456 457 .align 32 458 .Loop_squeeze: 459 cmpq $8,%r13 460 jb .Ltail_squeeze 461 462 movq (%r8),%rax 463 leaq 8(%r8),%r8 464 movq %rax,(%r12) 465 leaq 8(%r12),%r12 466 subq $8,%r13 467 jz .Ldone_squeeze 468 469 subq $1,%rcx 470 jnz .Loop_squeeze 471 472 call KeccakF1600 473 movq %rdi,%r8 474 movq %r14,%rcx 475 jmp .Loop_squeeze 476 477 .Ltail_squeeze: 478 movq %r8,%rsi 479 movq %r12,%rdi 480 movq %r13,%rcx 481 .byte 0xf3,0xa4 482 483 .Ldone_squeeze: 484 popq %r14 485 .cfi_adjust_cfa_offset -8 486 .cfi_restore %r14 487 popq %r13 488 .cfi_adjust_cfa_offset -8 489 .cfi_restore %r13 490 popq %r12 491 .cfi_adjust_cfa_offset -8 492 .cfi_restore %r13 493 .byte 0xf3,0xc3 494 .cfi_endproc 495 .size SHA3_squeeze,.-SHA3_squeeze 496 .align 256 497 .quad 0,0,0,0,0,0,0,0 498 .type iotas,@object 499 iotas: 500 .quad 0x0000000000000001 501 .quad 0x0000000000008082 502 .quad 0x800000000000808a 503 .quad 0x8000000080008000 504 .quad 0x000000000000808b 505 .quad 0x0000000080000001 506 .quad 0x8000000080008081 507 .quad 0x8000000000008009 508 .quad 0x000000000000008a 509 .quad 0x0000000000000088 510 .quad 0x0000000080008009 511 .quad 0x000000008000000a 512 .quad 0x000000008000808b 513 .quad 0x800000000000008b 514 .quad 0x8000000000008089 515 .quad 0x8000000000008003 516 .quad 0x8000000000008002 517 .quad 0x8000000000000080 518 .quad 0x000000000000800a 519 .quad 0x800000008000000a 520 .quad 0x8000000080008081 521 .quad 0x8000000000008080 522 .quad 0x0000000080000001 523 .quad 0x8000000080008008 524 .size iotas,.-iotas 525 .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 526
Indexes created Sat Feb 28 05:31:39 UTC 2026