// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: p_call_ppp_ok
static bool p_call_ppp_ok(s7_scheme *sc, opt_info *opc, s7_pointer s_func, s7_pointer car_x)
                {
                    int32_t start;
                    start = sc->pc;
                    /* css (tbig (<= 2 m j)) ccs scs cfc ssf sfc fsc -- ssf then maybe scs */
                    if ((is_safe_procedure(s_func)) &&
                            (c_function_required_args(s_func) <= 3) &&
                            (c_function_all_args(s_func) >= 3))
                    {
                        s7_pointer slot, arg;
                        arg = cadr(car_x);
                        if (is_symbol(arg))
                        {
                            slot = opt_simple_symbol(sc, arg);
                            if (slot)
                            {
                                opc->v[1].p = slot;
                                arg = caddr(car_x);
                                if (is_symbol(arg))
                                {
                                    slot = opt_simple_symbol(sc, arg);
                                    if (slot)
                                    {
                                        opc->v[2].p = slot;
                                        arg = cadddr(car_x);
                                        if (is_symbol(arg))
                                        {
                                            slot = opt_simple_symbol(sc, arg);
                                            if (slot)
                                            {
                                                opc->v[3].p = slot;
                                                opc->v[4].call = cf_call(sc, car_x, s_func, 3);
                                                opc->v[0].fp = opt_p_call_sss;
                                                return(oo_set_type_3(opc, 5, 1, 2, 3, OO_P, OO_P, OO_P));
                                            }
                                        }
                                        else
                                        {
                                            if (cell_optimize(sc, cdddr(car_x)))
                                            {
                                                opc->v[4].call = cf_call(sc, car_x, s_func, 3);
                                                opc->v[0].fp = opt_p_call_ssf;
                                                return(oo_set_type_2(opc, 5, 1, 2, OO_P, OO_P));
                                            }}}}}}
                        if ((cell_optimize(sc, cdr(car_x))) &&
                                (cell_optimize(sc, cddr(car_x))) &&
                                (cell_optimize(sc, cdddr(car_x))))
                        {
                            opc->v[2].call = cf_call(sc, car_x, s_func, 3);
                            opc->v[0].fp = opt_p_call_ppp;
                            return(oo_set_type_0(opc, 3));
                        }
                    }
                    pc_fallback(sc, start);
                    return(return_false(sc, car_x, __func__, __LINE__));
                }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %r12
movl 0x2258(%rdi), %ebp
testb $0x20, 0x2(%rdx)
je 0xa5300
movq %rdx, %r15
cmpq $0x3, 0x18(%rdx)
jg 0xa5300
cmpq $0x3, 0x28(%r15)
jl 0xa5300
movq %rcx, %r14
movq %rsi, %rbx
movq 0x10(%rcx), %r13
movq 0x8(%r13), %rsi
cmpb $0xa, (%rsi)
jne 0xa5268
movq 0x8(%r12), %rdi
callq 0xa56a4
testq %rax, %rax
je 0xa5268
movq %rax, 0x8(%rbx)
movq 0x10(%r14), %r13
movq 0x10(%r13), %rax
movq 0x8(%rax), %rsi
cmpb $0xa, (%rsi)
jne 0xa5268
movq 0x8(%r12), %rdi
callq 0xa56a4
testq %rax, %rax
je 0xa5268
movq %rax, 0x10(%rbx)
movq 0x10(%r14), %r13
movq 0x10(%r13), %rax
movq 0x10(%rax), %rsi
movq 0x8(%rsi), %rax
cmpb $0xa, (%rax)
jne 0xa51ec
movq 0x8(%r12), %rdi
movq %rax, %rsi
callq 0xa56a4
testq %rax, %rax
je 0xa5268
movq %rax, 0x18(%rbx)
cmpw $0x801, (%r14)          # imm = 0x801
jne 0xa519a
movzwl 0x4(%r14), %eax
leal -0x17f(%rax), %ecx
cmpl $0x7, %ecx
jb 0xa519a
cmpl $0x4, %eax
jae 0xa531f
movq 0x8(%r15), %rax
movq %r12, %rdi
movq %r15, %rsi
movl $0x3, %edx
movq %r14, %rcx
xorl %r8d, %r8d
callq *0x48(%rax)
movq %rax, %r14
addq $0x10, %r14
movq (%r14), %rax
movq %rax, 0x20(%rbx)
leaq 0xa205(%rip), %rax      # 0xaf3cc
movq %rax, (%rbx)
movq $0x0, 0x70(%rbx)
movabsq $0x300000005, %rax      # imm = 0x300000005
movq %rax, 0x60(%rbx)
movl $0x0, 0x78(%rbx)
jmp 0xa52fc
movq %r12, %rdi
callq 0xa2000
testb %al, %al
je 0xa5264
cmpw $0x801, (%r14)          # imm = 0x801
jne 0xa5219
movzwl 0x4(%r14), %eax
leal -0x17f(%rax), %ecx
cmpl $0x7, %ecx
jb 0xa5219
cmpl $0x4, %eax
jae 0xa5328
movq 0x8(%r15), %rax
movq %r12, %rdi
movq %r15, %rsi
movl $0x3, %edx
movq %r14, %rcx
xorl %r8d, %r8d
callq *0x48(%rax)
movq %rax, %r14
addq $0x10, %r14
movq (%r14), %rax
movq %rax, 0x20(%rbx)
leaq 0xa1c6(%rip), %rax      # 0xaf40c
movq %rax, (%rbx)
movabsq $0x200000005, %rax      # imm = 0x200000005
movq %rax, 0x60(%rbx)
movq $0x0, 0x70(%rbx)
jmp 0xa52fc
movq 0x10(%r14), %r13
movq %r12, %rdi
movq %r13, %rsi
callq 0xa2000
testb %al, %al
je 0xa5300
movq 0x10(%r14), %rax
movq 0x10(%rax), %rsi
movq %r12, %rdi
callq 0xa2000
testb %al, %al
je 0xa5300
movq 0x10(%r14), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rsi
movq %r12, %rdi
callq 0xa2000
testb %al, %al
je 0xa5300
cmpw $0x801, (%r14)          # imm = 0x801
jne 0xa52c4
movzwl 0x4(%r14), %eax
leal -0x17f(%rax), %ecx
cmpl $0x7, %ecx
jb 0xa52c4
cmpl $0x4, %eax
jae 0xa5319
movq 0x8(%r15), %rax
movq %r12, %rdi
movq %r15, %rsi
movl $0x3, %edx
movq %r14, %rcx
xorl %r8d, %r8d
callq *0x48(%rax)
movq %rax, %r14
addq $0x10, %r14
movq (%r14), %rax
movq %rax, 0x10(%rbx)
leaq 0xa187(%rip), %rax      # 0xaf478
movq %rax, (%rbx)
movq $0x3, 0x60(%rbx)
movb $0x1, %al
jmp 0xa530a
movl %ebp, 0x2258(%r12)
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
addq $0x20, %r14
jmp 0xa52e3
addq $0x20, %r14
jmp 0xa51b9
addq $0x20, %r14
jmp 0xa5238