61 	A = ctx->avx[0].v[0] + ctx->avx[0].v[1] +  in fletcher_4_avx2_fini()
62 	    ctx->avx[0].v[2] + ctx->avx[0].v[3];  in fletcher_4_avx2_fini()
63 	B = 0 - ctx->avx[0].v[1] - 2 * ctx->avx[0].v[2] - 3 * ctx->avx[0].v[3] +  in fletcher_4_avx2_fini()
64 	    4 * ctx->avx[1].v[0] + 4 * ctx->avx[1].v[1] + 4 * ctx->avx[1].v[2] +  in fletcher_4_avx2_fini()
65 	    4 * ctx->avx[1].v[3];  in fletcher_4_avx2_fini()
67 	C = ctx->avx[0].v[2] + 3 * ctx->avx[0].v[3] - 6 * ctx->avx[1].v[0] -  in fletcher_4_avx2_fini()
68 	    10 * ctx->avx[1].v[1] - 14 * ctx->avx[1].v[2] -  in fletcher_4_avx2_fini()
69 	    18 * ctx->avx[1].v[3] + 16 * ctx->avx[2].v[0] +  in fletcher_4_avx2_fini()
70 	    16 * ctx->avx[2].v[1] + 16 * ctx->avx[2].v[2] +  in fletcher_4_avx2_fini()
71 	    16 * ctx->avx[2].v[3];  in fletcher_4_avx2_fini()
73 	D = 0 - ctx->avx[0].v[3] + 4 * ctx->avx[1].v[0] +  in fletcher_4_avx2_fini()
74 	    10 * ctx->avx[1].v[1] + 20 * ctx->avx[1].v[2] +  in fletcher_4_avx2_fini()
75 	    34 * ctx->avx[1].v[3] - 48 * ctx->avx[2].v[0] -  in fletcher_4_avx2_fini()
76 	    64 * ctx->avx[2].v[1] - 80 * ctx->avx[2].v[2] -  in fletcher_4_avx2_fini()
77 	    96 * ctx->avx[2].v[3] + 64 * ctx->avx[3].v[0] +  in fletcher_4_avx2_fini()
78 	    64 * ctx->avx[3].v[1] + 64 * ctx->avx[3].v[2] +  in fletcher_4_avx2_fini()
79 	    64 * ctx->avx[3].v[3];  in fletcher_4_avx2_fini()
89 	asm volatile("vmovdqu %0, %%ymm3" :: "m" ((ctx)->avx[3]));	\
97 	asm volatile("vmovdqu %%ymm3, %0" : "=m" ((ctx)->avx[3]));	\
125 		.v = { 0xFFFFFFFF00010203, 0xFFFFFFFF08090A0B,  in fletcher_4_avx2_byteswap()