// File: syzcch[P]FEC_C_version/./fec_rdp.h
// Function: rdp::rdp_encoding()
void rdp_encoding()
    {

        int off = 0;
        int d = 0;
        int p = 0;
        int diag = 0;
        int packet_size = stripe_unit_size /w;

        for (d = 1; d < disks; d++)
        {

            diag = d;

            for (p = 0; p < w; p++)
            {
                if (diag <= w - 1)
                {
                    for (off = 0; off < packet_size; off++)
                    {

                        odata[0][p * packet_size + off]^= idata[d][p * packet_size + off];
                        odata[1][diag * packet_size + off]^= idata[d][p * packet_size + off];
                    }
                    diag++;

                }
                else
                {

                    for (off = 0; off < packet_size; off++)
                    {

                        odata[0][p * packet_size + off]^= idata[d][p * packet_size + off];
                    }
                    diag = 0;

                }

            }
        }
        for (p = 1; p < w; p++)
        {
            for (off = 0; off < packet_size; off++)
            {
                odata[1][(p - 1) * packet_size + off]^= odata[0][p * packet_size + off];

            }
        }


    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rcx
movq %rcx, -0x28(%rbp)
movl $0x0, -0xc(%rbp)
movl $0x0, -0x10(%rbp)
movl $0x0, -0x14(%rbp)
movl $0x0, -0x18(%rbp)
movl 0xc(%rcx), %eax
cltd
idivl 0x14(%rcx)
movl %eax, -0x1c(%rbp)
movl $0x1, -0x10(%rbp)
movq -0x28(%rbp), %rcx
movl -0x10(%rbp), %eax
cmpl 0x8(%rcx), %eax
jge 0x3284
movl -0x10(%rbp), %eax
movl %eax, -0x18(%rbp)
movl $0x0, -0x14(%rbp)
movq -0x28(%rbp), %rcx
movl -0x14(%rbp), %eax
cmpl 0x14(%rcx), %eax
jge 0x3274
movq -0x28(%rbp), %rcx
movl -0x18(%rbp), %eax
movl 0x14(%rcx), %ecx
subl $0x1, %ecx
cmpl %ecx, %eax
jg 0x3205
movl $0x0, -0xc(%rbp)
movl -0xc(%rbp), %eax
cmpl -0x1c(%rbp), %eax
jge 0x31fa
movq -0x28(%rbp), %rax
movq 0x20(%rax), %rcx
movslq -0x10(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movl -0x14(%rbp), %edx
imull -0x1c(%rbp), %edx
addl -0xc(%rbp), %edx
movslq %edx, %rdx
movsbl (%rcx,%rdx), %edi
movq 0x28(%rax), %rcx
movq (%rcx), %rcx
movl -0x14(%rbp), %edx
imull -0x1c(%rbp), %edx
addl -0xc(%rbp), %edx
movslq %edx, %rdx
movsbl (%rcx,%rdx), %esi
xorl %edi, %esi
movb %sil, (%rcx,%rdx)
movq 0x20(%rax), %rcx
movslq -0x10(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movl -0x14(%rbp), %edx
imull -0x1c(%rbp), %edx
addl -0xc(%rbp), %edx
movslq %edx, %rdx
movsbl (%rcx,%rdx), %esi
movq 0x28(%rax), %rax
movq 0x8(%rax), %rax
movl -0x18(%rbp), %ecx
imull -0x1c(%rbp), %ecx
addl -0xc(%rbp), %ecx
movslq %ecx, %rcx
movsbl (%rax,%rcx), %edx
xorl %esi, %edx
movb %dl, (%rax,%rcx)
movl -0xc(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xc(%rbp)
jmp 0x3166
movl -0x18(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x18(%rbp)
jmp 0x3264
movl $0x0, -0xc(%rbp)
movl -0xc(%rbp), %eax
cmpl -0x1c(%rbp), %eax
jge 0x325d
movq -0x28(%rbp), %rax
movq 0x20(%rax), %rcx
movslq -0x10(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movl -0x14(%rbp), %edx
imull -0x1c(%rbp), %edx
addl -0xc(%rbp), %edx
movslq %edx, %rdx
movsbl (%rcx,%rdx), %esi
movq 0x28(%rax), %rax
movq (%rax), %rax
movl -0x14(%rbp), %ecx
imull -0x1c(%rbp), %ecx
addl -0xc(%rbp), %ecx
movslq %ecx, %rcx
movsbl (%rax,%rcx), %edx
xorl %esi, %edx
movb %dl, (%rax,%rcx)
movl -0xc(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xc(%rbp)
jmp 0x320c
movl $0x0, -0x18(%rbp)
jmp 0x3266
movl -0x14(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x14(%rbp)
jmp 0x313a
jmp 0x3276
movl -0x10(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x10(%rbp)
jmp 0x311d
movl $0x1, -0x14(%rbp)
movq -0x28(%rbp), %rcx
movl -0x14(%rbp), %eax
cmpl 0x14(%rcx), %eax
jge 0x32fb
movl $0x0, -0xc(%rbp)
movl -0xc(%rbp), %eax
cmpl -0x1c(%rbp), %eax
jge 0x32ee
movq -0x28(%rbp), %rax
movq 0x28(%rax), %rcx
movq (%rcx), %rcx
movl -0x14(%rbp), %edx
imull -0x1c(%rbp), %edx
addl -0xc(%rbp), %edx
movslq %edx, %rdx
movsbl (%rcx,%rdx), %esi
movq 0x28(%rax), %rax
movq 0x8(%rax), %rax
movl -0x14(%rbp), %ecx
subl $0x1, %ecx
imull -0x1c(%rbp), %ecx
addl -0xc(%rbp), %ecx
movslq %ecx, %rcx
movsbl (%rax,%rcx), %edx
xorl %esi, %edx
movb %dl, (%rax,%rcx)
movl -0xc(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xc(%rbp)
jmp 0x329e
jmp 0x32f0
movl -0x14(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x14(%rbp)
jmp 0x328b
popq %rbp
retq
nopl (%rax)