// File: /workspace/github_c_makefile_star2_O0/sharmaeklavya2[P]cerplag/compiler.c
// Function: compare_lists_type
void compare_lists_type(const char* func_name, pSD psd, bool is_output, IDListNode* actual, IDTypeListNode* formal) {
    const char* list_type = is_output? "output": "input";
    int acount=0, fcount=0;
    IDListNode* org_actual = actual;
    IDTypeListNode* org_formal = formal;
    for(; actual != NULL; actual = actual->next, acount++);
    for(; formal != NULL; formal = formal->next, fcount++);
    actual = org_actual;
    formal = org_formal;
    if(acount < fcount) {
        sprintf(msg, "Too few %s parameters to function.", list_type);
        print_error("type", ERROR, -1, actual->base.line, actual->base.col, func_name,
            "FEW_ARGS", msg);
    }
    else if(acount > fcount) {
        sprintf(msg, "Too many %s parameters to function.", list_type);
        print_error("type", ERROR, -1, actual->base.line, actual->base.col, func_name,
            "MANY_ARGS", msg);
    }
    else {
        while(actual != NULL) {
            int ftype = formal->base.type;
            int fsize = formal->base.size;
            pSTEntry entry = SD_get_entry(psd, actual->varname);
            if(entry == NULL) {
                print_undecl_id_error(actual->varname, actual->base.line, actual->base.col);
            }
            else {
                if(is_output) {
                    log_var_set(entry, actual->base.line, actual->base.col);
                }
                int atype = entry->addr->type;
                int asize = entry->addr->size;
                if(!(atype == TYPE_ERROR || (atype == ftype && asize == fsize))) {
                    char fstr[24], astr[24];
                    get_type_str(astr, atype, asize);
                    get_type_str(fstr, ftype, fsize);
                    sprintf(msg, "Actual %s parameter has type '%s', but formal %s parameter has type '%s'.",
                        list_type, astr, list_type, fstr);
                    print_error("type", ERROR, -1, actual->base.line, actual->base.col, actual->varname,
                        "FCALL_TYPE_MISMATCH", msg);
                }
                actual->base.addr = entry->addr;
            }
            actual = actual->next;
            formal = formal->next;
        }
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xb0, %rsp
movb %dl, %al
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
andb $0x1, %al
movb %al, -0x11(%rbp)
movq %rcx, -0x20(%rbp)
movq %r8, -0x28(%rbp)
movb -0x11(%rbp), %dl
leaq 0x50f5(%rip), %rax      # 0x144f1
leaq 0x5fbb(%rip), %rcx      # 0x153be
testb $0x1, %dl
cmovneq %rcx, %rax
movq %rax, -0x30(%rbp)
movl $0x0, -0x34(%rbp)
movl $0x0, -0x38(%rbp)
movq -0x20(%rbp), %rax
movq %rax, -0x40(%rbp)
movq -0x28(%rbp), %rax
movq %rax, -0x48(%rbp)
cmpq $0x0, -0x20(%rbp)
je 0xf44c
jmp 0xf435
movq -0x20(%rbp), %rax
movq 0x38(%rax), %rax
movq %rax, -0x20(%rbp)
movl -0x34(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x34(%rbp)
jmp 0xf42c
jmp 0xf44e
cmpq $0x0, -0x28(%rbp)
je 0xf46e
jmp 0xf457
movq -0x28(%rbp), %rax
movq 0x38(%rax), %rax
movq %rax, -0x28(%rbp)
movl -0x38(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x38(%rbp)
jmp 0xf44e
movq -0x40(%rbp), %rax
movq %rax, -0x20(%rbp)
movq -0x48(%rbp), %rax
movq %rax, -0x28(%rbp)
movl -0x34(%rbp), %eax
cmpl -0x38(%rbp), %eax
jge 0xf4e1
movq -0x30(%rbp), %rdx
leaq 0x1095f(%rip), %rdi     # 0x1fdf0
leaq 0x5f2d(%rip), %rsi      # 0x153c5
movb $0x0, %al
callq 0x3190
movq -0x20(%rbp), %rax
movl 0xc(%rax), %ecx
movq -0x20(%rbp), %rax
movl 0x10(%rax), %r8d
movq -0x8(%rbp), %r9
leaq 0x53cd(%rip), %rdi      # 0x14886
xorl %esi, %esi
movl $0xffffffff, %edx       # imm = 0xFFFFFFFF
leaq 0x5f21(%rip), %r10      # 0x153e8
leaq 0x10922(%rip), %rax     # 0x1fdf0
movq %r10, (%rsp)
movq %rax, 0x8(%rsp)
callq 0xba50
jmp 0xf6b3
movl -0x34(%rbp), %eax
cmpl -0x38(%rbp), %eax
jle 0xf544
movq -0x30(%rbp), %rdx
leaq 0x108fc(%rip), %rdi     # 0x1fdf0
leaq 0x5ef6(%rip), %rsi      # 0x153f1
movb $0x0, %al
callq 0x3190
movq -0x20(%rbp), %rax
movl 0xc(%rax), %ecx
movq -0x20(%rbp), %rax
movl 0x10(%rax), %r8d
movq -0x8(%rbp), %r9
leaq 0x536a(%rip), %rdi      # 0x14886
xorl %esi, %esi
movl $0xffffffff, %edx       # imm = 0xFFFFFFFF
leaq 0x5eeb(%rip), %r10      # 0x15415
leaq 0x108bf(%rip), %rax     # 0x1fdf0
movq %r10, (%rsp)
movq %rax, 0x8(%rsp)
callq 0xba50
jmp 0xf6b1
jmp 0xf546
cmpq $0x0, -0x20(%rbp)
je 0xf6af
movq -0x28(%rbp), %rax
movl 0x4(%rax), %eax
movl %eax, -0x4c(%rbp)
movq -0x28(%rbp), %rax
movl 0x8(%rax), %eax
movl %eax, -0x50(%rbp)
movq -0x10(%rbp), %rdi
movq -0x20(%rbp), %rax
movq 0x40(%rax), %rsi
callq 0xcc40
movq %rax, -0x58(%rbp)
cmpq $0x0, -0x58(%rbp)
jne 0xf5a1
movq -0x20(%rbp), %rax
movq 0x40(%rax), %rdi
movq -0x20(%rbp), %rax
movl 0xc(%rax), %esi
movq -0x20(%rbp), %rax
movl 0x10(%rax), %edx
callq 0xd6c0
jmp 0xf692
testb $0x1, -0x11(%rbp)
je 0xf5be
movq -0x58(%rbp), %rdi
movq -0x20(%rbp), %rax
movl 0xc(%rax), %esi
movq -0x20(%rbp), %rax
movl 0x10(%rax), %edx
callq 0xf320
movq -0x58(%rbp), %rax
movq 0x28(%rax), %rax
movl 0x18(%rax), %eax
movl %eax, -0x5c(%rbp)
movq -0x58(%rbp), %rax
movq 0x28(%rax), %rax
movl 0x1c(%rax), %eax
movl %eax, -0x60(%rbp)
cmpl $0x0, -0x5c(%rbp)
je 0xf682
movl -0x5c(%rbp), %eax
cmpl -0x4c(%rbp), %eax
jne 0xf5f8
movl -0x60(%rbp), %eax
cmpl -0x50(%rbp), %eax
je 0xf682
leaq -0xa0(%rbp), %rdi
movl -0x5c(%rbp), %esi
movl -0x60(%rbp), %edx
callq 0xfff0
leaq -0x80(%rbp), %rdi
movl -0x4c(%rbp), %esi
movl -0x50(%rbp), %edx
callq 0xfff0
movq -0x30(%rbp), %rdx
leaq -0xa0(%rbp), %rcx
movq -0x30(%rbp), %r8
leaq -0x80(%rbp), %r9
leaq 0x107bd(%rip), %rdi     # 0x1fdf0
leaq 0x5de5(%rip), %rsi      # 0x1541f
movb $0x0, %al
callq 0x3190
movq -0x20(%rbp), %rax
movl 0xc(%rax), %ecx
movq -0x20(%rbp), %rax
movl 0x10(%rax), %r8d
movq -0x20(%rbp), %rax
movq 0x40(%rax), %r9
leaq 0x5227(%rip), %rdi      # 0x14886
xorl %esi, %esi
movl $0xffffffff, %edx       # imm = 0xFFFFFFFF
leaq 0x5dfc(%rip), %r10      # 0x15469
leaq 0x1077c(%rip), %rax     # 0x1fdf0
movq %r10, (%rsp)
movq %rax, 0x8(%rsp)
callq 0xba50
movq -0x58(%rbp), %rax
movq 0x28(%rax), %rcx
movq -0x20(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x20(%rbp), %rax
movq 0x38(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x28(%rbp), %rax
movq 0x38(%rax), %rax
movq %rax, -0x28(%rbp)
jmp 0xf546
jmp 0xf6b1
jmp 0xf6b3
addq $0xb0, %rsp
popq %rbp
retq
nopl (%rax)