...

Text file src/golang.org/x/crypto/blake2b/blake2bAVX2_amd64.s

Documentation: golang.org/x/crypto/blake2b

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

View as plain text