// File: /workspace/github_c_makefile_star2_O0/wjmelements[P]evm/src/evm.c
// Function: evmCall
static result_t evmCall(address_t from, uint64_t gas, address_t to, val_t value, data_t input) {
    account_t *fromAccount = getAccount(from);
    if (!BalanceSub(fromAccount->balance, value)) {
        fprintf(stderr, "Insufficient balance [0x%08x%08x%08x] for call (need [0x%08x%08x%08x])\n",
            fromAccount->balance[0], fromAccount->balance[1], fromAccount->balance[2],
            value[0], value[1], value[2]
        );

        result_t result;
        result.gasRemaining = 0;
        result.stateChanges = NULL;
        clear256(&result.status);
        result.returnData.size = 0;
        return result;
    }

    context_t *callContext = callstack.next;
    callContext->gas = gas;
    if (callstack.next == callstack.bottom) {
        callContext->readonly = false;
    } else {
        callContext->readonly = callContext[-1].readonly;
    }

    BalanceCopy(callContext->callValue, value);
    AddressCopy(callContext->caller, from);
    callContext->account = getAccount(to);
    BalanceAdd(callContext->account->balance, value);
    callContext->code = callContext->account->code;
    callContext->callData = input;

    return _evmCall(callContext);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x70, %rsp
movq %rdi, -0x50(%rbp)
movq %rdi, -0x48(%rbp)
leaq 0x28(%rbp), %rax
movq %rax, -0x40(%rbp)
leaq 0x10(%rbp), %rax
movq %rax, -0x38(%rbp)
movq %rcx, -0x10(%rbp)
movq %r8, -0x8(%rbp)
movq %rsi, -0x18(%rbp)
movq %rdx, -0x20(%rbp)
movq (%rax), %rcx
movq %rcx, (%rsp)
movq 0x8(%rax), %rcx
movq %rcx, 0x8(%rsp)
movl 0x10(%rax), %eax
movl %eax, 0x10(%rsp)
callq 0x8ac0
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rdi
addq $0x14, %rdi
movq -0x20(%rbp), %rsi
callq 0xf330
testb $0x1, %al
jne 0x978e
movq 0x168dc(%rip), %rax     # 0x1fff8
movq (%rax), %rdi
movq -0x28(%rbp), %rax
movl 0x14(%rax), %edx
movq -0x28(%rbp), %rax
movl 0x18(%rax), %ecx
movq -0x28(%rbp), %rax
movl 0x1c(%rax), %r8d
movq -0x20(%rbp), %rax
movl (%rax), %r9d
movq -0x20(%rbp), %rax
movl 0x4(%rax), %r10d
movq -0x20(%rbp), %rax
movl 0x8(%rax), %eax
leaq 0x1164e(%rip), %rsi     # 0x1ada0
movl %r10d, (%rsp)
movl %eax, 0x8(%rsp)
movb $0x0, %al
callq 0x31e0
movq -0x50(%rbp), %rdi
movq $0x0, 0x30(%rdi)
movq $0x0, 0x38(%rdi)
addq $0x10, %rdi
callq 0xf8d0
movq -0x50(%rbp), %rax
movq $0x0, (%rax)
jmp 0x98ac
movq 0x20432bb(%rip), %rax   # 0x204ca50
movq %rax, -0x30(%rbp)
movq -0x18(%rbp), %rcx
movq -0x30(%rbp), %rax
movq %rcx, 0x8080(%rax)
leaq 0x1f2a1(%rip), %rax     # 0x28a50
cmpq %rax, 0x204329a(%rip)   # 0x204ca50
jne 0x97c5
movq -0x30(%rbp), %rax
movb $0x0, 0x8088(%rax)
jmp 0x97d9
movq -0x30(%rbp), %rax
movb -0x8(%rax), %cl
movq -0x30(%rbp), %rax
andb $0x1, %cl
movb %cl, 0x8088(%rax)
movq -0x40(%rbp), %rax
movq -0x38(%rbp), %rdx
movq -0x30(%rbp), %rcx
movq -0x20(%rbp), %rsi
movq (%rsi), %rdi
movq %rdi, 0x8038(%rcx)
movl 0x8(%rsi), %esi
movl %esi, 0x8040(%rcx)
movq -0x30(%rbp), %rcx
movq (%rdx), %rsi
movq %rsi, 0x8010(%rcx)
movq 0x8(%rdx), %rsi
movq %rsi, 0x8018(%rcx)
movl 0x10(%rdx), %edx
movl %edx, 0x8020(%rcx)
movq (%rax), %rcx
movq %rcx, (%rsp)
movq 0x8(%rax), %rcx
movq %rcx, 0x8(%rsp)
movl 0x10(%rax), %eax
movl %eax, 0x10(%rsp)
callq 0x8ac0
movq %rax, %rcx
movq -0x30(%rbp), %rax
movq %rcx, 0x8008(%rax)
movq -0x30(%rbp), %rax
movq 0x8008(%rax), %rdi
addq $0x14, %rdi
movq -0x20(%rbp), %rsi
callq 0x9e60
movq -0x50(%rbp), %rdi
movq -0x30(%rbp), %rax
movq -0x30(%rbp), %rcx
movq 0x8008(%rcx), %rcx
movq 0x20(%rcx), %rdx
movq %rdx, 0x8028(%rax)
movq 0x28(%rcx), %rcx
movq %rcx, 0x8030(%rax)
movq -0x30(%rbp), %rax
movq -0x10(%rbp), %rcx
movq %rcx, 0x8070(%rax)
movq -0x8(%rbp), %rcx
movq %rcx, 0x8078(%rax)
movq -0x30(%rbp), %rsi
callq 0x9ee0
movq -0x48(%rbp), %rax
addq $0x70, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)