// File: /workspace/github_c_makefile_star2_O3/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
movq (%rdi), %rcx
testq %rcx, %rcx
js 0xebac6
movzbl %cl, %eax
leaq 0x5acb1(%rip), %rcx     # 0x146770
callq *(%rcx,%rax,8)
movq 0x28(%rbx), %rax
cmpq $0x0, 0x18(%rax)
jle 0xebb6f
movq 0x8(%rbx), %rcx
movq 0x10(%rbx), %r14
leaq (%r14,%rcx,8), %r15
addq $0x8, %r15
testb $0x8, 0x3(%rbx)
je 0xebaf1
cmpl $0x0, 0xc(%rax)
je 0xebb7b
cmpq %r15, %r14
jae 0xebb6f
leaq 0x5ac73(%rip), %rbx     # 0x146770
movq (%r14), %r12
testq %r12, %r12
je 0xebb31
movq (%r12), %rdi
movq (%rdi), %rax
testq %rax, %rax
js 0xebb17
movzbl %al, %eax
callq *(%rbx,%rax,8)
movq 0x20(%r12), %rdi
movq (%rdi), %rax
testq %rax, %rax
js 0xebb2a
movzbl %al, %eax
callq *(%rbx,%rax,8)
movq 0x18(%r12), %r12
jmp 0xebb00
movq 0x8(%r14), %r12
testq %r12, %r12
je 0xebb66
movq (%r12), %rdi
movq (%rdi), %rax
testq %rax, %rax
js 0xebb4c
movzbl %al, %eax
callq *(%rbx,%rax,8)
movq 0x20(%r12), %rdi
movq (%rdi), %rax
testq %rax, %rax
js 0xebb5f
movzbl %al, %eax
callq *(%rbx,%rax,8)
movq 0x18(%r12), %r12
jmp 0xebb35
addq $0x10, %r14
cmpq %r15, %r14
jb 0xebafd
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
cmpq %r15, %r14
jae 0xebb6f
leaq 0x5abe9(%rip), %rbx     # 0x146770
movq (%r14), %r12
testq %r12, %r12
je 0xebba9
movq 0x20(%r12), %rdi
movq (%rdi), %rax
testq %rax, %rax
js 0xebba2
movzbl %al, %eax
callq *(%rbx,%rax,8)
movq 0x18(%r12), %r12
jmp 0xebb8a
movq 0x8(%r14), %r12
testq %r12, %r12
je 0xebbcc
movq 0x20(%r12), %rdi
movq (%rdi), %rax
testq %rax, %rax
js 0xebbc5
movzbl %al, %eax
callq *(%rbx,%rax,8)
movq 0x18(%r12), %r12
jmp 0xebbad
addq $0x10, %r14
cmpq %r15, %r14
jb 0xebb87
jmp 0xebb6f