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

// Assembly:
vmovdqa (%rdi), %xmm1
vmovdqa 0x20(%rdi), %xmm0
vmovdqa 0x30(%rdi), %xmm3
vmovdqa 0x60(%rdi), %xmm2
vmovdqa 0x26bc(%rip), %xmm5     # 0x4030
vpshufb %xmm5, %xmm0, %xmm0
vpshufd $0x93, %xmm0, %xmm4     # xmm4 = xmm0[3,0,1,2]
vpsrad $0x1f, %xmm4, %xmm6
vpaddd %xmm0, %xmm0, %xmm4
vpternlogd $0x78, 0x26be(%rip), %xmm6, %xmm4 # 0x4050
vpshufb %xmm5, %xmm4, %xmm8
vpxor %xmm0, %xmm0, %xmm0
cmpl $0x100, %edx            # imm = 0x100
jb 0x1c2f
vpmovzxbd 0x26f4(%rip), %xmm5 # 0x40a4
vmovdqa 0x2678(%rip), %xmm6     # 0x4030
movl $0x100, %eax            # imm = 0x100
vpxor (%rdi), %xmm8, %xmm12
vmovdqa 0x10(%rdi), %xmm10
vmovdqa 0x20(%rdi), %xmm15
vpxor 0x10(%rsi), %xmm8, %xmm7
vaesenc %xmm3, %xmm7, %xmm7
vaesenc %xmm1, %xmm7, %xmm7
vaesenc %xmm2, %xmm7, %xmm7
vaesenc (%rsi), %xmm7, %xmm7
vpxor %xmm8, %xmm10, %xmm13
vmovdqu %xmm7, (%rcx)
vpxor 0x30(%rsi), %xmm12, %xmm9
vaesenc %xmm3, %xmm9, %xmm9
vaesenc %xmm1, %xmm9, %xmm9
vaesenc %xmm2, %xmm9, %xmm9
vaesenc 0x20(%rsi), %xmm9, %xmm9
vmovdqu %xmm9, 0x20(%rcx)
vpxor %xmm10, %xmm12, %xmm14
vpxor 0x50(%rsi), %xmm13, %xmm10
vaesenc %xmm3, %xmm10, %xmm10
vaesenc %xmm1, %xmm10, %xmm10
vaesenc %xmm2, %xmm10, %xmm10
vaesenc 0x40(%rsi), %xmm10, %xmm10
vmovdqu %xmm10, 0x40(%rcx)
vpxor 0x70(%rsi), %xmm14, %xmm11
vaesenc %xmm3, %xmm11, %xmm11
vaesenc %xmm1, %xmm11, %xmm11
vaesenc %xmm2, %xmm11, %xmm11
vaesenc 0x60(%rsi), %xmm11, %xmm11
vmovdqu %xmm11, 0x60(%rcx)
vpternlogq $0x96, 0x90(%rsi), %xmm15, %xmm8
vaesenc %xmm3, %xmm8, %xmm8
vaesenc %xmm1, %xmm8, %xmm8
vaesenc %xmm2, %xmm8, %xmm8
vaesenc 0x80(%rsi), %xmm8, %xmm8
vmovdqu %xmm8, 0x80(%rcx)
vpshufd $0x93, %xmm4, %xmm16    # xmm16 = xmm4[3,0,1,2]
vpternlogq $0x96, 0xb0(%rsi), %xmm15, %xmm12
vaesenc %xmm3, %xmm12, %xmm12
vaesenc %xmm1, %xmm12, %xmm12
vaesenc %xmm2, %xmm12, %xmm12
vaesenc 0xa0(%rsi), %xmm12, %xmm12
vmovdqu %xmm12, 0xa0(%rcx)
vpternlogq $0x96, 0xd0(%rsi), %xmm15, %xmm13
vpsrad $0x1f, %xmm16, %xmm16
vaesenc %xmm3, %xmm13, %xmm13
vaesenc %xmm1, %xmm13, %xmm13
vaesenc %xmm2, %xmm13, %xmm13
vaesenc 0xc0(%rsi), %xmm13, %xmm13
vpaddd %xmm4, %xmm4, %xmm4
vmovdqu %xmm13, 0xc0(%rcx)
vpternlogq $0x96, 0xf0(%rsi), %xmm15, %xmm14
vaesenc %xmm3, %xmm14, %xmm14
vaesenc %xmm1, %xmm14, %xmm14
vaesenc %xmm2, %xmm14, %xmm14
vaesenc 0xe0(%rsi), %xmm14, %xmm14
vmovdqu %xmm14, 0xe0(%rcx)
vpternlogd $0x78, %xmm5, %xmm16, %xmm4
vaesenc %xmm3, %xmm7, %xmm7
vaesenc %xmm1, %xmm7, %xmm7
vaesenc %xmm2, %xmm7, %xmm7
vaesenc 0x10(%rsi), %xmm7, %xmm15
vpshufb %xmm6, %xmm4, %xmm7
vmovdqu %xmm15, 0x10(%rcx)
vaesenc %xmm3, %xmm9, %xmm9
vaesenc %xmm1, %xmm9, %xmm9
vaesenc %xmm2, %xmm9, %xmm9
vaesenc 0x30(%rsi), %xmm9, %xmm9
vmovdqu %xmm9, 0x30(%rcx)
vaesenc %xmm3, %xmm10, %xmm10
vaesenc %xmm1, %xmm10, %xmm10
vaesenc %xmm2, %xmm10, %xmm10
vaesenc 0x50(%rsi), %xmm10, %xmm10
vmovdqu %xmm10, 0x50(%rcx)
vaesenc %xmm3, %xmm11, %xmm11
vaesenc %xmm1, %xmm11, %xmm11
vaesenc %xmm2, %xmm11, %xmm11
vaesenc 0x70(%rsi), %xmm11, %xmm11
vmovdqu %xmm11, 0x70(%rcx)
vpternlogq $0x96, %xmm9, %xmm15, %xmm0
vaesenc %xmm3, %xmm8, %xmm8
vaesenc %xmm1, %xmm8, %xmm8
vaesenc %xmm2, %xmm8, %xmm8
vaesenc 0x90(%rsi), %xmm8, %xmm8
vpternlogq $0x96, %xmm10, %xmm11, %xmm0
vmovdqu %xmm8, 0x90(%rcx)
vaesenc %xmm3, %xmm12, %xmm9
vaesenc %xmm1, %xmm9, %xmm9
vaesenc %xmm2, %xmm9, %xmm9
vaesenc 0xb0(%rsi), %xmm9, %xmm9
vmovdqu %xmm9, 0xb0(%rcx)
vaesenc %xmm3, %xmm13, %xmm10
vaesenc %xmm1, %xmm10, %xmm10
vaesenc %xmm2, %xmm10, %xmm10
vaesenc 0xd0(%rsi), %xmm10, %xmm10
vmovdqu %xmm10, 0xd0(%rcx)
vaesenc %xmm3, %xmm14, %xmm11
vaesenc %xmm1, %xmm11, %xmm11
vaesenc %xmm2, %xmm11, %xmm11
vaesenc 0xf0(%rsi), %xmm11, %xmm11
vmovdqu %xmm11, 0xf0(%rcx)
vpternlogq $0x96, %xmm8, %xmm9, %xmm0
vpternlogq $0x96, %xmm10, %xmm11, %xmm0
addl $0xffffff00, %edx       # imm = 0xFFFFFF00
addq %rax, %rcx
addq %rax, %rsi
vmovdqa %xmm7, %xmm8
cmpl $0xff, %edx
ja 0x19bd
jmp 0x1c33
vmovdqa %xmm8, %xmm7
cmpl $0x80, %edx
jb 0x1d55
vpxor (%rdi), %xmm7, %xmm4
vmovdqa 0x10(%rdi), %xmm5
vpxor 0x20(%rdi), %xmm7, %xmm6
vpxor 0x10(%rsi), %xmm7, %xmm8
vaesenc %xmm3, %xmm8, %xmm8
vaesenc %xmm1, %xmm8, %xmm8
vaesenc %xmm2, %xmm8, %xmm8
vaesenc (%rsi), %xmm8, %xmm8
vmovdqu %xmm8, (%rcx)
vpxor 0x30(%rsi), %xmm4, %xmm9
vaesenc %xmm3, %xmm9, %xmm9
vaesenc %xmm1, %xmm9, %xmm9
vaesenc %xmm2, %xmm9, %xmm9
vaesenc 0x20(%rsi), %xmm9, %xmm9
vmovdqu %xmm9, 0x20(%rcx)
vpternlogq $0x96, 0x50(%rsi), %xmm5, %xmm7
vaesenc %xmm3, %xmm7, %xmm7
vaesenc %xmm1, %xmm7, %xmm7
vaesenc %xmm2, %xmm7, %xmm7
vaesenc 0x40(%rsi), %xmm7, %xmm7
vmovdqu %xmm7, 0x40(%rcx)
vpternlogq $0x96, 0x70(%rsi), %xmm5, %xmm4
vaesenc %xmm3, %xmm4, %xmm4
vaesenc %xmm1, %xmm4, %xmm4
vaesenc %xmm2, %xmm4, %xmm4
vaesenc 0x60(%rsi), %xmm4, %xmm4
vmovdqu %xmm4, 0x60(%rcx)
vaesenc %xmm3, %xmm8, %xmm5
vaesenc %xmm1, %xmm5, %xmm5
vaesenc %xmm2, %xmm5, %xmm5
vaesenc 0x10(%rsi), %xmm5, %xmm5
vmovdqu %xmm5, 0x10(%rcx)
vaesenc %xmm3, %xmm9, %xmm8
vaesenc %xmm1, %xmm8, %xmm8
vaesenc %xmm2, %xmm8, %xmm8
vaesenc 0x30(%rsi), %xmm8, %xmm8
vmovdqu %xmm8, 0x30(%rcx)
vaesenc %xmm3, %xmm7, %xmm7
vaesenc %xmm1, %xmm7, %xmm7
vaesenc %xmm2, %xmm7, %xmm7
vaesenc 0x50(%rsi), %xmm7, %xmm7
vmovdqu %xmm7, 0x50(%rcx)
vaesenc %xmm3, %xmm4, %xmm4
vaesenc %xmm1, %xmm4, %xmm4
vaesenc %xmm2, %xmm4, %xmm4
vaesenc 0x70(%rsi), %xmm4, %xmm4
vmovdqu %xmm4, 0x70(%rcx)
vpternlogq $0x96, %xmm8, %xmm5, %xmm0
vpternlogq $0x96, %xmm7, %xmm4, %xmm0
addl $-0x80, %edx
movl $0x80, %eax
addq %rax, %rcx
addq %rax, %rsi
vmovdqa %xmm6, %xmm7
cmpl $0x40, %edx
jb 0x1df0
vmovdqa (%rdi), %xmm4
vpxor 0x10(%rdi), %xmm7, %xmm5
vpxor 0x10(%rsi), %xmm7, %xmm6
vaesenc %xmm3, %xmm6, %xmm6
vaesenc %xmm1, %xmm6, %xmm6
vaesenc %xmm2, %xmm6, %xmm6
vaesenc (%rsi), %xmm6, %xmm6
vmovdqu %xmm6, (%rcx)
vpternlogq $0x96, 0x30(%rsi), %xmm7, %xmm4
vaesenc %xmm3, %xmm4, %xmm4
vaesenc %xmm1, %xmm4, %xmm4
vaesenc %xmm2, %xmm4, %xmm4
vaesenc 0x20(%rsi), %xmm4, %xmm4
vmovdqu %xmm4, 0x20(%rcx)
vaesenc %xmm3, %xmm6, %xmm6
vaesenc %xmm1, %xmm6, %xmm6
vaesenc %xmm2, %xmm6, %xmm6
vaesenc 0x10(%rsi), %xmm6, %xmm6
vmovdqu %xmm6, 0x10(%rcx)
vaesenc %xmm3, %xmm4, %xmm4
vaesenc %xmm1, %xmm4, %xmm4
vaesenc %xmm2, %xmm4, %xmm4
vaesenc 0x30(%rsi), %xmm4, %xmm4
vmovdqu %xmm4, 0x30(%rcx)
vpternlogq $0x96, %xmm4, %xmm6, %xmm0
addl $-0x40, %edx
addq $0x40, %rcx
addq $0x40, %rsi
vmovdqa %xmm5, %xmm7
testl %edx, %edx
je 0x1e2f
vpxor 0x10(%rsi), %xmm7, %xmm4
vaesenc %xmm3, %xmm4, %xmm4
vaesenc %xmm1, %xmm4, %xmm4
vaesenc %xmm2, %xmm4, %xmm4
vaesenc (%rsi), %xmm4, %xmm4
vmovdqu %xmm4, (%rcx)
vaesenc %xmm3, %xmm4, %xmm3
vaesenc %xmm1, %xmm3, %xmm1
vaesenc %xmm2, %xmm1, %xmm1
vaesenc 0x10(%rsi), %xmm1, %xmm1
vmovdqu %xmm1, 0x10(%rcx)
vpxor %xmm0, %xmm1, %xmm0
retq