// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: iv_meq
static bool iv_meq(s7_int *ex, s7_int *ey, s7_int len)
                {
                    s7_int i, left;
                    left = len - 8;
                    i = 0;
                    while (i <= left)
                        LOOP_8(if (ex[i] != ey[i]) return(false); i++);
                    for (; i < len; i++)
                        if (ex[i] != ey[i])
                            return(false);
                    return(true);
                }

// Assembly:
movq %rdi, -0x10(%rsp)
movq %rsi, -0x18(%rsp)
movq %rdx, -0x20(%rsp)
movq -0x20(%rsp), %rax
subq $0x8, %rax
movq %rax, -0x30(%rsp)
movq $0x0, -0x28(%rsp)
movq -0x28(%rsp), %rax
cmpq -0x30(%rsp), %rax
jg 0x1b7efa
jmp 0x1b7d48
movq -0x10(%rsp), %rax
movq -0x28(%rsp), %rcx
movq (%rax,%rcx,8), %rax
movq -0x18(%rsp), %rcx
movq -0x28(%rsp), %rdx
cmpq (%rcx,%rdx,8), %rax
je 0x1b7d70
movb $0x0, -0x1(%rsp)
jmp 0x1b7f44
movq -0x28(%rsp), %rax
addq $0x1, %rax
movq %rax, -0x28(%rsp)
movq -0x10(%rsp), %rax
movq -0x28(%rsp), %rcx
movq (%rax,%rcx,8), %rax
movq -0x18(%rsp), %rcx
movq -0x28(%rsp), %rdx
cmpq (%rcx,%rdx,8), %rax
je 0x1b7da6
movb $0x0, -0x1(%rsp)
jmp 0x1b7f44
movq -0x28(%rsp), %rax
addq $0x1, %rax
movq %rax, -0x28(%rsp)
movq -0x10(%rsp), %rax
movq -0x28(%rsp), %rcx
movq (%rax,%rcx,8), %rax
movq -0x18(%rsp), %rcx
movq -0x28(%rsp), %rdx
cmpq (%rcx,%rdx,8), %rax
je 0x1b7ddc
movb $0x0, -0x1(%rsp)
jmp 0x1b7f44
movq -0x28(%rsp), %rax
addq $0x1, %rax
movq %rax, -0x28(%rsp)
movq -0x10(%rsp), %rax
movq -0x28(%rsp), %rcx
movq (%rax,%rcx,8), %rax
movq -0x18(%rsp), %rcx
movq -0x28(%rsp), %rdx
cmpq (%rcx,%rdx,8), %rax
je 0x1b7e12
movb $0x0, -0x1(%rsp)
jmp 0x1b7f44
movq -0x28(%rsp), %rax
addq $0x1, %rax
movq %rax, -0x28(%rsp)
movq -0x10(%rsp), %rax
movq -0x28(%rsp), %rcx
movq (%rax,%rcx,8), %rax
movq -0x18(%rsp), %rcx
movq -0x28(%rsp), %rdx
cmpq (%rcx,%rdx,8), %rax
je 0x1b7e48
movb $0x0, -0x1(%rsp)
jmp 0x1b7f44
movq -0x28(%rsp), %rax
addq $0x1, %rax
movq %rax, -0x28(%rsp)
movq -0x10(%rsp), %rax
movq -0x28(%rsp), %rcx
movq (%rax,%rcx,8), %rax
movq -0x18(%rsp), %rcx
movq -0x28(%rsp), %rdx
cmpq (%rcx,%rdx,8), %rax
je 0x1b7e7e
movb $0x0, -0x1(%rsp)
jmp 0x1b7f44
movq -0x28(%rsp), %rax
addq $0x1, %rax
movq %rax, -0x28(%rsp)
movq -0x10(%rsp), %rax
movq -0x28(%rsp), %rcx
movq (%rax,%rcx,8), %rax
movq -0x18(%rsp), %rcx
movq -0x28(%rsp), %rdx
cmpq (%rcx,%rdx,8), %rax
je 0x1b7eb4
movb $0x0, -0x1(%rsp)
jmp 0x1b7f44
movq -0x28(%rsp), %rax
addq $0x1, %rax
movq %rax, -0x28(%rsp)
movq -0x10(%rsp), %rax
movq -0x28(%rsp), %rcx
movq (%rax,%rcx,8), %rax
movq -0x18(%rsp), %rcx
movq -0x28(%rsp), %rdx
cmpq (%rcx,%rdx,8), %rax
je 0x1b7ee7
movb $0x0, -0x1(%rsp)
jmp 0x1b7f44
movq -0x28(%rsp), %rax
addq $0x1, %rax
movq %rax, -0x28(%rsp)
jmp 0x1b7d36
jmp 0x1b7efc
movq -0x28(%rsp), %rax
cmpq -0x20(%rsp), %rax
jge 0x1b7f3f
movq -0x10(%rsp), %rax
movq -0x28(%rsp), %rcx
movq (%rax,%rcx,8), %rax
movq -0x18(%rsp), %rcx
movq -0x28(%rsp), %rdx
cmpq (%rcx,%rdx,8), %rax
je 0x1b7f2d
movb $0x0, -0x1(%rsp)
jmp 0x1b7f44
jmp 0x1b7f2f
movq -0x28(%rsp), %rax
addq $0x1, %rax
movq %rax, -0x28(%rsp)
jmp 0x1b7efc
movb $0x1, -0x1(%rsp)
movb -0x1(%rsp), %al
andb $0x1, %al
retq
nopl (%rax,%rax)