// File: /workspace/github_c_makefile_star2_O0/joewalnes[P]verifysignature/verifysignature.c
// Function: verify_32
int verify_32(const unsigned char *x,const unsigned char *y) {
    unsigned int differentbits = 0;
#define F(i) differentbits |= x[i] ^ y[i];
    F(0)
    F(1)
    F(2)
    F(3)
    F(4)
    F(5)
    F(6)
    F(7)
    F(8)
    F(9)
    F(10)
    F(11)
    F(12)
    F(13)
    F(14)
    F(15)
    F(16)
    F(17)
    F(18)
    F(19)
    F(20)
    F(21)
    F(22)
    F(23)
    F(24)
    F(25)
    F(26)
    F(27)
    F(28)
    F(29)
    F(30)
    F(31)
    return (1 & ((differentbits - 1) >> 8)) - 1;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movl $0x0, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl (%rax), %eax
movq -0x10(%rbp), %rcx
movzbl (%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x1(%rax), %eax
movq -0x10(%rbp), %rcx
movzbl 0x1(%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x2(%rax), %eax
movq -0x10(%rbp), %rcx
movzbl 0x2(%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x3(%rax), %eax
movq -0x10(%rbp), %rcx
movzbl 0x3(%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x4(%rax), %eax
movq -0x10(%rbp), %rcx
movzbl 0x4(%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x5(%rax), %eax
movq -0x10(%rbp), %rcx
movzbl 0x5(%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x6(%rax), %eax
movq -0x10(%rbp), %rcx
movzbl 0x6(%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x7(%rax), %eax
movq -0x10(%rbp), %rcx
movzbl 0x7(%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x8(%rax), %eax
movq -0x10(%rbp), %rcx
movzbl 0x8(%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x9(%rax), %eax
movq -0x10(%rbp), %rcx
movzbl 0x9(%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0xa(%rax), %eax
movq -0x10(%rbp), %rcx
movzbl 0xa(%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0xb(%rax), %eax
movq -0x10(%rbp), %rcx
movzbl 0xb(%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0xc(%rax), %eax
movq -0x10(%rbp), %rcx
movzbl 0xc(%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0xd(%rax), %eax
movq -0x10(%rbp), %rcx
movzbl 0xd(%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0xe(%rax), %eax
movq -0x10(%rbp), %rcx
movzbl 0xe(%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0xf(%rax), %eax
movq -0x10(%rbp), %rcx
movzbl 0xf(%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
movq -0x10(%rbp), %rcx
movzbl 0x10(%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x11(%rax), %eax
movq -0x10(%rbp), %rcx
movzbl 0x11(%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x12(%rax), %eax
movq -0x10(%rbp), %rcx
movzbl 0x12(%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x13(%rax), %eax
movq -0x10(%rbp), %rcx
movzbl 0x13(%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x14(%rax), %eax
movq -0x10(%rbp), %rcx
movzbl 0x14(%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x15(%rax), %eax
movq -0x10(%rbp), %rcx
movzbl 0x15(%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x16(%rax), %eax
movq -0x10(%rbp), %rcx
movzbl 0x16(%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x17(%rax), %eax
movq -0x10(%rbp), %rcx
movzbl 0x17(%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x18(%rax), %eax
movq -0x10(%rbp), %rcx
movzbl 0x18(%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x19(%rax), %eax
movq -0x10(%rbp), %rcx
movzbl 0x19(%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x1a(%rax), %eax
movq -0x10(%rbp), %rcx
movzbl 0x1a(%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x1b(%rax), %eax
movq -0x10(%rbp), %rcx
movzbl 0x1b(%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x1c(%rax), %eax
movq -0x10(%rbp), %rcx
movzbl 0x1c(%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x1d(%rax), %eax
movq -0x10(%rbp), %rcx
movzbl 0x1d(%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x1e(%rax), %eax
movq -0x10(%rbp), %rcx
movzbl 0x1e(%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x1f(%rax), %eax
movq -0x10(%rbp), %rcx
movzbl 0x1f(%rcx), %ecx
xorl %ecx, %eax
orl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movl -0x14(%rbp), %eax
subl $0x1, %eax
shrl $0x8, %eax
andl $0x1, %eax
subl $0x1, %eax
popq %rbp
retq
nopw %cs:(%rax,%rax)