// File: /workspace/github_c_makefile_star2_O0/wjmelements[P]evm/src/dio.c
// Function: verifyConstructResult
static void verifyConstructResult(result_t *constructResult, entry_t *entry) {
    if (entry->code.size) {
        // verify result code matches entry->code if present
        if (constructResult->returnData.size != entry->code.size || memcmp(constructResult->returnData.content, entry->code.content, entry->code.size)) {
            fputs("Code mismatch at address ", stderr);
            fprintAddress(stderr, (*entry->address));
            fprintf(stderr, ":\n`%s -c %s`:\n", derivedPath, entry->constructPath);
            fprintData(stderr, constructResult->returnData);
            fprintf(stderr, "\nexpected:\n");
            fprintData(stderr, entry->code);
            fputc('\n', stderr);
            _exit(-1);
        }
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xb8, %rsp
movq %rdi, -0x30(%rbp)
movq %rsi, -0x38(%rbp)
movq -0x38(%rbp), %rax
cmpq $0x0, 0x38(%rax)
je 0x6f3c
movq -0x30(%rbp), %rax
movq (%rax), %rax
movq -0x38(%rbp), %rcx
cmpq 0x38(%rcx), %rax
jne 0x6d22
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rdi
movq -0x38(%rbp), %rax
movq 0x40(%rax), %rsi
movq -0x38(%rbp), %rax
movq 0x38(%rax), %rdx
callq 0x31a0
cmpl $0x0, %eax
je 0x6f3a
movq 0x192cf(%rip), %rax     # 0x1fff8
movq (%rax), %rsi
leaq 0x13673(%rip), %rdi     # 0x1a3a6
callq 0x3130
movq 0x192b9(%rip), %rax     # 0x1fff8
movq (%rax), %rdi
movq -0x38(%rbp), %rax
movq (%rax), %rax
movzbl (%rax), %edx
movq -0x38(%rbp), %rax
movq (%rax), %rax
movzbl 0x1(%rax), %ecx
movq -0x38(%rbp), %rax
movq (%rax), %rax
movzbl 0x2(%rax), %r8d
movq -0x38(%rbp), %rax
movq (%rax), %rax
movzbl 0x3(%rax), %r9d
movq -0x38(%rbp), %rax
movq (%rax), %rax
movzbl 0x4(%rax), %eax
movq -0x38(%rbp), %rsi
movq (%rsi), %rsi
movzbl 0x5(%rsi), %esi
movl %esi, -0x58(%rbp)
movq -0x38(%rbp), %rsi
movq (%rsi), %rsi
movzbl 0x6(%rsi), %esi
movl %esi, -0x54(%rbp)
movq -0x38(%rbp), %rsi
movq (%rsi), %rsi
movzbl 0x7(%rsi), %esi
movl %esi, -0x50(%rbp)
movq -0x38(%rbp), %rsi
movq (%rsi), %rsi
movzbl 0x8(%rsi), %esi
movl %esi, -0x4c(%rbp)
movq -0x38(%rbp), %rsi
movq (%rsi), %rsi
movzbl 0x9(%rsi), %esi
movl %esi, -0x48(%rbp)
movq -0x38(%rbp), %rsi
movq (%rsi), %rsi
movzbl 0xa(%rsi), %esi
movl %esi, -0x44(%rbp)
movq -0x38(%rbp), %rsi
movq (%rsi), %rsi
movzbl 0xb(%rsi), %esi
movl %esi, -0x40(%rbp)
movq -0x38(%rbp), %rsi
movq (%rsi), %rsi
movzbl 0xc(%rsi), %r13d
movq -0x38(%rbp), %rsi
movq (%rsi), %rsi
movzbl 0xd(%rsi), %r12d
movq -0x38(%rbp), %rsi
movq (%rsi), %rsi
movzbl 0xe(%rsi), %r15d
movq -0x38(%rbp), %rsi
movq (%rsi), %rsi
movzbl 0xf(%rsi), %r14d
movq -0x38(%rbp), %rsi
movq (%rsi), %rsi
movzbl 0x10(%rsi), %ebx
movq -0x38(%rbp), %rsi
movq (%rsi), %rsi
movzbl 0x11(%rsi), %r11d
movq -0x38(%rbp), %rsi
movq (%rsi), %rsi
movzbl 0x12(%rsi), %r10d
movq -0x38(%rbp), %rsi
movq (%rsi), %rsi
movzbl 0x13(%rsi), %esi
movl %esi, -0x3c(%rbp)
leaq 0x1357c(%rip), %rsi     # 0x1a3c0
movl %eax, (%rsp)
movl -0x58(%rbp), %eax
movl %eax, 0x8(%rsp)
movl -0x54(%rbp), %eax
movl %eax, 0x10(%rsp)
movl -0x50(%rbp), %eax
movl %eax, 0x18(%rsp)
movl -0x4c(%rbp), %eax
movl %eax, 0x20(%rsp)
movl -0x48(%rbp), %eax
movl %eax, 0x28(%rsp)
movl -0x44(%rbp), %eax
movl %eax, 0x30(%rsp)
movl -0x40(%rbp), %eax
movl %eax, 0x38(%rsp)
movl -0x3c(%rbp), %eax
movl %r13d, 0x40(%rsp)
movl %r12d, 0x48(%rsp)
movl %r15d, 0x50(%rsp)
movl %r14d, 0x58(%rsp)
movl %ebx, 0x60(%rsp)
movl %r11d, 0x68(%rsp)
movl %r10d, 0x70(%rsp)
movl %eax, 0x78(%rsp)
movb $0x0, %al
callq 0x31e0
movq 0x19149(%rip), %rax     # 0x1fff8
movq (%rax), %rdi
movq 0x21b8f(%rip), %rdx     # 0x28a48
movq -0x38(%rbp), %rax
movq 0x58(%rax), %rcx
leaq 0x1354b(%rip), %rsi     # 0x1a413
movb $0x0, %al
callq 0x31e0
movq 0x19122(%rip), %rax     # 0x1fff8
movq (%rax), %rdi
movq -0x30(%rbp), %rax
movq (%rax), %rsi
movq 0x8(%rax), %rdx
callq 0x7a80
movq 0x19108(%rip), %rax     # 0x1fff8
movq (%rax), %rdi
leaq 0x13528(%rip), %rsi     # 0x1a422
movb $0x0, %al
callq 0x31e0
movq 0x190f0(%rip), %rax     # 0x1fff8
movq (%rax), %rdi
movq -0x38(%rbp), %rax
movq 0x38(%rax), %rsi
movq 0x40(%rax), %rdx
callq 0x7a80
movq 0x190d5(%rip), %rax     # 0x1fff8
movq (%rax), %rsi
movl $0xa, %edi
callq 0x3180
movl $0xffffffff, %edi       # imm = 0xFFFFFFFF
callq 0x3080
jmp 0x6f3c
addq $0xb8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nop