// File: /workspace/github_cpp_makefile_star2_O3/skyleaworlder[P]AES/src/main.cpp
// Function: aes(std::bitset<128ul>, std::bitset<128ul>, unsigned long)
vector<byte> aes(
    std::bitset<128> input,
    std::bitset<128> key,
    size_t round
) {
    vector<vector<byte>> key_expan { Key_Expansion(byte_to_vector(key), round) };
    vector<byte> vec { byte_to_vector(input) };
    assert(key_expan.size() == round+1);

    vec = AddRoundKey(vec, key_expan[0]);

    size_t index;
    for (index = 1; index < round; ++index) {
        vec = SubBytes(vec);
        vec = ShiftRows(vec);
        vec = MixColumns(vec);
        vec = AddRoundKey(vec, key_expan[index]);
    }

    vec = SubBytes(vec);
    vec = ShiftRows(vec);
    vec = AddRoundKey(vec, key_expan[index]);
    return vec;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x158, %rsp            # imm = 0x158
movq %r9, %r13
movq %rdx, %r14
movq %rsi, %r15
movq %rdi, %rbx
leaq -0x180(%rbp), %r12
movq %r12, %rdi
movq %rcx, %rsi
movq %r8, %rdx
callq 0x30c4
leaq -0x58(%rbp), %rdi
movq %r12, %rsi
movq %r13, %rdx
callq 0x273c
movq -0x180(%rbp), %rdi
testq %rdi, %rdi
je 0x37cf
movq -0x170(%rbp), %rsi
subq %rdi, %rsi
callq 0x2130
movq %rbx, %rdi
movq %r15, %rsi
movq %r14, %rdx
callq 0x30c4
movq -0x50(%rbp), %rax
subq -0x58(%rbp), %rax
sarq $0x3, %rax
movabsq $-0x5555555555555555, %rcx # imm = 0xAAAAAAAAAAAAAAAB
imulq %rax, %rcx
leaq 0x1(%r13), %rax
cmpq %rax, %rcx
jne 0x3d2d
leaq -0x108(%rbp), %rdi
movq %rbx, %rsi
callq 0x2a76
movq -0x58(%rbp), %rsi
leaq -0xf0(%rbp), %rdi
callq 0x2a76
leaq -0x40(%rbp), %rdi
leaq -0x108(%rbp), %rsi
leaq -0xf0(%rbp), %rdx
callq 0x24dc
movq (%rbx), %rdi
movq 0x10(%rbx), %rsi
movq -0x40(%rbp), %rax
movq %rax, (%rbx)
movq -0x38(%rbp), %rax
movq %rax, 0x8(%rbx)
movq -0x30(%rbp), %rax
movq %rax, 0x10(%rbx)
xorps %xmm0, %xmm0
movaps %xmm0, -0x40(%rbp)
movq $0x0, -0x30(%rbp)
testq %rdi, %rdi
je 0x3889
subq %rdi, %rsi
callq 0x2130
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x3889
movq -0x30(%rbp), %rsi
subq %rdi, %rsi
callq 0x2130
movq -0xf0(%rbp), %rdi
testq %rdi, %rdi
je 0x38a4
movq -0xe0(%rbp), %rsi
subq %rdi, %rsi
callq 0x2130
movq -0x108(%rbp), %rdi
testq %rdi, %rdi
je 0x38bf
movq -0xf8(%rbp), %rsi
subq %rdi, %rsi
callq 0x2130
movl $0x1, %r14d
cmpq $0x2, %r13
jb 0x3b49
movq %r13, -0x60(%rbp)
leaq -0x1(%r13), %r14
movl $0x18, %r15d
leaq -0x168(%rbp), %r13
movq %r13, %rdi
movq %rbx, %rsi
callq 0x2a76
leaq -0x40(%rbp), %rdi
movq %r13, %r12
movq %r13, %rsi
callq 0x3694
movq (%rbx), %rdi
movq 0x10(%rbx), %rsi
movq -0x40(%rbp), %rax
movq %rax, (%rbx)
movq -0x38(%rbp), %rax
movq %rax, 0x8(%rbx)
movq -0x30(%rbp), %rax
movq %rax, 0x10(%rbx)
xorps %xmm0, %xmm0
movaps %xmm0, -0x40(%rbp)
movq $0x0, -0x30(%rbp)
testq %rdi, %rdi
je 0x394d
subq %rdi, %rsi
callq 0x2130
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x394d
movq -0x30(%rbp), %rsi
subq %rdi, %rsi
callq 0x2130
movq -0x168(%rbp), %rdi
testq %rdi, %rdi
je 0x3968
movq -0x158(%rbp), %rsi
subq %rdi, %rsi
callq 0x2130
leaq -0x150(%rbp), %r13
movq %r13, %rdi
movq %rbx, %rsi
callq 0x2a76
leaq -0x40(%rbp), %rdi
movq %r13, %rsi
callq 0x35e0
movq (%rbx), %rdi
movq 0x10(%rbx), %rsi
movq -0x40(%rbp), %rax
movq %rax, (%rbx)
movq -0x38(%rbp), %rax
movq %rax, 0x8(%rbx)
movq -0x30(%rbp), %rax
movq %rax, 0x10(%rbx)
xorps %xmm0, %xmm0
movaps %xmm0, -0x40(%rbp)
movq $0x0, -0x30(%rbp)
testq %rdi, %rdi
je 0x39d5
subq %rdi, %rsi
callq 0x2130
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x39d5
movq -0x30(%rbp), %rsi
subq %rdi, %rsi
callq 0x2130
movq -0x150(%rbp), %rdi
testq %rdi, %rdi
je 0x39f0
movq -0x140(%rbp), %rsi
subq %rdi, %rsi
callq 0x2130
leaq -0x138(%rbp), %r13
movq %r13, %rdi
movq %rbx, %rsi
callq 0x2a76
leaq -0x40(%rbp), %rdi
movq %r13, %rsi
callq 0x33ce
movq (%rbx), %rdi
movq 0x10(%rbx), %rsi
movq -0x40(%rbp), %rax
movq %rax, (%rbx)
movq -0x38(%rbp), %rax
movq %rax, 0x8(%rbx)
movq -0x30(%rbp), %rax
movq %rax, 0x10(%rbx)
xorps %xmm0, %xmm0
movaps %xmm0, -0x40(%rbp)
movq $0x0, -0x30(%rbp)
testq %rdi, %rdi
je 0x3a5d
subq %rdi, %rsi
callq 0x2130
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x3a5d
movq -0x30(%rbp), %rsi
subq %rdi, %rsi
callq 0x2130
movq -0x138(%rbp), %rdi
testq %rdi, %rdi
je 0x3a78
movq -0x128(%rbp), %rsi
subq %rdi, %rsi
callq 0x2130
leaq -0xd8(%rbp), %rdi
movq %rbx, %rsi
callq 0x2a76
movq -0x58(%rbp), %rsi
addq %r15, %rsi
leaq -0x120(%rbp), %r13
movq %r13, %rdi
callq 0x2a76
leaq -0x40(%rbp), %rdi
leaq -0xd8(%rbp), %rsi
movq %r13, %rdx
callq 0x24dc
movq (%rbx), %rdi
movq 0x10(%rbx), %rsi
movq -0x40(%rbp), %rax
movq %rax, (%rbx)
movq -0x38(%rbp), %rax
movq %rax, 0x8(%rbx)
movq -0x30(%rbp), %rax
movq %rax, 0x10(%rbx)
xorps %xmm0, %xmm0
movaps %xmm0, -0x40(%rbp)
movq $0x0, -0x30(%rbp)
testq %rdi, %rdi
je 0x3aff
subq %rdi, %rsi
callq 0x2130
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x3aff
movq -0x30(%rbp), %rsi
subq %rdi, %rsi
callq 0x2130
movq -0x120(%rbp), %rdi
testq %rdi, %rdi
je 0x3b1a
movq -0x110(%rbp), %rsi
subq %rdi, %rsi
callq 0x2130
movq -0xd8(%rbp), %rdi
testq %rdi, %rdi
je 0x3b35
movq -0xc8(%rbp), %rsi
subq %rdi, %rsi
callq 0x2130
addq $0x18, %r15
decq %r14
movq %r12, %r13
jne 0x38e4
movq -0x60(%rbp), %r14
leaq -0xc0(%rbp), %rdi
movq %rbx, %rsi
callq 0x2a76
leaq -0x40(%rbp), %rdi
leaq -0xc0(%rbp), %rsi
callq 0x3694
movq (%rbx), %rdi
movq 0x10(%rbx), %rsi
movq -0x40(%rbp), %rax
movq %rax, (%rbx)
movq -0x38(%rbp), %rax
movq %rax, 0x8(%rbx)
movq -0x30(%rbp), %rax
movq %rax, 0x10(%rbx)
xorps %xmm0, %xmm0
movaps %xmm0, -0x40(%rbp)
movq $0x0, -0x30(%rbp)
testq %rdi, %rdi
je 0x3bb7
subq %rdi, %rsi
callq 0x2130
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x3bb7
movq -0x30(%rbp), %rsi
subq %rdi, %rsi
callq 0x2130
movq -0xc0(%rbp), %rdi
testq %rdi, %rdi
je 0x3bd2
movq -0xb0(%rbp), %rsi
subq %rdi, %rsi
callq 0x2130
leaq -0xa8(%rbp), %rdi
movq %rbx, %rsi
callq 0x2a76
leaq -0x40(%rbp), %rdi
leaq -0xa8(%rbp), %rsi
callq 0x35e0
movq (%rbx), %rdi
movq 0x10(%rbx), %rsi
movq -0x40(%rbp), %rax
movq %rax, (%rbx)
movq -0x38(%rbp), %rax
movq %rax, 0x8(%rbx)
movq -0x30(%rbp), %rax
movq %rax, 0x10(%rbx)
xorps %xmm0, %xmm0
movaps %xmm0, -0x40(%rbp)
movq $0x0, -0x30(%rbp)
testq %rdi, %rdi
je 0x3c40
subq %rdi, %rsi
callq 0x2130
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x3c40
movq -0x30(%rbp), %rsi
subq %rdi, %rsi
callq 0x2130
movq -0xa8(%rbp), %rdi
testq %rdi, %rdi
je 0x3c5b
movq -0x98(%rbp), %rsi
subq %rdi, %rsi
callq 0x2130
leaq -0x90(%rbp), %rdi
movq %rbx, %rsi
callq 0x2a76
leaq (%r14,%r14,2), %rsi
shlq $0x3, %rsi
addq -0x58(%rbp), %rsi
leaq -0x78(%rbp), %rdi
callq 0x2a76
leaq -0x40(%rbp), %rdi
leaq -0x90(%rbp), %rsi
leaq -0x78(%rbp), %rdx
callq 0x24dc
movq (%rbx), %rdi
movq 0x10(%rbx), %rsi
movq -0x40(%rbp), %rax
movq %rax, (%rbx)
movq -0x38(%rbp), %rax
movq %rax, 0x8(%rbx)
movq -0x30(%rbp), %rax
movq %rax, 0x10(%rbx)
xorps %xmm0, %xmm0
movaps %xmm0, -0x40(%rbp)
movq $0x0, -0x30(%rbp)
testq %rdi, %rdi
je 0x3ce2
subq %rdi, %rsi
callq 0x2130
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x3ce2
movq -0x30(%rbp), %rsi
subq %rdi, %rsi
callq 0x2130
movq -0x78(%rbp), %rdi
testq %rdi, %rdi
je 0x3cf7
movq -0x68(%rbp), %rsi
subq %rdi, %rsi
callq 0x2130
movq -0x90(%rbp), %rdi
testq %rdi, %rdi
je 0x3d0f
movq -0x80(%rbp), %rsi
subq %rdi, %rsi
callq 0x2130
leaq -0x58(%rbp), %rdi
callq 0x2b40
movq %rbx, %rax
addq $0x158, %rsp            # imm = 0x158
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x1dcc(%rip), %rdi      # 0x5b00
leaq 0x1de1(%rip), %rsi      # 0x5b1c
leaq 0x1de7(%rip), %rcx      # 0x5b29
movl $0x11, %edx
callq 0x20b0
movq %rax, %r14
movq -0x78(%rbp), %rdi
testq %rdi, %rdi
je 0x3d69
movq -0x68(%rbp), %rsi
subq %rdi, %rsi
callq 0x2130
jmp 0x3d69
movq %rax, %r14
movq -0x90(%rbp), %rdi
testq %rdi, %rdi
je 0x3ed7
movq -0x80(%rbp), %rsi
jmp 0x3ecf
jmp 0x3e94
movq %rax, %r14
movq -0xa8(%rbp), %rdi
testq %rdi, %rdi
je 0x3ed7
movq -0x98(%rbp), %rsi
jmp 0x3ecf
jmp 0x3e94
movq %rax, %r14
movq -0xc0(%rbp), %rdi
testq %rdi, %rdi
je 0x3ed7
movq -0xb0(%rbp), %rsi
jmp 0x3ecf
jmp 0x3e94
movq %rax, %r14
movq -0xf0(%rbp), %rdi
testq %rdi, %rdi
je 0x3df2
movq -0xe0(%rbp), %rsi
subq %rdi, %rsi
callq 0x2130
jmp 0x3df2
movq %rax, %r14
movq -0x108(%rbp), %rdi
testq %rdi, %rdi
je 0x3ed7
movq -0xf8(%rbp), %rsi
jmp 0x3ecf
jmp 0x3e94
movq %rax, %r14
jmp 0x3eeb
movq %rax, %r14
movq -0x180(%rbp), %rdi
testq %rdi, %rdi
je 0x3ef4
movq -0x170(%rbp), %rsi
subq %rdi, %rsi
callq 0x2130
jmp 0x3ef4
jmp 0x3e94
movq %rax, %r14
movq -0x168(%rbp), %rdi
testq %rdi, %rdi
je 0x3ed7
movq -0x158(%rbp), %rsi
jmp 0x3ecf
jmp 0x3e94
movq %rax, %r14
movq -0x150(%rbp), %rdi
testq %rdi, %rdi
je 0x3ed7
movq -0x140(%rbp), %rsi
jmp 0x3ecf
jmp 0x3e94
movq %rax, %r14
movq -0x138(%rbp), %rdi
testq %rdi, %rdi
je 0x3ed7
movq -0x128(%rbp), %rsi
jmp 0x3ecf
movq %rax, %r14
jmp 0x3ed7
movq %rax, %r14
jmp 0x3ebc
movq %rax, %r14
movq -0x120(%rbp), %rdi
testq %rdi, %rdi
je 0x3ebc
movq -0x110(%rbp), %rsi
subq %rdi, %rsi
callq 0x2130
movq -0xd8(%rbp), %rdi
testq %rdi, %rdi
je 0x3ed7
movq -0xc8(%rbp), %rsi
subq %rdi, %rsi
callq 0x2130
movq (%rbx), %rdi
testq %rdi, %rdi
je 0x3eeb
movq 0x10(%rbx), %rsi
subq %rdi, %rsi
callq 0x2130
leaq -0x58(%rbp), %rdi
callq 0x2b40
movq %r14, %rdi
callq 0x21b0