// File: /workspace/github_cpp_makefile_star2_O3/temelmertcan[P]multgen/src/adders.cpp
// Function: ppx_postprocess(int, int&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>*&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>*&, std::queue<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::deque<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::allocator<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>>>&)
void ppx_postprocess (int size, int& index,
                      string*& g, string*& p, std::queue<string>& verilog){

  verilog.push ("assign OUT[0] = p_0[0];");

  for (int i = 1; i<size; i+=1){

    verilog.push ("assign OUT[" + to_string(i) + "] = p_0[" + to_string(i) + "] ^ " + g[i-1] + ";");
  }

  verilog.push ("assign OUT[" + to_string(size) + "] = " + g[size-1] + ";");

  verilog.push("outdent");
  verilog.push("endmodule");

  verilog.push("");

}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x128, %rsp            # imm = 0x128
movq %r8, %r14
movq %rdx, -0x100(%rbp)
movl %edi, %r15d
leaq -0x38(%rbp), %rbx
movq %rbx, -0x10(%rbx)
leaq 0x493ef(%rip), %rsi     # 0x78c33
leaq 0x493ff(%rip), %rdx     # 0x78c4a
leaq -0x48(%rbp), %rdi
callq 0x2ac04
leaq -0x48(%rbp), %rsi
movq %r14, %rdi
callq 0x2a942
movq %r14, -0x98(%rbp)
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2f875
callq 0x31d0
movl %r15d, -0x4c(%rbp)
cmpl $0x2, %r15d
jl 0x2fd0b
leaq -0x80(%rbp), %r13
leaq -0xc8(%rbp), %rbx
movl -0x4c(%rbp), %eax
movq %rax, -0x128(%rbp)
movl $0x1, %r12d
movl $0xd1b71759, %r15d      # imm = 0xD1B71759
movl $0x1, %r14d
cmpq $0xa, %r12
jb 0x2f8f2
movl $0x4, %r14d
movl %r12d, %eax
cmpl $0x63, %eax
jbe 0x2f8e9
cmpl $0x3e7, %eax            # imm = 0x3E7
jbe 0x2f8ef
cmpl $0x2710, %eax           # imm = 0x2710
jb 0x2f8f2
movl %eax, %ecx
imulq %r15, %rcx
shrq $0x2d, %rcx
addl $0x4, %r14d
cmpl $0x1869f, %eax          # imm = 0x1869F
movl %ecx, %eax
ja 0x2f8b9
addl $-0x3, %r14d
jmp 0x2f8f2
addl $-0x2, %r14d
jmp 0x2f8f2
decl %r14d
movl %r14d, %esi
leaq -0x138(%rbp), %rax
movq %rax, -0x148(%rbp)
leaq -0x148(%rbp), %r15
movq %r15, %rdi
movl $0x2d, %edx
callq 0x3250
movq -0x148(%rbp), %rdi
movl %r14d, %esi
movl %r12d, %edx
callq 0x2a6a5
movl $0xb, %r8d
movq %r15, %rdi
xorl %esi, %esi
xorl %edx, %edx
leaq 0x49233(%rip), %rcx     # 0x78b70
callq 0x3230
leaq -0x110(%rbp), %rsi
movq %rsi, -0x120(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x2f972
movq %rdx, -0x120(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x110(%rbp)
jmp 0x2f978
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
movl $0xd1b71759, %r15d      # imm = 0xD1B71759
movq 0x8(%rax), %rdx
movq %rdx, -0x118(%rbp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq -0x120(%rbp), %rdi
leaq 0x492a5(%rip), %rsi     # 0x78c4b
callq 0x33d0
leaq -0x60(%rbp), %rsi
movq %rsi, -0x70(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x2f9cf
movq %rdx, -0x70(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x60(%rbp)
jmp 0x2f9d5
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
movq 0x8(%rax), %rdx
movq %rdx, -0x68(%rbp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movl $0x1, %r14d
cmpq $0xa, %r12
jb 0x2fa3a
movl $0x4, %r14d
movl %r12d, %eax
cmpl $0x63, %eax
jbe 0x2fa31
cmpl $0x3e7, %eax            # imm = 0x3E7
jbe 0x2fa37
cmpl $0x2710, %eax           # imm = 0x2710
jb 0x2fa3a
movl %eax, %ecx
imulq %r15, %rcx
shrq $0x2d, %rcx
addl $0x4, %r14d
cmpl $0x1869f, %eax          # imm = 0x1869F
movl %ecx, %eax
ja 0x2fa01
addl $-0x3, %r14d
jmp 0x2fa3a
addl $-0x2, %r14d
jmp 0x2fa3a
decl %r14d
movl %r14d, %esi
leaq -0xe8(%rbp), %rax
movq %rax, -0xf8(%rbp)
leaq -0xf8(%rbp), %rdi
movl $0x2d, %edx
callq 0x3250
movq -0xf8(%rbp), %rdi
movl %r14d, %esi
movl %r12d, %edx
callq 0x2a6a5
movq -0x70(%rbp), %rcx
movl $0xf, %edi
leaq -0x60(%rbp), %rax
cmpq %rax, %rcx
je 0x2fa84
movq -0x60(%rbp), %rdi
movq -0x68(%rbp), %r8
movq -0xf8(%rbp), %rsi
movq -0xf0(%rbp), %rdx
leaq (%rdx,%r8), %rax
cmpq %rdi, %rax
leaq -0x38(%rbp), %r14
jbe 0x2fac0
movl $0xf, %edi
leaq -0xe8(%rbp), %r9
cmpq %r9, %rsi
je 0x2fabb
movq -0xe8(%rbp), %rdi
cmpq %rdi, %rax
jbe 0x2facb
leaq -0x70(%rbp), %rdi
callq 0x30a0
jmp 0x2fadb
leaq -0xf8(%rbp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x3230
movq %r13, -0x90(%rbp)
movq (%rax), %rdx
leaq 0x10(%rax), %rcx
cmpq %rcx, %rdx
je 0x2fafe
movq %rdx, -0x90(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x80(%rbp)
jmp 0x2fb06
movups (%rcx), %xmm0
movups %xmm0, (%r13)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, -0x88(%rbp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq -0x90(%rbp), %rdi
leaq 0x49121(%rip), %rsi     # 0x78c54
callq 0x33d0
movq %rbx, -0xd8(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x2fb61
movq %rdx, -0xd8(%rbp)
movq (%rcx), %rdx
movq %rdx, -0xc8(%rbp)
jmp 0x2fb67
movups (%rcx), %xmm0
movups %xmm0, (%rbx)
movq 0x8(%rax), %rdx
movq %rdx, -0xd0(%rbp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq -0x100(%rbp), %rax
movq (%rax), %rax
movq %r12, %rcx
shlq $0x5, %rcx
movq -0x20(%rax,%rcx), %rsi
movq -0x18(%rax,%rcx), %rdx
leaq -0xd8(%rbp), %rdi
callq 0x30a0
leaq -0xa8(%rbp), %rsi
movq %rsi, -0xb8(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x2fbd8
movq %rdx, -0xb8(%rbp)
movq (%rcx), %rdx
movq %rdx, -0xa8(%rbp)
jmp 0x2fbde
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
movq 0x8(%rax), %rdx
movq %rdx, -0xb0(%rbp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq -0xb8(%rbp), %rdi
leaq 0x49b0b(%rip), %rsi     # 0x79711
callq 0x33d0
movq %r14, -0x48(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x2fc2b
movq %rdx, -0x48(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x38(%rbp)
jmp 0x2fc32
movups (%rcx), %xmm0
movups %xmm0, (%r14)
movq 0x8(%rax), %rdx
movq %rdx, -0x40(%rbp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq -0x98(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0x2a942
movq -0x48(%rbp), %rdi
cmpq %r14, %rdi
je 0x2fc67
callq 0x31d0
movq -0xb8(%rbp), %rdi
leaq -0xa8(%rbp), %rax
cmpq %rax, %rdi
je 0x2fc7f
callq 0x31d0
movq -0xd8(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2fc90
callq 0x31d0
movq -0x90(%rbp), %rdi
cmpq %r13, %rdi
je 0x2fca1
callq 0x31d0
movq -0xf8(%rbp), %rdi
leaq -0xe8(%rbp), %rax
cmpq %rax, %rdi
je 0x2fcb9
callq 0x31d0
movq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0x2fccb
callq 0x31d0
movq -0x120(%rbp), %rdi
leaq -0x110(%rbp), %rax
cmpq %rax, %rdi
je 0x2fce3
callq 0x31d0
movq -0x148(%rbp), %rdi
leaq -0x138(%rbp), %rax
cmpq %rax, %rdi
je 0x2fcfb
callq 0x31d0
incq %r12
cmpq -0x128(%rbp), %r12
jne 0x2f8a4
movl -0x4c(%rbp), %esi
movl %esi, %r14d
negl %r14d
cmovsl %esi, %r14d
movl $0x1, %r12d
cmpl $0xa, %r14d
leaq -0x60(%rbp), %rdi
jb 0x2fd72
movl $0x4, %r12d
movl $0xd1b71759, %eax       # imm = 0xD1B71759
movl %r14d, %ecx
cmpl $0x63, %ecx
jbe 0x2fd69
cmpl $0x3e7, %ecx            # imm = 0x3E7
jbe 0x2fd6f
cmpl $0x2710, %ecx           # imm = 0x2710
jb 0x2fd72
movl %ecx, %edx
imulq %rax, %rdx
shrq $0x2d, %rdx
addl $0x4, %r12d
cmpl $0x1869f, %ecx          # imm = 0x1869F
movl %edx, %ecx
ja 0x2fd36
addl $-0x3, %r12d
jmp 0x2fd72
addl $-0x2, %r12d
jmp 0x2fd72
decl %r12d
movl %esi, %r13d
shrl $0x1f, %r13d
leal (%r12,%r13), %esi
leaq -0x70(%rbp), %rbx
movq %rdi, (%rbx)
movq %rbx, %rdi
movl $0x2d, %edx
callq 0x3250
addq (%rbx), %r13
movq %r13, %rdi
movl %r12d, %esi
movl %r14d, %edx
callq 0x2a6a5
leaq 0x48dc7(%rip), %rcx     # 0x78b70
movl $0xb, %r8d
movq %rbx, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x3230
leaq -0x80(%rbp), %rbx
movq %rbx, -0x10(%rbx)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
leaq -0x38(%rbp), %r14
je 0x2fde6
movq %rdx, -0x90(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x80(%rbp)
jmp 0x2fdec
movups (%rcx), %xmm0
movups %xmm0, (%rbx)
movq -0x98(%rbp), %r13
movq 0x8(%rax), %rdx
leaq -0x90(%rbp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x4843a(%rip), %rsi     # 0x78252
callq 0x33d0
leaq -0xc8(%rbp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x2fe4a
movq %rdx, -0xd8(%rbp)
movq (%rcx), %rdx
movq %rdx, -0xc8(%rbp)
jmp 0x2fe51
movups (%rcx), %xmm0
movups %xmm0, (%r15)
movq 0x8(%rax), %rdx
leaq -0xd8(%rbp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq -0x100(%rbp), %rax
movq (%rax), %rax
movslq -0x4c(%rbp), %rcx
shlq $0x5, %rcx
movq -0x20(%rax,%rcx), %rsi
movq -0x18(%rax,%rcx), %rdx
callq 0x30a0
leaq -0xa8(%rbp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x2febe
movq %rdx, -0xb8(%rbp)
movq (%rcx), %rdx
movq %rdx, -0xa8(%rbp)
jmp 0x2fec6
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
leaq -0xb8(%rbp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x49826(%rip), %rsi     # 0x79711
callq 0x33d0
movq %r14, -0x48(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x2ff10
movq %rdx, -0x48(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x38(%rbp)
jmp 0x2ff17
movups (%rcx), %xmm0
movups %xmm0, (%r14)
movq 0x8(%rax), %rdx
leaq -0x48(%rbp), %rsi
movq %rdx, 0x8(%rsi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq %r13, %rdi
callq 0x2a942
movq -0x48(%rbp), %rdi
cmpq %r14, %rdi
je 0x2ff48
callq 0x31d0
movq -0xb8(%rbp), %rdi
cmpq %r12, %rdi
je 0x2ff59
callq 0x31d0
movq -0xd8(%rbp), %rdi
cmpq %r15, %rdi
je 0x2ff6a
callq 0x31d0
movq -0x90(%rbp), %rdi
cmpq %rbx, %rdi
leaq -0x60(%rbp), %rbx
je 0x2ff7f
callq 0x31d0
movq -0x70(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2ff8d
callq 0x31d0
leaq -0x48(%rbp), %rdi
movq %r14, (%rdi)
leaq 0x47d93(%rip), %rsi     # 0x77d2e
leaq 0x47d93(%rip), %rdx     # 0x77d35
callq 0x2ac04
leaq -0x48(%rbp), %rsi
movq %r13, %rdi
callq 0x2a942
movq -0x48(%rbp), %rdi
cmpq %r14, %rdi
je 0x2ffc1
callq 0x31d0
leaq -0x48(%rbp), %rdi
movq %r14, (%rdi)
leaq 0x47e07(%rip), %rsi     # 0x77dd6
leaq 0x47e09(%rip), %rdx     # 0x77ddf
callq 0x2ac04
leaq -0x48(%rbp), %rsi
movq %r13, %rdi
callq 0x2a942
movq -0x48(%rbp), %rdi
cmpq %r14, %rdi
je 0x2fff5
callq 0x31d0
leaq -0x48(%rbp), %rdi
movq %r14, (%rdi)
leaq 0x495fe(%rip), %rdx     # 0x79601
movq %rdx, %rsi
callq 0x2ac04
leaq -0x48(%rbp), %rsi
movq %r13, %rdi
callq 0x2a942
movq -0x48(%rbp), %rdi
cmpq %r14, %rdi
je 0x30025
callq 0x31d0
addq $0x128, %rsp            # imm = 0x128
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x30045
jmp 0x300dc
jmp 0x30045
jmp 0x300dc
movq %r14, %rcx
movq %rax, %r14
movq -0x48(%rbp), %rdi
cmpq %rcx, %rdi
jne 0x301b0
jmp 0x301b5
jmp 0x300dc
movq %r14, %rcx
movq %rax, %r14
movq -0x48(%rbp), %rdi
cmpq %rcx, %rdi
je 0x30078
callq 0x31d0
jmp 0x30078
movq %rax, %r14
movq -0xb8(%rbp), %rdi
cmpq %r12, %rdi
je 0x3008e
callq 0x31d0
jmp 0x3008e
movq %rax, %r14
movq -0xd8(%rbp), %rdi
cmpq %r15, %rdi
je 0x300a4
callq 0x31d0
jmp 0x300a4
movq %rax, %r14
movq -0x90(%rbp), %rdi
cmpq %rbx, %rdi
je 0x300ba
callq 0x31d0
jmp 0x300ba
movq %rax, %r14
movq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
jmp 0x301ab
movq %rax, %r14
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
jne 0x301b0
jmp 0x301b5
movq %rax, %r14
jmp 0x301b5
movq %rax, %r14
jmp 0x3019d
movq %rax, %r14
jmp 0x30185
movq %rax, %r14
jmp 0x30173
movq %rax, %r14
jmp 0x3015b
movq %rax, %r14
jmp 0x3014a
movq %rax, %r14
jmp 0x30139
movq %rax, %r14
jmp 0x30121
movq %r14, %rcx
movq %rax, %r14
movq -0x48(%rbp), %rdi
cmpq %rcx, %rdi
je 0x30121
callq 0x31d0
movq -0xb8(%rbp), %rdi
leaq -0xa8(%rbp), %rax
cmpq %rax, %rdi
je 0x30139
callq 0x31d0
movq -0xd8(%rbp), %rdi
cmpq %rbx, %rdi
je 0x3014a
callq 0x31d0
movq -0x90(%rbp), %rdi
cmpq %r13, %rdi
je 0x3015b
callq 0x31d0
movq -0xf8(%rbp), %rdi
leaq -0xe8(%rbp), %rax
cmpq %rax, %rdi
je 0x30173
callq 0x31d0
movq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0x30185
callq 0x31d0
movq -0x120(%rbp), %rdi
leaq -0x110(%rbp), %rax
cmpq %rax, %rdi
je 0x3019d
callq 0x31d0
movq -0x148(%rbp), %rdi
leaq -0x138(%rbp), %rax
cmpq %rax, %rdi
je 0x301b5
callq 0x31d0
movq %r14, %rdi
callq 0x33a0