// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: mark_hash_table
static void mark_hash_table(s7_pointer p)
    {
        set_mark(p);
        gc_mark(hash_table_procedures(p));
        if (hash_table_entries(p) > 0)
        {
            s7_int len;
            hash_entry_t **entries, **last;

            entries = hash_table_elements(p);
            len = hash_table_mask(p) + 1;
            last = (hash_entry_t **)(entries + len);

            if ((is_weak_hash_table(p)) &&
                    (weak_hash_iters(p) == 0))
            {
                while (entries < last)
                {
                    hash_entry_t *xp;
                    for (xp = *entries++; xp; xp = hash_entry_next(xp))
                        gc_mark(hash_entry_value(xp));
                    for (xp = *entries++; xp; xp = hash_entry_next(xp))
                        gc_mark(hash_entry_value(xp));
                }
            }
            else
            {
                while (entries < last) /* counting entries here was slightly faster */
                {
                    hash_entry_t *xp;
                    for (xp = *entries++; xp; xp = hash_entry_next(xp))
                    {
                        gc_mark(hash_entry_key(xp));
                        gc_mark(hash_entry_value(xp));
                    }
                    for (xp = *entries++; xp; xp = hash_entry_next(xp))
                    {
                        gc_mark(hash_entry_key(xp));
                        gc_mark(hash_entry_value(xp));
                    }}}}
    }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
orb $-0x80, 0x7(%rdi)
movq 0x28(%rdi), %rax
movq 0x20(%rax), %rdi
cmpq $0x0, (%rdi)
js 0xf4929
movzbl (%rdi), %eax
leaq 0x59e4a(%rip), %rcx     # 0x14e770
callq *(%rcx,%rax,8)
movq 0x28(%rbx), %rax
cmpq $0x0, 0x18(%rax)
jle 0xf49ce
movq 0x8(%rbx), %rcx
movq 0x10(%rbx), %r14
leaq (%r14,%rcx,8), %r15
addq $0x8, %r15
testb $0x8, 0x3(%rbx)
je 0xf4958
cmpl $0x0, 0xc(%rax)
je 0xf49da
cmpq %r15, %r14
jae 0xf49ce
leaq 0x59e0c(%rip), %rbx     # 0x14e770
movq (%r14), %r12
testq %r12, %r12
je 0xf4994
movq (%r12), %rdi
cmpq $0x0, (%rdi)
js 0xf497c
movzbl (%rdi), %eax
callq *(%rbx,%rax,8)
movq 0x20(%r12), %rdi
cmpq $0x0, (%rdi)
js 0xf498d
movzbl (%rdi), %eax
callq *(%rbx,%rax,8)
movq 0x18(%r12), %r12
jmp 0xf4967
movq 0x8(%r14), %r12
testq %r12, %r12
je 0xf49c5
movq (%r12), %rdi
cmpq $0x0, (%rdi)
js 0xf49ad
movzbl (%rdi), %eax
callq *(%rbx,%rax,8)
movq 0x20(%r12), %rdi
cmpq $0x0, (%rdi)
js 0xf49be
movzbl (%rdi), %eax
callq *(%rbx,%rax,8)
movq 0x18(%r12), %r12
jmp 0xf4998
addq $0x10, %r14
cmpq %r15, %r14
jb 0xf4964
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
cmpq %r15, %r14
jae 0xf49ce
leaq 0x59d8a(%rip), %rbx     # 0x14e770
movq (%r14), %r12
testq %r12, %r12
je 0xf4a06
movq 0x20(%r12), %rdi
cmpq $0x0, (%rdi)
js 0xf49ff
movzbl (%rdi), %eax
callq *(%rbx,%rax,8)
movq 0x18(%r12), %r12
jmp 0xf49e9
movq 0x8(%r14), %r12
testq %r12, %r12
je 0xf4a27
movq 0x20(%r12), %rdi
cmpq $0x0, (%rdi)
js 0xf4a20
movzbl (%rdi), %eax
callq *(%rbx,%rax,8)
movq 0x18(%r12), %r12
jmp 0xf4a0a
addq $0x10, %r14
cmpq %r15, %r14
jb 0xf49e6
jmp 0xf49ce