1// Code generated by command: go run keccakf_amd64_asm.go -out ../keccakf_amd64.s -pkg sha3. DO NOT EDIT.
   2
   3//go:build amd64 && !purego && gc
   4
   5// func keccakF1600(a *[25]uint64)
   6TEXT ·keccakF1600(SB), $200-8
   7	MOVQ a+0(FP), DI
   8
   9	// Convert the user state into an internal state
  10	NOTQ 8(DI)
  11	NOTQ 16(DI)
  12	NOTQ 64(DI)
  13	NOTQ 96(DI)
  14	NOTQ 136(DI)
  15	NOTQ 160(DI)
  16
  17	// Execute the KeccakF permutation
  18	MOVQ (DI), SI
  19	MOVQ 8(DI), BP
  20	MOVQ 32(DI), R15
  21	XORQ 40(DI), SI
  22	XORQ 48(DI), BP
  23	XORQ 72(DI), R15
  24	XORQ 80(DI), SI
  25	XORQ 88(DI), BP
  26	XORQ 112(DI), R15
  27	XORQ 120(DI), SI
  28	XORQ 128(DI), BP
  29	XORQ 152(DI), R15
  30	XORQ 160(DI), SI
  31	XORQ 168(DI), BP
  32	MOVQ 176(DI), DX
  33	MOVQ 184(DI), R8
  34	XORQ 192(DI), R15
  35
  36	// Prepare round
  37	MOVQ BP, BX
  38	ROLQ $0x01, BX
  39	MOVQ 16(DI), R12
  40	XORQ 56(DI), DX
  41	XORQ R15, BX
  42	XORQ 96(DI), R12
  43	XORQ 136(DI), DX
  44	XORQ DX, R12
  45	MOVQ R12, CX
  46	ROLQ $0x01, CX
  47	MOVQ 24(DI), R13
  48	XORQ 64(DI), R8
  49	XORQ SI, CX
  50	XORQ 104(DI), R13
  51	XORQ 144(DI), R8
  52	XORQ R8, R13
  53	MOVQ R13, DX
  54	ROLQ $0x01, DX
  55	MOVQ R15, R8
  56	XORQ BP, DX
  57	ROLQ $0x01, R8
  58	MOVQ SI, R9
  59	XORQ R12, R8
  60	ROLQ $0x01, R9
  61
  62	// Result b
  63	MOVQ (DI), R10
  64	MOVQ 48(DI), R11
  65	XORQ R13, R9
  66	MOVQ 96(DI), R12
  67	MOVQ 144(DI), R13
  68	MOVQ 192(DI), R14
  69	XORQ CX, R11
  70	ROLQ $0x2c, R11
  71	XORQ DX, R12
  72	XORQ BX, R10
  73	ROLQ $0x2b, R12
  74	MOVQ R11, SI
  75	MOVQ $0x0000000000000001, AX
  76	ORQ  R12, SI
  77	XORQ R10, AX
  78	XORQ AX, SI
  79	MOVQ SI, (SP)
  80	XORQ R9, R14
  81	ROLQ $0x0e, R14
  82	MOVQ R10, R15
  83	ANDQ R11, R15
  84	XORQ R14, R15
  85	MOVQ R15, 32(SP)
  86	XORQ R8, R13
  87	ROLQ $0x15, R13
  88	MOVQ R13, AX
  89	ANDQ R14, AX
  90	XORQ R12, AX
  91	MOVQ AX, 16(SP)
  92	NOTQ R12
  93	ORQ  R10, R14
  94	ORQ  R13, R12
  95	XORQ R13, R14
  96	XORQ R11, R12
  97	MOVQ R14, 24(SP)
  98	MOVQ R12, 8(SP)
  99	MOVQ R12, BP
 100
 101	// Result g
 102	MOVQ 72(DI), R11
 103	XORQ R9, R11
 104	MOVQ 80(DI), R12
 105	ROLQ $0x14, R11
 106	XORQ BX, R12
 107	ROLQ $0x03, R12
 108	MOVQ 24(DI), R10
 109	MOVQ R11, AX
 110	ORQ  R12, AX
 111	XORQ R8, R10
 112	MOVQ 128(DI), R13
 113	MOVQ 176(DI), R14
 114	ROLQ $0x1c, R10
 115	XORQ R10, AX
 116	MOVQ AX, 40(SP)
 117	XORQ AX, SI
 118	XORQ CX, R13
 119	ROLQ $0x2d, R13
 120	MOVQ R12, AX
 121	ANDQ R13, AX
 122	XORQ R11, AX
 123	MOVQ AX, 48(SP)
 124	XORQ AX, BP
 125	XORQ DX, R14
 126	ROLQ $0x3d, R14
 127	MOVQ R14, AX
 128	ORQ  R10, AX
 129	XORQ R13, AX
 130	MOVQ AX, 64(SP)
 131	ANDQ R11, R10
 132	XORQ R14, R10
 133	MOVQ R10, 72(SP)
 134	NOTQ R14
 135	XORQ R10, R15
 136	ORQ  R14, R13
 137	XORQ R12, R13
 138	MOVQ R13, 56(SP)
 139
 140	// Result k
 141	MOVQ 8(DI), R10
 142	MOVQ 56(DI), R11
 143	MOVQ 104(DI), R12
 144	MOVQ 152(DI), R13
 145	MOVQ 160(DI), R14
 146	XORQ DX, R11
 147	ROLQ $0x06, R11
 148	XORQ R8, R12
 149	ROLQ $0x19, R12
 150	MOVQ R11, AX
 151	ORQ  R12, AX
 152	XORQ CX, R10
 153	ROLQ $0x01, R10
 154	XORQ R10, AX
 155	MOVQ AX, 80(SP)
 156	XORQ AX, SI
 157	XORQ R9, R13
 158	ROLQ $0x08, R13
 159	MOVQ R12, AX
 160	ANDQ R13, AX
 161	XORQ R11, AX
 162	MOVQ AX, 88(SP)
 163	XORQ AX, BP
 164	XORQ BX, R14
 165	ROLQ $0x12, R14
 166	NOTQ R13
 167	MOVQ R13, AX
 168	ANDQ R14, AX
 169	XORQ R12, AX
 170	MOVQ AX, 96(SP)
 171	MOVQ R14, AX
 172	ORQ  R10, AX
 173	XORQ R13, AX
 174	MOVQ AX, 104(SP)
 175	ANDQ R11, R10
 176	XORQ R14, R10
 177	MOVQ R10, 112(SP)
 178	XORQ R10, R15
 179
 180	// Result m
 181	MOVQ 40(DI), R11
 182	XORQ BX, R11
 183	MOVQ 88(DI), R12
 184	ROLQ $0x24, R11
 185	XORQ CX, R12
 186	MOVQ 32(DI), R10
 187	ROLQ $0x0a, R12
 188	MOVQ R11, AX
 189	MOVQ 136(DI), R13
 190	ANDQ R12, AX
 191	XORQ R9, R10
 192	MOVQ 184(DI), R14
 193	ROLQ $0x1b, R10
 194	XORQ R10, AX
 195	MOVQ AX, 120(SP)
 196	XORQ AX, SI
 197	XORQ DX, R13
 198	ROLQ $0x0f, R13
 199	MOVQ R12, AX
 200	ORQ  R13, AX
 201	XORQ R11, AX
 202	MOVQ AX, 128(SP)
 203	XORQ AX, BP
 204	XORQ R8, R14
 205	ROLQ $0x38, R14
 206	NOTQ R13
 207	MOVQ R13, AX
 208	ORQ  R14, AX
 209	XORQ R12, AX
 210	MOVQ AX, 136(SP)
 211	ORQ  R10, R11
 212	XORQ R14, R11
 213	MOVQ R11, 152(SP)
 214	ANDQ R10, R14
 215	XORQ R13, R14
 216	MOVQ R14, 144(SP)
 217	XORQ R11, R15
 218
 219	// Result s
 220	MOVQ 16(DI), R10
 221	MOVQ 64(DI), R11
 222	MOVQ 112(DI), R12
 223	XORQ DX, R10
 224	MOVQ 120(DI), R13
 225	ROLQ $0x3e, R10
 226	XORQ R8, R11
 227	MOVQ 168(DI), R14
 228	ROLQ $0x37, R11
 229	XORQ R9, R12
 230	MOVQ R10, R9
 231	XORQ CX, R14
 232	ROLQ $0x02, R14
 233	ANDQ R11, R9
 234	XORQ R14, R9
 235	MOVQ R9, 192(SP)
 236	ROLQ $0x27, R12
 237	XORQ R9, R15
 238	NOTQ R11
 239	XORQ BX, R13
 240	MOVQ R11, BX
 241	ANDQ R12, BX
 242	XORQ R10, BX
 243	MOVQ BX, 160(SP)
 244	XORQ BX, SI
 245	ROLQ $0x29, R13
 246	MOVQ R12, CX
 247	ORQ  R13, CX
 248	XORQ R11, CX
 249	MOVQ CX, 168(SP)
 250	XORQ CX, BP
 251	MOVQ R13, DX
 252	MOVQ R14, R8
 253	ANDQ R14, DX
 254	ORQ  R10, R8
 255	XORQ R12, DX
 256	XORQ R13, R8
 257	MOVQ DX, 176(SP)
 258	MOVQ R8, 184(SP)
 259
 260	// Prepare round
 261	MOVQ BP, BX
 262	ROLQ $0x01, BX
 263	MOVQ 16(SP), R12
 264	XORQ 56(SP), DX
 265	XORQ R15, BX
 266	XORQ 96(SP), R12
 267	XORQ 136(SP), DX
 268	XORQ DX, R12
 269	MOVQ R12, CX
 270	ROLQ $0x01, CX
 271	MOVQ 24(SP), R13
 272	XORQ 64(SP), R8
 273	XORQ SI, CX
 274	XORQ 104(SP), R13
 275	XORQ 144(SP), R8
 276	XORQ R8, R13
 277	MOVQ R13, DX
 278	ROLQ $0x01, DX
 279	MOVQ R15, R8
 280	XORQ BP, DX
 281	ROLQ $0x01, R8
 282	MOVQ SI, R9
 283	XORQ R12, R8
 284	ROLQ $0x01, R9
 285
 286	// Result b
 287	MOVQ (SP), R10
 288	MOVQ 48(SP), R11
 289	XORQ R13, R9
 290	MOVQ 96(SP), R12
 291	MOVQ 144(SP), R13
 292	MOVQ 192(SP), R14
 293	XORQ CX, R11
 294	ROLQ $0x2c, R11
 295	XORQ DX, R12
 296	XORQ BX, R10
 297	ROLQ $0x2b, R12
 298	MOVQ R11, SI
 299	MOVQ $0x0000000000008082, AX
 300	ORQ  R12, SI
 301	XORQ R10, AX
 302	XORQ AX, SI
 303	MOVQ SI, (DI)
 304	XORQ R9, R14
 305	ROLQ $0x0e, R14
 306	MOVQ R10, R15
 307	ANDQ R11, R15
 308	XORQ R14, R15
 309	MOVQ R15, 32(DI)
 310	XORQ R8, R13
 311	ROLQ $0x15, R13
 312	MOVQ R13, AX
 313	ANDQ R14, AX
 314	XORQ R12, AX
 315	MOVQ AX, 16(DI)
 316	NOTQ R12
 317	ORQ  R10, R14
 318	ORQ  R13, R12
 319	XORQ R13, R14
 320	XORQ R11, R12
 321	MOVQ R14, 24(DI)
 322	MOVQ R12, 8(DI)
 323	MOVQ R12, BP
 324
 325	// Result g
 326	MOVQ 72(SP), R11
 327	XORQ R9, R11
 328	MOVQ 80(SP), R12
 329	ROLQ $0x14, R11
 330	XORQ BX, R12
 331	ROLQ $0x03, R12
 332	MOVQ 24(SP), R10
 333	MOVQ R11, AX
 334	ORQ  R12, AX
 335	XORQ R8, R10
 336	MOVQ 128(SP), R13
 337	MOVQ 176(SP), R14
 338	ROLQ $0x1c, R10
 339	XORQ R10, AX
 340	MOVQ AX, 40(DI)
 341	XORQ AX, SI
 342	XORQ CX, R13
 343	ROLQ $0x2d, R13
 344	MOVQ R12, AX
 345	ANDQ R13, AX
 346	XORQ R11, AX
 347	MOVQ AX, 48(DI)
 348	XORQ AX, BP
 349	XORQ DX, R14
 350	ROLQ $0x3d, R14
 351	MOVQ R14, AX
 352	ORQ  R10, AX
 353	XORQ R13, AX
 354	MOVQ AX, 64(DI)
 355	ANDQ R11, R10
 356	XORQ R14, R10
 357	MOVQ R10, 72(DI)
 358	NOTQ R14
 359	XORQ R10, R15
 360	ORQ  R14, R13
 361	XORQ R12, R13
 362	MOVQ R13, 56(DI)
 363
 364	// Result k
 365	MOVQ 8(SP), R10
 366	MOVQ 56(SP), R11
 367	MOVQ 104(SP), R12
 368	MOVQ 152(SP), R13
 369	MOVQ 160(SP), R14
 370	XORQ DX, R11
 371	ROLQ $0x06, R11
 372	XORQ R8, R12
 373	ROLQ $0x19, R12
 374	MOVQ R11, AX
 375	ORQ  R12, AX
 376	XORQ CX, R10
 377	ROLQ $0x01, R10
 378	XORQ R10, AX
 379	MOVQ AX, 80(DI)
 380	XORQ AX, SI
 381	XORQ R9, R13
 382	ROLQ $0x08, R13
 383	MOVQ R12, AX
 384	ANDQ R13, AX
 385	XORQ R11, AX
 386	MOVQ AX, 88(DI)
 387	XORQ AX, BP
 388	XORQ BX, R14
 389	ROLQ $0x12, R14
 390	NOTQ R13
 391	MOVQ R13, AX
 392	ANDQ R14, AX
 393	XORQ R12, AX
 394	MOVQ AX, 96(DI)
 395	MOVQ R14, AX
 396	ORQ  R10, AX
 397	XORQ R13, AX
 398	MOVQ AX, 104(DI)
 399	ANDQ R11, R10
 400	XORQ R14, R10
 401	MOVQ R10, 112(DI)
 402	XORQ R10, R15
 403
 404	// Result m
 405	MOVQ 40(SP), R11
 406	XORQ BX, R11
 407	MOVQ 88(SP), R12
 408	ROLQ $0x24, R11
 409	XORQ CX, R12
 410	MOVQ 32(SP), R10
 411	ROLQ $0x0a, R12
 412	MOVQ R11, AX
 413	MOVQ 136(SP), R13
 414	ANDQ R12, AX
 415	XORQ R9, R10
 416	MOVQ 184(SP), R14
 417	ROLQ $0x1b, R10
 418	XORQ R10, AX
 419	MOVQ AX, 120(DI)
 420	XORQ AX, SI
 421	XORQ DX, R13
 422	ROLQ $0x0f, R13
 423	MOVQ R12, AX
 424	ORQ  R13, AX
 425	XORQ R11, AX
 426	MOVQ AX, 128(DI)
 427	XORQ AX, BP
 428	XORQ R8, R14
 429	ROLQ $0x38, R14
 430	NOTQ R13
 431	MOVQ R13, AX
 432	ORQ  R14, AX
 433	XORQ R12, AX
 434	MOVQ AX, 136(DI)
 435	ORQ  R10, R11
 436	XORQ R14, R11
 437	MOVQ R11, 152(DI)
 438	ANDQ R10, R14
 439	XORQ R13, R14
 440	MOVQ R14, 144(DI)
 441	XORQ R11, R15
 442
 443	// Result s
 444	MOVQ 16(SP), R10
 445	MOVQ 64(SP), R11
 446	MOVQ 112(SP), R12
 447	XORQ DX, R10
 448	MOVQ 120(SP), R13
 449	ROLQ $0x3e, R10
 450	XORQ R8, R11
 451	MOVQ 168(SP), R14
 452	ROLQ $0x37, R11
 453	XORQ R9, R12
 454	MOVQ R10, R9
 455	XORQ CX, R14
 456	ROLQ $0x02, R14
 457	ANDQ R11, R9
 458	XORQ R14, R9
 459	MOVQ R9, 192(DI)
 460	ROLQ $0x27, R12
 461	XORQ R9, R15
 462	NOTQ R11
 463	XORQ BX, R13
 464	MOVQ R11, BX
 465	ANDQ R12, BX
 466	XORQ R10, BX
 467	MOVQ BX, 160(DI)
 468	XORQ BX, SI
 469	ROLQ $0x29, R13
 470	MOVQ R12, CX
 471	ORQ  R13, CX
 472	XORQ R11, CX
 473	MOVQ CX, 168(DI)
 474	XORQ CX, BP
 475	MOVQ R13, DX
 476	MOVQ R14, R8
 477	ANDQ R14, DX
 478	ORQ  R10, R8
 479	XORQ R12, DX
 480	XORQ R13, R8
 481	MOVQ DX, 176(DI)
 482	MOVQ R8, 184(DI)
 483
 484	// Prepare round
 485	MOVQ BP, BX
 486	ROLQ $0x01, BX
 487	MOVQ 16(DI), R12
 488	XORQ 56(DI), DX
 489	XORQ R15, BX
 490	XORQ 96(DI), R12
 491	XORQ 136(DI), DX
 492	XORQ DX, R12
 493	MOVQ R12, CX
 494	ROLQ $0x01, CX
 495	MOVQ 24(DI), R13
 496	XORQ 64(DI), R8
 497	XORQ SI, CX
 498	XORQ 104(DI), R13
 499	XORQ 144(DI), R8
 500	XORQ R8, R13
 501	MOVQ R13, DX
 502	ROLQ $0x01, DX
 503	MOVQ R15, R8
 504	XORQ BP, DX
 505	ROLQ $0x01, R8
 506	MOVQ SI, R9
 507	XORQ R12, R8
 508	ROLQ $0x01, R9
 509
 510	// Result b
 511	MOVQ (DI), R10
 512	MOVQ 48(DI), R11
 513	XORQ R13, R9
 514	MOVQ 96(DI), R12
 515	MOVQ 144(DI), R13
 516	MOVQ 192(DI), R14
 517	XORQ CX, R11
 518	ROLQ $0x2c, R11
 519	XORQ DX, R12
 520	XORQ BX, R10
 521	ROLQ $0x2b, R12
 522	MOVQ R11, SI
 523	MOVQ $0x800000000000808a, AX
 524	ORQ  R12, SI
 525	XORQ R10, AX
 526	XORQ AX, SI
 527	MOVQ SI, (SP)
 528	XORQ R9, R14
 529	ROLQ $0x0e, R14
 530	MOVQ R10, R15
 531	ANDQ R11, R15
 532	XORQ R14, R15
 533	MOVQ R15, 32(SP)
 534	XORQ R8, R13
 535	ROLQ $0x15, R13
 536	MOVQ R13, AX
 537	ANDQ R14, AX
 538	XORQ R12, AX
 539	MOVQ AX, 16(SP)
 540	NOTQ R12
 541	ORQ  R10, R14
 542	ORQ  R13, R12
 543	XORQ R13, R14
 544	XORQ R11, R12
 545	MOVQ R14, 24(SP)
 546	MOVQ R12, 8(SP)
 547	MOVQ R12, BP
 548
 549	// Result g
 550	MOVQ 72(DI), R11
 551	XORQ R9, R11
 552	MOVQ 80(DI), R12
 553	ROLQ $0x14, R11
 554	XORQ BX, R12
 555	ROLQ $0x03, R12
 556	MOVQ 24(DI), R10
 557	MOVQ R11, AX
 558	ORQ  R12, AX
 559	XORQ R8, R10
 560	MOVQ 128(DI), R13
 561	MOVQ 176(DI), R14
 562	ROLQ $0x1c, R10
 563	XORQ R10, AX
 564	MOVQ AX, 40(SP)
 565	XORQ AX, SI
 566	XORQ CX, R13
 567	ROLQ $0x2d, R13
 568	MOVQ R12, AX
 569	ANDQ R13, AX
 570	XORQ R11, AX
 571	MOVQ AX, 48(SP)
 572	XORQ AX, BP
 573	XORQ DX, R14
 574	ROLQ $0x3d, R14
 575	MOVQ R14, AX
 576	ORQ  R10, AX
 577	XORQ R13, AX
 578	MOVQ AX, 64(SP)
 579	ANDQ R11, R10
 580	XORQ R14, R10
 581	MOVQ R10, 72(SP)
 582	NOTQ R14
 583	XORQ R10, R15
 584	ORQ  R14, R13
 585	XORQ R12, R13
 586	MOVQ R13, 56(SP)
 587
 588	// Result k
 589	MOVQ 8(DI), R10
 590	MOVQ 56(DI), R11
 591	MOVQ 104(DI), R12
 592	MOVQ 152(DI), R13
 593	MOVQ 160(DI), R14
 594	XORQ DX, R11
 595	ROLQ $0x06, R11
 596	XORQ R8, R12
 597	ROLQ $0x19, R12
 598	MOVQ R11, AX
 599	ORQ  R12, AX
 600	XORQ CX, R10
 601	ROLQ $0x01, R10
 602	XORQ R10, AX
 603	MOVQ AX, 80(SP)
 604	XORQ AX, SI
 605	XORQ R9, R13
 606	ROLQ $0x08, R13
 607	MOVQ R12, AX
 608	ANDQ R13, AX
 609	XORQ R11, AX
 610	MOVQ AX, 88(SP)
 611	XORQ AX, BP
 612	XORQ BX, R14
 613	ROLQ $0x12, R14
 614	NOTQ R13
 615	MOVQ R13, AX
 616	ANDQ R14, AX
 617	XORQ R12, AX
 618	MOVQ AX, 96(SP)
 619	MOVQ R14, AX
 620	ORQ  R10, AX
 621	XORQ R13, AX
 622	MOVQ AX, 104(SP)
 623	ANDQ R11, R10
 624	XORQ R14, R10
 625	MOVQ R10, 112(SP)
 626	XORQ R10, R15
 627
 628	// Result m
 629	MOVQ 40(DI), R11
 630	XORQ BX, R11
 631	MOVQ 88(DI), R12
 632	ROLQ $0x24, R11
 633	XORQ CX, R12
 634	MOVQ 32(DI), R10
 635	ROLQ $0x0a, R12
 636	MOVQ R11, AX
 637	MOVQ 136(DI), R13
 638	ANDQ R12, AX
 639	XORQ R9, R10
 640	MOVQ 184(DI), R14
 641	ROLQ $0x1b, R10
 642	XORQ R10, AX
 643	MOVQ AX, 120(SP)
 644	XORQ AX, SI
 645	XORQ DX, R13
 646	ROLQ $0x0f, R13
 647	MOVQ R12, AX
 648	ORQ  R13, AX
 649	XORQ R11, AX
 650	MOVQ AX, 128(SP)
 651	XORQ AX, BP
 652	XORQ R8, R14
 653	ROLQ $0x38, R14
 654	NOTQ R13
 655	MOVQ R13, AX
 656	ORQ  R14, AX
 657	XORQ R12, AX
 658	MOVQ AX, 136(SP)
 659	ORQ  R10, R11
 660	XORQ R14, R11
 661	MOVQ R11, 152(SP)
 662	ANDQ R10, R14
 663	XORQ R13, R14
 664	MOVQ R14, 144(SP)
 665	XORQ R11, R15
 666
 667	// Result s
 668	MOVQ 16(DI), R10
 669	MOVQ 64(DI), R11
 670	MOVQ 112(DI), R12
 671	XORQ DX, R10
 672	MOVQ 120(DI), R13
 673	ROLQ $0x3e, R10
 674	XORQ R8, R11
 675	MOVQ 168(DI), R14
 676	ROLQ $0x37, R11
 677	XORQ R9, R12
 678	MOVQ R10, R9
 679	XORQ CX, R14
 680	ROLQ $0x02, R14
 681	ANDQ R11, R9
 682	XORQ R14, R9
 683	MOVQ R9, 192(SP)
 684	ROLQ $0x27, R12
 685	XORQ R9, R15
 686	NOTQ R11
 687	XORQ BX, R13
 688	MOVQ R11, BX
 689	ANDQ R12, BX
 690	XORQ R10, BX
 691	MOVQ BX, 160(SP)
 692	XORQ BX, SI
 693	ROLQ $0x29, R13
 694	MOVQ R12, CX
 695	ORQ  R13, CX
 696	XORQ R11, CX
 697	MOVQ CX, 168(SP)
 698	XORQ CX, BP
 699	MOVQ R13, DX
 700	MOVQ R14, R8
 701	ANDQ R14, DX
 702	ORQ  R10, R8
 703	XORQ R12, DX
 704	XORQ R13, R8
 705	MOVQ DX, 176(SP)
 706	MOVQ R8, 184(SP)
 707
 708	// Prepare round
 709	MOVQ BP, BX
 710	ROLQ $0x01, BX
 711	MOVQ 16(SP), R12
 712	XORQ 56(SP), DX
 713	XORQ R15, BX
 714	XORQ 96(SP), R12
 715	XORQ 136(SP), DX
 716	XORQ DX, R12
 717	MOVQ R12, CX
 718	ROLQ $0x01, CX
 719	MOVQ 24(SP), R13
 720	XORQ 64(SP), R8
 721	XORQ SI, CX
 722	XORQ 104(SP), R13
 723	XORQ 144(SP), R8
 724	XORQ R8, R13
 725	MOVQ R13, DX
 726	ROLQ $0x01, DX
 727	MOVQ R15, R8
 728	XORQ BP, DX
 729	ROLQ $0x01, R8
 730	MOVQ SI, R9
 731	XORQ R12, R8
 732	ROLQ $0x01, R9
 733
 734	// Result b
 735	MOVQ (SP), R10
 736	MOVQ 48(SP), R11
 737	XORQ R13, R9
 738	MOVQ 96(SP), R12
 739	MOVQ 144(SP), R13
 740	MOVQ 192(SP), R14
 741	XORQ CX, R11
 742	ROLQ $0x2c, R11
 743	XORQ DX, R12
 744	XORQ BX, R10
 745	ROLQ $0x2b, R12
 746	MOVQ R11, SI
 747	MOVQ $0x8000000080008000, AX
 748	ORQ  R12, SI
 749	XORQ R10, AX
 750	XORQ AX, SI
 751	MOVQ SI, (DI)
 752	XORQ R9, R14
 753	ROLQ $0x0e, R14
 754	MOVQ R10, R15
 755	ANDQ R11, R15
 756	XORQ R14, R15
 757	MOVQ R15, 32(DI)
 758	XORQ R8, R13
 759	ROLQ $0x15, R13
 760	MOVQ R13, AX
 761	ANDQ R14, AX
 762	XORQ R12, AX
 763	MOVQ AX, 16(DI)
 764	NOTQ R12
 765	ORQ  R10, R14
 766	ORQ  R13, R12
 767	XORQ R13, R14
 768	XORQ R11, R12
 769	MOVQ R14, 24(DI)
 770	MOVQ R12, 8(DI)
 771	MOVQ R12, BP
 772
 773	// Result g
 774	MOVQ 72(SP), R11
 775	XORQ R9, R11
 776	MOVQ 80(SP), R12
 777	ROLQ $0x14, R11
 778	XORQ BX, R12
 779	ROLQ $0x03, R12
 780	MOVQ 24(SP), R10
 781	MOVQ R11, AX
 782	ORQ  R12, AX
 783	XORQ R8, R10
 784	MOVQ 128(SP), R13
 785	MOVQ 176(SP), R14
 786	ROLQ $0x1c, R10
 787	XORQ R10, AX
 788	MOVQ AX, 40(DI)
 789	XORQ AX, SI
 790	XORQ CX, R13
 791	ROLQ $0x2d, R13
 792	MOVQ R12, AX
 793	ANDQ R13, AX
 794	XORQ R11, AX
 795	MOVQ AX, 48(DI)
 796	XORQ AX, BP
 797	XORQ DX, R14
 798	ROLQ $0x3d, R14
 799	MOVQ R14, AX
 800	ORQ  R10, AX
 801	XORQ R13, AX
 802	MOVQ AX, 64(DI)
 803	ANDQ R11, R10
 804	XORQ R14, R10
 805	MOVQ R10, 72(DI)
 806	NOTQ R14
 807	XORQ R10, R15
 808	ORQ  R14, R13
 809	XORQ R12, R13
 810	MOVQ R13, 56(DI)
 811
 812	// Result k
 813	MOVQ 8(SP), R10
 814	MOVQ 56(SP), R11
 815	MOVQ 104(SP), R12
 816	MOVQ 152(SP), R13
 817	MOVQ 160(SP), R14
 818	XORQ DX, R11
 819	ROLQ $0x06, R11
 820	XORQ R8, R12
 821	ROLQ $0x19, R12
 822	MOVQ R11, AX
 823	ORQ  R12, AX
 824	XORQ CX, R10
 825	ROLQ $0x01, R10
 826	XORQ R10, AX
 827	MOVQ AX, 80(DI)
 828	XORQ AX, SI
 829	XORQ R9, R13
 830	ROLQ $0x08, R13
 831	MOVQ R12, AX
 832	ANDQ R13, AX
 833	XORQ R11, AX
 834	MOVQ AX, 88(DI)
 835	XORQ AX, BP
 836	XORQ BX, R14
 837	ROLQ $0x12, R14
 838	NOTQ R13
 839	MOVQ R13, AX
 840	ANDQ R14, AX
 841	XORQ R12, AX
 842	MOVQ AX, 96(DI)
 843	MOVQ R14, AX
 844	ORQ  R10, AX
 845	XORQ R13, AX
 846	MOVQ AX, 104(DI)
 847	ANDQ R11, R10
 848	XORQ R14, R10
 849	MOVQ R10, 112(DI)
 850	XORQ R10, R15
 851
 852	// Result m
 853	MOVQ 40(SP), R11
 854	XORQ BX, R11
 855	MOVQ 88(SP), R12
 856	ROLQ $0x24, R11
 857	XORQ CX, R12
 858	MOVQ 32(SP), R10
 859	ROLQ $0x0a, R12
 860	MOVQ R11, AX
 861	MOVQ 136(SP), R13
 862	ANDQ R12, AX
 863	XORQ R9, R10
 864	MOVQ 184(SP), R14
 865	ROLQ $0x1b, R10
 866	XORQ R10, AX
 867	MOVQ AX, 120(DI)
 868	XORQ AX, SI
 869	XORQ DX, R13
 870	ROLQ $0x0f, R13
 871	MOVQ R12, AX
 872	ORQ  R13, AX
 873	XORQ R11, AX
 874	MOVQ AX, 128(DI)
 875	XORQ AX, BP
 876	XORQ R8, R14
 877	ROLQ $0x38, R14
 878	NOTQ R13
 879	MOVQ R13, AX
 880	ORQ  R14, AX
 881	XORQ R12, AX
 882	MOVQ AX, 136(DI)
 883	ORQ  R10, R11
 884	XORQ R14, R11
 885	MOVQ R11, 152(DI)
 886	ANDQ R10, R14
 887	XORQ R13, R14
 888	MOVQ R14, 144(DI)
 889	XORQ R11, R15
 890
 891	// Result s
 892	MOVQ 16(SP), R10
 893	MOVQ 64(SP), R11
 894	MOVQ 112(SP), R12
 895	XORQ DX, R10
 896	MOVQ 120(SP), R13
 897	ROLQ $0x3e, R10
 898	XORQ R8, R11
 899	MOVQ 168(SP), R14
 900	ROLQ $0x37, R11
 901	XORQ R9, R12
 902	MOVQ R10, R9
 903	XORQ CX, R14
 904	ROLQ $0x02, R14
 905	ANDQ R11, R9
 906	XORQ R14, R9
 907	MOVQ R9, 192(DI)
 908	ROLQ $0x27, R12
 909	XORQ R9, R15
 910	NOTQ R11
 911	XORQ BX, R13
 912	MOVQ R11, BX
 913	ANDQ R12, BX
 914	XORQ R10, BX
 915	MOVQ BX, 160(DI)
 916	XORQ BX, SI
 917	ROLQ $0x29, R13
 918	MOVQ R12, CX
 919	ORQ  R13, CX
 920	XORQ R11, CX
 921	MOVQ CX, 168(DI)
 922	XORQ CX, BP
 923	MOVQ R13, DX
 924	MOVQ R14, R8
 925	ANDQ R14, DX
 926	ORQ  R10, R8
 927	XORQ R12, DX
 928	XORQ R13, R8
 929	MOVQ DX, 176(DI)
 930	MOVQ R8, 184(DI)
 931
 932	// Prepare round
 933	MOVQ BP, BX
 934	ROLQ $0x01, BX
 935	MOVQ 16(DI), R12
 936	XORQ 56(DI), DX
 937	XORQ R15, BX
 938	XORQ 96(DI), R12
 939	XORQ 136(DI), DX
 940	XORQ DX, R12
 941	MOVQ R12, CX
 942	ROLQ $0x01, CX
 943	MOVQ 24(DI), R13
 944	XORQ 64(DI), R8
 945	XORQ SI, CX
 946	XORQ 104(DI), R13
 947	XORQ 144(DI), R8
 948	XORQ R8, R13
 949	MOVQ R13, DX
 950	ROLQ $0x01, DX
 951	MOVQ R15, R8
 952	XORQ BP, DX
 953	ROLQ $0x01, R8
 954	MOVQ SI, R9
 955	XORQ R12, R8
 956	ROLQ $0x01, R9
 957
 958	// Result b
 959	MOVQ (DI), R10
 960	MOVQ 48(DI), R11
 961	XORQ R13, R9
 962	MOVQ 96(DI), R12
 963	MOVQ 144(DI), R13
 964	MOVQ 192(DI), R14
 965	XORQ CX, R11
 966	ROLQ $0x2c, R11
 967	XORQ DX, R12
 968	XORQ BX, R10
 969	ROLQ $0x2b, R12
 970	MOVQ R11, SI
 971	MOVQ $0x000000000000808b, AX
 972	ORQ  R12, SI
 973	XORQ R10, AX
 974	XORQ AX, SI
 975	MOVQ SI, (SP)
 976	XORQ R9, R14
 977	ROLQ $0x0e, R14
 978	MOVQ R10, R15
 979	ANDQ R11, R15
 980	XORQ R14, R15
 981	MOVQ R15, 32(SP)
 982	XORQ R8, R13
 983	ROLQ $0x15, R13
 984	MOVQ R13, AX
 985	ANDQ R14, AX
 986	XORQ R12, AX
 987	MOVQ AX, 16(SP)
 988	NOTQ R12
 989	ORQ  R10, R14
 990	ORQ  R13, R12
 991	XORQ R13, R14
 992	XORQ R11, R12
 993	MOVQ R14, 24(SP)
 994	MOVQ R12, 8(SP)
 995	MOVQ R12, BP
 996
 997	// Result g
 998	MOVQ 72(DI), R11
 999	XORQ R9, R11
1000	MOVQ 80(DI), R12
1001	ROLQ $0x14, R11
1002	XORQ BX, R12
1003	ROLQ $0x03, R12
1004	MOVQ 24(DI), R10
1005	MOVQ R11, AX
1006	ORQ  R12, AX
1007	XORQ R8, R10
1008	MOVQ 128(DI), R13
1009	MOVQ 176(DI), R14
1010	ROLQ $0x1c, R10
1011	XORQ R10, AX
1012	MOVQ AX, 40(SP)
1013	XORQ AX, SI
1014	XORQ CX, R13
1015	ROLQ $0x2d, R13
1016	MOVQ R12, AX
1017	ANDQ R13, AX
1018	XORQ R11, AX
1019	MOVQ AX, 48(SP)
1020	XORQ AX, BP
1021	XORQ DX, R14
1022	ROLQ $0x3d, R14
1023	MOVQ R14, AX
1024	ORQ  R10, AX
1025	XORQ R13, AX
1026	MOVQ AX, 64(SP)
1027	ANDQ R11, R10
1028	XORQ R14, R10
1029	MOVQ R10, 72(SP)
1030	NOTQ R14
1031	XORQ R10, R15
1032	ORQ  R14, R13
1033	XORQ R12, R13
1034	MOVQ R13, 56(SP)
1035
1036	// Result k
1037	MOVQ 8(DI), R10
1038	MOVQ 56(DI), R11
1039	MOVQ 104(DI), R12
1040	MOVQ 152(DI), R13
1041	MOVQ 160(DI), R14
1042	XORQ DX, R11
1043	ROLQ $0x06, R11
1044	XORQ R8, R12
1045	ROLQ $0x19, R12
1046	MOVQ R11, AX
1047	ORQ  R12, AX
1048	XORQ CX, R10
1049	ROLQ $0x01, R10
1050	XORQ R10, AX
1051	MOVQ AX, 80(SP)
1052	XORQ AX, SI
1053	XORQ R9, R13
1054	ROLQ $0x08, R13
1055	MOVQ R12, AX
1056	ANDQ R13, AX
1057	XORQ R11, AX
1058	MOVQ AX, 88(SP)
1059	XORQ AX, BP
1060	XORQ BX, R14
1061	ROLQ $0x12, R14
1062	NOTQ R13
1063	MOVQ R13, AX
1064	ANDQ R14, AX
1065	XORQ R12, AX
1066	MOVQ AX, 96(SP)
1067	MOVQ R14, AX
1068	ORQ  R10, AX
1069	XORQ R13, AX
1070	MOVQ AX, 104(SP)
1071	ANDQ R11, R10
1072	XORQ R14, R10
1073	MOVQ R10, 112(SP)
1074	XORQ R10, R15
1075
1076	// Result m
1077	MOVQ 40(DI), R11
1078	XORQ BX, R11
1079	MOVQ 88(DI), R12
1080	ROLQ $0x24, R11
1081	XORQ CX, R12
1082	MOVQ 32(DI), R10
1083	ROLQ $0x0a, R12
1084	MOVQ R11, AX
1085	MOVQ 136(DI), R13
1086	ANDQ R12, AX
1087	XORQ R9, R10
1088	MOVQ 184(DI), R14
1089	ROLQ $0x1b, R10
1090	XORQ R10, AX
1091	MOVQ AX, 120(SP)
1092	XORQ AX, SI
1093	XORQ DX, R13
1094	ROLQ $0x0f, R13
1095	MOVQ R12, AX
1096	ORQ  R13, AX
1097	XORQ R11, AX
1098	MOVQ AX, 128(SP)
1099	XORQ AX, BP
1100	XORQ R8, R14
1101	ROLQ $0x38, R14
1102	NOTQ R13
1103	MOVQ R13, AX
1104	ORQ  R14, AX
1105	XORQ R12, AX
1106	MOVQ AX, 136(SP)
1107	ORQ  R10, R11
1108	XORQ R14, R11
1109	MOVQ R11, 152(SP)
1110	ANDQ R10, R14
1111	XORQ R13, R14
1112	MOVQ R14, 144(SP)
1113	XORQ R11, R15
1114
1115	// Result s
1116	MOVQ 16(DI), R10
1117	MOVQ 64(DI), R11
1118	MOVQ 112(DI), R12
1119	XORQ DX, R10
1120	MOVQ 120(DI), R13
1121	ROLQ $0x3e, R10
1122	XORQ R8, R11
1123	MOVQ 168(DI), R14
1124	ROLQ $0x37, R11
1125	XORQ R9, R12
1126	MOVQ R10, R9
1127	XORQ CX, R14
1128	ROLQ $0x02, R14
1129	ANDQ R11, R9
1130	XORQ R14, R9
1131	MOVQ R9, 192(SP)
1132	ROLQ $0x27, R12
1133	XORQ R9, R15
1134	NOTQ R11
1135	XORQ BX, R13
1136	MOVQ R11, BX
1137	ANDQ R12, BX
1138	XORQ R10, BX
1139	MOVQ BX, 160(SP)
1140	XORQ BX, SI
1141	ROLQ $0x29, R13
1142	MOVQ R12, CX
1143	ORQ  R13, CX
1144	XORQ R11, CX
1145	MOVQ CX, 168(SP)
1146	XORQ CX, BP
1147	MOVQ R13, DX
1148	MOVQ R14, R8
1149	ANDQ R14, DX
1150	ORQ  R10, R8
1151	XORQ R12, DX
1152	XORQ R13, R8
1153	MOVQ DX, 176(SP)
1154	MOVQ R8, 184(SP)
1155
1156	// Prepare round
1157	MOVQ BP, BX
1158	ROLQ $0x01, BX
1159	MOVQ 16(SP), R12
1160	XORQ 56(SP), DX
1161	XORQ R15, BX
1162	XORQ 96(SP), R12
1163	XORQ 136(SP), DX
1164	XORQ DX, R12
1165	MOVQ R12, CX
1166	ROLQ $0x01, CX
1167	MOVQ 24(SP), R13
1168	XORQ 64(SP), R8
1169	XORQ SI, CX
1170	XORQ 104(SP), R13
1171	XORQ 144(SP), R8
1172	XORQ R8, R13
1173	MOVQ R13, DX
1174	ROLQ $0x01, DX
1175	MOVQ R15, R8
1176	XORQ BP, DX
1177	ROLQ $0x01, R8
1178	MOVQ SI, R9
1179	XORQ R12, R8
1180	ROLQ $0x01, R9
1181
1182	// Result b
1183	MOVQ (SP), R10
1184	MOVQ 48(SP), R11
1185	XORQ R13, R9
1186	MOVQ 96(SP), R12
1187	MOVQ 144(SP), R13
1188	MOVQ 192(SP), R14
1189	XORQ CX, R11
1190	ROLQ $0x2c, R11
1191	XORQ DX, R12
1192	XORQ BX, R10
1193	ROLQ $0x2b, R12
1194	MOVQ R11, SI
1195	MOVQ $0x0000000080000001, AX
1196	ORQ  R12, SI
1197	XORQ R10, AX
1198	XORQ AX, SI
1199	MOVQ SI, (DI)
1200	XORQ R9, R14
1201	ROLQ $0x0e, R14
1202	MOVQ R10, R15
1203	ANDQ R11, R15
1204	XORQ R14, R15
1205	MOVQ R15, 32(DI)
1206	XORQ R8, R13
1207	ROLQ $0x15, R13
1208	MOVQ R13, AX
1209	ANDQ R14, AX
1210	XORQ R12, AX
1211	MOVQ AX, 16(DI)
1212	NOTQ R12
1213	ORQ  R10, R14
1214	ORQ  R13, R12
1215	XORQ R13, R14
1216	XORQ R11, R12
1217	MOVQ R14, 24(DI)
1218	MOVQ R12, 8(DI)
1219	MOVQ R12, BP
1220
1221	// Result g
1222	MOVQ 72(SP), R11
1223	XORQ R9, R11
1224	MOVQ 80(SP), R12
1225	ROLQ $0x14, R11
1226	XORQ BX, R12
1227	ROLQ $0x03, R12
1228	MOVQ 24(SP), R10
1229	MOVQ R11, AX
1230	ORQ  R12, AX
1231	XORQ R8, R10
1232	MOVQ 128(SP), R13
1233	MOVQ 176(SP), R14
1234	ROLQ $0x1c, R10
1235	XORQ R10, AX
1236	MOVQ AX, 40(DI)
1237	XORQ AX, SI
1238	XORQ CX, R13
1239	ROLQ $0x2d, R13
1240	MOVQ R12, AX
1241	ANDQ R13, AX
1242	XORQ R11, AX
1243	MOVQ AX, 48(DI)
1244	XORQ AX, BP
1245	XORQ DX, R14
1246	ROLQ $0x3d, R14
1247	MOVQ R14, AX
1248	ORQ  R10, AX
1249	XORQ R13, AX
1250	MOVQ AX, 64(DI)
1251	ANDQ R11, R10
1252	XORQ R14, R10
1253	MOVQ R10, 72(DI)
1254	NOTQ R14
1255	XORQ R10, R15
1256	ORQ  R14, R13
1257	XORQ R12, R13
1258	MOVQ R13, 56(DI)
1259
1260	// Result k
1261	MOVQ 8(SP), R10
1262	MOVQ 56(SP), R11
1263	MOVQ 104(SP), R12
1264	MOVQ 152(SP), R13
1265	MOVQ 160(SP), R14
1266	XORQ DX, R11
1267	ROLQ $0x06, R11
1268	XORQ R8, R12
1269	ROLQ $0x19, R12
1270	MOVQ R11, AX
1271	ORQ  R12, AX
1272	XORQ CX, R10
1273	ROLQ $0x01, R10
1274	XORQ R10, AX
1275	MOVQ AX, 80(DI)
1276	XORQ AX, SI
1277	XORQ R9, R13
1278	ROLQ $0x08, R13
1279	MOVQ R12, AX
1280	ANDQ R13, AX
1281	XORQ R11, AX
1282	MOVQ AX, 88(DI)
1283	XORQ AX, BP
1284	XORQ BX, R14
1285	ROLQ $0x12, R14
1286	NOTQ R13
1287	MOVQ R13, AX
1288	ANDQ R14, AX
1289	XORQ R12, AX
1290	MOVQ AX, 96(DI)
1291	MOVQ R14, AX
1292	ORQ  R10, AX
1293	XORQ R13, AX
1294	MOVQ AX, 104(DI)
1295	ANDQ R11, R10
1296	XORQ R14, R10
1297	MOVQ R10, 112(DI)
1298	XORQ R10, R15
1299
1300	// Result m
1301	MOVQ 40(SP), R11
1302	XORQ BX, R11
1303	MOVQ 88(SP), R12
1304	ROLQ $0x24, R11
1305	XORQ CX, R12
1306	MOVQ 32(SP), R10
1307	ROLQ $0x0a, R12
1308	MOVQ R11, AX
1309	MOVQ 136(SP), R13
1310	ANDQ R12, AX
1311	XORQ R9, R10
1312	MOVQ 184(SP), R14
1313	ROLQ $0x1b, R10
1314	XORQ R10, AX
1315	MOVQ AX, 120(DI)
1316	XORQ AX, SI
1317	XORQ DX, R13
1318	ROLQ $0x0f, R13
1319	MOVQ R12, AX
1320	ORQ  R13, AX
1321	XORQ R11, AX
1322	MOVQ AX, 128(DI)
1323	XORQ AX, BP
1324	XORQ R8, R14
1325	ROLQ $0x38, R14
1326	NOTQ R13
1327	MOVQ R13, AX
1328	ORQ  R14, AX
1329	XORQ R12, AX
1330	MOVQ AX, 136(DI)
1331	ORQ  R10, R11
1332	XORQ R14, R11
1333	MOVQ R11, 152(DI)
1334	ANDQ R10, R14
1335	XORQ R13, R14
1336	MOVQ R14, 144(DI)
1337	XORQ R11, R15
1338
1339	// Result s
1340	MOVQ 16(SP), R10
1341	MOVQ 64(SP), R11
1342	MOVQ 112(SP), R12
1343	XORQ DX, R10
1344	MOVQ 120(SP), R13
1345	ROLQ $0x3e, R10
1346	XORQ R8, R11
1347	MOVQ 168(SP), R14
1348	ROLQ $0x37, R11
1349	XORQ R9, R12
1350	MOVQ R10, R9
1351	XORQ CX, R14
1352	ROLQ $0x02, R14
1353	ANDQ R11, R9
1354	XORQ R14, R9
1355	MOVQ R9, 192(DI)
1356	ROLQ $0x27, R12
1357	XORQ R9, R15
1358	NOTQ R11
1359	XORQ BX, R13
1360	MOVQ R11, BX
1361	ANDQ R12, BX
1362	XORQ R10, BX
1363	MOVQ BX, 160(DI)
1364	XORQ BX, SI
1365	ROLQ $0x29, R13
1366	MOVQ R12, CX
1367	ORQ  R13, CX
1368	XORQ R11, CX
1369	MOVQ CX, 168(DI)
1370	XORQ CX, BP
1371	MOVQ R13, DX
1372	MOVQ R14, R8
1373	ANDQ R14, DX
1374	ORQ  R10, R8
1375	XORQ R12, DX
1376	XORQ R13, R8
1377	MOVQ DX, 176(DI)
1378	MOVQ R8, 184(DI)
1379
1380	// Prepare round
1381	MOVQ BP, BX
1382	ROLQ $0x01, BX
1383	MOVQ 16(DI), R12
1384	XORQ 56(DI), DX
1385	XORQ R15, BX
1386	XORQ 96(DI), R12
1387	XORQ 136(DI), DX
1388	XORQ DX, R12
1389	MOVQ R12, CX
1390	ROLQ $0x01, CX
1391	MOVQ 24(DI), R13
1392	XORQ 64(DI), R8
1393	XORQ SI, CX
1394	XORQ 104(DI), R13
1395	XORQ 144(DI), R8
1396	XORQ R8, R13
1397	MOVQ R13, DX
1398	ROLQ $0x01, DX
1399	MOVQ R15, R8
1400	XORQ BP, DX
1401	ROLQ $0x01, R8
1402	MOVQ SI, R9
1403	XORQ R12, R8
1404	ROLQ $0x01, R9
1405
1406	// Result b
1407	MOVQ (DI), R10
1408	MOVQ 48(DI), R11
1409	XORQ R13, R9
1410	MOVQ 96(DI), R12
1411	MOVQ 144(DI), R13
1412	MOVQ 192(DI), R14
1413	XORQ CX, R11
1414	ROLQ $0x2c, R11
1415	XORQ DX, R12
1416	XORQ BX, R10
1417	ROLQ $0x2b, R12
1418	MOVQ R11, SI
1419	MOVQ $0x8000000080008081, AX
1420	ORQ  R12, SI
1421	XORQ R10, AX
1422	XORQ AX, SI
1423	MOVQ SI, (SP)
1424	XORQ R9, R14
1425	ROLQ $0x0e, R14
1426	MOVQ R10, R15
1427	ANDQ R11, R15
1428	XORQ R14, R15
1429	MOVQ R15, 32(SP)
1430	XORQ R8, R13
1431	ROLQ $0x15, R13
1432	MOVQ R13, AX
1433	ANDQ R14, AX
1434	XORQ R12, AX
1435	MOVQ AX, 16(SP)
1436	NOTQ R12
1437	ORQ  R10, R14
1438	ORQ  R13, R12
1439	XORQ R13, R14
1440	XORQ R11, R12
1441	MOVQ R14, 24(SP)
1442	MOVQ R12, 8(SP)
1443	MOVQ R12, BP
1444
1445	// Result g
1446	MOVQ 72(DI), R11
1447	XORQ R9, R11
1448	MOVQ 80(DI), R12
1449	ROLQ $0x14, R11
1450	XORQ BX, R12
1451	ROLQ $0x03, R12
1452	MOVQ 24(DI), R10
1453	MOVQ R11, AX
1454	ORQ  R12, AX
1455	XORQ R8, R10
1456	MOVQ 128(DI), R13
1457	MOVQ 176(DI), R14
1458	ROLQ $0x1c, R10
1459	XORQ R10, AX
1460	MOVQ AX, 40(SP)
1461	XORQ AX, SI
1462	XORQ CX, R13
1463	ROLQ $0x2d, R13
1464	MOVQ R12, AX
1465	ANDQ R13, AX
1466	XORQ R11, AX
1467	MOVQ AX, 48(SP)
1468	XORQ AX, BP
1469	XORQ DX, R14
1470	ROLQ $0x3d, R14
1471	MOVQ R14, AX
1472	ORQ  R10, AX
1473	XORQ R13, AX
1474	MOVQ AX, 64(SP)
1475	ANDQ R11, R10
1476	XORQ R14, R10
1477	MOVQ R10, 72(SP)
1478	NOTQ R14
1479	XORQ R10, R15
1480	ORQ  R14, R13
1481	XORQ R12, R13
1482	MOVQ R13, 56(SP)
1483
1484	// Result k
1485	MOVQ 8(DI), R10
1486	MOVQ 56(DI), R11
1487	MOVQ 104(DI), R12
1488	MOVQ 152(DI), R13
1489	MOVQ 160(DI), R14
1490	XORQ DX, R11
1491	ROLQ $0x06, R11
1492	XORQ R8, R12
1493	ROLQ $0x19, R12
1494	MOVQ R11, AX
1495	ORQ  R12, AX
1496	XORQ CX, R10
1497	ROLQ $0x01, R10
1498	XORQ R10, AX
1499	MOVQ AX, 80(SP)
1500	XORQ AX, SI
1501	XORQ R9, R13
1502	ROLQ $0x08, R13
1503	MOVQ R12, AX
1504	ANDQ R13, AX
1505	XORQ R11, AX
1506	MOVQ AX, 88(SP)
1507	XORQ AX, BP
1508	XORQ BX, R14
1509	ROLQ $0x12, R14
1510	NOTQ R13
1511	MOVQ R13, AX
1512	ANDQ R14, AX
1513	XORQ R12, AX
1514	MOVQ AX, 96(SP)
1515	MOVQ R14, AX
1516	ORQ  R10, AX
1517	XORQ R13, AX
1518	MOVQ AX, 104(SP)
1519	ANDQ R11, R10
1520	XORQ R14, R10
1521	MOVQ R10, 112(SP)
1522	XORQ R10, R15
1523
1524	// Result m
1525	MOVQ 40(DI), R11
1526	XORQ BX, R11
1527	MOVQ 88(DI), R12
1528	ROLQ $0x24, R11
1529	XORQ CX, R12
1530	MOVQ 32(DI), R10
1531	ROLQ $0x0a, R12
1532	MOVQ R11, AX
1533	MOVQ 136(DI), R13
1534	ANDQ R12, AX
1535	XORQ R9, R10
1536	MOVQ 184(DI), R14
1537	ROLQ $0x1b, R10
1538	XORQ R10, AX
1539	MOVQ AX, 120(SP)
1540	XORQ AX, SI
1541	XORQ DX, R13
1542	ROLQ $0x0f, R13
1543	MOVQ R12, AX
1544	ORQ  R13, AX
1545	XORQ R11, AX
1546	MOVQ AX, 128(SP)
1547	XORQ AX, BP
1548	XORQ R8, R14
1549	ROLQ $0x38, R14
1550	NOTQ R13
1551	MOVQ R13, AX
1552	ORQ  R14, AX
1553	XORQ R12, AX
1554	MOVQ AX, 136(SP)
1555	ORQ  R10, R11
1556	XORQ R14, R11
1557	MOVQ R11, 152(SP)
1558	ANDQ R10, R14
1559	XORQ R13, R14
1560	MOVQ R14, 144(SP)
1561	XORQ R11, R15
1562
1563	// Result s
1564	MOVQ 16(DI), R10
1565	MOVQ 64(DI), R11
1566	MOVQ 112(DI), R12
1567	XORQ DX, R10
1568	MOVQ 120(DI), R13
1569	ROLQ $0x3e, R10
1570	XORQ R8, R11
1571	MOVQ 168(DI), R14
1572	ROLQ $0x37, R11
1573	XORQ R9, R12
1574	MOVQ R10, R9
1575	XORQ CX, R14
1576	ROLQ $0x02, R14
1577	ANDQ R11, R9
1578	XORQ R14, R9
1579	MOVQ R9, 192(SP)
1580	ROLQ $0x27, R12
1581	XORQ R9, R15
1582	NOTQ R11
1583	XORQ BX, R13
1584	MOVQ R11, BX
1585	ANDQ R12, BX
1586	XORQ R10, BX
1587	MOVQ BX, 160(SP)
1588	XORQ BX, SI
1589	ROLQ $0x29, R13
1590	MOVQ R12, CX
1591	ORQ  R13, CX
1592	XORQ R11, CX
1593	MOVQ CX, 168(SP)
1594	XORQ CX, BP
1595	MOVQ R13, DX
1596	MOVQ R14, R8
1597	ANDQ R14, DX
1598	ORQ  R10, R8
1599	XORQ R12, DX
1600	XORQ R13, R8
1601	MOVQ DX, 176(SP)
1602	MOVQ R8, 184(SP)
1603
1604	// Prepare round
1605	MOVQ BP, BX
1606	ROLQ $0x01, BX
1607	MOVQ 16(SP), R12
1608	XORQ 56(SP), DX
1609	XORQ R15, BX
1610	XORQ 96(SP), R12
1611	XORQ 136(SP), DX
1612	XORQ DX, R12
1613	MOVQ R12, CX
1614	ROLQ $0x01, CX
1615	MOVQ 24(SP), R13
1616	XORQ 64(SP), R8
1617	XORQ SI, CX
1618	XORQ 104(SP), R13
1619	XORQ 144(SP), R8
1620	XORQ R8, R13
1621	MOVQ R13, DX
1622	ROLQ $0x01, DX
1623	MOVQ R15, R8
1624	XORQ BP, DX
1625	ROLQ $0x01, R8
1626	MOVQ SI, R9
1627	XORQ R12, R8
1628	ROLQ $0x01, R9
1629
1630	// Result b
1631	MOVQ (SP), R10
1632	MOVQ 48(SP), R11
1633	XORQ R13, R9
1634	MOVQ 96(SP), R12
1635	MOVQ 144(SP), R13
1636	MOVQ 192(SP), R14
1637	XORQ CX, R11
1638	ROLQ $0x2c, R11
1639	XORQ DX, R12
1640	XORQ BX, R10
1641	ROLQ $0x2b, R12
1642	MOVQ R11, SI
1643	MOVQ $0x8000000000008009, AX
1644	ORQ  R12, SI
1645	XORQ R10, AX
1646	XORQ AX, SI
1647	MOVQ SI, (DI)
1648	XORQ R9, R14
1649	ROLQ $0x0e, R14
1650	MOVQ R10, R15
1651	ANDQ R11, R15
1652	XORQ R14, R15
1653	MOVQ R15, 32(DI)
1654	XORQ R8, R13
1655	ROLQ $0x15, R13
1656	MOVQ R13, AX
1657	ANDQ R14, AX
1658	XORQ R12, AX
1659	MOVQ AX, 16(DI)
1660	NOTQ R12
1661	ORQ  R10, R14
1662	ORQ  R13, R12
1663	XORQ R13, R14
1664	XORQ R11, R12
1665	MOVQ R14, 24(DI)
1666	MOVQ R12, 8(DI)
1667	MOVQ R12, BP
1668
1669	// Result g
1670	MOVQ 72(SP), R11
1671	XORQ R9, R11
1672	MOVQ 80(SP), R12
1673	ROLQ $0x14, R11
1674	XORQ BX, R12
1675	ROLQ $0x03, R12
1676	MOVQ 24(SP), R10
1677	MOVQ R11, AX
1678	ORQ  R12, AX
1679	XORQ R8, R10
1680	MOVQ 128(SP), R13
1681	MOVQ 176(SP), R14
1682	ROLQ $0x1c, R10
1683	XORQ R10, AX
1684	MOVQ AX, 40(DI)
1685	XORQ AX, SI
1686	XORQ CX, R13
1687	ROLQ $0x2d, R13
1688	MOVQ R12, AX
1689	ANDQ R13, AX
1690	XORQ R11, AX
1691	MOVQ AX, 48(DI)
1692	XORQ AX, BP
1693	XORQ DX, R14
1694	ROLQ $0x3d, R14
1695	MOVQ R14, AX
1696	ORQ  R10, AX
1697	XORQ R13, AX
1698	MOVQ AX, 64(DI)
1699	ANDQ R11, R10
1700	XORQ R14, R10
1701	MOVQ R10, 72(DI)
1702	NOTQ R14
1703	XORQ R10, R15
1704	ORQ  R14, R13
1705	XORQ R12, R13
1706	MOVQ R13, 56(DI)
1707
1708	// Result k
1709	MOVQ 8(SP), R10
1710	MOVQ 56(SP), R11
1711	MOVQ 104(SP), R12
1712	MOVQ 152(SP), R13
1713	MOVQ 160(SP), R14
1714	XORQ DX, R11
1715	ROLQ $0x06, R11
1716	XORQ R8, R12
1717	ROLQ $0x19, R12
1718	MOVQ R11, AX
1719	ORQ  R12, AX
1720	XORQ CX, R10
1721	ROLQ $0x01, R10
1722	XORQ R10, AX
1723	MOVQ AX, 80(DI)
1724	XORQ AX, SI
1725	XORQ R9, R13
1726	ROLQ $0x08, R13
1727	MOVQ R12, AX
1728	ANDQ R13, AX
1729	XORQ R11, AX
1730	MOVQ AX, 88(DI)
1731	XORQ AX, BP
1732	XORQ BX, R14
1733	ROLQ $0x12, R14
1734	NOTQ R13
1735	MOVQ R13, AX
1736	ANDQ R14, AX
1737	XORQ R12, AX
1738	MOVQ AX, 96(DI)
1739	MOVQ R14, AX
1740	ORQ  R10, AX
1741	XORQ R13, AX
1742	MOVQ AX, 104(DI)
1743	ANDQ R11, R10
1744	XORQ R14, R10
1745	MOVQ R10, 112(DI)
1746	XORQ R10, R15
1747
1748	// Result m
1749	MOVQ 40(SP), R11
1750	XORQ BX, R11
1751	MOVQ 88(SP), R12
1752	ROLQ $0x24, R11
1753	XORQ CX, R12
1754	MOVQ 32(SP), R10
1755	ROLQ $0x0a, R12
1756	MOVQ R11, AX
1757	MOVQ 136(SP), R13
1758	ANDQ R12, AX
1759	XORQ R9, R10
1760	MOVQ 184(SP), R14
1761	ROLQ $0x1b, R10
1762	XORQ R10, AX
1763	MOVQ AX, 120(DI)
1764	XORQ AX, SI
1765	XORQ DX, R13
1766	ROLQ $0x0f, R13
1767	MOVQ R12, AX
1768	ORQ  R13, AX
1769	XORQ R11, AX
1770	MOVQ AX, 128(DI)
1771	XORQ AX, BP
1772	XORQ R8, R14
1773	ROLQ $0x38, R14
1774	NOTQ R13
1775	MOVQ R13, AX
1776	ORQ  R14, AX
1777	XORQ R12, AX
1778	MOVQ AX, 136(DI)
1779	ORQ  R10, R11
1780	XORQ R14, R11
1781	MOVQ R11, 152(DI)
1782	ANDQ R10, R14
1783	XORQ R13, R14
1784	MOVQ R14, 144(DI)
1785	XORQ R11, R15
1786
1787	// Result s
1788	MOVQ 16(SP), R10
1789	MOVQ 64(SP), R11
1790	MOVQ 112(SP), R12
1791	XORQ DX, R10
1792	MOVQ 120(SP), R13
1793	ROLQ $0x3e, R10
1794	XORQ R8, R11
1795	MOVQ 168(SP), R14
1796	ROLQ $0x37, R11
1797	XORQ R9, R12
1798	MOVQ R10, R9
1799	XORQ CX, R14
1800	ROLQ $0x02, R14
1801	ANDQ R11, R9
1802	XORQ R14, R9
1803	MOVQ R9, 192(DI)
1804	ROLQ $0x27, R12
1805	XORQ R9, R15
1806	NOTQ R11
1807	XORQ BX, R13
1808	MOVQ R11, BX
1809	ANDQ R12, BX
1810	XORQ R10, BX
1811	MOVQ BX, 160(DI)
1812	XORQ BX, SI
1813	ROLQ $0x29, R13
1814	MOVQ R12, CX
1815	ORQ  R13, CX
1816	XORQ R11, CX
1817	MOVQ CX, 168(DI)
1818	XORQ CX, BP
1819	MOVQ R13, DX
1820	MOVQ R14, R8
1821	ANDQ R14, DX
1822	ORQ  R10, R8
1823	XORQ R12, DX
1824	XORQ R13, R8
1825	MOVQ DX, 176(DI)
1826	MOVQ R8, 184(DI)
1827
1828	// Prepare round
1829	MOVQ BP, BX
1830	ROLQ $0x01, BX
1831	MOVQ 16(DI), R12
1832	XORQ 56(DI), DX
1833	XORQ R15, BX
1834	XORQ 96(DI), R12
1835	XORQ 136(DI), DX
1836	XORQ DX, R12
1837	MOVQ R12, CX
1838	ROLQ $0x01, CX
1839	MOVQ 24(DI), R13
1840	XORQ 64(DI), R8
1841	XORQ SI, CX
1842	XORQ 104(DI), R13
1843	XORQ 144(DI), R8
1844	XORQ R8, R13
1845	MOVQ R13, DX
1846	ROLQ $0x01, DX
1847	MOVQ R15, R8
1848	XORQ BP, DX
1849	ROLQ $0x01, R8
1850	MOVQ SI, R9
1851	XORQ R12, R8
1852	ROLQ $0x01, R9
1853
1854	// Result b
1855	MOVQ (DI), R10
1856	MOVQ 48(DI), R11
1857	XORQ R13, R9
1858	MOVQ 96(DI), R12
1859	MOVQ 144(DI), R13
1860	MOVQ 192(DI), R14
1861	XORQ CX, R11
1862	ROLQ $0x2c, R11
1863	XORQ DX, R12
1864	XORQ BX, R10
1865	ROLQ $0x2b, R12
1866	MOVQ R11, SI
1867	MOVQ $0x000000000000008a, AX
1868	ORQ  R12, SI
1869	XORQ R10, AX
1870	XORQ AX, SI
1871	MOVQ SI, (SP)
1872	XORQ R9, R14
1873	ROLQ $0x0e, R14
1874	MOVQ R10, R15
1875	ANDQ R11, R15
1876	XORQ R14, R15
1877	MOVQ R15, 32(SP)
1878	XORQ R8, R13
1879	ROLQ $0x15, R13
1880	MOVQ R13, AX
1881	ANDQ R14, AX
1882	XORQ R12, AX
1883	MOVQ AX, 16(SP)
1884	NOTQ R12
1885	ORQ  R10, R14
1886	ORQ  R13, R12
1887	XORQ R13, R14
1888	XORQ R11, R12
1889	MOVQ R14, 24(SP)
1890	MOVQ R12, 8(SP)
1891	MOVQ R12, BP
1892
1893	// Result g
1894	MOVQ 72(DI), R11
1895	XORQ R9, R11
1896	MOVQ 80(DI), R12
1897	ROLQ $0x14, R11
1898	XORQ BX, R12
1899	ROLQ $0x03, R12
1900	MOVQ 24(DI), R10
1901	MOVQ R11, AX
1902	ORQ  R12, AX
1903	XORQ R8, R10
1904	MOVQ 128(DI), R13
1905	MOVQ 176(DI), R14
1906	ROLQ $0x1c, R10
1907	XORQ R10, AX
1908	MOVQ AX, 40(SP)
1909	XORQ AX, SI
1910	XORQ CX, R13
1911	ROLQ $0x2d, R13
1912	MOVQ R12, AX
1913	ANDQ R13, AX
1914	XORQ R11, AX
1915	MOVQ AX, 48(SP)
1916	XORQ AX, BP
1917	XORQ DX, R14
1918	ROLQ $0x3d, R14
1919	MOVQ R14, AX
1920	ORQ  R10, AX
1921	XORQ R13, AX
1922	MOVQ AX, 64(SP)
1923	ANDQ R11, R10
1924	XORQ R14, R10
1925	MOVQ R10, 72(SP)
1926	NOTQ R14
1927	XORQ R10, R15
1928	ORQ  R14, R13
1929	XORQ R12, R13
1930	MOVQ R13, 56(SP)
1931
1932	// Result k
1933	MOVQ 8(DI), R10
1934	MOVQ 56(DI), R11
1935	MOVQ 104(DI), R12
1936	MOVQ 152(DI), R13
1937	MOVQ 160(DI), R14
1938	XORQ DX, R11
1939	ROLQ $0x06, R11
1940	XORQ R8, R12
1941	ROLQ $0x19, R12
1942	MOVQ R11, AX
1943	ORQ  R12, AX
1944	XORQ CX, R10
1945	ROLQ $0x01, R10
1946	XORQ R10, AX
1947	MOVQ AX, 80(SP)
1948	XORQ AX, SI
1949	XORQ R9, R13
1950	ROLQ $0x08, R13
1951	MOVQ R12, AX
1952	ANDQ R13, AX
1953	XORQ R11, AX
1954	MOVQ AX, 88(SP)
1955	XORQ AX, BP
1956	XORQ BX, R14
1957	ROLQ $0x12, R14
1958	NOTQ R13
1959	MOVQ R13, AX
1960	ANDQ R14, AX
1961	XORQ R12, AX
1962	MOVQ AX, 96(SP)
1963	MOVQ R14, AX
1964	ORQ  R10, AX
1965	XORQ R13, AX
1966	MOVQ AX, 104(SP)
1967	ANDQ R11, R10
1968	XORQ R14, R10
1969	MOVQ R10, 112(SP)
1970	XORQ R10, R15
1971
1972	// Result m
1973	MOVQ 40(DI), R11
1974	XORQ BX, R11
1975	MOVQ 88(DI), R12
1976	ROLQ $0x24, R11
1977	XORQ CX, R12
1978	MOVQ 32(DI), R10
1979	ROLQ $0x0a, R12
1980	MOVQ R11, AX
1981	MOVQ 136(DI), R13
1982	ANDQ R12, AX
1983	XORQ R9, R10
1984	MOVQ 184(DI), R14
1985	ROLQ $0x1b, R10
1986	XORQ R10, AX
1987	MOVQ AX, 120(SP)
1988	XORQ AX, SI
1989	XORQ DX, R13
1990	ROLQ $0x0f, R13
1991	MOVQ R12, AX
1992	ORQ  R13, AX
1993	XORQ R11, AX
1994	MOVQ AX, 128(SP)
1995	XORQ AX, BP
1996	XORQ R8, R14
1997	ROLQ $0x38, R14
1998	NOTQ R13
1999	MOVQ R13, AX
2000	ORQ  R14, AX
2001	XORQ R12, AX
2002	MOVQ AX, 136(SP)
2003	ORQ  R10, R11
2004	XORQ R14, R11
2005	MOVQ R11, 152(SP)
2006	ANDQ R10, R14
2007	XORQ R13, R14
2008	MOVQ R14, 144(SP)
2009	XORQ R11, R15
2010
2011	// Result s
2012	MOVQ 16(DI), R10
2013	MOVQ 64(DI), R11
2014	MOVQ 112(DI), R12
2015	XORQ DX, R10
2016	MOVQ 120(DI), R13
2017	ROLQ $0x3e, R10
2018	XORQ R8, R11
2019	MOVQ 168(DI), R14
2020	ROLQ $0x37, R11
2021	XORQ R9, R12
2022	MOVQ R10, R9
2023	XORQ CX, R14
2024	ROLQ $0x02, R14
2025	ANDQ R11, R9
2026	XORQ R14, R9
2027	MOVQ R9, 192(SP)
2028	ROLQ $0x27, R12
2029	XORQ R9, R15
2030	NOTQ R11
2031	XORQ BX, R13
2032	MOVQ R11, BX
2033	ANDQ R12, BX
2034	XORQ R10, BX
2035	MOVQ BX, 160(SP)
2036	XORQ BX, SI
2037	ROLQ $0x29, R13
2038	MOVQ R12, CX
2039	ORQ  R13, CX
2040	XORQ R11, CX
2041	MOVQ CX, 168(SP)
2042	XORQ CX, BP
2043	MOVQ R13, DX
2044	MOVQ R14, R8
2045	ANDQ R14, DX
2046	ORQ  R10, R8
2047	XORQ R12, DX
2048	XORQ R13, R8
2049	MOVQ DX, 176(SP)
2050	MOVQ R8, 184(SP)
2051
2052	// Prepare round
2053	MOVQ BP, BX
2054	ROLQ $0x01, BX
2055	MOVQ 16(SP), R12
2056	XORQ 56(SP), DX
2057	XORQ R15, BX
2058	XORQ 96(SP), R12
2059	XORQ 136(SP), DX
2060	XORQ DX, R12
2061	MOVQ R12, CX
2062	ROLQ $0x01, CX
2063	MOVQ 24(SP), R13
2064	XORQ 64(SP), R8
2065	XORQ SI, CX
2066	XORQ 104(SP), R13
2067	XORQ 144(SP), R8
2068	XORQ R8, R13
2069	MOVQ R13, DX
2070	ROLQ $0x01, DX
2071	MOVQ R15, R8
2072	XORQ BP, DX
2073	ROLQ $0x01, R8
2074	MOVQ SI, R9
2075	XORQ R12, R8
2076	ROLQ $0x01, R9
2077
2078	// Result b
2079	MOVQ (SP), R10
2080	MOVQ 48(SP), R11
2081	XORQ R13, R9
2082	MOVQ 96(SP), R12
2083	MOVQ 144(SP), R13
2084	MOVQ 192(SP), R14
2085	XORQ CX, R11
2086	ROLQ $0x2c, R11
2087	XORQ DX, R12
2088	XORQ BX, R10
2089	ROLQ $0x2b, R12
2090	MOVQ R11, SI
2091	MOVQ $0x0000000000000088, AX
2092	ORQ  R12, SI
2093	XORQ R10, AX
2094	XORQ AX, SI
2095	MOVQ SI, (DI)
2096	XORQ R9, R14
2097	ROLQ $0x0e, R14
2098	MOVQ R10, R15
2099	ANDQ R11, R15
2100	XORQ R14, R15
2101	MOVQ R15, 32(DI)
2102	XORQ R8, R13
2103	ROLQ $0x15, R13
2104	MOVQ R13, AX
2105	ANDQ R14, AX
2106	XORQ R12, AX
2107	MOVQ AX, 16(DI)
2108	NOTQ R12
2109	ORQ  R10, R14
2110	ORQ  R13, R12
2111	XORQ R13, R14
2112	XORQ R11, R12
2113	MOVQ R14, 24(DI)
2114	MOVQ R12, 8(DI)
2115	MOVQ R12, BP
2116
2117	// Result g
2118	MOVQ 72(SP), R11
2119	XORQ R9, R11
2120	MOVQ 80(SP), R12
2121	ROLQ $0x14, R11
2122	XORQ BX, R12
2123	ROLQ $0x03, R12
2124	MOVQ 24(SP), R10
2125	MOVQ R11, AX
2126	ORQ  R12, AX
2127	XORQ R8, R10
2128	MOVQ 128(SP), R13
2129	MOVQ 176(SP), R14
2130	ROLQ $0x1c, R10
2131	XORQ R10, AX
2132	MOVQ AX, 40(DI)
2133	XORQ AX, SI
2134	XORQ CX, R13
2135	ROLQ $0x2d, R13
2136	MOVQ R12, AX
2137	ANDQ R13, AX
2138	XORQ R11, AX
2139	MOVQ AX, 48(DI)
2140	XORQ AX, BP
2141	XORQ DX, R14
2142	ROLQ $0x3d, R14
2143	MOVQ R14, AX
2144	ORQ  R10, AX
2145	XORQ R13, AX
2146	MOVQ AX, 64(DI)
2147	ANDQ R11, R10
2148	XORQ R14, R10
2149	MOVQ R10, 72(DI)
2150	NOTQ R14
2151	XORQ R10, R15
2152	ORQ  R14, R13
2153	XORQ R12, R13
2154	MOVQ R13, 56(DI)
2155
2156	// Result k
2157	MOVQ 8(SP), R10
2158	MOVQ 56(SP), R11
2159	MOVQ 104(SP), R12
2160	MOVQ 152(SP), R13
2161	MOVQ 160(SP), R14
2162	XORQ DX, R11
2163	ROLQ $0x06, R11
2164	XORQ R8, R12
2165	ROLQ $0x19, R12
2166	MOVQ R11, AX
2167	ORQ  R12, AX
2168	XORQ CX, R10
2169	ROLQ $0x01, R10
2170	XORQ R10, AX
2171	MOVQ AX, 80(DI)
2172	XORQ AX, SI
2173	XORQ R9, R13
2174	ROLQ $0x08, R13
2175	MOVQ R12, AX
2176	ANDQ R13, AX
2177	XORQ R11, AX
2178	MOVQ AX, 88(DI)
2179	XORQ AX, BP
2180	XORQ BX, R14
2181	ROLQ $0x12, R14
2182	NOTQ R13
2183	MOVQ R13, AX
2184	ANDQ R14, AX
2185	XORQ R12, AX
2186	MOVQ AX, 96(DI)
2187	MOVQ R14, AX
2188	ORQ  R10, AX
2189	XORQ R13, AX
2190	MOVQ AX, 104(DI)
2191	ANDQ R11, R10
2192	XORQ R14, R10
2193	MOVQ R10, 112(DI)
2194	XORQ R10, R15
2195
2196	// Result m
2197	MOVQ 40(SP), R11
2198	XORQ BX, R11
2199	MOVQ 88(SP), R12
2200	ROLQ $0x24, R11
2201	XORQ CX, R12
2202	MOVQ 32(SP), R10
2203	ROLQ $0x0a, R12
2204	MOVQ R11, AX
2205	MOVQ 136(SP), R13
2206	ANDQ R12, AX
2207	XORQ R9, R10
2208	MOVQ 184(SP), R14
2209	ROLQ $0x1b, R10
2210	XORQ R10, AX
2211	MOVQ AX, 120(DI)
2212	XORQ AX, SI
2213	XORQ DX, R13
2214	ROLQ $0x0f, R13
2215	MOVQ R12, AX
2216	ORQ  R13, AX
2217	XORQ R11, AX
2218	MOVQ AX, 128(DI)
2219	XORQ AX, BP
2220	XORQ R8, R14
2221	ROLQ $0x38, R14
2222	NOTQ R13
2223	MOVQ R13, AX
2224	ORQ  R14, AX
2225	XORQ R12, AX
2226	MOVQ AX, 136(DI)
2227	ORQ  R10, R11
2228	XORQ R14, R11
2229	MOVQ R11, 152(DI)
2230	ANDQ R10, R14
2231	XORQ R13, R14
2232	MOVQ R14, 144(DI)
2233	XORQ R11, R15
2234
2235	// Result s
2236	MOVQ 16(SP), R10
2237	MOVQ 64(SP), R11
2238	MOVQ 112(SP), R12
2239	XORQ DX, R10
2240	MOVQ 120(SP), R13
2241	ROLQ $0x3e, R10
2242	XORQ R8, R11
2243	MOVQ 168(SP), R14
2244	ROLQ $0x37, R11
2245	XORQ R9, R12
2246	MOVQ R10, R9
2247	XORQ CX, R14
2248	ROLQ $0x02, R14
2249	ANDQ R11, R9
2250	XORQ R14, R9
2251	MOVQ R9, 192(DI)
2252	ROLQ $0x27, R12
2253	XORQ R9, R15
2254	NOTQ R11
2255	XORQ BX, R13
2256	MOVQ R11, BX
2257	ANDQ R12, BX
2258	XORQ R10, BX
2259	MOVQ BX, 160(DI)
2260	XORQ BX, SI
2261	ROLQ $0x29, R13
2262	MOVQ R12, CX
2263	ORQ  R13, CX
2264	XORQ R11, CX
2265	MOVQ CX, 168(DI)
2266	XORQ CX, BP
2267	MOVQ R13, DX
2268	MOVQ R14, R8
2269	ANDQ R14, DX
2270	ORQ  R10, R8
2271	XORQ R12, DX
2272	XORQ R13, R8
2273	MOVQ DX, 176(DI)
2274	MOVQ R8, 184(DI)
2275
2276	// Prepare round
2277	MOVQ BP, BX
2278	ROLQ $0x01, BX
2279	MOVQ 16(DI), R12
2280	XORQ 56(DI), DX
2281	XORQ R15, BX
2282	XORQ 96(DI), R12
2283	XORQ 136(DI), DX
2284	XORQ DX, R12
2285	MOVQ R12, CX
2286	ROLQ $0x01, CX
2287	MOVQ 24(DI), R13
2288	XORQ 64(DI), R8
2289	XORQ SI, CX
2290	XORQ 104(DI), R13
2291	XORQ 144(DI), R8
2292	XORQ R8, R13
2293	MOVQ R13, DX
2294	ROLQ $0x01, DX
2295	MOVQ R15, R8
2296	XORQ BP, DX
2297	ROLQ $0x01, R8
2298	MOVQ SI, R9
2299	XORQ R12, R8
2300	ROLQ $0x01, R9
2301
2302	// Result b
2303	MOVQ (DI), R10
2304	MOVQ 48(DI), R11
2305	XORQ R13, R9
2306	MOVQ 96(DI), R12
2307	MOVQ 144(DI), R13
2308	MOVQ 192(DI), R14
2309	XORQ CX, R11
2310	ROLQ $0x2c, R11
2311	XORQ DX, R12
2312	XORQ BX, R10
2313	ROLQ $0x2b, R12
2314	MOVQ R11, SI
2315	MOVQ $0x0000000080008009, AX
2316	ORQ  R12, SI
2317	XORQ R10, AX
2318	XORQ AX, SI
2319	MOVQ SI, (SP)
2320	XORQ R9, R14
2321	ROLQ $0x0e, R14
2322	MOVQ R10, R15
2323	ANDQ R11, R15
2324	XORQ R14, R15
2325	MOVQ R15, 32(SP)
2326	XORQ R8, R13
2327	ROLQ $0x15, R13
2328	MOVQ R13, AX
2329	ANDQ R14, AX
2330	XORQ R12, AX
2331	MOVQ AX, 16(SP)
2332	NOTQ R12
2333	ORQ  R10, R14
2334	ORQ  R13, R12
2335	XORQ R13, R14
2336	XORQ R11, R12
2337	MOVQ R14, 24(SP)
2338	MOVQ R12, 8(SP)
2339	MOVQ R12, BP
2340
2341	// Result g
2342	MOVQ 72(DI), R11
2343	XORQ R9, R11
2344	MOVQ 80(DI), R12
2345	ROLQ $0x14, R11
2346	XORQ BX, R12
2347	ROLQ $0x03, R12
2348	MOVQ 24(DI), R10
2349	MOVQ R11, AX
2350	ORQ  R12, AX
2351	XORQ R8, R10
2352	MOVQ 128(DI), R13
2353	MOVQ 176(DI), R14
2354	ROLQ $0x1c, R10
2355	XORQ R10, AX
2356	MOVQ AX, 40(SP)
2357	XORQ AX, SI
2358	XORQ CX, R13
2359	ROLQ $0x2d, R13
2360	MOVQ R12, AX
2361	ANDQ R13, AX
2362	XORQ R11, AX
2363	MOVQ AX, 48(SP)
2364	XORQ AX, BP
2365	XORQ DX, R14
2366	ROLQ $0x3d, R14
2367	MOVQ R14, AX
2368	ORQ  R10, AX
2369	XORQ R13, AX
2370	MOVQ AX, 64(SP)
2371	ANDQ R11, R10
2372	XORQ R14, R10
2373	MOVQ R10, 72(SP)
2374	NOTQ R14
2375	XORQ R10, R15
2376	ORQ  R14, R13
2377	XORQ R12, R13
2378	MOVQ R13, 56(SP)
2379
2380	// Result k
2381	MOVQ 8(DI), R10
2382	MOVQ 56(DI), R11
2383	MOVQ 104(DI), R12
2384	MOVQ 152(DI), R13
2385	MOVQ 160(DI), R14
2386	XORQ DX, R11
2387	ROLQ $0x06, R11
2388	XORQ R8, R12
2389	ROLQ $0x19, R12
2390	MOVQ R11, AX
2391	ORQ  R12, AX
2392	XORQ CX, R10
2393	ROLQ $0x01, R10
2394	XORQ R10, AX
2395	MOVQ AX, 80(SP)
2396	XORQ AX, SI
2397	XORQ R9, R13
2398	ROLQ $0x08, R13
2399	MOVQ R12, AX
2400	ANDQ R13, AX
2401	XORQ R11, AX
2402	MOVQ AX, 88(SP)
2403	XORQ AX, BP
2404	XORQ BX, R14
2405	ROLQ $0x12, R14
2406	NOTQ R13
2407	MOVQ R13, AX
2408	ANDQ R14, AX
2409	XORQ R12, AX
2410	MOVQ AX, 96(SP)
2411	MOVQ R14, AX
2412	ORQ  R10, AX
2413	XORQ R13, AX
2414	MOVQ AX, 104(SP)
2415	ANDQ R11, R10
2416	XORQ R14, R10
2417	MOVQ R10, 112(SP)
2418	XORQ R10, R15
2419
2420	// Result m
2421	MOVQ 40(DI), R11
2422	XORQ BX, R11
2423	MOVQ 88(DI), R12
2424	ROLQ $0x24, R11
2425	XORQ CX, R12
2426	MOVQ 32(DI), R10
2427	ROLQ $0x0a, R12
2428	MOVQ R11, AX
2429	MOVQ 136(DI), R13
2430	ANDQ R12, AX
2431	XORQ R9, R10
2432	MOVQ 184(DI), R14
2433	ROLQ $0x1b, R10
2434	XORQ R10, AX
2435	MOVQ AX, 120(SP)
2436	XORQ AX, SI
2437	XORQ DX, R13
2438	ROLQ $0x0f, R13
2439	MOVQ R12, AX
2440	ORQ  R13, AX
2441	XORQ R11, AX
2442	MOVQ AX, 128(SP)
2443	XORQ AX, BP
2444	XORQ R8, R14
2445	ROLQ $0x38, R14
2446	NOTQ R13
2447	MOVQ R13, AX
2448	ORQ  R14, AX
2449	XORQ R12, AX
2450	MOVQ AX, 136(SP)
2451	ORQ  R10, R11
2452	XORQ R14, R11
2453	MOVQ R11, 152(SP)
2454	ANDQ R10, R14
2455	XORQ R13, R14
2456	MOVQ R14, 144(SP)
2457	XORQ R11, R15
2458
2459	// Result s
2460	MOVQ 16(DI), R10
2461	MOVQ 64(DI), R11
2462	MOVQ 112(DI), R12
2463	XORQ DX, R10
2464	MOVQ 120(DI), R13
2465	ROLQ $0x3e, R10
2466	XORQ R8, R11
2467	MOVQ 168(DI), R14
2468	ROLQ $0x37, R11
2469	XORQ R9, R12
2470	MOVQ R10, R9
2471	XORQ CX, R14
2472	ROLQ $0x02, R14
2473	ANDQ R11, R9
2474	XORQ R14, R9
2475	MOVQ R9, 192(SP)
2476	ROLQ $0x27, R12
2477	XORQ R9, R15
2478	NOTQ R11
2479	XORQ BX, R13
2480	MOVQ R11, BX
2481	ANDQ R12, BX
2482	XORQ R10, BX
2483	MOVQ BX, 160(SP)
2484	XORQ BX, SI
2485	ROLQ $0x29, R13
2486	MOVQ R12, CX
2487	ORQ  R13, CX
2488	XORQ R11, CX
2489	MOVQ CX, 168(SP)
2490	XORQ CX, BP
2491	MOVQ R13, DX
2492	MOVQ R14, R8
2493	ANDQ R14, DX
2494	ORQ  R10, R8
2495	XORQ R12, DX
2496	XORQ R13, R8
2497	MOVQ DX, 176(SP)
2498	MOVQ R8, 184(SP)
2499
2500	// Prepare round
2501	MOVQ BP, BX
2502	ROLQ $0x01, BX
2503	MOVQ 16(SP), R12
2504	XORQ 56(SP), DX
2505	XORQ R15, BX
2506	XORQ 96(SP), R12
2507	XORQ 136(SP), DX
2508	XORQ DX, R12
2509	MOVQ R12, CX
2510	ROLQ $0x01, CX
2511	MOVQ 24(SP), R13
2512	XORQ 64(SP), R8
2513	XORQ SI, CX
2514	XORQ 104(SP), R13
2515	XORQ 144(SP), R8
2516	XORQ R8, R13
2517	MOVQ R13, DX
2518	ROLQ $0x01, DX
2519	MOVQ R15, R8
2520	XORQ BP, DX
2521	ROLQ $0x01, R8
2522	MOVQ SI, R9
2523	XORQ R12, R8
2524	ROLQ $0x01, R9
2525
2526	// Result b
2527	MOVQ (SP), R10
2528	MOVQ 48(SP), R11
2529	XORQ R13, R9
2530	MOVQ 96(SP), R12
2531	MOVQ 144(SP), R13
2532	MOVQ 192(SP), R14
2533	XORQ CX, R11
2534	ROLQ $0x2c, R11
2535	XORQ DX, R12
2536	XORQ BX, R10
2537	ROLQ $0x2b, R12
2538	MOVQ R11, SI
2539	MOVQ $0x000000008000000a, AX
2540	ORQ  R12, SI
2541	XORQ R10, AX
2542	XORQ AX, SI
2543	MOVQ SI, (DI)
2544	XORQ R9, R14
2545	ROLQ $0x0e, R14
2546	MOVQ R10, R15
2547	ANDQ R11, R15
2548	XORQ R14, R15
2549	MOVQ R15, 32(DI)
2550	XORQ R8, R13
2551	ROLQ $0x15, R13
2552	MOVQ R13, AX
2553	ANDQ R14, AX
2554	XORQ R12, AX
2555	MOVQ AX, 16(DI)
2556	NOTQ R12
2557	ORQ  R10, R14
2558	ORQ  R13, R12
2559	XORQ R13, R14
2560	XORQ R11, R12
2561	MOVQ R14, 24(DI)
2562	MOVQ R12, 8(DI)
2563	MOVQ R12, BP
2564
2565	// Result g
2566	MOVQ 72(SP), R11
2567	XORQ R9, R11
2568	MOVQ 80(SP), R12
2569	ROLQ $0x14, R11
2570	XORQ BX, R12
2571	ROLQ $0x03, R12
2572	MOVQ 24(SP), R10
2573	MOVQ R11, AX
2574	ORQ  R12, AX
2575	XORQ R8, R10
2576	MOVQ 128(SP), R13
2577	MOVQ 176(SP), R14
2578	ROLQ $0x1c, R10
2579	XORQ R10, AX
2580	MOVQ AX, 40(DI)
2581	XORQ AX, SI
2582	XORQ CX, R13
2583	ROLQ $0x2d, R13
2584	MOVQ R12, AX
2585	ANDQ R13, AX
2586	XORQ R11, AX
2587	MOVQ AX, 48(DI)
2588	XORQ AX, BP
2589	XORQ DX, R14
2590	ROLQ $0x3d, R14
2591	MOVQ R14, AX
2592	ORQ  R10, AX
2593	XORQ R13, AX
2594	MOVQ AX, 64(DI)
2595	ANDQ R11, R10
2596	XORQ R14, R10
2597	MOVQ R10, 72(DI)
2598	NOTQ R14
2599	XORQ R10, R15
2600	ORQ  R14, R13
2601	XORQ R12, R13
2602	MOVQ R13, 56(DI)
2603
2604	// Result k
2605	MOVQ 8(SP), R10
2606	MOVQ 56(SP), R11
2607	MOVQ 104(SP), R12
2608	MOVQ 152(SP), R13
2609	MOVQ 160(SP), R14
2610	XORQ DX, R11
2611	ROLQ $0x06, R11
2612	XORQ R8, R12
2613	ROLQ $0x19, R12
2614	MOVQ R11, AX
2615	ORQ  R12, AX
2616	XORQ CX, R10
2617	ROLQ $0x01, R10
2618	XORQ R10, AX
2619	MOVQ AX, 80(DI)
2620	XORQ AX, SI
2621	XORQ R9, R13
2622	ROLQ $0x08, R13
2623	MOVQ R12, AX
2624	ANDQ R13, AX
2625	XORQ R11, AX
2626	MOVQ AX, 88(DI)
2627	XORQ AX, BP
2628	XORQ BX, R14
2629	ROLQ $0x12, R14
2630	NOTQ R13
2631	MOVQ R13, AX
2632	ANDQ R14, AX
2633	XORQ R12, AX
2634	MOVQ AX, 96(DI)
2635	MOVQ R14, AX
2636	ORQ  R10, AX
2637	XORQ R13, AX
2638	MOVQ AX, 104(DI)
2639	ANDQ R11, R10
2640	XORQ R14, R10
2641	MOVQ R10, 112(DI)
2642	XORQ R10, R15
2643
2644	// Result m
2645	MOVQ 40(SP), R11
2646	XORQ BX, R11
2647	MOVQ 88(SP), R12
2648	ROLQ $0x24, R11
2649	XORQ CX, R12
2650	MOVQ 32(SP), R10
2651	ROLQ $0x0a, R12
2652	MOVQ R11, AX
2653	MOVQ 136(SP), R13
2654	ANDQ R12, AX
2655	XORQ R9, R10
2656	MOVQ 184(SP), R14
2657	ROLQ $0x1b, R10
2658	XORQ R10, AX
2659	MOVQ AX, 120(DI)
2660	XORQ AX, SI
2661	XORQ DX, R13
2662	ROLQ $0x0f, R13
2663	MOVQ R12, AX
2664	ORQ  R13, AX
2665	XORQ R11, AX
2666	MOVQ AX, 128(DI)
2667	XORQ AX, BP
2668	XORQ R8, R14
2669	ROLQ $0x38, R14
2670	NOTQ R13
2671	MOVQ R13, AX
2672	ORQ  R14, AX
2673	XORQ R12, AX
2674	MOVQ AX, 136(DI)
2675	ORQ  R10, R11
2676	XORQ R14, R11
2677	MOVQ R11, 152(DI)
2678	ANDQ R10, R14
2679	XORQ R13, R14
2680	MOVQ R14, 144(DI)
2681	XORQ R11, R15
2682
2683	// Result s
2684	MOVQ 16(SP), R10
2685	MOVQ 64(SP), R11
2686	MOVQ 112(SP), R12
2687	XORQ DX, R10
2688	MOVQ 120(SP), R13
2689	ROLQ $0x3e, R10
2690	XORQ R8, R11
2691	MOVQ 168(SP), R14
2692	ROLQ $0x37, R11
2693	XORQ R9, R12
2694	MOVQ R10, R9
2695	XORQ CX, R14
2696	ROLQ $0x02, R14
2697	ANDQ R11, R9
2698	XORQ R14, R9
2699	MOVQ R9, 192(DI)
2700	ROLQ $0x27, R12
2701	XORQ R9, R15
2702	NOTQ R11
2703	XORQ BX, R13
2704	MOVQ R11, BX
2705	ANDQ R12, BX
2706	XORQ R10, BX
2707	MOVQ BX, 160(DI)
2708	XORQ BX, SI
2709	ROLQ $0x29, R13
2710	MOVQ R12, CX
2711	ORQ  R13, CX
2712	XORQ R11, CX
2713	MOVQ CX, 168(DI)
2714	XORQ CX, BP
2715	MOVQ R13, DX
2716	MOVQ R14, R8
2717	ANDQ R14, DX
2718	ORQ  R10, R8
2719	XORQ R12, DX
2720	XORQ R13, R8
2721	MOVQ DX, 176(DI)
2722	MOVQ R8, 184(DI)
2723
2724	// Prepare round
2725	MOVQ BP, BX
2726	ROLQ $0x01, BX
2727	MOVQ 16(DI), R12
2728	XORQ 56(DI), DX
2729	XORQ R15, BX
2730	XORQ 96(DI), R12
2731	XORQ 136(DI), DX
2732	XORQ DX, R12
2733	MOVQ R12, CX
2734	ROLQ $0x01, CX
2735	MOVQ 24(DI), R13
2736	XORQ 64(DI), R8
2737	XORQ SI, CX
2738	XORQ 104(DI), R13
2739	XORQ 144(DI), R8
2740	XORQ R8, R13
2741	MOVQ R13, DX
2742	ROLQ $0x01, DX
2743	MOVQ R15, R8
2744	XORQ BP, DX
2745	ROLQ $0x01, R8
2746	MOVQ SI, R9
2747	XORQ R12, R8
2748	ROLQ $0x01, R9
2749
2750	// Result b
2751	MOVQ (DI), R10
2752	MOVQ 48(DI), R11
2753	XORQ R13, R9
2754	MOVQ 96(DI), R12
2755	MOVQ 144(DI), R13
2756	MOVQ 192(DI), R14
2757	XORQ CX, R11
2758	ROLQ $0x2c, R11
2759	XORQ DX, R12
2760	XORQ BX, R10
2761	ROLQ $0x2b, R12
2762	MOVQ R11, SI
2763	MOVQ $0x000000008000808b, AX
2764	ORQ  R12, SI
2765	XORQ R10, AX
2766	XORQ AX, SI
2767	MOVQ SI, (SP)
2768	XORQ R9, R14
2769	ROLQ $0x0e, R14
2770	MOVQ R10, R15
2771	ANDQ R11, R15
2772	XORQ R14, R15
2773	MOVQ R15, 32(SP)
2774	XORQ R8, R13
2775	ROLQ $0x15, R13
2776	MOVQ R13, AX
2777	ANDQ R14, AX
2778	XORQ R12, AX
2779	MOVQ AX, 16(SP)
2780	NOTQ R12
2781	ORQ  R10, R14
2782	ORQ  R13, R12
2783	XORQ R13, R14
2784	XORQ R11, R12
2785	MOVQ R14, 24(SP)
2786	MOVQ R12, 8(SP)
2787	MOVQ R12, BP
2788
2789	// Result g
2790	MOVQ 72(DI), R11
2791	XORQ R9, R11
2792	MOVQ 80(DI), R12
2793	ROLQ $0x14, R11
2794	XORQ BX, R12
2795	ROLQ $0x03, R12
2796	MOVQ 24(DI), R10
2797	MOVQ R11, AX
2798	ORQ  R12, AX
2799	XORQ R8, R10
2800	MOVQ 128(DI), R13
2801	MOVQ 176(DI), R14
2802	ROLQ $0x1c, R10
2803	XORQ R10, AX
2804	MOVQ AX, 40(SP)
2805	XORQ AX, SI
2806	XORQ CX, R13
2807	ROLQ $0x2d, R13
2808	MOVQ R12, AX
2809	ANDQ R13, AX
2810	XORQ R11, AX
2811	MOVQ AX, 48(SP)
2812	XORQ AX, BP
2813	XORQ DX, R14
2814	ROLQ $0x3d, R14
2815	MOVQ R14, AX
2816	ORQ  R10, AX
2817	XORQ R13, AX
2818	MOVQ AX, 64(SP)
2819	ANDQ R11, R10
2820	XORQ R14, R10
2821	MOVQ R10, 72(SP)
2822	NOTQ R14
2823	XORQ R10, R15
2824	ORQ  R14, R13
2825	XORQ R12, R13
2826	MOVQ R13, 56(SP)
2827
2828	// Result k
2829	MOVQ 8(DI), R10
2830	MOVQ 56(DI), R11
2831	MOVQ 104(DI), R12
2832	MOVQ 152(DI), R13
2833	MOVQ 160(DI), R14
2834	XORQ DX, R11
2835	ROLQ $0x06, R11
2836	XORQ R8, R12
2837	ROLQ $0x19, R12
2838	MOVQ R11, AX
2839	ORQ  R12, AX
2840	XORQ CX, R10
2841	ROLQ $0x01, R10
2842	XORQ R10, AX
2843	MOVQ AX, 80(SP)
2844	XORQ AX, SI
2845	XORQ R9, R13
2846	ROLQ $0x08, R13
2847	MOVQ R12, AX
2848	ANDQ R13, AX
2849	XORQ R11, AX
2850	MOVQ AX, 88(SP)
2851	XORQ AX, BP
2852	XORQ BX, R14
2853	ROLQ $0x12, R14
2854	NOTQ R13
2855	MOVQ R13, AX
2856	ANDQ R14, AX
2857	XORQ R12, AX
2858	MOVQ AX, 96(SP)
2859	MOVQ R14, AX
2860	ORQ  R10, AX
2861	XORQ R13, AX
2862	MOVQ AX, 104(SP)
2863	ANDQ R11, R10
2864	XORQ R14, R10
2865	MOVQ R10, 112(SP)
2866	XORQ R10, R15
2867
2868	// Result m
2869	MOVQ 40(DI), R11
2870	XORQ BX, R11
2871	MOVQ 88(DI), R12
2872	ROLQ $0x24, R11
2873	XORQ CX, R12
2874	MOVQ 32(DI), R10
2875	ROLQ $0x0a, R12
2876	MOVQ R11, AX
2877	MOVQ 136(DI), R13
2878	ANDQ R12, AX
2879	XORQ R9, R10
2880	MOVQ 184(DI), R14
2881	ROLQ $0x1b, R10
2882	XORQ R10, AX
2883	MOVQ AX, 120(SP)
2884	XORQ AX, SI
2885	XORQ DX, R13
2886	ROLQ $0x0f, R13
2887	MOVQ R12, AX
2888	ORQ  R13, AX
2889	XORQ R11, AX
2890	MOVQ AX, 128(SP)
2891	XORQ AX, BP
2892	XORQ R8, R14
2893	ROLQ $0x38, R14
2894	NOTQ R13
2895	MOVQ R13, AX
2896	ORQ  R14, AX
2897	XORQ R12, AX
2898	MOVQ AX, 136(SP)
2899	ORQ  R10, R11
2900	XORQ R14, R11
2901	MOVQ R11, 152(SP)
2902	ANDQ R10, R14
2903	XORQ R13, R14
2904	MOVQ R14, 144(SP)
2905	XORQ R11, R15
2906
2907	// Result s
2908	MOVQ 16(DI), R10
2909	MOVQ 64(DI), R11
2910	MOVQ 112(DI), R12
2911	XORQ DX, R10
2912	MOVQ 120(DI), R13
2913	ROLQ $0x3e, R10
2914	XORQ R8, R11
2915	MOVQ 168(DI), R14
2916	ROLQ $0x37, R11
2917	XORQ R9, R12
2918	MOVQ R10, R9
2919	XORQ CX, R14
2920	ROLQ $0x02, R14
2921	ANDQ R11, R9
2922	XORQ R14, R9
2923	MOVQ R9, 192(SP)
2924	ROLQ $0x27, R12
2925	XORQ R9, R15
2926	NOTQ R11
2927	XORQ BX, R13
2928	MOVQ R11, BX
2929	ANDQ R12, BX
2930	XORQ R10, BX
2931	MOVQ BX, 160(SP)
2932	XORQ BX, SI
2933	ROLQ $0x29, R13
2934	MOVQ R12, CX
2935	ORQ  R13, CX
2936	XORQ R11, CX
2937	MOVQ CX, 168(SP)
2938	XORQ CX, BP
2939	MOVQ R13, DX
2940	MOVQ R14, R8
2941	ANDQ R14, DX
2942	ORQ  R10, R8
2943	XORQ R12, DX
2944	XORQ R13, R8
2945	MOVQ DX, 176(SP)
2946	MOVQ R8, 184(SP)
2947
2948	// Prepare round
2949	MOVQ BP, BX
2950	ROLQ $0x01, BX
2951	MOVQ 16(SP), R12
2952	XORQ 56(SP), DX
2953	XORQ R15, BX
2954	XORQ 96(SP), R12
2955	XORQ 136(SP), DX
2956	XORQ DX, R12
2957	MOVQ R12, CX
2958	ROLQ $0x01, CX
2959	MOVQ 24(SP), R13
2960	XORQ 64(SP), R8
2961	XORQ SI, CX
2962	XORQ 104(SP), R13
2963	XORQ 144(SP), R8
2964	XORQ R8, R13
2965	MOVQ R13, DX
2966	ROLQ $0x01, DX
2967	MOVQ R15, R8
2968	XORQ BP, DX
2969	ROLQ $0x01, R8
2970	MOVQ SI, R9
2971	XORQ R12, R8
2972	ROLQ $0x01, R9
2973
2974	// Result b
2975	MOVQ (SP), R10
2976	MOVQ 48(SP), R11
2977	XORQ R13, R9
2978	MOVQ 96(SP), R12
2979	MOVQ 144(SP), R13
2980	MOVQ 192(SP), R14
2981	XORQ CX, R11
2982	ROLQ $0x2c, R11
2983	XORQ DX, R12
2984	XORQ BX, R10
2985	ROLQ $0x2b, R12
2986	MOVQ R11, SI
2987	MOVQ $0x800000000000008b, AX
2988	ORQ  R12, SI
2989	XORQ R10, AX
2990	XORQ AX, SI
2991	MOVQ SI, (DI)
2992	XORQ R9, R14
2993	ROLQ $0x0e, R14
2994	MOVQ R10, R15
2995	ANDQ R11, R15
2996	XORQ R14, R15
2997	MOVQ R15, 32(DI)
2998	XORQ R8, R13
2999	ROLQ $0x15, R13
3000	MOVQ R13, AX
3001	ANDQ R14, AX
3002	XORQ R12, AX
3003	MOVQ AX, 16(DI)
3004	NOTQ R12
3005	ORQ  R10, R14
3006	ORQ  R13, R12
3007	XORQ R13, R14
3008	XORQ R11, R12
3009	MOVQ R14, 24(DI)
3010	MOVQ R12, 8(DI)
3011	MOVQ R12, BP
3012
3013	// Result g
3014	MOVQ 72(SP), R11
3015	XORQ R9, R11
3016	MOVQ 80(SP), R12
3017	ROLQ $0x14, R11
3018	XORQ BX, R12
3019	ROLQ $0x03, R12
3020	MOVQ 24(SP), R10
3021	MOVQ R11, AX
3022	ORQ  R12, AX
3023	XORQ R8, R10
3024	MOVQ 128(SP), R13
3025	MOVQ 176(SP), R14
3026	ROLQ $0x1c, R10
3027	XORQ R10, AX
3028	MOVQ AX, 40(DI)
3029	XORQ AX, SI
3030	XORQ CX, R13
3031	ROLQ $0x2d, R13
3032	MOVQ R12, AX
3033	ANDQ R13, AX
3034	XORQ R11, AX
3035	MOVQ AX, 48(DI)
3036	XORQ AX, BP
3037	XORQ DX, R14
3038	ROLQ $0x3d, R14
3039	MOVQ R14, AX
3040	ORQ  R10, AX
3041	XORQ R13, AX
3042	MOVQ AX, 64(DI)
3043	ANDQ R11, R10
3044	XORQ R14, R10
3045	MOVQ R10, 72(DI)
3046	NOTQ R14
3047	XORQ R10, R15
3048	ORQ  R14, R13
3049	XORQ R12, R13
3050	MOVQ R13, 56(DI)
3051
3052	// Result k
3053	MOVQ 8(SP), R10
3054	MOVQ 56(SP), R11
3055	MOVQ 104(SP), R12
3056	MOVQ 152(SP), R13
3057	MOVQ 160(SP), R14
3058	XORQ DX, R11
3059	ROLQ $0x06, R11
3060	XORQ R8, R12
3061	ROLQ $0x19, R12
3062	MOVQ R11, AX
3063	ORQ  R12, AX
3064	XORQ CX, R10
3065	ROLQ $0x01, R10
3066	XORQ R10, AX
3067	MOVQ AX, 80(DI)
3068	XORQ AX, SI
3069	XORQ R9, R13
3070	ROLQ $0x08, R13
3071	MOVQ R12, AX
3072	ANDQ R13, AX
3073	XORQ R11, AX
3074	MOVQ AX, 88(DI)
3075	XORQ AX, BP
3076	XORQ BX, R14
3077	ROLQ $0x12, R14
3078	NOTQ R13
3079	MOVQ R13, AX
3080	ANDQ R14, AX
3081	XORQ R12, AX
3082	MOVQ AX, 96(DI)
3083	MOVQ R14, AX
3084	ORQ  R10, AX
3085	XORQ R13, AX
3086	MOVQ AX, 104(DI)
3087	ANDQ R11, R10
3088	XORQ R14, R10
3089	MOVQ R10, 112(DI)
3090	XORQ R10, R15
3091
3092	// Result m
3093	MOVQ 40(SP), R11
3094	XORQ BX, R11
3095	MOVQ 88(SP), R12
3096	ROLQ $0x24, R11
3097	XORQ CX, R12
3098	MOVQ 32(SP), R10
3099	ROLQ $0x0a, R12
3100	MOVQ R11, AX
3101	MOVQ 136(SP), R13
3102	ANDQ R12, AX
3103	XORQ R9, R10
3104	MOVQ 184(SP), R14
3105	ROLQ $0x1b, R10
3106	XORQ R10, AX
3107	MOVQ AX, 120(DI)
3108	XORQ AX, SI
3109	XORQ DX, R13
3110	ROLQ $0x0f, R13
3111	MOVQ R12, AX
3112	ORQ  R13, AX
3113	XORQ R11, AX
3114	MOVQ AX, 128(DI)
3115	XORQ AX, BP
3116	XORQ R8, R14
3117	ROLQ $0x38, R14
3118	NOTQ R13
3119	MOVQ R13, AX
3120	ORQ  R14, AX
3121	XORQ R12, AX
3122	MOVQ AX, 136(DI)
3123	ORQ  R10, R11
3124	XORQ R14, R11
3125	MOVQ R11, 152(DI)
3126	ANDQ R10, R14
3127	XORQ R13, R14
3128	MOVQ R14, 144(DI)
3129	XORQ R11, R15
3130
3131	// Result s
3132	MOVQ 16(SP), R10
3133	MOVQ 64(SP), R11
3134	MOVQ 112(SP), R12
3135	XORQ DX, R10
3136	MOVQ 120(SP), R13
3137	ROLQ $0x3e, R10
3138	XORQ R8, R11
3139	MOVQ 168(SP), R14
3140	ROLQ $0x37, R11
3141	XORQ R9, R12
3142	MOVQ R10, R9
3143	XORQ CX, R14
3144	ROLQ $0x02, R14
3145	ANDQ R11, R9
3146	XORQ R14, R9
3147	MOVQ R9, 192(DI)
3148	ROLQ $0x27, R12
3149	XORQ R9, R15
3150	NOTQ R11
3151	XORQ BX, R13
3152	MOVQ R11, BX
3153	ANDQ R12, BX
3154	XORQ R10, BX
3155	MOVQ BX, 160(DI)
3156	XORQ BX, SI
3157	ROLQ $0x29, R13
3158	MOVQ R12, CX
3159	ORQ  R13, CX
3160	XORQ R11, CX
3161	MOVQ CX, 168(DI)
3162	XORQ CX, BP
3163	MOVQ R13, DX
3164	MOVQ R14, R8
3165	ANDQ R14, DX
3166	ORQ  R10, R8
3167	XORQ R12, DX
3168	XORQ R13, R8
3169	MOVQ DX, 176(DI)
3170	MOVQ R8, 184(DI)
3171
3172	// Prepare round
3173	MOVQ BP, BX
3174	ROLQ $0x01, BX
3175	MOVQ 16(DI), R12
3176	XORQ 56(DI), DX
3177	XORQ R15, BX
3178	XORQ 96(DI), R12
3179	XORQ 136(DI), DX
3180	XORQ DX, R12
3181	MOVQ R12, CX
3182	ROLQ $0x01, CX
3183	MOVQ 24(DI), R13
3184	XORQ 64(DI), R8
3185	XORQ SI, CX
3186	XORQ 104(DI), R13
3187	XORQ 144(DI), R8
3188	XORQ R8, R13
3189	MOVQ R13, DX
3190	ROLQ $0x01, DX
3191	MOVQ R15, R8
3192	XORQ BP, DX
3193	ROLQ $0x01, R8
3194	MOVQ SI, R9
3195	XORQ R12, R8
3196	ROLQ $0x01, R9
3197
3198	// Result b
3199	MOVQ (DI), R10
3200	MOVQ 48(DI), R11
3201	XORQ R13, R9
3202	MOVQ 96(DI), R12
3203	MOVQ 144(DI), R13
3204	MOVQ 192(DI), R14
3205	XORQ CX, R11
3206	ROLQ $0x2c, R11
3207	XORQ DX, R12
3208	XORQ BX, R10
3209	ROLQ $0x2b, R12
3210	MOVQ R11, SI
3211	MOVQ $0x8000000000008089, AX
3212	ORQ  R12, SI
3213	XORQ R10, AX
3214	XORQ AX, SI
3215	MOVQ SI, (SP)
3216	XORQ R9, R14
3217	ROLQ $0x0e, R14
3218	MOVQ R10, R15
3219	ANDQ R11, R15
3220	XORQ R14, R15
3221	MOVQ R15, 32(SP)
3222	XORQ R8, R13
3223	ROLQ $0x15, R13
3224	MOVQ R13, AX
3225	ANDQ R14, AX
3226	XORQ R12, AX
3227	MOVQ AX, 16(SP)
3228	NOTQ R12
3229	ORQ  R10, R14
3230	ORQ  R13, R12
3231	XORQ R13, R14
3232	XORQ R11, R12
3233	MOVQ R14, 24(SP)
3234	MOVQ R12, 8(SP)
3235	MOVQ R12, BP
3236
3237	// Result g
3238	MOVQ 72(DI), R11
3239	XORQ R9, R11
3240	MOVQ 80(DI), R12
3241	ROLQ $0x14, R11
3242	XORQ BX, R12
3243	ROLQ $0x03, R12
3244	MOVQ 24(DI), R10
3245	MOVQ R11, AX
3246	ORQ  R12, AX
3247	XORQ R8, R10
3248	MOVQ 128(DI), R13
3249	MOVQ 176(DI), R14
3250	ROLQ $0x1c, R10
3251	XORQ R10, AX
3252	MOVQ AX, 40(SP)
3253	XORQ AX, SI
3254	XORQ CX, R13
3255	ROLQ $0x2d, R13
3256	MOVQ R12, AX
3257	ANDQ R13, AX
3258	XORQ R11, AX
3259	MOVQ AX, 48(SP)
3260	XORQ AX, BP
3261	XORQ DX, R14
3262	ROLQ $0x3d, R14
3263	MOVQ R14, AX
3264	ORQ  R10, AX
3265	XORQ R13, AX
3266	MOVQ AX, 64(SP)
3267	ANDQ R11, R10
3268	XORQ R14, R10
3269	MOVQ R10, 72(SP)
3270	NOTQ R14
3271	XORQ R10, R15
3272	ORQ  R14, R13
3273	XORQ R12, R13
3274	MOVQ R13, 56(SP)
3275
3276	// Result k
3277	MOVQ 8(DI), R10
3278	MOVQ 56(DI), R11
3279	MOVQ 104(DI), R12
3280	MOVQ 152(DI), R13
3281	MOVQ 160(DI), R14
3282	XORQ DX, R11
3283	ROLQ $0x06, R11
3284	XORQ R8, R12
3285	ROLQ $0x19, R12
3286	MOVQ R11, AX
3287	ORQ  R12, AX
3288	XORQ CX, R10
3289	ROLQ $0x01, R10
3290	XORQ R10, AX
3291	MOVQ AX, 80(SP)
3292	XORQ AX, SI
3293	XORQ R9, R13
3294	ROLQ $0x08, R13
3295	MOVQ R12, AX
3296	ANDQ R13, AX
3297	XORQ R11, AX
3298	MOVQ AX, 88(SP)
3299	XORQ AX, BP
3300	XORQ BX, R14
3301	ROLQ $0x12, R14
3302	NOTQ R13
3303	MOVQ R13, AX
3304	ANDQ R14, AX
3305	XORQ R12, AX
3306	MOVQ AX, 96(SP)
3307	MOVQ R14, AX
3308	ORQ  R10, AX
3309	XORQ R13, AX
3310	MOVQ AX, 104(SP)
3311	ANDQ R11, R10
3312	XORQ R14, R10
3313	MOVQ R10, 112(SP)
3314	XORQ R10, R15
3315
3316	// Result m
3317	MOVQ 40(DI), R11
3318	XORQ BX, R11
3319	MOVQ 88(DI), R12
3320	ROLQ $0x24, R11
3321	XORQ CX, R12
3322	MOVQ 32(DI), R10
3323	ROLQ $0x0a, R12
3324	MOVQ R11, AX
3325	MOVQ 136(DI), R13
3326	ANDQ R12, AX
3327	XORQ R9, R10
3328	MOVQ 184(DI), R14
3329	ROLQ $0x1b, R10
3330	XORQ R10, AX
3331	MOVQ AX, 120(SP)
3332	XORQ AX, SI
3333	XORQ DX, R13
3334	ROLQ $0x0f, R13
3335	MOVQ R12, AX
3336	ORQ  R13, AX
3337	XORQ R11, AX
3338	MOVQ AX, 128(SP)
3339	XORQ AX, BP
3340	XORQ R8, R14
3341	ROLQ $0x38, R14
3342	NOTQ R13
3343	MOVQ R13, AX
3344	ORQ  R14, AX
3345	XORQ R12, AX
3346	MOVQ AX, 136(SP)
3347	ORQ  R10, R11
3348	XORQ R14, R11
3349	MOVQ R11, 152(SP)
3350	ANDQ R10, R14
3351	XORQ R13, R14
3352	MOVQ R14, 144(SP)
3353	XORQ R11, R15
3354
3355	// Result s
3356	MOVQ 16(DI), R10
3357	MOVQ 64(DI), R11
3358	MOVQ 112(DI), R12
3359	XORQ DX, R10
3360	MOVQ 120(DI), R13
3361	ROLQ $0x3e, R10
3362	XORQ R8, R11
3363	MOVQ 168(DI), R14
3364	ROLQ $0x37, R11
3365	XORQ R9, R12
3366	MOVQ R10, R9
3367	XORQ CX, R14
3368	ROLQ $0x02, R14
3369	ANDQ R11, R9
3370	XORQ R14, R9
3371	MOVQ R9, 192(SP)
3372	ROLQ $0x27, R12
3373	XORQ R9, R15
3374	NOTQ R11
3375	XORQ BX, R13
3376	MOVQ R11, BX
3377	ANDQ R12, BX
3378	XORQ R10, BX
3379	MOVQ BX, 160(SP)
3380	XORQ BX, SI
3381	ROLQ $0x29, R13
3382	MOVQ R12, CX
3383	ORQ  R13, CX
3384	XORQ R11, CX
3385	MOVQ CX, 168(SP)
3386	XORQ CX, BP
3387	MOVQ R13, DX
3388	MOVQ R14, R8
3389	ANDQ R14, DX
3390	ORQ  R10, R8
3391	XORQ R12, DX
3392	XORQ R13, R8
3393	MOVQ DX, 176(SP)
3394	MOVQ R8, 184(SP)
3395
3396	// Prepare round
3397	MOVQ BP, BX
3398	ROLQ $0x01, BX
3399	MOVQ 16(SP), R12
3400	XORQ 56(SP), DX
3401	XORQ R15, BX
3402	XORQ 96(SP), R12
3403	XORQ 136(SP), DX
3404	XORQ DX, R12
3405	MOVQ R12, CX
3406	ROLQ $0x01, CX
3407	MOVQ 24(SP), R13
3408	XORQ 64(SP), R8
3409	XORQ SI, CX
3410	XORQ 104(SP), R13
3411	XORQ 144(SP), R8
3412	XORQ R8, R13
3413	MOVQ R13, DX
3414	ROLQ $0x01, DX
3415	MOVQ R15, R8
3416	XORQ BP, DX
3417	ROLQ $0x01, R8
3418	MOVQ SI, R9
3419	XORQ R12, R8
3420	ROLQ $0x01, R9
3421
3422	// Result b
3423	MOVQ (SP), R10
3424	MOVQ 48(SP), R11
3425	XORQ R13, R9
3426	MOVQ 96(SP), R12
3427	MOVQ 144(SP), R13
3428	MOVQ 192(SP), R14
3429	XORQ CX, R11
3430	ROLQ $0x2c, R11
3431	XORQ DX, R12
3432	XORQ BX, R10
3433	ROLQ $0x2b, R12
3434	MOVQ R11, SI
3435	MOVQ $0x8000000000008003, AX
3436	ORQ  R12, SI
3437	XORQ R10, AX
3438	XORQ AX, SI
3439	MOVQ SI, (DI)
3440	XORQ R9, R14
3441	ROLQ $0x0e, R14
3442	MOVQ R10, R15
3443	ANDQ R11, R15
3444	XORQ R14, R15
3445	MOVQ R15, 32(DI)
3446	XORQ R8, R13
3447	ROLQ $0x15, R13
3448	MOVQ R13, AX
3449	ANDQ R14, AX
3450	XORQ R12, AX
3451	MOVQ AX, 16(DI)
3452	NOTQ R12
3453	ORQ  R10, R14
3454	ORQ  R13, R12
3455	XORQ R13, R14
3456	XORQ R11, R12
3457	MOVQ R14, 24(DI)
3458	MOVQ R12, 8(DI)
3459	MOVQ R12, BP
3460
3461	// Result g
3462	MOVQ 72(SP), R11
3463	XORQ R9, R11
3464	MOVQ 80(SP), R12
3465	ROLQ $0x14, R11
3466	XORQ BX, R12
3467	ROLQ $0x03, R12
3468	MOVQ 24(SP), R10
3469	MOVQ R11, AX
3470	ORQ  R12, AX
3471	XORQ R8, R10
3472	MOVQ 128(SP), R13
3473	MOVQ 176(SP), R14
3474	ROLQ $0x1c, R10
3475	XORQ R10, AX
3476	MOVQ AX, 40(DI)
3477	XORQ AX, SI
3478	XORQ CX, R13
3479	ROLQ $0x2d, R13
3480	MOVQ R12, AX
3481	ANDQ R13, AX
3482	XORQ R11, AX
3483	MOVQ AX, 48(DI)
3484	XORQ AX, BP
3485	XORQ DX, R14
3486	ROLQ $0x3d, R14
3487	MOVQ R14, AX
3488	ORQ  R10, AX
3489	XORQ R13, AX
3490	MOVQ AX, 64(DI)
3491	ANDQ R11, R10
3492	XORQ R14, R10
3493	MOVQ R10, 72(DI)
3494	NOTQ R14
3495	XORQ R10, R15
3496	ORQ  R14, R13
3497	XORQ R12, R13
3498	MOVQ R13, 56(DI)
3499
3500	// Result k
3501	MOVQ 8(SP), R10
3502	MOVQ 56(SP), R11
3503	MOVQ 104(SP), R12
3504	MOVQ 152(SP), R13
3505	MOVQ 160(SP), R14
3506	XORQ DX, R11
3507	ROLQ $0x06, R11
3508	XORQ R8, R12
3509	ROLQ $0x19, R12
3510	MOVQ R11, AX
3511	ORQ  R12, AX
3512	XORQ CX, R10
3513	ROLQ $0x01, R10
3514	XORQ R10, AX
3515	MOVQ AX, 80(DI)
3516	XORQ AX, SI
3517	XORQ R9, R13
3518	ROLQ $0x08, R13
3519	MOVQ R12, AX
3520	ANDQ R13, AX
3521	XORQ R11, AX
3522	MOVQ AX, 88(DI)
3523	XORQ AX, BP
3524	XORQ BX, R14
3525	ROLQ $0x12, R14
3526	NOTQ R13
3527	MOVQ R13, AX
3528	ANDQ R14, AX
3529	XORQ R12, AX
3530	MOVQ AX, 96(DI)
3531	MOVQ R14, AX
3532	ORQ  R10, AX
3533	XORQ R13, AX
3534	MOVQ AX, 104(DI)
3535	ANDQ R11, R10
3536	XORQ R14, R10
3537	MOVQ R10, 112(DI)
3538	XORQ R10, R15
3539
3540	// Result m
3541	MOVQ 40(SP), R11
3542	XORQ BX, R11
3543	MOVQ 88(SP), R12
3544	ROLQ $0x24, R11
3545	XORQ CX, R12
3546	MOVQ 32(SP), R10
3547	ROLQ $0x0a, R12
3548	MOVQ R11, AX
3549	MOVQ 136(SP), R13
3550	ANDQ R12, AX
3551	XORQ R9, R10
3552	MOVQ 184(SP), R14
3553	ROLQ $0x1b, R10
3554	XORQ R10, AX
3555	MOVQ AX, 120(DI)
3556	XORQ AX, SI
3557	XORQ DX, R13
3558	ROLQ $0x0f, R13
3559	MOVQ R12, AX
3560	ORQ  R13, AX
3561	XORQ R11, AX
3562	MOVQ AX, 128(DI)
3563	XORQ AX, BP
3564	XORQ R8, R14
3565	ROLQ $0x38, R14
3566	NOTQ R13
3567	MOVQ R13, AX
3568	ORQ  R14, AX
3569	XORQ R12, AX
3570	MOVQ AX, 136(DI)
3571	ORQ  R10, R11
3572	XORQ R14, R11
3573	MOVQ R11, 152(DI)
3574	ANDQ R10, R14
3575	XORQ R13, R14
3576	MOVQ R14, 144(DI)
3577	XORQ R11, R15
3578
3579	// Result s
3580	MOVQ 16(SP), R10
3581	MOVQ 64(SP), R11
3582	MOVQ 112(SP), R12
3583	XORQ DX, R10
3584	MOVQ 120(SP), R13
3585	ROLQ $0x3e, R10
3586	XORQ R8, R11
3587	MOVQ 168(SP), R14
3588	ROLQ $0x37, R11
3589	XORQ R9, R12
3590	MOVQ R10, R9
3591	XORQ CX, R14
3592	ROLQ $0x02, R14
3593	ANDQ R11, R9
3594	XORQ R14, R9
3595	MOVQ R9, 192(DI)
3596	ROLQ $0x27, R12
3597	XORQ R9, R15
3598	NOTQ R11
3599	XORQ BX, R13
3600	MOVQ R11, BX
3601	ANDQ R12, BX
3602	XORQ R10, BX
3603	MOVQ BX, 160(DI)
3604	XORQ BX, SI
3605	ROLQ $0x29, R13
3606	MOVQ R12, CX
3607	ORQ  R13, CX
3608	XORQ R11, CX
3609	MOVQ CX, 168(DI)
3610	XORQ CX, BP
3611	MOVQ R13, DX
3612	MOVQ R14, R8
3613	ANDQ R14, DX
3614	ORQ  R10, R8
3615	XORQ R12, DX
3616	XORQ R13, R8
3617	MOVQ DX, 176(DI)
3618	MOVQ R8, 184(DI)
3619
3620	// Prepare round
3621	MOVQ BP, BX
3622	ROLQ $0x01, BX
3623	MOVQ 16(DI), R12
3624	XORQ 56(DI), DX
3625	XORQ R15, BX
3626	XORQ 96(DI), R12
3627	XORQ 136(DI), DX
3628	XORQ DX, R12
3629	MOVQ R12, CX
3630	ROLQ $0x01, CX
3631	MOVQ 24(DI), R13
3632	XORQ 64(DI), R8
3633	XORQ SI, CX
3634	XORQ 104(DI), R13
3635	XORQ 144(DI), R8
3636	XORQ R8, R13
3637	MOVQ R13, DX
3638	ROLQ $0x01, DX
3639	MOVQ R15, R8
3640	XORQ BP, DX
3641	ROLQ $0x01, R8
3642	MOVQ SI, R9
3643	XORQ R12, R8
3644	ROLQ $0x01, R9
3645
3646	// Result b
3647	MOVQ (DI), R10
3648	MOVQ 48(DI), R11
3649	XORQ R13, R9
3650	MOVQ 96(DI), R12
3651	MOVQ 144(DI), R13
3652	MOVQ 192(DI), R14
3653	XORQ CX, R11
3654	ROLQ $0x2c, R11
3655	XORQ DX, R12
3656	XORQ BX, R10
3657	ROLQ $0x2b, R12
3658	MOVQ R11, SI
3659	MOVQ $0x8000000000008002, AX
3660	ORQ  R12, SI
3661	XORQ R10, AX
3662	XORQ AX, SI
3663	MOVQ SI, (SP)
3664	XORQ R9, R14
3665	ROLQ $0x0e, R14
3666	MOVQ R10, R15
3667	ANDQ R11, R15
3668	XORQ R14, R15
3669	MOVQ R15, 32(SP)
3670	XORQ R8, R13
3671	ROLQ $0x15, R13
3672	MOVQ R13, AX
3673	ANDQ R14, AX
3674	XORQ R12, AX
3675	MOVQ AX, 16(SP)
3676	NOTQ R12
3677	ORQ  R10, R14
3678	ORQ  R13, R12
3679	XORQ R13, R14
3680	XORQ R11, R12
3681	MOVQ R14, 24(SP)
3682	MOVQ R12, 8(SP)
3683	MOVQ R12, BP
3684
3685	// Result g
3686	MOVQ 72(DI), R11
3687	XORQ R9, R11
3688	MOVQ 80(DI), R12
3689	ROLQ $0x14, R11
3690	XORQ BX, R12
3691	ROLQ $0x03, R12
3692	MOVQ 24(DI), R10
3693	MOVQ R11, AX
3694	ORQ  R12, AX
3695	XORQ R8, R10
3696	MOVQ 128(DI), R13
3697	MOVQ 176(DI), R14
3698	ROLQ $0x1c, R10
3699	XORQ R10, AX
3700	MOVQ AX, 40(SP)
3701	XORQ AX, SI
3702	XORQ CX, R13
3703	ROLQ $0x2d, R13
3704	MOVQ R12, AX
3705	ANDQ R13, AX
3706	XORQ R11, AX
3707	MOVQ AX, 48(SP)
3708	XORQ AX, BP
3709	XORQ DX, R14
3710	ROLQ $0x3d, R14
3711	MOVQ R14, AX
3712	ORQ  R10, AX
3713	XORQ R13, AX
3714	MOVQ AX, 64(SP)
3715	ANDQ R11, R10
3716	XORQ R14, R10
3717	MOVQ R10, 72(SP)
3718	NOTQ R14
3719	XORQ R10, R15
3720	ORQ  R14, R13
3721	XORQ R12, R13
3722	MOVQ R13, 56(SP)
3723
3724	// Result k
3725	MOVQ 8(DI), R10
3726	MOVQ 56(DI), R11
3727	MOVQ 104(DI), R12
3728	MOVQ 152(DI), R13
3729	MOVQ 160(DI), R14
3730	XORQ DX, R11
3731	ROLQ $0x06, R11
3732	XORQ R8, R12
3733	ROLQ $0x19, R12
3734	MOVQ R11, AX
3735	ORQ  R12, AX
3736	XORQ CX, R10
3737	ROLQ $0x01, R10
3738	XORQ R10, AX
3739	MOVQ AX, 80(SP)
3740	XORQ AX, SI
3741	XORQ R9, R13
3742	ROLQ $0x08, R13
3743	MOVQ R12, AX
3744	ANDQ R13, AX
3745	XORQ R11, AX
3746	MOVQ AX, 88(SP)
3747	XORQ AX, BP
3748	XORQ BX, R14
3749	ROLQ $0x12, R14
3750	NOTQ R13
3751	MOVQ R13, AX
3752	ANDQ R14, AX
3753	XORQ R12, AX
3754	MOVQ AX, 96(SP)
3755	MOVQ R14, AX
3756	ORQ  R10, AX
3757	XORQ R13, AX
3758	MOVQ AX, 104(SP)
3759	ANDQ R11, R10
3760	XORQ R14, R10
3761	MOVQ R10, 112(SP)
3762	XORQ R10, R15
3763
3764	// Result m
3765	MOVQ 40(DI), R11
3766	XORQ BX, R11
3767	MOVQ 88(DI), R12
3768	ROLQ $0x24, R11
3769	XORQ CX, R12
3770	MOVQ 32(DI), R10
3771	ROLQ $0x0a, R12
3772	MOVQ R11, AX
3773	MOVQ 136(DI), R13
3774	ANDQ R12, AX
3775	XORQ R9, R10
3776	MOVQ 184(DI), R14
3777	ROLQ $0x1b, R10
3778	XORQ R10, AX
3779	MOVQ AX, 120(SP)
3780	XORQ AX, SI
3781	XORQ DX, R13
3782	ROLQ $0x0f, R13
3783	MOVQ R12, AX
3784	ORQ  R13, AX
3785	XORQ R11, AX
3786	MOVQ AX, 128(SP)
3787	XORQ AX, BP
3788	XORQ R8, R14
3789	ROLQ $0x38, R14
3790	NOTQ R13
3791	MOVQ R13, AX
3792	ORQ  R14, AX
3793	XORQ R12, AX
3794	MOVQ AX, 136(SP)
3795	ORQ  R10, R11
3796	XORQ R14, R11
3797	MOVQ R11, 152(SP)
3798	ANDQ R10, R14
3799	XORQ R13, R14
3800	MOVQ R14, 144(SP)
3801	XORQ R11, R15
3802
3803	// Result s
3804	MOVQ 16(DI), R10
3805	MOVQ 64(DI), R11
3806	MOVQ 112(DI), R12
3807	XORQ DX, R10
3808	MOVQ 120(DI), R13
3809	ROLQ $0x3e, R10
3810	XORQ R8, R11
3811	MOVQ 168(DI), R14
3812	ROLQ $0x37, R11
3813	XORQ R9, R12
3814	MOVQ R10, R9
3815	XORQ CX, R14
3816	ROLQ $0x02, R14
3817	ANDQ R11, R9
3818	XORQ R14, R9
3819	MOVQ R9, 192(SP)
3820	ROLQ $0x27, R12
3821	XORQ R9, R15
3822	NOTQ R11
3823	XORQ BX, R13
3824	MOVQ R11, BX
3825	ANDQ R12, BX
3826	XORQ R10, BX
3827	MOVQ BX, 160(SP)
3828	XORQ BX, SI
3829	ROLQ $0x29, R13
3830	MOVQ R12, CX
3831	ORQ  R13, CX
3832	XORQ R11, CX
3833	MOVQ CX, 168(SP)
3834	XORQ CX, BP
3835	MOVQ R13, DX
3836	MOVQ R14, R8
3837	ANDQ R14, DX
3838	ORQ  R10, R8
3839	XORQ R12, DX
3840	XORQ R13, R8
3841	MOVQ DX, 176(SP)
3842	MOVQ R8, 184(SP)
3843
3844	// Prepare round
3845	MOVQ BP, BX
3846	ROLQ $0x01, BX
3847	MOVQ 16(SP), R12
3848	XORQ 56(SP), DX
3849	XORQ R15, BX
3850	XORQ 96(SP), R12
3851	XORQ 136(SP), DX
3852	XORQ DX, R12
3853	MOVQ R12, CX
3854	ROLQ $0x01, CX
3855	MOVQ 24(SP), R13
3856	XORQ 64(SP), R8
3857	XORQ SI, CX
3858	XORQ 104(SP), R13
3859	XORQ 144(SP), R8
3860	XORQ R8, R13
3861	MOVQ R13, DX
3862	ROLQ $0x01, DX
3863	MOVQ R15, R8
3864	XORQ BP, DX
3865	ROLQ $0x01, R8
3866	MOVQ SI, R9
3867	XORQ R12, R8
3868	ROLQ $0x01, R9
3869
3870	// Result b
3871	MOVQ (SP), R10
3872	MOVQ 48(SP), R11
3873	XORQ R13, R9
3874	MOVQ 96(SP), R12
3875	MOVQ 144(SP), R13
3876	MOVQ 192(SP), R14
3877	XORQ CX, R11
3878	ROLQ $0x2c, R11
3879	XORQ DX, R12
3880	XORQ BX, R10
3881	ROLQ $0x2b, R12
3882	MOVQ R11, SI
3883	MOVQ $0x8000000000000080, AX
3884	ORQ  R12, SI
3885	XORQ R10, AX
3886	XORQ AX, SI
3887	MOVQ SI, (DI)
3888	XORQ R9, R14
3889	ROLQ $0x0e, R14
3890	MOVQ R10, R15
3891	ANDQ R11, R15
3892	XORQ R14, R15
3893	MOVQ R15, 32(DI)
3894	XORQ R8, R13
3895	ROLQ $0x15, R13
3896	MOVQ R13, AX
3897	ANDQ R14, AX
3898	XORQ R12, AX
3899	MOVQ AX, 16(DI)
3900	NOTQ R12
3901	ORQ  R10, R14
3902	ORQ  R13, R12
3903	XORQ R13, R14
3904	XORQ R11, R12
3905	MOVQ R14, 24(DI)
3906	MOVQ R12, 8(DI)
3907	MOVQ R12, BP
3908
3909	// Result g
3910	MOVQ 72(SP), R11
3911	XORQ R9, R11
3912	MOVQ 80(SP), R12
3913	ROLQ $0x14, R11
3914	XORQ BX, R12
3915	ROLQ $0x03, R12
3916	MOVQ 24(SP), R10
3917	MOVQ R11, AX
3918	ORQ  R12, AX
3919	XORQ R8, R10
3920	MOVQ 128(SP), R13
3921	MOVQ 176(SP), R14
3922	ROLQ $0x1c, R10
3923	XORQ R10, AX
3924	MOVQ AX, 40(DI)
3925	XORQ AX, SI
3926	XORQ CX, R13
3927	ROLQ $0x2d, R13
3928	MOVQ R12, AX
3929	ANDQ R13, AX
3930	XORQ R11, AX
3931	MOVQ AX, 48(DI)
3932	XORQ AX, BP
3933	XORQ DX, R14
3934	ROLQ $0x3d, R14
3935	MOVQ R14, AX
3936	ORQ  R10, AX
3937	XORQ R13, AX
3938	MOVQ AX, 64(DI)
3939	ANDQ R11, R10
3940	XORQ R14, R10
3941	MOVQ R10, 72(DI)
3942	NOTQ R14
3943	XORQ R10, R15
3944	ORQ  R14, R13
3945	XORQ R12, R13
3946	MOVQ R13, 56(DI)
3947
3948	// Result k
3949	MOVQ 8(SP), R10
3950	MOVQ 56(SP), R11
3951	MOVQ 104(SP), R12
3952	MOVQ 152(SP), R13
3953	MOVQ 160(SP), R14
3954	XORQ DX, R11
3955	ROLQ $0x06, R11
3956	XORQ R8, R12
3957	ROLQ $0x19, R12
3958	MOVQ R11, AX
3959	ORQ  R12, AX
3960	XORQ CX, R10
3961	ROLQ $0x01, R10
3962	XORQ R10, AX
3963	MOVQ AX, 80(DI)
3964	XORQ AX, SI
3965	XORQ R9, R13
3966	ROLQ $0x08, R13
3967	MOVQ R12, AX
3968	ANDQ R13, AX
3969	XORQ R11, AX
3970	MOVQ AX, 88(DI)
3971	XORQ AX, BP
3972	XORQ BX, R14
3973	ROLQ $0x12, R14
3974	NOTQ R13
3975	MOVQ R13, AX
3976	ANDQ R14, AX
3977	XORQ R12, AX
3978	MOVQ AX, 96(DI)
3979	MOVQ R14, AX
3980	ORQ  R10, AX
3981	XORQ R13, AX
3982	MOVQ AX, 104(DI)
3983	ANDQ R11, R10
3984	XORQ R14, R10
3985	MOVQ R10, 112(DI)
3986	XORQ R10, R15
3987
3988	// Result m
3989	MOVQ 40(SP), R11
3990	XORQ BX, R11
3991	MOVQ 88(SP), R12
3992	ROLQ $0x24, R11
3993	XORQ CX, R12
3994	MOVQ 32(SP), R10
3995	ROLQ $0x0a, R12
3996	MOVQ R11, AX
3997	MOVQ 136(SP), R13
3998	ANDQ R12, AX
3999	XORQ R9, R10
4000	MOVQ 184(SP), R14
4001	ROLQ $0x1b, R10
4002	XORQ R10, AX
4003	MOVQ AX, 120(DI)
4004	XORQ AX, SI
4005	XORQ DX, R13
4006	ROLQ $0x0f, R13
4007	MOVQ R12, AX
4008	ORQ  R13, AX
4009	XORQ R11, AX
4010	MOVQ AX, 128(DI)
4011	XORQ AX, BP
4012	XORQ R8, R14
4013	ROLQ $0x38, R14
4014	NOTQ R13
4015	MOVQ R13, AX
4016	ORQ  R14, AX
4017	XORQ R12, AX
4018	MOVQ AX, 136(DI)
4019	ORQ  R10, R11
4020	XORQ R14, R11
4021	MOVQ R11, 152(DI)
4022	ANDQ R10, R14
4023	XORQ R13, R14
4024	MOVQ R14, 144(DI)
4025	XORQ R11, R15
4026
4027	// Result s
4028	MOVQ 16(SP), R10
4029	MOVQ 64(SP), R11
4030	MOVQ 112(SP), R12
4031	XORQ DX, R10
4032	MOVQ 120(SP), R13
4033	ROLQ $0x3e, R10
4034	XORQ R8, R11
4035	MOVQ 168(SP), R14
4036	ROLQ $0x37, R11
4037	XORQ R9, R12
4038	MOVQ R10, R9
4039	XORQ CX, R14
4040	ROLQ $0x02, R14
4041	ANDQ R11, R9
4042	XORQ R14, R9
4043	MOVQ R9, 192(DI)
4044	ROLQ $0x27, R12
4045	XORQ R9, R15
4046	NOTQ R11
4047	XORQ BX, R13
4048	MOVQ R11, BX
4049	ANDQ R12, BX
4050	XORQ R10, BX
4051	MOVQ BX, 160(DI)
4052	XORQ BX, SI
4053	ROLQ $0x29, R13
4054	MOVQ R12, CX
4055	ORQ  R13, CX
4056	XORQ R11, CX
4057	MOVQ CX, 168(DI)
4058	XORQ CX, BP
4059	MOVQ R13, DX
4060	MOVQ R14, R8
4061	ANDQ R14, DX
4062	ORQ  R10, R8
4063	XORQ R12, DX
4064	XORQ R13, R8
4065	MOVQ DX, 176(DI)
4066	MOVQ R8, 184(DI)
4067
4068	// Prepare round
4069	MOVQ BP, BX
4070	ROLQ $0x01, BX
4071	MOVQ 16(DI), R12
4072	XORQ 56(DI), DX
4073	XORQ R15, BX
4074	XORQ 96(DI), R12
4075	XORQ 136(DI), DX
4076	XORQ DX, R12
4077	MOVQ R12, CX
4078	ROLQ $0x01, CX
4079	MOVQ 24(DI), R13
4080	XORQ 64(DI), R8
4081	XORQ SI, CX
4082	XORQ 104(DI), R13
4083	XORQ 144(DI), R8
4084	XORQ R8, R13
4085	MOVQ R13, DX
4086	ROLQ $0x01, DX
4087	MOVQ R15, R8
4088	XORQ BP, DX
4089	ROLQ $0x01, R8
4090	MOVQ SI, R9
4091	XORQ R12, R8
4092	ROLQ $0x01, R9
4093
4094	// Result b
4095	MOVQ (DI), R10
4096	MOVQ 48(DI), R11
4097	XORQ R13, R9
4098	MOVQ 96(DI), R12
4099	MOVQ 144(DI), R13
4100	MOVQ 192(DI), R14
4101	XORQ CX, R11
4102	ROLQ $0x2c, R11
4103	XORQ DX, R12
4104	XORQ BX, R10
4105	ROLQ $0x2b, R12
4106	MOVQ R11, SI
4107	MOVQ $0x000000000000800a, AX
4108	ORQ  R12, SI
4109	XORQ R10, AX
4110	XORQ AX, SI
4111	MOVQ SI, (SP)
4112	XORQ R9, R14
4113	ROLQ $0x0e, R14
4114	MOVQ R10, R15
4115	ANDQ R11, R15
4116	XORQ R14, R15
4117	MOVQ R15, 32(SP)
4118	XORQ R8, R13
4119	ROLQ $0x15, R13
4120	MOVQ R13, AX
4121	ANDQ R14, AX
4122	XORQ R12, AX
4123	MOVQ AX, 16(SP)
4124	NOTQ R12
4125	ORQ  R10, R14
4126	ORQ  R13, R12
4127	XORQ R13, R14
4128	XORQ R11, R12
4129	MOVQ R14, 24(SP)
4130	MOVQ R12, 8(SP)
4131	MOVQ R12, BP
4132
4133	// Result g
4134	MOVQ 72(DI), R11
4135	XORQ R9, R11
4136	MOVQ 80(DI), R12
4137	ROLQ $0x14, R11
4138	XORQ BX, R12
4139	ROLQ $0x03, R12
4140	MOVQ 24(DI), R10
4141	MOVQ R11, AX
4142	ORQ  R12, AX
4143	XORQ R8, R10
4144	MOVQ 128(DI), R13
4145	MOVQ 176(DI), R14
4146	ROLQ $0x1c, R10
4147	XORQ R10, AX
4148	MOVQ AX, 40(SP)
4149	XORQ AX, SI
4150	XORQ CX, R13
4151	ROLQ $0x2d, R13
4152	MOVQ R12, AX
4153	ANDQ R13, AX
4154	XORQ R11, AX
4155	MOVQ AX, 48(SP)
4156	XORQ AX, BP
4157	XORQ DX, R14
4158	ROLQ $0x3d, R14
4159	MOVQ R14, AX
4160	ORQ  R10, AX
4161	XORQ R13, AX
4162	MOVQ AX, 64(SP)
4163	ANDQ R11, R10
4164	XORQ R14, R10
4165	MOVQ R10, 72(SP)
4166	NOTQ R14
4167	XORQ R10, R15
4168	ORQ  R14, R13
4169	XORQ R12, R13
4170	MOVQ R13, 56(SP)
4171
4172	// Result k
4173	MOVQ 8(DI), R10
4174	MOVQ 56(DI), R11
4175	MOVQ 104(DI), R12
4176	MOVQ 152(DI), R13
4177	MOVQ 160(DI), R14
4178	XORQ DX, R11
4179	ROLQ $0x06, R11
4180	XORQ R8, R12
4181	ROLQ $0x19, R12
4182	MOVQ R11, AX
4183	ORQ  R12, AX
4184	XORQ CX, R10
4185	ROLQ $0x01, R10
4186	XORQ R10, AX
4187	MOVQ AX, 80(SP)
4188	XORQ AX, SI
4189	XORQ R9, R13
4190	ROLQ $0x08, R13
4191	MOVQ R12, AX
4192	ANDQ R13, AX
4193	XORQ R11, AX
4194	MOVQ AX, 88(SP)
4195	XORQ AX, BP
4196	XORQ BX, R14
4197	ROLQ $0x12, R14
4198	NOTQ R13
4199	MOVQ R13, AX
4200	ANDQ R14, AX
4201	XORQ R12, AX
4202	MOVQ AX, 96(SP)
4203	MOVQ R14, AX
4204	ORQ  R10, AX
4205	XORQ R13, AX
4206	MOVQ AX, 104(SP)
4207	ANDQ R11, R10
4208	XORQ R14, R10
4209	MOVQ R10, 112(SP)
4210	XORQ R10, R15
4211
4212	// Result m
4213	MOVQ 40(DI), R11
4214	XORQ BX, R11
4215	MOVQ 88(DI), R12
4216	ROLQ $0x24, R11
4217	XORQ CX, R12
4218	MOVQ 32(DI), R10
4219	ROLQ $0x0a, R12
4220	MOVQ R11, AX
4221	MOVQ 136(DI), R13
4222	ANDQ R12, AX
4223	XORQ R9, R10
4224	MOVQ 184(DI), R14
4225	ROLQ $0x1b, R10
4226	XORQ R10, AX
4227	MOVQ AX, 120(SP)
4228	XORQ AX, SI
4229	XORQ DX, R13
4230	ROLQ $0x0f, R13
4231	MOVQ R12, AX
4232	ORQ  R13, AX
4233	XORQ R11, AX
4234	MOVQ AX, 128(SP)
4235	XORQ AX, BP
4236	XORQ R8, R14
4237	ROLQ $0x38, R14
4238	NOTQ R13
4239	MOVQ R13, AX
4240	ORQ  R14, AX
4241	XORQ R12, AX
4242	MOVQ AX, 136(SP)
4243	ORQ  R10, R11
4244	XORQ R14, R11
4245	MOVQ R11, 152(SP)
4246	ANDQ R10, R14
4247	XORQ R13, R14
4248	MOVQ R14, 144(SP)
4249	XORQ R11, R15
4250
4251	// Result s
4252	MOVQ 16(DI), R10
4253	MOVQ 64(DI), R11
4254	MOVQ 112(DI), R12
4255	XORQ DX, R10
4256	MOVQ 120(DI), R13
4257	ROLQ $0x3e, R10
4258	XORQ R8, R11
4259	MOVQ 168(DI), R14
4260	ROLQ $0x37, R11
4261	XORQ R9, R12
4262	MOVQ R10, R9
4263	XORQ CX, R14
4264	ROLQ $0x02, R14
4265	ANDQ R11, R9
4266	XORQ R14, R9
4267	MOVQ R9, 192(SP)
4268	ROLQ $0x27, R12
4269	XORQ R9, R15
4270	NOTQ R11
4271	XORQ BX, R13
4272	MOVQ R11, BX
4273	ANDQ R12, BX
4274	XORQ R10, BX
4275	MOVQ BX, 160(SP)
4276	XORQ BX, SI
4277	ROLQ $0x29, R13
4278	MOVQ R12, CX
4279	ORQ  R13, CX
4280	XORQ R11, CX
4281	MOVQ CX, 168(SP)
4282	XORQ CX, BP
4283	MOVQ R13, DX
4284	MOVQ R14, R8
4285	ANDQ R14, DX
4286	ORQ  R10, R8
4287	XORQ R12, DX
4288	XORQ R13, R8
4289	MOVQ DX, 176(SP)
4290	MOVQ R8, 184(SP)
4291
4292	// Prepare round
4293	MOVQ BP, BX
4294	ROLQ $0x01, BX
4295	MOVQ 16(SP), R12
4296	XORQ 56(SP), DX
4297	XORQ R15, BX
4298	XORQ 96(SP), R12
4299	XORQ 136(SP), DX
4300	XORQ DX, R12
4301	MOVQ R12, CX
4302	ROLQ $0x01, CX
4303	MOVQ 24(SP), R13
4304	XORQ 64(SP), R8
4305	XORQ SI, CX
4306	XORQ 104(SP), R13
4307	XORQ 144(SP), R8
4308	XORQ R8, R13
4309	MOVQ R13, DX
4310	ROLQ $0x01, DX
4311	MOVQ R15, R8
4312	XORQ BP, DX
4313	ROLQ $0x01, R8
4314	MOVQ SI, R9
4315	XORQ R12, R8
4316	ROLQ $0x01, R9
4317
4318	// Result b
4319	MOVQ (SP), R10
4320	MOVQ 48(SP), R11
4321	XORQ R13, R9
4322	MOVQ 96(SP), R12
4323	MOVQ 144(SP), R13
4324	MOVQ 192(SP), R14
4325	XORQ CX, R11
4326	ROLQ $0x2c, R11
4327	XORQ DX, R12
4328	XORQ BX, R10
4329	ROLQ $0x2b, R12
4330	MOVQ R11, SI
4331	MOVQ $0x800000008000000a, AX
4332	ORQ  R12, SI
4333	XORQ R10, AX
4334	XORQ AX, SI
4335	MOVQ SI, (DI)
4336	XORQ R9, R14
4337	ROLQ $0x0e, R14
4338	MOVQ R10, R15
4339	ANDQ R11, R15
4340	XORQ R14, R15
4341	MOVQ R15, 32(DI)
4342	XORQ R8, R13
4343	ROLQ $0x15, R13
4344	MOVQ R13, AX
4345	ANDQ R14, AX
4346	XORQ R12, AX
4347	MOVQ AX, 16(DI)
4348	NOTQ R12
4349	ORQ  R10, R14
4350	ORQ  R13, R12
4351	XORQ R13, R14
4352	XORQ R11, R12
4353	MOVQ R14, 24(DI)
4354	MOVQ R12, 8(DI)
4355	MOVQ R12, BP
4356
4357	// Result g
4358	MOVQ 72(SP), R11
4359	XORQ R9, R11
4360	MOVQ 80(SP), R12
4361	ROLQ $0x14, R11
4362	XORQ BX, R12
4363	ROLQ $0x03, R12
4364	MOVQ 24(SP), R10
4365	MOVQ R11, AX
4366	ORQ  R12, AX
4367	XORQ R8, R10
4368	MOVQ 128(SP), R13
4369	MOVQ 176(SP), R14
4370	ROLQ $0x1c, R10
4371	XORQ R10, AX
4372	MOVQ AX, 40(DI)
4373	XORQ AX, SI
4374	XORQ CX, R13
4375	ROLQ $0x2d, R13
4376	MOVQ R12, AX
4377	ANDQ R13, AX
4378	XORQ R11, AX
4379	MOVQ AX, 48(DI)
4380	XORQ AX, BP
4381	XORQ DX, R14
4382	ROLQ $0x3d, R14
4383	MOVQ R14, AX
4384	ORQ  R10, AX
4385	XORQ R13, AX
4386	MOVQ AX, 64(DI)
4387	ANDQ R11, R10
4388	XORQ R14, R10
4389	MOVQ R10, 72(DI)
4390	NOTQ R14
4391	XORQ R10, R15
4392	ORQ  R14, R13
4393	XORQ R12, R13
4394	MOVQ R13, 56(DI)
4395
4396	// Result k
4397	MOVQ 8(SP), R10
4398	MOVQ 56(SP), R11
4399	MOVQ 104(SP), R12
4400	MOVQ 152(SP), R13
4401	MOVQ 160(SP), R14
4402	XORQ DX, R11
4403	ROLQ $0x06, R11
4404	XORQ R8, R12
4405	ROLQ $0x19, R12
4406	MOVQ R11, AX
4407	ORQ  R12, AX
4408	XORQ CX, R10
4409	ROLQ $0x01, R10
4410	XORQ R10, AX
4411	MOVQ AX, 80(DI)
4412	XORQ AX, SI
4413	XORQ R9, R13
4414	ROLQ $0x08, R13
4415	MOVQ R12, AX
4416	ANDQ R13, AX
4417	XORQ R11, AX
4418	MOVQ AX, 88(DI)
4419	XORQ AX, BP
4420	XORQ BX, R14
4421	ROLQ $0x12, R14
4422	NOTQ R13
4423	MOVQ R13, AX
4424	ANDQ R14, AX
4425	XORQ R12, AX
4426	MOVQ AX, 96(DI)
4427	MOVQ R14, AX
4428	ORQ  R10, AX
4429	XORQ R13, AX
4430	MOVQ AX, 104(DI)
4431	ANDQ R11, R10
4432	XORQ R14, R10
4433	MOVQ R10, 112(DI)
4434	XORQ R10, R15
4435
4436	// Result m
4437	MOVQ 40(SP), R11
4438	XORQ BX, R11
4439	MOVQ 88(SP), R12
4440	ROLQ $0x24, R11
4441	XORQ CX, R12
4442	MOVQ 32(SP), R10
4443	ROLQ $0x0a, R12
4444	MOVQ R11, AX
4445	MOVQ 136(SP), R13
4446	ANDQ R12, AX
4447	XORQ R9, R10
4448	MOVQ 184(SP), R14
4449	ROLQ $0x1b, R10
4450	XORQ R10, AX
4451	MOVQ AX, 120(DI)
4452	XORQ AX, SI
4453	XORQ DX, R13
4454	ROLQ $0x0f, R13
4455	MOVQ R12, AX
4456	ORQ  R13, AX
4457	XORQ R11, AX
4458	MOVQ AX, 128(DI)
4459	XORQ AX, BP
4460	XORQ R8, R14
4461	ROLQ $0x38, R14
4462	NOTQ R13
4463	MOVQ R13, AX
4464	ORQ  R14, AX
4465	XORQ R12, AX
4466	MOVQ AX, 136(DI)
4467	ORQ  R10, R11
4468	XORQ R14, R11
4469	MOVQ R11, 152(DI)
4470	ANDQ R10, R14
4471	XORQ R13, R14
4472	MOVQ R14, 144(DI)
4473	XORQ R11, R15
4474
4475	// Result s
4476	MOVQ 16(SP), R10
4477	MOVQ 64(SP), R11
4478	MOVQ 112(SP), R12
4479	XORQ DX, R10
4480	MOVQ 120(SP), R13
4481	ROLQ $0x3e, R10
4482	XORQ R8, R11
4483	MOVQ 168(SP), R14
4484	ROLQ $0x37, R11
4485	XORQ R9, R12
4486	MOVQ R10, R9
4487	XORQ CX, R14
4488	ROLQ $0x02, R14
4489	ANDQ R11, R9
4490	XORQ R14, R9
4491	MOVQ R9, 192(DI)
4492	ROLQ $0x27, R12
4493	XORQ R9, R15
4494	NOTQ R11
4495	XORQ BX, R13
4496	MOVQ R11, BX
4497	ANDQ R12, BX
4498	XORQ R10, BX
4499	MOVQ BX, 160(DI)
4500	XORQ BX, SI
4501	ROLQ $0x29, R13
4502	MOVQ R12, CX
4503	ORQ  R13, CX
4504	XORQ R11, CX
4505	MOVQ CX, 168(DI)
4506	XORQ CX, BP
4507	MOVQ R13, DX
4508	MOVQ R14, R8
4509	ANDQ R14, DX
4510	ORQ  R10, R8
4511	XORQ R12, DX
4512	XORQ R13, R8
4513	MOVQ DX, 176(DI)
4514	MOVQ R8, 184(DI)
4515
4516	// Prepare round
4517	MOVQ BP, BX
4518	ROLQ $0x01, BX
4519	MOVQ 16(DI), R12
4520	XORQ 56(DI), DX
4521	XORQ R15, BX
4522	XORQ 96(DI), R12
4523	XORQ 136(DI), DX
4524	XORQ DX, R12
4525	MOVQ R12, CX
4526	ROLQ $0x01, CX
4527	MOVQ 24(DI), R13
4528	XORQ 64(DI), R8
4529	XORQ SI, CX
4530	XORQ 104(DI), R13
4531	XORQ 144(DI), R8
4532	XORQ R8, R13
4533	MOVQ R13, DX
4534	ROLQ $0x01, DX
4535	MOVQ R15, R8
4536	XORQ BP, DX
4537	ROLQ $0x01, R8
4538	MOVQ SI, R9
4539	XORQ R12, R8
4540	ROLQ $0x01, R9
4541
4542	// Result b
4543	MOVQ (DI), R10
4544	MOVQ 48(DI), R11
4545	XORQ R13, R9
4546	MOVQ 96(DI), R12
4547	MOVQ 144(DI), R13
4548	MOVQ 192(DI), R14
4549	XORQ CX, R11
4550	ROLQ $0x2c, R11
4551	XORQ DX, R12
4552	XORQ BX, R10
4553	ROLQ $0x2b, R12
4554	MOVQ R11, SI
4555	MOVQ $0x8000000080008081, AX
4556	ORQ  R12, SI
4557	XORQ R10, AX
4558	XORQ AX, SI
4559	MOVQ SI, (SP)
4560	XORQ R9, R14
4561	ROLQ $0x0e, R14
4562	MOVQ R10, R15
4563	ANDQ R11, R15
4564	XORQ R14, R15
4565	MOVQ R15, 32(SP)
4566	XORQ R8, R13
4567	ROLQ $0x15, R13
4568	MOVQ R13, AX
4569	ANDQ R14, AX
4570	XORQ R12, AX
4571	MOVQ AX, 16(SP)
4572	NOTQ R12
4573	ORQ  R10, R14
4574	ORQ  R13, R12
4575	XORQ R13, R14
4576	XORQ R11, R12
4577	MOVQ R14, 24(SP)
4578	MOVQ R12, 8(SP)
4579	MOVQ R12, BP
4580
4581	// Result g
4582	MOVQ 72(DI), R11
4583	XORQ R9, R11
4584	MOVQ 80(DI), R12
4585	ROLQ $0x14, R11
4586	XORQ BX, R12
4587	ROLQ $0x03, R12
4588	MOVQ 24(DI), R10
4589	MOVQ R11, AX
4590	ORQ  R12, AX
4591	XORQ R8, R10
4592	MOVQ 128(DI), R13
4593	MOVQ 176(DI), R14
4594	ROLQ $0x1c, R10
4595	XORQ R10, AX
4596	MOVQ AX, 40(SP)
4597	XORQ AX, SI
4598	XORQ CX, R13
4599	ROLQ $0x2d, R13
4600	MOVQ R12, AX
4601	ANDQ R13, AX
4602	XORQ R11, AX
4603	MOVQ AX, 48(SP)
4604	XORQ AX, BP
4605	XORQ DX, R14
4606	ROLQ $0x3d, R14
4607	MOVQ R14, AX
4608	ORQ  R10, AX
4609	XORQ R13, AX
4610	MOVQ AX, 64(SP)
4611	ANDQ R11, R10
4612	XORQ R14, R10
4613	MOVQ R10, 72(SP)
4614	NOTQ R14
4615	XORQ R10, R15
4616	ORQ  R14, R13
4617	XORQ R12, R13
4618	MOVQ R13, 56(SP)
4619
4620	// Result k
4621	MOVQ 8(DI), R10
4622	MOVQ 56(DI), R11
4623	MOVQ 104(DI), R12
4624	MOVQ 152(DI), R13
4625	MOVQ 160(DI), R14
4626	XORQ DX, R11
4627	ROLQ $0x06, R11
4628	XORQ R8, R12
4629	ROLQ $0x19, R12
4630	MOVQ R11, AX
4631	ORQ  R12, AX
4632	XORQ CX, R10
4633	ROLQ $0x01, R10
4634	XORQ R10, AX
4635	MOVQ AX, 80(SP)
4636	XORQ AX, SI
4637	XORQ R9, R13
4638	ROLQ $0x08, R13
4639	MOVQ R12, AX
4640	ANDQ R13, AX
4641	XORQ R11, AX
4642	MOVQ AX, 88(SP)
4643	XORQ AX, BP
4644	XORQ BX, R14
4645	ROLQ $0x12, R14
4646	NOTQ R13
4647	MOVQ R13, AX
4648	ANDQ R14, AX
4649	XORQ R12, AX
4650	MOVQ AX, 96(SP)
4651	MOVQ R14, AX
4652	ORQ  R10, AX
4653	XORQ R13, AX
4654	MOVQ AX, 104(SP)
4655	ANDQ R11, R10
4656	XORQ R14, R10
4657	MOVQ R10, 112(SP)
4658	XORQ R10, R15
4659
4660	// Result m
4661	MOVQ 40(DI), R11
4662	XORQ BX, R11
4663	MOVQ 88(DI), R12
4664	ROLQ $0x24, R11
4665	XORQ CX, R12
4666	MOVQ 32(DI), R10
4667	ROLQ $0x0a, R12
4668	MOVQ R11, AX
4669	MOVQ 136(DI), R13
4670	ANDQ R12, AX
4671	XORQ R9, R10
4672	MOVQ 184(DI), R14
4673	ROLQ $0x1b, R10
4674	XORQ R10, AX
4675	MOVQ AX, 120(SP)
4676	XORQ AX, SI
4677	XORQ DX, R13
4678	ROLQ $0x0f, R13
4679	MOVQ R12, AX
4680	ORQ  R13, AX
4681	XORQ R11, AX
4682	MOVQ AX, 128(SP)
4683	XORQ AX, BP
4684	XORQ R8, R14
4685	ROLQ $0x38, R14
4686	NOTQ R13
4687	MOVQ R13, AX
4688	ORQ  R14, AX
4689	XORQ R12, AX
4690	MOVQ AX, 136(SP)
4691	ORQ  R10, R11
4692	XORQ R14, R11
4693	MOVQ R11, 152(SP)
4694	ANDQ R10, R14
4695	XORQ R13, R14
4696	MOVQ R14, 144(SP)
4697	XORQ R11, R15
4698
4699	// Result s
4700	MOVQ 16(DI), R10
4701	MOVQ 64(DI), R11
4702	MOVQ 112(DI), R12
4703	XORQ DX, R10
4704	MOVQ 120(DI), R13
4705	ROLQ $0x3e, R10
4706	XORQ R8, R11
4707	MOVQ 168(DI), R14
4708	ROLQ $0x37, R11
4709	XORQ R9, R12
4710	MOVQ R10, R9
4711	XORQ CX, R14
4712	ROLQ $0x02, R14
4713	ANDQ R11, R9
4714	XORQ R14, R9
4715	MOVQ R9, 192(SP)
4716	ROLQ $0x27, R12
4717	XORQ R9, R15
4718	NOTQ R11
4719	XORQ BX, R13
4720	MOVQ R11, BX
4721	ANDQ R12, BX
4722	XORQ R10, BX
4723	MOVQ BX, 160(SP)
4724	XORQ BX, SI
4725	ROLQ $0x29, R13
4726	MOVQ R12, CX
4727	ORQ  R13, CX
4728	XORQ R11, CX
4729	MOVQ CX, 168(SP)
4730	XORQ CX, BP
4731	MOVQ R13, DX
4732	MOVQ R14, R8
4733	ANDQ R14, DX
4734	ORQ  R10, R8
4735	XORQ R12, DX
4736	XORQ R13, R8
4737	MOVQ DX, 176(SP)
4738	MOVQ R8, 184(SP)
4739
4740	// Prepare round
4741	MOVQ BP, BX
4742	ROLQ $0x01, BX
4743	MOVQ 16(SP), R12
4744	XORQ 56(SP), DX
4745	XORQ R15, BX
4746	XORQ 96(SP), R12
4747	XORQ 136(SP), DX
4748	XORQ DX, R12
4749	MOVQ R12, CX
4750	ROLQ $0x01, CX
4751	MOVQ 24(SP), R13
4752	XORQ 64(SP), R8
4753	XORQ SI, CX
4754	XORQ 104(SP), R13
4755	XORQ 144(SP), R8
4756	XORQ R8, R13
4757	MOVQ R13, DX
4758	ROLQ $0x01, DX
4759	MOVQ R15, R8
4760	XORQ BP, DX
4761	ROLQ $0x01, R8
4762	MOVQ SI, R9
4763	XORQ R12, R8
4764	ROLQ $0x01, R9
4765
4766	// Result b
4767	MOVQ (SP), R10
4768	MOVQ 48(SP), R11
4769	XORQ R13, R9
4770	MOVQ 96(SP), R12
4771	MOVQ 144(SP), R13
4772	MOVQ 192(SP), R14
4773	XORQ CX, R11
4774	ROLQ $0x2c, R11
4775	XORQ DX, R12
4776	XORQ BX, R10
4777	ROLQ $0x2b, R12
4778	MOVQ R11, SI
4779	MOVQ $0x8000000000008080, AX
4780	ORQ  R12, SI
4781	XORQ R10, AX
4782	XORQ AX, SI
4783	MOVQ SI, (DI)
4784	XORQ R9, R14
4785	ROLQ $0x0e, R14
4786	MOVQ R10, R15
4787	ANDQ R11, R15
4788	XORQ R14, R15
4789	MOVQ R15, 32(DI)
4790	XORQ R8, R13
4791	ROLQ $0x15, R13
4792	MOVQ R13, AX
4793	ANDQ R14, AX
4794	XORQ R12, AX
4795	MOVQ AX, 16(DI)
4796	NOTQ R12
4797	ORQ  R10, R14
4798	ORQ  R13, R12
4799	XORQ R13, R14
4800	XORQ R11, R12
4801	MOVQ R14, 24(DI)
4802	MOVQ R12, 8(DI)
4803	MOVQ R12, BP
4804
4805	// Result g
4806	MOVQ 72(SP), R11
4807	XORQ R9, R11
4808	MOVQ 80(SP), R12
4809	ROLQ $0x14, R11
4810	XORQ BX, R12
4811	ROLQ $0x03, R12
4812	MOVQ 24(SP), R10
4813	MOVQ R11, AX
4814	ORQ  R12, AX
4815	XORQ R8, R10
4816	MOVQ 128(SP), R13
4817	MOVQ 176(SP), R14
4818	ROLQ $0x1c, R10
4819	XORQ R10, AX
4820	MOVQ AX, 40(DI)
4821	XORQ AX, SI
4822	XORQ CX, R13
4823	ROLQ $0x2d, R13
4824	MOVQ R12, AX
4825	ANDQ R13, AX
4826	XORQ R11, AX
4827	MOVQ AX, 48(DI)
4828	XORQ AX, BP
4829	XORQ DX, R14
4830	ROLQ $0x3d, R14
4831	MOVQ R14, AX
4832	ORQ  R10, AX
4833	XORQ R13, AX
4834	MOVQ AX, 64(DI)
4835	ANDQ R11, R10
4836	XORQ R14, R10
4837	MOVQ R10, 72(DI)
4838	NOTQ R14
4839	XORQ R10, R15
4840	ORQ  R14, R13
4841	XORQ R12, R13
4842	MOVQ R13, 56(DI)
4843
4844	// Result k
4845	MOVQ 8(SP), R10
4846	MOVQ 56(SP), R11
4847	MOVQ 104(SP), R12
4848	MOVQ 152(SP), R13
4849	MOVQ 160(SP), R14
4850	XORQ DX, R11
4851	ROLQ $0x06, R11
4852	XORQ R8, R12
4853	ROLQ $0x19, R12
4854	MOVQ R11, AX
4855	ORQ  R12, AX
4856	XORQ CX, R10
4857	ROLQ $0x01, R10
4858	XORQ R10, AX
4859	MOVQ AX, 80(DI)
4860	XORQ AX, SI
4861	XORQ R9, R13
4862	ROLQ $0x08, R13
4863	MOVQ R12, AX
4864	ANDQ R13, AX
4865	XORQ R11, AX
4866	MOVQ AX, 88(DI)
4867	XORQ AX, BP
4868	XORQ BX, R14
4869	ROLQ $0x12, R14
4870	NOTQ R13
4871	MOVQ R13, AX
4872	ANDQ R14, AX
4873	XORQ R12, AX
4874	MOVQ AX, 96(DI)
4875	MOVQ R14, AX
4876	ORQ  R10, AX
4877	XORQ R13, AX
4878	MOVQ AX, 104(DI)
4879	ANDQ R11, R10
4880	XORQ R14, R10
4881	MOVQ R10, 112(DI)
4882	XORQ R10, R15
4883
4884	// Result m
4885	MOVQ 40(SP), R11
4886	XORQ BX, R11
4887	MOVQ 88(SP), R12
4888	ROLQ $0x24, R11
4889	XORQ CX, R12
4890	MOVQ 32(SP), R10
4891	ROLQ $0x0a, R12
4892	MOVQ R11, AX
4893	MOVQ 136(SP), R13
4894	ANDQ R12, AX
4895	XORQ R9, R10
4896	MOVQ 184(SP), R14
4897	ROLQ $0x1b, R10
4898	XORQ R10, AX
4899	MOVQ AX, 120(DI)
4900	XORQ AX, SI
4901	XORQ DX, R13
4902	ROLQ $0x0f, R13
4903	MOVQ R12, AX
4904	ORQ  R13, AX
4905	XORQ R11, AX
4906	MOVQ AX, 128(DI)
4907	XORQ AX, BP
4908	XORQ R8, R14
4909	ROLQ $0x38, R14
4910	NOTQ R13
4911	MOVQ R13, AX
4912	ORQ  R14, AX
4913	XORQ R12, AX
4914	MOVQ AX, 136(DI)
4915	ORQ  R10, R11
4916	XORQ R14, R11
4917	MOVQ R11, 152(DI)
4918	ANDQ R10, R14
4919	XORQ R13, R14
4920	MOVQ R14, 144(DI)
4921	XORQ R11, R15
4922
4923	// Result s
4924	MOVQ 16(SP), R10
4925	MOVQ 64(SP), R11
4926	MOVQ 112(SP), R12
4927	XORQ DX, R10
4928	MOVQ 120(SP), R13
4929	ROLQ $0x3e, R10
4930	XORQ R8, R11
4931	MOVQ 168(SP), R14
4932	ROLQ $0x37, R11
4933	XORQ R9, R12
4934	MOVQ R10, R9
4935	XORQ CX, R14
4936	ROLQ $0x02, R14
4937	ANDQ R11, R9
4938	XORQ R14, R9
4939	MOVQ R9, 192(DI)
4940	ROLQ $0x27, R12
4941	XORQ R9, R15
4942	NOTQ R11
4943	XORQ BX, R13
4944	MOVQ R11, BX
4945	ANDQ R12, BX
4946	XORQ R10, BX
4947	MOVQ BX, 160(DI)
4948	XORQ BX, SI
4949	ROLQ $0x29, R13
4950	MOVQ R12, CX
4951	ORQ  R13, CX
4952	XORQ R11, CX
4953	MOVQ CX, 168(DI)
4954	XORQ CX, BP
4955	MOVQ R13, DX
4956	MOVQ R14, R8
4957	ANDQ R14, DX
4958	ORQ  R10, R8
4959	XORQ R12, DX
4960	XORQ R13, R8
4961	MOVQ DX, 176(DI)
4962	MOVQ R8, 184(DI)
4963
4964	// Prepare round
4965	MOVQ BP, BX
4966	ROLQ $0x01, BX
4967	MOVQ 16(DI), R12
4968	XORQ 56(DI), DX
4969	XORQ R15, BX
4970	XORQ 96(DI), R12
4971	XORQ 136(DI), DX
4972	XORQ DX, R12
4973	MOVQ R12, CX
4974	ROLQ $0x01, CX
4975	MOVQ 24(DI), R13
4976	XORQ 64(DI), R8
4977	XORQ SI, CX
4978	XORQ 104(DI), R13
4979	XORQ 144(DI), R8
4980	XORQ R8, R13
4981	MOVQ R13, DX
4982	ROLQ $0x01, DX
4983	MOVQ R15, R8
4984	XORQ BP, DX
4985	ROLQ $0x01, R8
4986	MOVQ SI, R9
4987	XORQ R12, R8
4988	ROLQ $0x01, R9
4989
4990	// Result b
4991	MOVQ (DI), R10
4992	MOVQ 48(DI), R11
4993	XORQ R13, R9
4994	MOVQ 96(DI), R12
4995	MOVQ 144(DI), R13
4996	MOVQ 192(DI), R14
4997	XORQ CX, R11
4998	ROLQ $0x2c, R11
4999	XORQ DX, R12
5000	XORQ BX, R10
5001	ROLQ $0x2b, R12
5002	MOVQ R11, SI
5003	MOVQ $0x0000000080000001, AX
5004	ORQ  R12, SI
5005	XORQ R10, AX
5006	XORQ AX, SI
5007	MOVQ SI, (SP)
5008	XORQ R9, R14
5009	ROLQ $0x0e, R14
5010	MOVQ R10, R15
5011	ANDQ R11, R15
5012	XORQ R14, R15
5013	MOVQ R15, 32(SP)
5014	XORQ R8, R13
5015	ROLQ $0x15, R13
5016	MOVQ R13, AX
5017	ANDQ R14, AX
5018	XORQ R12, AX
5019	MOVQ AX, 16(SP)
5020	NOTQ R12
5021	ORQ  R10, R14
5022	ORQ  R13, R12
5023	XORQ R13, R14
5024	XORQ R11, R12
5025	MOVQ R14, 24(SP)
5026	MOVQ R12, 8(SP)
5027	MOVQ R12, BP
5028
5029	// Result g
5030	MOVQ 72(DI), R11
5031	XORQ R9, R11
5032	MOVQ 80(DI), R12
5033	ROLQ $0x14, R11
5034	XORQ BX, R12
5035	ROLQ $0x03, R12
5036	MOVQ 24(DI), R10
5037	MOVQ R11, AX
5038	ORQ  R12, AX
5039	XORQ R8, R10
5040	MOVQ 128(DI), R13
5041	MOVQ 176(DI), R14
5042	ROLQ $0x1c, R10
5043	XORQ R10, AX
5044	MOVQ AX, 40(SP)
5045	XORQ AX, SI
5046	XORQ CX, R13
5047	ROLQ $0x2d, R13
5048	MOVQ R12, AX
5049	ANDQ R13, AX
5050	XORQ R11, AX
5051	MOVQ AX, 48(SP)
5052	XORQ AX, BP
5053	XORQ DX, R14
5054	ROLQ $0x3d, R14
5055	MOVQ R14, AX
5056	ORQ  R10, AX
5057	XORQ R13, AX
5058	MOVQ AX, 64(SP)
5059	ANDQ R11, R10
5060	XORQ R14, R10
5061	MOVQ R10, 72(SP)
5062	NOTQ R14
5063	XORQ R10, R15
5064	ORQ  R14, R13
5065	XORQ R12, R13
5066	MOVQ R13, 56(SP)
5067
5068	// Result k
5069	MOVQ 8(DI), R10
5070	MOVQ 56(DI), R11
5071	MOVQ 104(DI), R12
5072	MOVQ 152(DI), R13
5073	MOVQ 160(DI), R14
5074	XORQ DX, R11
5075	ROLQ $0x06, R11
5076	XORQ R8, R12
5077	ROLQ $0x19, R12
5078	MOVQ R11, AX
5079	ORQ  R12, AX
5080	XORQ CX, R10
5081	ROLQ $0x01, R10
5082	XORQ R10, AX
5083	MOVQ AX, 80(SP)
5084	XORQ AX, SI
5085	XORQ R9, R13
5086	ROLQ $0x08, R13
5087	MOVQ R12, AX
5088	ANDQ R13, AX
5089	XORQ R11, AX
5090	MOVQ AX, 88(SP)
5091	XORQ AX, BP
5092	XORQ BX, R14
5093	ROLQ $0x12, R14
5094	NOTQ R13
5095	MOVQ R13, AX
5096	ANDQ R14, AX
5097	XORQ R12, AX
5098	MOVQ AX, 96(SP)
5099	MOVQ R14, AX
5100	ORQ  R10, AX
5101	XORQ R13, AX
5102	MOVQ AX, 104(SP)
5103	ANDQ R11, R10
5104	XORQ R14, R10
5105	MOVQ R10, 112(SP)
5106	XORQ R10, R15
5107
5108	// Result m
5109	MOVQ 40(DI), R11
5110	XORQ BX, R11
5111	MOVQ 88(DI), R12
5112	ROLQ $0x24, R11
5113	XORQ CX, R12
5114	MOVQ 32(DI), R10
5115	ROLQ $0x0a, R12
5116	MOVQ R11, AX
5117	MOVQ 136(DI), R13
5118	ANDQ R12, AX
5119	XORQ R9, R10
5120	MOVQ 184(DI), R14
5121	ROLQ $0x1b, R10
5122	XORQ R10, AX
5123	MOVQ AX, 120(SP)
5124	XORQ AX, SI
5125	XORQ DX, R13
5126	ROLQ $0x0f, R13
5127	MOVQ R12, AX
5128	ORQ  R13, AX
5129	XORQ R11, AX
5130	MOVQ AX, 128(SP)
5131	XORQ AX, BP
5132	XORQ R8, R14
5133	ROLQ $0x38, R14
5134	NOTQ R13
5135	MOVQ R13, AX
5136	ORQ  R14, AX
5137	XORQ R12, AX
5138	MOVQ AX, 136(SP)
5139	ORQ  R10, R11
5140	XORQ R14, R11
5141	MOVQ R11, 152(SP)
5142	ANDQ R10, R14
5143	XORQ R13, R14
5144	MOVQ R14, 144(SP)
5145	XORQ R11, R15
5146
5147	// Result s
5148	MOVQ 16(DI), R10
5149	MOVQ 64(DI), R11
5150	MOVQ 112(DI), R12
5151	XORQ DX, R10
5152	MOVQ 120(DI), R13
5153	ROLQ $0x3e, R10
5154	XORQ R8, R11
5155	MOVQ 168(DI), R14
5156	ROLQ $0x37, R11
5157	XORQ R9, R12
5158	MOVQ R10, R9
5159	XORQ CX, R14
5160	ROLQ $0x02, R14
5161	ANDQ R11, R9
5162	XORQ R14, R9
5163	MOVQ R9, 192(SP)
5164	ROLQ $0x27, R12
5165	XORQ R9, R15
5166	NOTQ R11
5167	XORQ BX, R13
5168	MOVQ R11, BX
5169	ANDQ R12, BX
5170	XORQ R10, BX
5171	MOVQ BX, 160(SP)
5172	XORQ BX, SI
5173	ROLQ $0x29, R13
5174	MOVQ R12, CX
5175	ORQ  R13, CX
5176	XORQ R11, CX
5177	MOVQ CX, 168(SP)
5178	XORQ CX, BP
5179	MOVQ R13, DX
5180	MOVQ R14, R8
5181	ANDQ R14, DX
5182	ORQ  R10, R8
5183	XORQ R12, DX
5184	XORQ R13, R8
5185	MOVQ DX, 176(SP)
5186	MOVQ R8, 184(SP)
5187
5188	// Prepare round
5189	MOVQ BP, BX
5190	ROLQ $0x01, BX
5191	MOVQ 16(SP), R12
5192	XORQ 56(SP), DX
5193	XORQ R15, BX
5194	XORQ 96(SP), R12
5195	XORQ 136(SP), DX
5196	XORQ DX, R12
5197	MOVQ R12, CX
5198	ROLQ $0x01, CX
5199	MOVQ 24(SP), R13
5200	XORQ 64(SP), R8
5201	XORQ SI, CX
5202	XORQ 104(SP), R13
5203	XORQ 144(SP), R8
5204	XORQ R8, R13
5205	MOVQ R13, DX
5206	ROLQ $0x01, DX
5207	MOVQ R15, R8
5208	XORQ BP, DX
5209	ROLQ $0x01, R8
5210	MOVQ SI, R9
5211	XORQ R12, R8
5212	ROLQ $0x01, R9
5213
5214	// Result b
5215	MOVQ (SP), R10
5216	MOVQ 48(SP), R11
5217	XORQ R13, R9
5218	MOVQ 96(SP), R12
5219	MOVQ 144(SP), R13
5220	MOVQ 192(SP), R14
5221	XORQ CX, R11
5222	ROLQ $0x2c, R11
5223	XORQ DX, R12
5224	XORQ BX, R10
5225	ROLQ $0x2b, R12
5226	MOVQ R11, SI
5227	MOVQ $0x8000000080008008, AX
5228	ORQ  R12, SI
5229	XORQ R10, AX
5230	XORQ AX, SI
5231	MOVQ SI, (DI)
5232	XORQ R9, R14
5233	ROLQ $0x0e, R14
5234	MOVQ R10, R15
5235	ANDQ R11, R15
5236	XORQ R14, R15
5237	MOVQ R15, 32(DI)
5238	XORQ R8, R13
5239	ROLQ $0x15, R13
5240	MOVQ R13, AX
5241	ANDQ R14, AX
5242	XORQ R12, AX
5243	MOVQ AX, 16(DI)
5244	NOTQ R12
5245	ORQ  R10, R14
5246	ORQ  R13, R12
5247	XORQ R13, R14
5248	XORQ R11, R12
5249	MOVQ R14, 24(DI)
5250	MOVQ R12, 8(DI)
5251	NOP
5252
5253	// Result g
5254	MOVQ 72(SP), R11
5255	XORQ R9, R11
5256	MOVQ 80(SP), R12
5257	ROLQ $0x14, R11
5258	XORQ BX, R12
5259	ROLQ $0x03, R12
5260	MOVQ 24(SP), R10
5261	MOVQ R11, AX
5262	ORQ  R12, AX
5263	XORQ R8, R10
5264	MOVQ 128(SP), R13
5265	MOVQ 176(SP), R14
5266	ROLQ $0x1c, R10
5267	XORQ R10, AX
5268	MOVQ AX, 40(DI)
5269	NOP
5270	XORQ CX, R13
5271	ROLQ $0x2d, R13
5272	MOVQ R12, AX
5273	ANDQ R13, AX
5274	XORQ R11, AX
5275	MOVQ AX, 48(DI)
5276	NOP
5277	XORQ DX, R14
5278	ROLQ $0x3d, R14
5279	MOVQ R14, AX
5280	ORQ  R10, AX
5281	XORQ R13, AX
5282	MOVQ AX, 64(DI)
5283	ANDQ R11, R10
5284	XORQ R14, R10
5285	MOVQ R10, 72(DI)
5286	NOTQ R14
5287	NOP
5288	ORQ  R14, R13
5289	XORQ R12, R13
5290	MOVQ R13, 56(DI)
5291
5292	// Result k
5293	MOVQ 8(SP), R10
5294	MOVQ 56(SP), R11
5295	MOVQ 104(SP), R12
5296	MOVQ 152(SP), R13
5297	MOVQ 160(SP), R14
5298	XORQ DX, R11
5299	ROLQ $0x06, R11
5300	XORQ R8, R12
5301	ROLQ $0x19, R12
5302	MOVQ R11, AX
5303	ORQ  R12, AX
5304	XORQ CX, R10
5305	ROLQ $0x01, R10
5306	XORQ R10, AX
5307	MOVQ AX, 80(DI)
5308	NOP
5309	XORQ R9, R13
5310	ROLQ $0x08, R13
5311	MOVQ R12, AX
5312	ANDQ R13, AX
5313	XORQ R11, AX
5314	MOVQ AX, 88(DI)
5315	NOP
5316	XORQ BX, R14
5317	ROLQ $0x12, R14
5318	NOTQ R13
5319	MOVQ R13, AX
5320	ANDQ R14, AX
5321	XORQ R12, AX
5322	MOVQ AX, 96(DI)
5323	MOVQ R14, AX
5324	ORQ  R10, AX
5325	XORQ R13, AX
5326	MOVQ AX, 104(DI)
5327	ANDQ R11, R10
5328	XORQ R14, R10
5329	MOVQ R10, 112(DI)
5330	NOP
5331
5332	// Result m
5333	MOVQ 40(SP), R11
5334	XORQ BX, R11
5335	MOVQ 88(SP), R12
5336	ROLQ $0x24, R11
5337	XORQ CX, R12
5338	MOVQ 32(SP), R10
5339	ROLQ $0x0a, R12
5340	MOVQ R11, AX
5341	MOVQ 136(SP), R13
5342	ANDQ R12, AX
5343	XORQ R9, R10
5344	MOVQ 184(SP), R14
5345	ROLQ $0x1b, R10
5346	XORQ R10, AX
5347	MOVQ AX, 120(DI)
5348	NOP
5349	XORQ DX, R13
5350	ROLQ $0x0f, R13
5351	MOVQ R12, AX
5352	ORQ  R13, AX
5353	XORQ R11, AX
5354	MOVQ AX, 128(DI)
5355	NOP
5356	XORQ R8, R14
5357	ROLQ $0x38, R14
5358	NOTQ R13
5359	MOVQ R13, AX
5360	ORQ  R14, AX
5361	XORQ R12, AX
5362	MOVQ AX, 136(DI)
5363	ORQ  R10, R11
5364	XORQ R14, R11
5365	MOVQ R11, 152(DI)
5366	ANDQ R10, R14
5367	XORQ R13, R14
5368	MOVQ R14, 144(DI)
5369	NOP
5370
5371	// Result s
5372	MOVQ 16(SP), R10
5373	MOVQ 64(SP), R11
5374	MOVQ 112(SP), R12
5375	XORQ DX, R10
5376	MOVQ 120(SP), R13
5377	ROLQ $0x3e, R10
5378	XORQ R8, R11
5379	MOVQ 168(SP), R14
5380	ROLQ $0x37, R11
5381	XORQ R9, R12
5382	MOVQ R10, R9
5383	XORQ CX, R14
5384	ROLQ $0x02, R14
5385	ANDQ R11, R9
5386	XORQ R14, R9
5387	MOVQ R9, 192(DI)
5388	ROLQ $0x27, R12
5389	NOP
5390	NOTQ R11
5391	XORQ BX, R13
5392	MOVQ R11, BX
5393	ANDQ R12, BX
5394	XORQ R10, BX
5395	MOVQ BX, 160(DI)
5396	NOP
5397	ROLQ $0x29, R13
5398	MOVQ R12, CX
5399	ORQ  R13, CX
5400	XORQ R11, CX
5401	MOVQ CX, 168(DI)
5402	NOP
5403	MOVQ R13, DX
5404	MOVQ R14, R8
5405	ANDQ R14, DX
5406	ORQ  R10, R8
5407	XORQ R12, DX
5408	XORQ R13, R8
5409	MOVQ DX, 176(DI)
5410	MOVQ R8, 184(DI)
5411
5412	// Revert the internal state to the user state
5413	NOTQ 8(DI)
5414	NOTQ 16(DI)
5415	NOTQ 64(DI)
5416	NOTQ 96(DI)
5417	NOTQ 136(DI)
5418	NOTQ 160(DI)
5419	RET