// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: g_map
static s7_pointer g_map(s7_scheme *sc, s7_pointer args)
                {
#define H_map "(map proc object . objects) applies proc to a list made up of the next element of each of its arguments, returning \
                    a list of the results.  Its arguments can be lists, vectors, strings, hash-tables, or any applicable objects."
#define Q_map s7_make_circular_signature(sc, 2, 3, sc->is_proper_list_symbol, sc->is_procedure_symbol, sc->is_sequence_symbol)

                    s7_pointer p, f;
                    s7_int len;
                    bool got_nil = false;

                    f = car(args);                                /* the function */
                    for (len = 0, p = cdr(args); is_not_null(p); p = cdr(p), len++)
                    {
                        if (!is_mappable(car(p)))
                        {
                            if (is_null(car(p)))
                                got_nil = true;
                            else return(simple_wrong_type_argument_with_type(sc, sc->map_symbol, car(p), a_sequence_string));
                        }
                    }

                    switch (type(f))
                    {
                        case T_C_FUNCTION:
                        case T_C_RST_ARGS_FUNCTION:
                            if ((c_function_required_args(f) > len) ||
                                    (c_function_all_args(f) < len))
                                return(s7_error(sc, sc->wrong_number_of_args_symbol,
                                            set_elist_3(sc, wrap_string(sc, "map ~A: ~A args?", 16), f, small_int(len))));

                        case T_C_OPT_ARGS_FUNCTION:
                        case T_C_ANY_ARGS_FUNCTION:
                            /* if function is safe c func, do the map locally */
                            if (got_nil) return(sc->nil);
                            if (is_safe_procedure(f))
                            {
                                s7_function func;
                                func = c_function_call(f);
                                if ((is_pair(cadr(args))) &&
                                        (len == 1))
                                {
                                    s7_pointer f_args, val, fast, slow;
                                    f_args = list_1(sc, sc->F);
                                    val = list_1(sc, sc->nil);
                                    push_stack_no_let(sc, OP_GC_PROTECT, f_args, val);
                                    for (fast = cadr(args), slow = cadr(args); is_pair(fast); fast = cdr(fast), slow = cdr(slow))
                                    {
                                        s7_pointer z;
                                        set_car(f_args, car(fast));
                                        z = func(sc, f_args);
                                        if (z != sc->no_value)
                                            set_car(val, cons(sc, z, car(val)));
                                        if (is_pair(cdr(fast)))
                                        {
                                            fast = cdr(fast);
                                            if (fast == slow)
                                                break;
                                            set_car(f_args, car(fast));
                                            z = func(sc, f_args);
                                            if (z != sc->no_value)
                                                set_car(val, cons(sc, z, car(val)));
                                        }
                                    }
                                    unstack(sc);
                                    return(safe_reverse_in_place(sc, car(val)));
                                }
                                else
                                {
                                    s7_pointer val, val1, old_args, iter_list;
                                    sc->z = make_iterators(sc, args);
                                    val1 = cons(sc, sc->z, make_list(sc, len, sc->nil));
                                    iter_list = sc->z;
                                    old_args = sc->args;
                                    func = c_function_call(f);
                                    push_stack_no_let(sc, OP_GC_PROTECT, val1, val = cons(sc, sc->nil, sc->code)); /* temporary GC protection: need to protect val1, iter_list, val */
                                    sc->z = sc->nil;
                                    while (true)
                                    {
                                        s7_pointer x, y, z;
                                        for (x = iter_list, y = cdr(val1); is_pair(x); x = cdr(x), y = cdr(y))
                                        {
                                            set_car(y, s7_iterate(sc, car(x)));
                                            if (iterator_is_at_end(car(x)))
                                            {
                                                unstack(sc);
                                                /* free_cell(sc, car(x)); */ /* 16-Jan-19 iterator in circular list -- see s7test */
                                                sc->args = T_Pos(old_args);
                                                return(safe_reverse_in_place(sc, car(val)));
                                            }
                                        }
                                        z = func(sc, cdr(val1)); /* can this contain multiple-values? */
                                        if (z != sc->no_value)
                                            set_car(val, cons(sc, z, car(val)));
                                    }
                                }
                            }
                            else /* not safe procedure */
                            {
                                /* to mimic map values handling elsewhere:
                                 *   ((lambda args (format *stderr* "~A~%" (map values args))) (values)):   ()
                                 *   ((lambda args (format *stderr* "~A~%" (map values args))) (values #<unspecified>)): #<unspecified> etc
                                 */
                                if ((f == slot_value(global_slot(sc->values_symbol))) &&
                                        (len == 1) &&
                                        (!has_methods(cadr(args)))) /* iterator should be ok here -- object_to_list can handle it */
                                {
                                    p = object_to_list(sc, cadr(args));
                                    if (p != cadr(args))
                                        return(p);
                                }
                            }
                            break;

                        case T_CLOSURE:
                            {
                                int32_t fargs;
                                fargs = closure_arity_to_int(sc, f);
                                /* if closure call is straightforward, use OP_MAP_1 */
                                if ((len == 1) &&
                                        (fargs == 1) &&
                                        (!is_constant_symbol(sc, car(closure_args(f)))))
                                {
                                    /* g_map_closure here if not s7_tree_memq 'map takes more time than it saves */
                                    if (got_nil) return(sc->nil);
                                    /* don't go to OP_MAP_2 here! It assumes no recursion */
                                    sc->z = (!is_iterator(cadr(args))) ? s7_make_iterator(sc, cadr(args)) : cadr(args);
                                    push_stack(sc, OP_MAP_1, make_counter(sc, sc->z), f);
                                    sc->z = sc->nil;
                                    return(sc->nil);
                                }
                                if ((fargs > len) ||
                                        ((fargs < len) &&
                                         ((fargs >= 0) ||
                                          (abs(fargs) > len))))
                                    return(s7_error(sc, sc->wrong_number_of_args_symbol,
                                                set_elist_3(sc, wrap_string(sc, "map ~A: ~A args?", 16), f, small_int(len))));
                                if (got_nil) return(sc->nil);
                            }
                            break;

                        default:
                            if (!is_applicable(f))
                                return(method_or_bust_with_type(sc, f, sc->map_symbol, args, something_applicable_string, 1));

                            if ((!is_pair(f)) &&
                                    (!s7_is_aritable(sc, f, len)))
                                return(s7_error(sc, sc->wrong_number_of_args_symbol,
                                            set_elist_3(sc, wrap_string(sc, "map ~A: ~A args?", 16), f, small_int(len))));
                            if (got_nil) return(sc->nil);
                            break;
                    }

                    set_current_code(sc, sc->code);
                    sc->z = make_iterators(sc, args);
                    push_stack(sc, OP_MAP, make_counter(sc, sc->z), f);
                    sc->z = sc->nil;
                    return(sc->nil);
                }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rsi, %r15
movq %rdi, %rbx
movq 0x8(%rsi), %r14
movq 0x10(%rsi), %rax
movq 0x110(%rdi), %r13
cmpq %r13, %rax
je 0x7d9ba
xorl %r12d, %r12d
leaq 0xd7aa2(%rip), %rcx     # 0x155430
movq %rax, %rsi
xorl %ebp, %ebp
movq 0x8(%rsi), %rdx
movzbl (%rdx), %edi
cmpb $0x0, (%rdi,%rcx)
jne 0x7d9ac
movb $0x1, %bpl
cmpq %r13, %rdx
jne 0x7da53
incq %r12
movq 0x10(%rsi), %rsi
cmpq %r13, %rsi
jne 0x7d993
jmp 0x7d9bf
xorl %ebp, %ebp
xorl %r12d, %r12d
movzbl (%r14), %ecx
leal -0x28(%rcx), %edx
cmpl $0xb, %edx
ja 0x7dbb9
leaq 0x8a2ca(%rip), %rsi     # 0x107ca0
movslq (%rsi,%rdx,4), %rdx
addq %rsi, %rdx
jmpq *%rdx
cmpq %r12, 0x18(%r14)
jg 0x7dbf6
cmpq %r12, 0x28(%r14)
jl 0x7dbf6
testb $0x1, %bpl
jne 0x7df86
testb $0x20, 0x2(%r14)
jne 0x7dc6a
movq 0x1638(%rbx), %rcx
movq 0x10(%rcx), %rcx
movq 0x10(%rcx), %rcx
xorq %r14, %rcx
xorq $0x1, %r12
orq %rcx, %r12
jne 0x7ded1
movq 0x8(%rax), %rsi
testb $0x40, 0x3(%rsi)
jne 0x7ded1
movq %rbx, %rdi
callq 0x986ea
movq %rax, %r13
movq 0x10(%r15), %rax
cmpq 0x8(%rax), %r13
jne 0x7df86
jmp 0x7ded1
movq 0x1320(%rbx), %rax
movq 0x8(%rax), %rsi
movq 0x140(%rbx), %rcx
movq 0xcd1a4(%rip), %r8      # 0x14ac10
movq %rbx, %rdi
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xed2a
movq %rbx, %rdi
movq %r14, %rsi
callq 0xccf45
cmpq $0x1, %r12
sete %cl
cmpl $0x1, %eax
sete %dl
andb %cl, %dl
cmpb $0x1, %dl
jne 0x7dbea
movq 0x8(%r14), %rcx
movq 0x8(%rcx), %rcx
movq (%rcx), %rdx
btl $0x18, %edx
jb 0x7dbea
btq $0x30, %rdx
jae 0x7db02
movq 0x8(%rbx), %rsi
movq 0x18(%rsi), %r8
movq 0x20(%rcx), %rdi
movl $0x18, %edx
cmpq %rdi, %r8
je 0x7daef
jle 0x7dae6
movq 0x10(%rsi), %rsi
movq 0x18(%rsi), %r8
cmpq %r8, %rdi
jl 0x7dad9
cmpq %rdi, %r8
jne 0x7e15b
movq (%rcx,%rdx), %rdi
cmpb $0x20, (%rdi)
jne 0x7db02
testb $0x1, 0x3(%rdi)
jne 0x7dbea
testb $0x1, %bpl
jne 0x7dec5
movq 0x10(%r15), %rax
movq 0x8(%rax), %rax
cmpb $0x1d, (%rax)
je 0x7db24
movq %rbx, %rdi
movq %rax, %rsi
callq 0xb067
movq %rax, 0x4f0(%rbx)
movq 0x50(%rbx), %rax
movq %r14, (%rax)
movq 0x8(%rbx), %rax
movq 0x50(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x4f0(%rbx), %r14
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x7db64
movq %rbx, %rdi
callq 0xa550
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0x1f, (%rax)
movq 0x110(%rbx), %rcx
movq %rcx, 0x8(%rax)
movq %r14, 0x10(%rax)
movq $0x0, 0x28(%rax)
movq 0x110(%rbx), %rcx
movq %rcx, 0x18(%rax)
movq %rcx, 0x20(%rax)
movq 0x50(%rbx), %rcx
movq %rax, 0x10(%rcx)
movq 0x50(%rbx), %rax
movq $0x1fd, 0x18(%rax)      # imm = 0x1FD
jmp 0x7df73
leaq 0xd77f0(%rip), %rax     # 0x1553b0
cmpb $0x0, (%rcx,%rax)
je 0x7de76
cmpl $0x1, %ecx
je 0x7debf
movq %rbx, %rdi
movq %r14, %rsi
movq %r12, %rdx
callq 0x3f86f
testb %al, %al
je 0x7dbf6
jmp 0x7debf
movslq %eax, %rcx
cmpq %rcx, %r12
jge 0x7dea6
movq 0x1900(%rbx), %r13
movq 0x820(%rbx), %rax
movslq 0x7dc(%rbx), %rcx
movq (%rax,%rcx,8), %rax
incl %ecx
andl $0x7, %ecx
movl %ecx, 0x7dc(%rbx)
leaq 0x9e23b(%rip), %rcx     # 0x11be5c
movq %rcx, 0x10(%rax)
movq $0x10, 0x8(%rax)
leaq 0xc8d1c(%rip), %rcx     # 0x146950
movq (%rcx,%r12,8), %rcx
movq 0x6e8(%rbx), %rdx
movq %rax, 0x8(%rdx)
movq 0x10(%rdx), %rax
movq %r14, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x6e8(%rbx), %rdx
movq %rbx, %rdi
movq %r13, %rsi
callq 0x38dfa
jmp 0x7df86
movq 0x8(%rax), %rax
cmpb $0x1, (%rax)
sete %al
cmpq $0x1, %r12
sete %cl
andb %al, %cl
cmpb $0x1, %cl
jne 0x7df98
movq 0x10(%r14), %rax
movq %rax, 0x10(%rsp)
movq 0x90(%rbx), %rax
movq 0x120(%rbx), %r12
cmpq 0x98(%rbx), %rax
ja 0x7dcb5
movq %rbx, %rdi
callq 0xa550
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %r14
movq $0x200001, (%r14)       # imm = 0x200001
movq %r12, 0x8(%r14)
movq %r13, 0x10(%r14)
movq 0x90(%rbx), %rax
movq 0x110(%rbx), %r12
cmpq 0x98(%rbx), %rax
ja 0x7dcf9
movq %rbx, %rdi
callq 0xa550
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rcx
movq $0x200001, (%rcx)       # imm = 0x200001
movq %r12, 0x8(%rcx)
movq %r12, 0x10(%rcx)
movq 0x50(%rbx), %rax
movq %rcx, 0x8(%rsp)
movq %rcx, (%rax)
movq 0x50(%rbx), %rax
movq %r14, 0x10(%rax)
movq 0x50(%rbx), %rax
movq $0x1, 0x18(%rax)
movq 0x50(%rbx), %rax
addq $0x20, %rax
movq %rax, 0x50(%rbx)
movq 0x10(%r15), %rcx
movq 0x8(%rcx), %rbp
cmpb $0x1, (%rbp)
jne 0x7de60
movq %rbp, %r12
movq 0x8(%rbp), %rax
movq %rax, 0x8(%r14)
movq %rbx, %rdi
movq %r14, %rsi
callq *0x10(%rsp)
cmpq 0x138(%rbx), %rax
je 0x7ddc5
movq %rax, %r15
movq 0x8(%rsp), %rax
movq 0x8(%rax), %r13
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x7dd9e
movq %rbx, %rdi
callq 0xa550
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0x200001, (%rax)       # imm = 0x200001
movq %r15, 0x8(%rax)
movq %r13, 0x10(%rax)
movq 0x8(%rsp), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%rbp), %r13
cmpb $0x1, (%r13)
jne 0x7de49
cmpq %r12, %r13
je 0x7de5c
movq 0x8(%r13), %rax
movq %rax, 0x8(%r14)
movq %rbx, %rdi
movq %r14, %rsi
callq *0x10(%rsp)
cmpq 0x138(%rbx), %rax
je 0x7de46
movq %rax, %r15
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rbp
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x7de1f
movq %rbx, %rdi
callq 0xa550
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0x200001, (%rax)       # imm = 0x200001
movq %r15, 0x8(%rax)
movq %rbp, 0x10(%rax)
movq 0x8(%rsp), %rcx
movq %rax, 0x8(%rcx)
movq %r13, %rbp
movq 0x10(%rbp), %rbp
movq 0x10(%r12), %r12
cmpb $0x1, (%rbp)
je 0x7dd58
movq 0x50(%rbx), %rax
addq $-0x20, %rax
movq %rax, 0x50(%rbx)
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rdx
jmp 0x7e13e
movq 0x1320(%rbx), %rdx
movq 0xd779c(%rip), %r8      # 0x155620
movq %rbx, %rdi
movq %r14, %rsi
movq %r15, %rcx
movl $0x1, %r9d
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xe659
jle 0x7debf
testl %eax, %eax
setns %cl
negl %eax
cmpq %rax, %r12
setb %al
orb %cl, %al
cmpb $0x1, %al
je 0x7dbf6
testb $0x1, %bpl
je 0x7ded1
movq 0x110(%rbx), %r13
jmp 0x7df86
movq (%rbx), %rax
movq %rax, 0x28(%rbx)
movq %rbx, %rdi
movq %r15, %rsi
callq 0xffcc5
movq %rax, 0x4f0(%rbx)
movq 0x50(%rbx), %rax
movq %r14, (%rax)
movq 0x8(%rbx), %rax
movq 0x50(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x4f0(%rbx), %r14
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x7df23
movq %rbx, %rdi
callq 0xa550
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0x1f, (%rax)
movq 0x110(%rbx), %rcx
movq %rcx, 0x8(%rax)
movq %r14, 0x10(%rax)
movq $0x0, 0x28(%rax)
movq 0x110(%rbx), %rcx
movq %rcx, 0x18(%rax)
movq %rcx, 0x20(%rax)
movq 0x50(%rbx), %rcx
movq %rax, 0x10(%rcx)
movq 0x50(%rbx), %rax
movq $0x1fc, 0x18(%rax)      # imm = 0x1FC
addq $0x20, 0x50(%rbx)
movq 0x110(%rbx), %r13
movq %r13, 0x4f0(%rbx)
movq %r13, %rax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rbx, %rdi
movq %r15, %rsi
callq 0xffcc5
movq %rax, %r15
movq %rax, 0x4f0(%rbx)
movq 0x110(%rbx), %rdx
movq %rbx, %rdi
movl %r12d, %esi
callq 0x3a029
movq %rax, %r12
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x7dfe1
movq %rbx, %rdi
callq 0xa550
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %r13
movq $0x200001, (%r13)       # imm = 0x200001
movq %r15, 0x8(%r13)
movq %r12, 0x10(%r13)
movq 0x4f0(%rbx), %rbp
movq (%rbx), %r12
movq 0x10(%rbx), %rax
movq %rax, 0x10(%rsp)
movq 0x10(%r14), %rax
movq %rax, 0x8(%rsp)
movq 0x110(%rbx), %r14
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x7e042
movq %rbx, %rdi
callq 0xa550
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %r15
movq $0x200001, (%r15)       # imm = 0x200001
movq %r14, 0x8(%r15)
movq %r12, 0x10(%r15)
movq 0x50(%rbx), %rax
movq %r15, (%rax)
movq 0x50(%rbx), %rax
movq %r13, 0x10(%rax)
movq 0x50(%rbx), %rax
movq $0x1, 0x18(%rax)
addq $0x20, 0x50(%rbx)
addq $0x10, %r13
movq 0x110(%rbx), %rax
movq %rax, 0x4f0(%rbx)
cmpb $0x1, (%rbp)
jne 0x7e0cb
movq %r13, %r14
movq %rbp, %r12
movq (%r14), %r14
movq 0x8(%r12), %rsi
movq %rbx, %rdi
callq *0x28(%rsi)
movq %rax, 0x8(%r14)
movq 0x8(%r12), %rax
testb $-0x80, 0x3(%rax)
je 0x7e12c
movq 0x10(%r12), %r12
addq $0x10, %r14
cmpb $0x1, (%r12)
je 0x7e09e
movq (%r13), %rsi
movq %rbx, %rdi
callq *0x8(%rsp)
cmpq 0x138(%rbx), %rax
je 0x7e092
movq %rax, %r14
movq 0x8(%r15), %r12
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x7e105
movq %rbx, %rdi
callq 0xa550
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0x200001, (%rax)       # imm = 0x200001
movq %r14, 0x8(%rax)
movq %r12, 0x10(%rax)
movq %rax, 0x8(%r15)
jmp 0x7e092
addq $-0x20, 0x50(%rbx)
movq 0x10(%rsp), %rax
movq %rax, 0x10(%rbx)
movq 0x8(%r15), %rdx
movq 0x110(%rbx), %rsi
movq %rbx, %rdi
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x9975a
movl $0x10, %edx
cmpb $0x1c, (%rsi)
jne 0x7daef
movq 0x8(%rsi), %rdi
testq %rdi, %rdi
je 0x7e182
cmpq %rcx, 0x8(%rdi)
je 0x7daf3
movq 0x18(%rdi), %rdi
jmp 0x7e16d
movq 0x10(%rsi), %rsi
jmp 0x7e160