// File: /workspace/github_c_makefile_star2_O1/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), %xmm12
vmovdqa 0x20(%rdi), %xmm1
vmovdqa 0x30(%rdi), %xmm4
vmovdqa 0x60(%rdi), %xmm3
vmovdqa64 %xmm0, %xmm18
vmovdqa 0x21df(%rip), %xmm0     # 0x4030
vpshufb %xmm0, %xmm1, %xmm1
vpshufd $0x93, %xmm1, %xmm5     # xmm5 = xmm1[3,0,1,2]
vpsrad $0x1f, %xmm5, %xmm6
vpaddd %xmm1, %xmm1, %xmm28
vpternlogd $0x78, 0x21df(%rip), %xmm6, %xmm28 # 0x4050
vpshufb %xmm0, %xmm28, %xmm26
vpxord %xmm27, %xmm27, %xmm27
cmpl $0x100, %esi            # imm = 0x100
jb 0x22ad
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, %xmm19
vpxorq %xmm6, %xmm23, %xmm0
vmovdqa %xmm0, -0x18(%rsp)
vpxorq %xmm18, %xmm26, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vaesenc %xmm12, %xmm1, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vpxorq %xmm18, %xmm25, %xmm7
vaesenc %xmm3, %xmm1, %xmm6
vaesenc %xmm3, %xmm7, %xmm1
vaesenc %xmm12, %xmm1, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vpxorq %xmm18, %xmm24, %xmm7
vaesenc %xmm3, %xmm7, %xmm7
vaesenc %xmm3, %xmm1, %xmm15
vaesenc %xmm12, %xmm7, %xmm7
vaesenc %xmm4, %xmm7, %xmm7
vpxorq %xmm18, %xmm23, %xmm8
vaesenc %xmm3, %xmm8, %xmm8
vaesenc %xmm12, %xmm8, %xmm8
vaesenc %xmm3, %xmm7, %xmm7
vaesenc %xmm4, %xmm8, %xmm8
vpxorq %xmm18, %xmm21, %xmm9
vaesenc %xmm3, %xmm9, %xmm9
vaesenc %xmm12, %xmm9, %xmm9
vaesenc %xmm4, %xmm9, %xmm9
vaesenc %xmm3, %xmm8, %xmm8
vpxorq %xmm18, %xmm20, %xmm10
vaesenc %xmm3, %xmm10, %xmm10
vaesenc %xmm12, %xmm10, %xmm10
vaesenc %xmm4, %xmm10, %xmm10
vpxorq %xmm18, %xmm19, %xmm11
vaesenc %xmm3, %xmm9, %xmm14
vaesenc %xmm3, %xmm11, %xmm9
vaesenc %xmm12, %xmm9, %xmm9
vaesenc %xmm4, %xmm9, %xmm11
vpxorq %xmm18, %xmm0, %xmm9
vaesenc %xmm3, %xmm9, %xmm9
vaesenc %xmm3, %xmm10, %xmm10
vaesenc %xmm12, %xmm9, %xmm13
vpxor (%rdx), %xmm6, %xmm9
vpxor 0x10(%rdx), %xmm6, %xmm5
vaesenc %xmm3, %xmm11, %xmm1
vaesenc %xmm4, %xmm13, %xmm11
vmovdqu %xmm5, (%rdx)
vpxor 0x20(%rdx), %xmm15, %xmm6
vaesenc %xmm3, %xmm11, %xmm0
vmovdqa64 %xmm0, %xmm30
vpxor 0x30(%rdx), %xmm15, %xmm0
vmovdqu %xmm0, 0x20(%rdx)
vmovdqa64 %xmm0, %xmm29
vpxor 0x40(%rdx), %xmm7, %xmm15
vpxor 0x50(%rdx), %xmm7, %xmm7
vmovdqu %xmm7, 0x40(%rdx)
vpxor 0x60(%rdx), %xmm8, %xmm11
vpxor 0x70(%rdx), %xmm8, %xmm0
vmovdqu %xmm0, 0x60(%rdx)
vpxor 0x80(%rdx), %xmm14, %xmm13
vpxor 0x90(%rdx), %xmm14, %xmm8
vmovdqu %xmm8, 0x80(%rdx)
vpxor 0xa0(%rdx), %xmm10, %xmm14
vpxor 0xb0(%rdx), %xmm10, %xmm2
vmovdqu %xmm2, 0xa0(%rdx)
vpxorq 0xc0(%rdx), %xmm1, %xmm22
vpxor 0xd0(%rdx), %xmm1, %xmm10
vmovdqu %xmm10, 0xc0(%rdx)
vaesenc %xmm4, %xmm5, %xmm1
vmovdqa64 %xmm5, %xmm16
vpternlogq $0x96, %xmm6, %xmm9, %xmm27
vaesenc %xmm12, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vaesenc %xmm9, %xmm1, %xmm1
vmovdqa64 %xmm29, %xmm5
vaesenc %xmm4, %xmm5, %xmm9
vaesenc %xmm12, %xmm9, %xmm9
vpternlogq $0x96, %xmm15, %xmm11, %xmm27
vaesenc %xmm3, %xmm9, %xmm9
vaesenc %xmm6, %xmm9, %xmm9
vaesenc %xmm4, %xmm7, %xmm6
vaesenc %xmm12, %xmm6, %xmm6
vaesenc %xmm3, %xmm6, %xmm6
vaesenc %xmm15, %xmm6, %xmm6
vaesenc %xmm4, %xmm0, %xmm15
vmovdqa64 %xmm0, %xmm17
vaesenc %xmm12, %xmm15, %xmm15
vaesenc %xmm3, %xmm15, %xmm15
vaesenc %xmm11, %xmm15, %xmm11
vaesenc %xmm4, %xmm8, %xmm15
vpternlogq $0x96, %xmm13, %xmm14, %xmm27
vaesenc %xmm12, %xmm15, %xmm15
vaesenc %xmm3, %xmm15, %xmm15
vaesenc %xmm13, %xmm15, %xmm0
vaesenc %xmm4, %xmm2, %xmm15
vmovdqa64 %xmm2, %xmm31
vaesenc %xmm12, %xmm15, %xmm15
vaesenc %xmm3, %xmm15, %xmm15
vaesenc %xmm14, %xmm15, %xmm14
vaesenc %xmm4, %xmm10, %xmm15
vmovdqa64 %xmm10, %xmm29
vaesenc %xmm12, %xmm15, %xmm15
vpxorq 0xe0(%rdx), %xmm30, %xmm2
vmovdqa64 %xmm22, %xmm13
vpternlogq $0x96, %xmm22, %xmm2, %xmm27
vaesenc %xmm3, %xmm15, %xmm15
vaesenc %xmm13, %xmm15, %xmm15
vpxorq 0xf0(%rdx), %xmm30, %xmm13
vaesenc %xmm4, %xmm13, %xmm10
vaesenc %xmm12, %xmm10, %xmm10
vaesenc %xmm3, %xmm10, %xmm10
vaesenc %xmm2, %xmm10, %xmm10
vmovdqu %xmm13, 0xe0(%rdx)
vmovdqu %xmm1, 0x10(%rdx)
vmovdqu %xmm9, 0x30(%rdx)
vmovdqu %xmm6, 0x50(%rdx)
vmovdqu %xmm11, 0x70(%rdx)
vmovdqu %xmm0, 0x90(%rdx)
vmovdqu %xmm14, 0xb0(%rdx)
vmovdqu %xmm15, 0xd0(%rdx)
vpxorq %xmm26, %xmm1, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vaesenc %xmm12, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vmovdqu %xmm10, 0xf0(%rdx)
vmovdqa64 %xmm16, %xmm2
vaesenc %xmm2, %xmm1, %xmm1
vmovdqu %xmm1, (%rdx)
vpxorq %xmm25, %xmm9, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vaesenc %xmm12, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vaesenc %xmm5, %xmm1, %xmm1
vmovdqu %xmm1, 0x20(%rdx)
vpxorq %xmm24, %xmm6, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vaesenc %xmm12, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vaesenc %xmm7, %xmm1, %xmm1
vmovdqu %xmm1, 0x40(%rdx)
vpxorq %xmm23, %xmm11, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vaesenc %xmm12, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vmovdqa64 %xmm17, %xmm2
vaesenc %xmm2, %xmm1, %xmm1
vmovdqu %xmm1, 0x60(%rdx)
vpxorq %xmm21, %xmm0, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vaesenc %xmm12, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vaesenc %xmm8, %xmm1, %xmm1
vpxorq %xmm20, %xmm14, %xmm2
vaesenc %xmm4, %xmm2, %xmm2
vaesenc %xmm12, %xmm2, %xmm2
vaesenc %xmm3, %xmm2, %xmm2
vmovdqa64 %xmm31, %xmm0
vaesenc %xmm0, %xmm2, %xmm2
vmovdqu %xmm1, 0x80(%rdx)
vmovdqu %xmm2, 0xa0(%rdx)
vpxorq %xmm19, %xmm15, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vaesenc %xmm12, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vmovdqa64 %xmm29, %xmm0
vaesenc %xmm0, %xmm1, %xmm1
vmovdqu %xmm1, 0xc0(%rdx)
vpxor -0x18(%rsp), %xmm10, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vaesenc %xmm12, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vaesenc %xmm13, %xmm1, %xmm1
vmovdqu %xmm1, 0xe0(%rdx)
vpshufd $0x93, %xmm28, %xmm1    # xmm1 = xmm28[3,0,1,2]
vpsrad $0x1f, %xmm1, %xmm1
vpaddd %xmm28, %xmm28, %xmm28
vpternlogd $0x78, 0x1dce(%rip), %xmm1, %xmm28 # 0x4050
vpshufb 0x1da4(%rip), %xmm28, %xmm8 # 0x4030
addl $0xffffff00, %esi       # imm = 0xFFFFFF00
addq $0x100, %rdx            # imm = 0x100
vmovdqa64 %xmm8, %xmm26
cmpl $0xff, %esi
ja 0x1e89
jmp 0x22b3
vmovdqa64 %xmm26, %xmm8
cmpl $0x80, %esi
jb 0x2459
vpxor (%rdi), %xmm8, %xmm7
vmovdqa 0x10(%rdi), %xmm1
vpxorq %xmm8, %xmm1, %xmm17
vpxorq %xmm1, %xmm7, %xmm16
vpxorq %xmm18, %xmm8, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vaesenc %xmm12, %xmm1, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vpxor (%rdx), %xmm1, %xmm9
vpxor 0x10(%rdx), %xmm1, %xmm1
vaesenc %xmm4, %xmm1, %xmm2
vaesenc %xmm12, %xmm2, %xmm2
vaesenc %xmm3, %xmm2, %xmm2
vaesenc %xmm9, %xmm2, %xmm10
vpxor %xmm8, %xmm10, %xmm2
vpxor 0x20(%rdi), %xmm8, %xmm8
vpxorq %xmm18, %xmm7, %xmm11
vaesenc %xmm3, %xmm11, %xmm11
vaesenc %xmm12, %xmm11, %xmm11
vaesenc %xmm4, %xmm11, %xmm11
vaesenc %xmm3, %xmm11, %xmm11
vpxorq %xmm18, %xmm17, %xmm13
vaesenc %xmm3, %xmm13, %xmm13
vaesenc %xmm12, %xmm13, %xmm13
vaesenc %xmm4, %xmm13, %xmm13
vaesenc %xmm3, %xmm13, %xmm13
vpxorq %xmm18, %xmm16, %xmm14
vaesenc %xmm3, %xmm14, %xmm14
vaesenc %xmm12, %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 %xmm12, %xmm10, %xmm10
vaesenc %xmm3, %xmm10, %xmm10
vaesenc %xmm15, %xmm10, %xmm10
vmovdqu %xmm10, 0x30(%rdx)
vaesenc %xmm4, %xmm11, %xmm14
vaesenc %xmm12, %xmm14, %xmm14
vaesenc %xmm3, %xmm14, %xmm14
vaesenc %xmm6, %xmm14, %xmm14
vmovdqu %xmm14, 0x50(%rdx)
vaesenc %xmm4, %xmm2, %xmm2
vaesenc %xmm12, %xmm2, %xmm2
vaesenc %xmm3, %xmm2, %xmm2
vaesenc %xmm1, %xmm2, %xmm1
vaesenc %xmm4, %xmm9, %xmm2
vaesenc %xmm12, %xmm2, %xmm2
vaesenc %xmm3, %xmm2, %xmm2
vaesenc %xmm13, %xmm2, %xmm2
vmovdqu %xmm2, 0x70(%rdx)
vmovdqu %xmm1, (%rdx)
vpternlogq $0x96, %xmm6, %xmm13, %xmm27
vpxor %xmm7, %xmm10, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vaesenc %xmm12, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vaesenc %xmm5, %xmm1, %xmm1
vmovdqu %xmm1, 0x20(%rdx)
vpxorq %xmm17, %xmm14, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vaesenc %xmm12, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vaesenc %xmm11, %xmm1, %xmm1
vmovdqu %xmm1, 0x40(%rdx)
vpxorq %xmm16, %xmm2, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vaesenc %xmm12, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vaesenc %xmm9, %xmm1, %xmm1
vmovdqu %xmm1, 0x60(%rdx)
addl $-0x80, %esi
subq $-0x80, %rdx
cmpl $0x40, %esi
jb 0x252b
vpxor (%rdi), %xmm8, %xmm2
vpxorq %xmm18, %xmm8, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vaesenc %xmm12, %xmm1, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vpxor (%rdx), %xmm1, %xmm5
vpxor 0x10(%rdx), %xmm1, %xmm1
vaesenc %xmm4, %xmm1, %xmm6
vaesenc %xmm12, %xmm6, %xmm6
vaesenc %xmm3, %xmm6, %xmm6
vaesenc %xmm5, %xmm6, %xmm6
vpxor %xmm6, %xmm8, %xmm7
vpxor 0x10(%rdi), %xmm8, %xmm8
vpxorq %xmm18, %xmm2, %xmm9
vaesenc %xmm3, %xmm9, %xmm9
vaesenc %xmm12, %xmm9, %xmm9
vaesenc %xmm4, %xmm9, %xmm9
vaesenc %xmm3, %xmm9, %xmm9
vpxor 0x20(%rdx), %xmm9, %xmm10
vpxor 0x30(%rdx), %xmm9, %xmm9
vpternlogq $0x96, %xmm10, %xmm5, %xmm27
vmovdqu %xmm6, 0x10(%rdx)
vaesenc %xmm4, %xmm9, %xmm5
vaesenc %xmm12, %xmm5, %xmm5
vaesenc %xmm3, %xmm5, %xmm5
vaesenc %xmm10, %xmm5, %xmm5
vmovdqu %xmm5, 0x30(%rdx)
vaesenc %xmm4, %xmm7, %xmm6
vaesenc %xmm12, %xmm6, %xmm6
vaesenc %xmm3, %xmm6, %xmm6
vaesenc %xmm1, %xmm6, %xmm1
vmovdqu %xmm1, (%rdx)
vpxor %xmm2, %xmm5, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vaesenc %xmm12, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vaesenc %xmm9, %xmm1, %xmm1
vmovdqu %xmm1, 0x20(%rdx)
addl $-0x40, %esi
addq $0x40, %rdx
testl %esi, %esi
je 0x258d
vpxorq %xmm18, %xmm8, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vaesenc %xmm12, %xmm1, %xmm1
vaesenc %xmm4, %xmm1, %xmm1
vaesenc %xmm3, %xmm1, %xmm1
vpxor (%rdx), %xmm1, %xmm2
vpxorq %xmm27, %xmm2, %xmm27
vpxor 0x10(%rdx), %xmm1, %xmm1
vaesenc %xmm4, %xmm1, %xmm5
vaesenc %xmm12, %xmm5, %xmm5
vaesenc %xmm3, %xmm5, %xmm5
vaesenc %xmm2, %xmm5, %xmm2
vmovdqu %xmm2, 0x10(%rdx)
vpxor %xmm2, %xmm8, %xmm2
vaesenc %xmm4, %xmm2, %xmm2
vaesenc %xmm12, %xmm2, %xmm2
vaesenc %xmm3, %xmm2, %xmm2
vaesenc %xmm1, %xmm2, %xmm1
vmovdqu %xmm1, (%rdx)
vmovdqa64 %xmm27, %xmm0
retq