// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: g_hash_table
static s7_pointer g_hash_table(s7_scheme *sc, s7_pointer args)
                {
#define H_hash_table "(hash-table ...) returns a hash-table containing the symbol/value pairs passed as its arguments. \
                    That is, (hash-table 'a 1 'b 2) returns a new hash-table with the two key/value pairs preinstalled."
#define Q_hash_table s7_make_circular_signature(sc, 1, 2, sc->is_hash_table_symbol, sc->T)

                    s7_int len;
                    s7_pointer ht;

                    len = safe_list_length(args);
                    if (len & 1)
                        return(s7_error(sc, sc->wrong_number_of_args_symbol,
                                    set_elist_2(sc, wrap_string(sc, "hash-table got an odd number of arguments: ~S", 45), args)));
                    len /= 2;

                    ht = s7_make_hash_table(sc, (len > sc->default_hash_table_length) ? len : sc->default_hash_table_length);
                    if (len > 0)
                    {
                        s7_int ht_loc;
                        s7_pointer x, y;
                        ht_loc = s7_gc_protect_1(sc, ht); /* hash_table_set can cons (but only if ht=let??), so we need to protect this */

                        for (x = args, y = cdr(args); is_pair(x); x = cddr(x), y = unchecked_cdr(cdr(y)))
                            if (car(y) != sc->F)
                                hash_table_add(sc, ht, car(x), car(y));

                        s7_gc_unprotect_at(sc, ht_loc);
                    }
                    return(ht);
                }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %r15
movq %rdi, %rbx
cmpb $0x1, (%rsi)
jne 0x7bd54
movq $-0x1, %r12
movq %r15, %rax
movq 0x10(%rax), %rax
incq %r12
cmpb $0x1, (%rax)
je 0x7bcda
testb $0x1, %r12b
jne 0x7bd59
movq 0x1900(%rbx), %r14
movq 0x820(%rbx), %rax
movslq 0x7dc(%rbx), %rcx
movq (%rax,%rcx,8), %rax
incl %ecx
andl $0x7, %ecx
movl %ecx, 0x7dc(%rbx)
leaq 0x9fdf6(%rip), %rcx     # 0x11bb0d
movq %rcx, 0x10(%rax)
movq $0x2d, 0x8(%rax)
movq 0x6e0(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x6e0(%rbx), %rax
movq 0x10(%rax), %rax
movq %r15, 0x8(%rax)
movq 0x6e0(%rbx), %rdx
movq %rbx, %rdi
movq %r14, %rsi
callq 0x38dfa
jmp 0x7bef8
xorl %r12d, %r12d
jmp 0x7bd5c
incq %r12
sarq %r12
movq 0x270(%rbx), %rsi
cmpq %rsi, %r12
cmovgq %r12, %rsi
movq %rbx, %rdi
callq 0x366fb
movq %rax, %r14
testq %r12, %r12
jle 0x7bef8
cmpq $0x0, 0x108(%rbx)
js 0x7bd97
movq 0xe8(%rbx), %rax
jmp 0x7be50
movq 0xd0(%rbx), %rax
movq 0xf0(%rbx), %r13
leaq (,%r13,2), %rbp
movq 0x18(%rax), %rsi
movq %r13, %r12
shlq $0x4, %r12
movq %rbx, %rdi
movq %r12, %rdx
callq 0x9fd6
movq $0x0, 0x20(%rax)
movq 0xd0(%rbx), %rcx
movq %rax, 0x18(%rcx)
movq (%rax), %rax
movq 0xd0(%rbx), %rcx
movq %rax, 0x10(%rcx)
movq 0xd0(%rbx), %rax
movq %rbp, 0x8(%rax)
movq %rbp, 0xf0(%rbx)
movq 0xe8(%rbx), %rdi
movq %r12, %rsi
callq 0x8510
movq %rax, 0xe8(%rbx)
cmpq %rbp, %r13
jge 0x7be50
movq 0x140(%rbx), %rcx
movq %r13, %rdx
movq 0xd0(%rbx), %rax
movq 0x10(%rax), %rax
movq %rcx, (%rax,%rdx,8)
movq 0xe8(%rbx), %rax
movq 0x108(%rbx), %rsi
leaq 0x1(%rsi), %rdi
movq %rdi, 0x108(%rbx)
movq %rdx, 0x8(%rax,%rsi,8)
incq %rdx
decq %r13
jne 0x7be1b
movq 0xd0(%rbx), %rcx
movq 0x108(%rbx), %rdx
leaq -0x1(%rdx), %rsi
movq %rsi, 0x108(%rbx)
movq (%rax,%rdx,8), %r12
movq 0x10(%rcx), %rax
movq %r14, (%rax,%r12,8)
cmpb $0x1, (%r15)
jne 0x7beb1
movq %r15, %r13
movq 0x10(%r15), %r15
movq 0x8(%r15), %rcx
cmpq 0x120(%rbx), %rcx
je 0x7be9e
movq 0x8(%r13), %rdx
movq %rbx, %rdi
movq %r14, %rsi
callq 0xfefb2
movq 0x10(%r13), %rax
movq 0x10(%rax), %r13
movq 0x10(%r15), %r15
cmpb $0x1, (%r13)
je 0x7be7e
cmpq %r12, 0xf0(%rbx)
jle 0x7bef8
movq 0xd0(%rbx), %rcx
movq 0x140(%rbx), %rax
movq 0x10(%rcx), %rdx
cmpq %rax, (%rdx,%r12,8)
je 0x7bef4
movq 0xe8(%rbx), %rdx
movq 0x108(%rbx), %rsi
leaq 0x1(%rsi), %rdi
movq %rdi, 0x108(%rbx)
movq %r12, 0x8(%rdx,%rsi,8)
movq 0x10(%rcx), %rdx
movq %rax, (%rdx,%r12,8)
movq %r14, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq