// File: /workspace/github_c_makefile_star2_O3/mjosaarinen[P]brutus/crypto_aead/aezv4/aesni/encrypt.c
// Function: pass_two
block pass_two(aez_ctx_t *ctx, block s, unsigned bytes, block *dst) {
    block o0, o1, o2, o3, o4, o5, o6, o7, sum=zero, offset;
    block fs[8], tmp[8];
    block I=ctx->I[0], L=ctx->L, J=ctx->J[0];
    block Ifordoubling = double_block(bswap16(ctx->I[2]));  /* I8 */
    offset = bswap16(Ifordoubling);
    while (bytes >= 16*16) {
        o0 = offset;
        o1 = vxor(o0,ctx->I[0]);
        o2 = vxor(o0,ctx->I[1]);
        o3 = vxor(o1,ctx->I[1]);
        o4 = vxor(o0,ctx->I[2]);
        o5 = vxor(o1,ctx->I[2]);
        o6 = vxor(o2,ctx->I[2]);
        o7 = vxor(o3,ctx->I[2]);
        offset = bswap16(Ifordoubling = double_block(Ifordoubling));
        fs[0] = aes4(vxor(s,o0),L,I,J,L); fs[1] = aes4(vxor(s,o1),L,I,J,L);
        fs[2] = aes4(vxor(s,o2),L,I,J,L); fs[3] = aes4(vxor(s,o3),L,I,J,L);
        fs[4] = aes4(vxor(s,o4),L,I,J,L); fs[5] = aes4(vxor(s,o5),L,I,J,L);
        fs[6] = aes4(vxor(s,o6),L,I,J,L); fs[7] = aes4(vxor(s,o7),L,I,J,L);
        tmp[0] = vxor(load(dst+ 0),fs[0]); sum = vxor(sum,tmp[0]);
        store(dst+ 0,vxor(load(dst+ 1),fs[0]));
        tmp[1] = vxor(load(dst+ 2),fs[1]); sum = vxor(sum,tmp[1]);
        store(dst+ 2,vxor(load(dst+ 3),fs[1]));
        tmp[2] = vxor(load(dst+ 4),fs[2]); sum = vxor(sum,tmp[2]);
        store(dst+ 4,vxor(load(dst+ 5),fs[2]));
        tmp[3] = vxor(load(dst+ 6),fs[3]); sum = vxor(sum,tmp[3]);
        store(dst+ 6,vxor(load(dst+ 7),fs[3]));
        tmp[4] = vxor(load(dst+ 8),fs[4]); sum = vxor(sum,tmp[4]);
        store(dst+ 8,vxor(load(dst+ 9),fs[4]));
        tmp[5] = vxor(load(dst+10),fs[5]); sum = vxor(sum,tmp[5]);
        store(dst+10,vxor(load(dst+11),fs[5]));
        tmp[6] = vxor(load(dst+12),fs[6]); sum = vxor(sum,tmp[6]);
        store(dst+12,vxor(load(dst+13),fs[6]));
        tmp[7] = vxor(load(dst+14),fs[7]); sum = vxor(sum,tmp[7]);
        store(dst+14,vxor(load(dst+15),fs[7]));
        store(dst+ 1, aes4(load(dst+ 0), J, I, L, tmp[0]));
        store(dst+ 3, aes4(load(dst+ 2), J, I, L, tmp[1]));
        store(dst+ 5, aes4(load(dst+ 4), J, I, L, tmp[2]));
        store(dst+ 7, aes4(load(dst+ 6), J, I, L, tmp[3]));
        store(dst+ 9, aes4(load(dst+ 8), J, I, L, tmp[4]));
        store(dst+11, aes4(load(dst+10), J, I, L, tmp[5]));
        store(dst+13, aes4(load(dst+12), J, I, L, tmp[6]));
        store(dst+15, aes4(load(dst+14), J, I, L, tmp[7]));
        store(dst+ 0, aes4(vxor(load(dst+ 1),o0), J, I, L, load(dst+ 0)));
        store(dst+ 2, aes4(vxor(load(dst+ 3),o1), J, I, L, load(dst+ 2)));
        store(dst+ 4, aes4(vxor(load(dst+ 5),o2), J, I, L, load(dst+ 4)));
        store(dst+ 6, aes4(vxor(load(dst+ 7),o3), J, I, L, load(dst+ 6)));
        store(dst+ 8, aes4(vxor(load(dst+ 9),o4), J, I, L, load(dst+ 8)));
        store(dst+10, aes4(vxor(load(dst+11),o5), J, I, L, load(dst+10)));
        store(dst+12, aes4(vxor(load(dst+13),o6), J, I, L, load(dst+12)));
        store(dst+14, aes4(vxor(load(dst+15),o7), J, I, L, load(dst+14)));
        bytes -= 16*16; dst += 16;
    }
    if (bytes >= 8*16) {
        o0 = offset;
        o1 = vxor(o0,ctx->I[0]);
        o2 = vxor(o0,ctx->I[1]);
        o3 = vxor(o1,ctx->I[1]);
        offset = vxor(o0,ctx->I[2]);
        fs[0] = aes4(vxor(s,o0),L,I,J,L); fs[1] = aes4(vxor(s,o1),L,I,J,L);
        fs[2] = aes4(vxor(s,o2),L,I,J,L); fs[3] = aes4(vxor(s,o3),L,I,J,L);
        tmp[0] = vxor(load(dst+ 0),fs[0]); sum = vxor(sum,tmp[0]);
        store(dst+ 0,vxor(load(dst+ 1),fs[0]));
        tmp[1] = vxor(load(dst+ 2),fs[1]); sum = vxor(sum,tmp[1]);
        store(dst+ 2,vxor(load(dst+ 3),fs[1]));
        tmp[2] = vxor(load(dst+ 4),fs[2]); sum = vxor(sum,tmp[2]);
        store(dst+ 4,vxor(load(dst+ 5),fs[2]));
        tmp[3] = vxor(load(dst+ 6),fs[3]); sum = vxor(sum,tmp[3]);
        store(dst+ 6,vxor(load(dst+ 7),fs[3]));
        store(dst+ 1, aes4(load(dst+ 0), J, I, L, tmp[0]));
        store(dst+ 3, aes4(load(dst+ 2), J, I, L, tmp[1]));
        store(dst+ 5, aes4(load(dst+ 4), J, I, L, tmp[2]));
        store(dst+ 7, aes4(load(dst+ 6), J, I, L, tmp[3]));
        store(dst+ 0, aes4(vxor(load(dst+ 1),o0), J, I, L, load(dst+ 0)));
        store(dst+ 2, aes4(vxor(load(dst+ 3),o1), J, I, L, load(dst+ 2)));
        store(dst+ 4, aes4(vxor(load(dst+ 5),o2), J, I, L, load(dst+ 4)));
        store(dst+ 6, aes4(vxor(load(dst+ 7),o3), J, I, L, load(dst+ 6)));
        bytes -= 8*16; dst += 8;
    }
    if (bytes >= 4*16) {
        o0 = offset;
        o1 = vxor(o0,ctx->I[0]);
        offset = vxor(o0,ctx->I[1]);
        fs[0] = aes4(vxor(s,o0),L,I,J,L); fs[1] = aes4(vxor(s,o1),L,I,J,L);
        tmp[0] = vxor(load(dst+ 0),fs[0]); sum = vxor(sum,tmp[0]);
        store(dst+ 0,vxor(load(dst+ 1),fs[0]));
        tmp[1] = vxor(load(dst+ 2),fs[1]); sum = vxor(sum,tmp[1]);
        store(dst+ 2,vxor(load(dst+ 3),fs[1]));
        store(dst+ 1, aes4(load(dst+ 0), J, I, L, tmp[0]));
        store(dst+ 3, aes4(load(dst+ 2), J, I, L, tmp[1]));
        store(dst+ 0, aes4(vxor(load(dst+ 1),o0), J, I, L, load(dst+ 0)));
        store(dst+ 2, aes4(vxor(load(dst+ 3),o1), J, I, L, load(dst+ 2)));
        bytes -= 4*16; dst += 4;
    }
    if (bytes) {
        o0 = offset;
        fs[0] = aes4(vxor(s,o0),L,I,J,L);
        tmp[0] = vxor(load(dst+ 0),fs[0]); sum = vxor(sum,tmp[0]);
        store(dst+ 0,vxor(load(dst+ 1),fs[0]));
        store(dst+ 1, aes4(load(dst+ 0), J, I, L, tmp[0]));
        store(dst+ 0, aes4(vxor(load(dst+ 1),o0), J, I, L, load(dst+ 0)));
    }
    return sum;
}

// Assembly:
vmovdqa (%rdi), %xmm2
vmovdqa 0x20(%rdi), %xmm1
vmovdqa 0x30(%rdi), %xmm4
vmovdqa 0x60(%rdi), %xmm3
vmovdqa64 %xmm0, %xmm22
vmovdqa 0x21f1(%rip), %xmm0     # 0x4030
vpshufb %xmm0, %xmm1, %xmm1
vpshufd $0x93, %xmm1, %xmm5     # xmm5 = xmm1[3,0,1,2]
vpsrad $0x1f, %xmm5, %xmm6
vpaddd %xmm1, %xmm1, %xmm18
vpternlogd $0x78, 0x21f1(%rip), %xmm6, %xmm18 # 0x4050
vpshufb %xmm0, %xmm18, %xmm26
vpxord %xmm27, %xmm27, %xmm27
cmpl $0x100, %esi            # imm = 0x100
jb 0x2285
vpxorq (%rdi), %xmm26, %xmm25
vmovdqa 0x10(%rdi), %xmm1
vmovdqa 0x20(%rdi), %xmm6
vpxorq %xmm26, %xmm1, %xmm24
vpxorq %xmm1, %xmm25, %xmm23
vpxorq %xmm26, %xmm6, %xmm21
vpxorq %xmm25, %xmm6, %xmm20
vpxorq %xmm6, %xmm24, %xmm5
vmovdqa %xmm5, -0x28(%rsp)
vpxorq %xmm6, %xmm23, %xmm0
vmovdqa %xmm0, -0x18(%rsp)
vpxorq %xmm22, %xmm26, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vaesenc %xmm2, %xmm1, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vpxorq %xmm22, %xmm25, %xmm6
vaesenc %xmm3, %xmm6, %xmm6
vaesenc %xmm2, %xmm6, %xmm6
vaesenc %xmm3, %xmm1, %xmm1
vaesenc %xmm4, %xmm6, %xmm6
vpxorq %xmm22, %xmm24, %xmm7
vaesenc %xmm3, %xmm7, %xmm7
vaesenc %xmm2, %xmm7, %xmm7
vpxorq %xmm22, %xmm23, %xmm8
vaesenc %xmm4, %xmm7, %xmm7
vaesenc %xmm3, %xmm8, %xmm8
vaesenc %xmm2, %xmm8, %xmm8
vaesenc %xmm4, %xmm8, %xmm8
vpxorq %xmm22, %xmm21, %xmm10
vaesenc %xmm3, %xmm10, %xmm10
vaesenc %xmm3, %xmm6, %xmm6
vaesenc %xmm2, %xmm10, %xmm10
vaesenc %xmm4, %xmm10, %xmm10
vpxorq %xmm22, %xmm20, %xmm11
vaesenc %xmm3, %xmm11, %xmm11
vaesenc %xmm2, %xmm11, %xmm11
vaesenc %xmm3, %xmm7, %xmm13
vaesenc %xmm4, %xmm11, %xmm11
vpxorq %xmm22, %xmm5, %xmm7
vaesenc %xmm3, %xmm7, %xmm7
vaesenc %xmm2, %xmm7, %xmm7
vaesenc %xmm4, %xmm7, %xmm12
vaesenc %xmm3, %xmm8, %xmm8
vpxorq %xmm22, %xmm0, %xmm7
vpxor (%rdx), %xmm1, %xmm15
vpxor 0x10(%rdx), %xmm1, %xmm9
vaesenc %xmm3, %xmm10, %xmm1
vaesenc %xmm3, %xmm7, %xmm14
vpxor 0x20(%rdx), %xmm6, %xmm5
vpxor 0x30(%rdx), %xmm6, %xmm6
vaesenc %xmm3, %xmm11, %xmm11
vpxor 0x40(%rdx), %xmm13, %xmm0
vpxor 0x50(%rdx), %xmm13, %xmm7
vpxorq 0x60(%rdx), %xmm8, %xmm16
vaesenc %xmm2, %xmm14, %xmm13
vpxor 0x70(%rdx), %xmm8, %xmm10
vpxor 0x80(%rdx), %xmm1, %xmm14
vaesenc %xmm3, %xmm12, %xmm12
vaesenc %xmm4, %xmm13, %xmm8
vpxor 0x90(%rdx), %xmm1, %xmm13
vpxorq 0xa0(%rdx), %xmm11, %xmm29
vaesenc %xmm3, %xmm8, %xmm1
vmovdqa64 %xmm1, %xmm17
vpternlogq $0x96, %xmm5, %xmm15, %xmm27
vpxorq 0xb0(%rdx), %xmm11, %xmm28
vpxor 0xc0(%rdx), %xmm12, %xmm11
vpternlogq $0x96, %xmm0, %xmm16, %xmm27
vpxor 0xd0(%rdx), %xmm12, %xmm8
vaesenc %xmm4, %xmm9, %xmm1
vmovdqa64 %xmm9, %xmm19
vaesenc %xmm2, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vaesenc %xmm15, %xmm1, %xmm1
vaesenc %xmm4, %xmm6, %xmm12
vmovdqa64 %xmm6, %xmm31
vaesenc %xmm2, %xmm12, %xmm12
vaesenc %xmm3, %xmm12, %xmm12
vaesenc %xmm5, %xmm12, %xmm9
vaesenc %xmm4, %xmm7, %xmm12
vmovdqa64 %xmm7, %xmm30
vmovdqa64 %xmm29, %xmm5
vpternlogq $0x96, %xmm14, %xmm29, %xmm27
vaesenc %xmm2, %xmm12, %xmm12
vaesenc %xmm3, %xmm12, %xmm12
vaesenc %xmm0, %xmm12, %xmm15
vaesenc %xmm4, %xmm10, %xmm12
vmovdqa64 %xmm10, %xmm29
vaesenc %xmm2, %xmm12, %xmm12
vaesenc %xmm3, %xmm12, %xmm12
vmovdqa64 %xmm16, %xmm0
vaesenc %xmm0, %xmm12, %xmm7
vaesenc %xmm4, %xmm13, %xmm12
vmovdqa %xmm13, %xmm10
vaesenc %xmm2, %xmm12, %xmm12
vaesenc %xmm3, %xmm12, %xmm12
vaesenc %xmm14, %xmm12, %xmm6
vmovdqa64 %xmm28, %xmm0
vaesenc %xmm4, %xmm0, %xmm12
vaesenc %xmm2, %xmm12, %xmm12
vaesenc %xmm3, %xmm12, %xmm12
vaesenc %xmm5, %xmm12, %xmm14
vpxorq 0xe0(%rdx), %xmm17, %xmm12
vpternlogq $0x96, %xmm11, %xmm12, %xmm27
vaesenc %xmm4, %xmm8, %xmm13
vmovdqa64 %xmm8, %xmm28
vaesenc %xmm2, %xmm13, %xmm13
vaesenc %xmm3, %xmm13, %xmm13
vaesenc %xmm11, %xmm13, %xmm11
vpxorq 0xf0(%rdx), %xmm17, %xmm13
vaesenc %xmm4, %xmm13, %xmm8
vaesenc %xmm2, %xmm8, %xmm8
vaesenc %xmm3, %xmm8, %xmm8
vaesenc %xmm12, %xmm8, %xmm8
vmovdqu %xmm1, 0x10(%rdx)
vmovdqa %xmm9, %xmm12
vmovdqu %xmm9, 0x30(%rdx)
vmovdqu %xmm15, 0x50(%rdx)
vmovdqu %xmm7, 0x70(%rdx)
vmovdqu %xmm6, 0x90(%rdx)
vmovdqu %xmm14, 0xb0(%rdx)
vmovdqu %xmm11, 0xd0(%rdx)
vpxorq %xmm26, %xmm1, %xmm1
vmovdqu %xmm8, 0xf0(%rdx)
vaesenc %xmm4, %xmm1, %xmm1
vaesenc %xmm2, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vmovdqa64 %xmm19, %xmm9
vaesenc %xmm9, %xmm1, %xmm1
vmovdqu %xmm1, (%rdx)
vpxorq %xmm25, %xmm12, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vaesenc %xmm2, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vmovdqa64 %xmm31, %xmm12
vaesenc %xmm12, %xmm1, %xmm1
vmovdqu %xmm1, 0x20(%rdx)
vpxorq %xmm24, %xmm15, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vaesenc %xmm2, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vmovdqa64 %xmm30, %xmm12
vaesenc %xmm12, %xmm1, %xmm1
vmovdqu %xmm1, 0x40(%rdx)
vpxorq %xmm23, %xmm7, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vaesenc %xmm2, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vmovdqa64 %xmm29, %xmm7
vaesenc %xmm7, %xmm1, %xmm1
vmovdqu %xmm1, 0x60(%rdx)
vpxorq %xmm21, %xmm6, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vaesenc %xmm2, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vaesenc %xmm10, %xmm1, %xmm1
vpxorq %xmm20, %xmm14, %xmm6
vaesenc %xmm4, %xmm6, %xmm6
vaesenc %xmm2, %xmm6, %xmm6
vaesenc %xmm3, %xmm6, %xmm6
vaesenc %xmm0, %xmm6, %xmm6
vmovdqu %xmm1, 0x80(%rdx)
vmovdqu %xmm6, 0xa0(%rdx)
vpxor -0x28(%rsp), %xmm11, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vaesenc %xmm2, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vmovdqa64 %xmm28, %xmm0
vaesenc %xmm0, %xmm1, %xmm1
vmovdqu %xmm1, 0xc0(%rdx)
vpxor -0x18(%rsp), %xmm8, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vaesenc %xmm2, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vaesenc %xmm13, %xmm1, %xmm1
vmovdqu %xmm1, 0xe0(%rdx)
vpshufd $0x93, %xmm18, %xmm1    # xmm1 = xmm18[3,0,1,2]
vpsrad $0x1f, %xmm1, %xmm1
vpaddd %xmm18, %xmm18, %xmm18
vpternlogd $0x78, 0x1df6(%rip), %xmm1, %xmm18 # 0x4050
vpshufb 0x1dcc(%rip), %xmm18, %xmm8 # 0x4030
addl $0xffffff00, %esi       # imm = 0xFFFFFF00
addq $0x100, %rdx            # imm = 0x100
vmovdqa64 %xmm8, %xmm26
cmpl $0xff, %esi
ja 0x1e77
jmp 0x228b
vmovdqa64 %xmm26, %xmm8
cmpl $0x80, %esi
jb 0x2431
vpxor (%rdi), %xmm8, %xmm7
vmovdqa 0x10(%rdi), %xmm1
vpxorq %xmm8, %xmm1, %xmm17
vpxorq %xmm1, %xmm7, %xmm16
vpxorq %xmm22, %xmm8, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vaesenc %xmm2, %xmm1, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vpxor (%rdx), %xmm1, %xmm9
vpxor 0x10(%rdx), %xmm1, %xmm1
vaesenc %xmm4, %xmm1, %xmm10
vaesenc %xmm2, %xmm10, %xmm10
vaesenc %xmm3, %xmm10, %xmm10
vaesenc %xmm9, %xmm10, %xmm10
vpxor %xmm8, %xmm10, %xmm12
vpxor 0x20(%rdi), %xmm8, %xmm8
vpxorq %xmm22, %xmm7, %xmm11
vaesenc %xmm3, %xmm11, %xmm11
vaesenc %xmm2, %xmm11, %xmm11
vaesenc %xmm4, %xmm11, %xmm11
vaesenc %xmm3, %xmm11, %xmm11
vpxorq %xmm22, %xmm17, %xmm13
vaesenc %xmm3, %xmm13, %xmm13
vaesenc %xmm2, %xmm13, %xmm13
vaesenc %xmm4, %xmm13, %xmm13
vaesenc %xmm3, %xmm13, %xmm13
vpxorq %xmm22, %xmm16, %xmm14
vaesenc %xmm3, %xmm14, %xmm14
vaesenc %xmm2, %xmm14, %xmm14
vaesenc %xmm4, %xmm14, %xmm14
vaesenc %xmm3, %xmm14, %xmm14
vpxor 0x20(%rdx), %xmm11, %xmm15
vpternlogq $0x96, %xmm15, %xmm9, %xmm27
vpxor 0x30(%rdx), %xmm11, %xmm5
vpxor 0x40(%rdx), %xmm13, %xmm6
vpxor 0x50(%rdx), %xmm13, %xmm11
vpxor 0x60(%rdx), %xmm14, %xmm13
vpxor 0x70(%rdx), %xmm14, %xmm9
vmovdqu %xmm10, 0x10(%rdx)
vaesenc %xmm4, %xmm5, %xmm10
vaesenc %xmm2, %xmm10, %xmm10
vaesenc %xmm3, %xmm10, %xmm10
vaesenc %xmm15, %xmm10, %xmm10
vmovdqu %xmm10, 0x30(%rdx)
vaesenc %xmm4, %xmm11, %xmm14
vaesenc %xmm2, %xmm14, %xmm14
vaesenc %xmm3, %xmm14, %xmm14
vaesenc %xmm6, %xmm14, %xmm14
vmovdqu %xmm14, 0x50(%rdx)
vaesenc %xmm4, %xmm12, %xmm12
vaesenc %xmm2, %xmm12, %xmm12
vaesenc %xmm3, %xmm12, %xmm12
vaesenc %xmm1, %xmm12, %xmm1
vaesenc %xmm4, %xmm9, %xmm12
vaesenc %xmm2, %xmm12, %xmm12
vaesenc %xmm3, %xmm12, %xmm12
vaesenc %xmm13, %xmm12, %xmm12
vmovdqu %xmm12, 0x70(%rdx)
vmovdqu %xmm1, (%rdx)
vpternlogq $0x96, %xmm6, %xmm13, %xmm27
vpxor %xmm7, %xmm10, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vaesenc %xmm2, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vaesenc %xmm5, %xmm1, %xmm1
vmovdqu %xmm1, 0x20(%rdx)
vpxorq %xmm17, %xmm14, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vaesenc %xmm2, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vaesenc %xmm11, %xmm1, %xmm1
vmovdqu %xmm1, 0x40(%rdx)
vpxorq %xmm16, %xmm12, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vaesenc %xmm2, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vaesenc %xmm9, %xmm1, %xmm1
vmovdqu %xmm1, 0x60(%rdx)
addl $-0x80, %esi
subq $-0x80, %rdx
cmpl $0x40, %esi
jb 0x2503
vpxor (%rdi), %xmm8, %xmm5
vpxorq %xmm22, %xmm8, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vaesenc %xmm2, %xmm1, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vpxor (%rdx), %xmm1, %xmm6
vpxor 0x10(%rdx), %xmm1, %xmm1
vaesenc %xmm4, %xmm1, %xmm7
vaesenc %xmm2, %xmm7, %xmm7
vaesenc %xmm3, %xmm7, %xmm7
vaesenc %xmm6, %xmm7, %xmm7
vpxor %xmm7, %xmm8, %xmm9
vpxor 0x10(%rdi), %xmm8, %xmm8
vpxorq %xmm22, %xmm5, %xmm10
vaesenc %xmm3, %xmm10, %xmm10
vaesenc %xmm2, %xmm10, %xmm10
vaesenc %xmm4, %xmm10, %xmm10
vaesenc %xmm3, %xmm10, %xmm10
vpxor 0x20(%rdx), %xmm10, %xmm11
vpxor 0x30(%rdx), %xmm10, %xmm10
vpternlogq $0x96, %xmm11, %xmm6, %xmm27
vmovdqu %xmm7, 0x10(%rdx)
vaesenc %xmm4, %xmm10, %xmm6
vaesenc %xmm2, %xmm6, %xmm6
vaesenc %xmm3, %xmm6, %xmm6
vaesenc %xmm11, %xmm6, %xmm6
vmovdqu %xmm6, 0x30(%rdx)
vaesenc %xmm4, %xmm9, %xmm7
vaesenc %xmm2, %xmm7, %xmm7
vaesenc %xmm3, %xmm7, %xmm7
vaesenc %xmm1, %xmm7, %xmm1
vmovdqu %xmm1, (%rdx)
vpxor %xmm5, %xmm6, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vaesenc %xmm2, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vaesenc %xmm10, %xmm1, %xmm1
vmovdqu %xmm1, 0x20(%rdx)
addl $-0x40, %esi
addq $0x40, %rdx
testl %esi, %esi
je 0x2565
vpxorq %xmm22, %xmm8, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vaesenc %xmm2, %xmm1, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vpxor (%rdx), %xmm1, %xmm5
vpxorq %xmm27, %xmm5, %xmm27
vpxor 0x10(%rdx), %xmm1, %xmm1
vaesenc %xmm4, %xmm1, %xmm6
vaesenc %xmm2, %xmm6, %xmm6
vaesenc %xmm3, %xmm6, %xmm6
vaesenc %xmm5, %xmm6, %xmm5
vmovdqu %xmm5, 0x10(%rdx)
vpxor %xmm5, %xmm8, %xmm5
vaesenc %xmm4, %xmm5, %xmm4
vaesenc %xmm2, %xmm4, %xmm2
vaesenc %xmm3, %xmm2, %xmm2
vaesenc %xmm1, %xmm2, %xmm1
vmovdqu %xmm1, (%rdx)
vmovdqa64 %xmm27, %xmm0
retq