// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: tree_is_cyclic_1
static bool tree_is_cyclic_1(s7_scheme *sc, s7_pointer tree)
    {
        s7_pointer p;
        for (p = tree; is_pair(p); p = cdr(p))
        {
            tree_set_collected(p);
            if (sc->tree_pointers_top == sc->tree_pointers_size)
            {
                if (sc->tree_pointers_size == 0)
                {
                    sc->tree_pointers_size = 8;
                    sc->tree_pointers = (s7_pointer *)malloc(sc->tree_pointers_size * sizeof(s7_pointer));
                }
                else
                {
                    sc->tree_pointers_size *= 2;
                    sc->tree_pointers = (s7_pointer *)realloc(sc->tree_pointers, sc->tree_pointers_size * sizeof(s7_pointer));
                }
            }
            sc->tree_pointers[sc->tree_pointers_top++] = p;
            if (is_unquoted_pair(car(p)))
            {
                int32_t i, old_top, result;
                old_top = sc->tree_pointers_top;
                result = tree_is_cyclic_or_has_pairs(sc, car(p));
                if ((result == TREE_CYCLIC) ||
                        (tree_is_cyclic_1(sc, car(p))))
                    return(true);
                for (i = old_top; i < sc->tree_pointers_top; i++)
                    tree_clear_collected(sc->tree_pointers[i]);
                sc->tree_pointers_top = old_top;
            }
        }
        return(false);
    }

// Assembly:
subq $0x38, %rsp
movq %rdi, 0x28(%rsp)
movq %rsi, 0x20(%rsp)
movq 0x20(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x18(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xd7a86
movq 0x18(%rsp), %rax
movzwl 0x6(%rax), %ecx
orl $0x8, %ecx
movw %cx, 0x6(%rax)
movq 0x28(%rsp), %rax
movl 0x7d4(%rax), %eax
movq 0x28(%rsp), %rcx
cmpl 0x7d0(%rcx), %eax
jne 0xd796d
movq 0x28(%rsp), %rax
cmpl $0x0, 0x7d0(%rax)
jne 0xd7928
movq 0x28(%rsp), %rax
movl $0x8, 0x7d0(%rax)
movq 0x28(%rsp), %rax
movslq 0x7d0(%rax), %rdi
shlq $0x3, %rdi
callq 0x9480
movq %rax, %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x7c8(%rax)
jmp 0xd796b
movq 0x28(%rsp), %rax
movl 0x7d0(%rax), %ecx
shll %ecx
movl %ecx, 0x7d0(%rax)
movq 0x28(%rsp), %rax
movq 0x7c8(%rax), %rdi
movq 0x28(%rsp), %rax
movslq 0x7d0(%rax), %rsi
shlq $0x3, %rsi
callq 0x9510
movq %rax, %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x7c8(%rax)
jmp 0xd796d
movq 0x18(%rsp), %rdx
movq 0x28(%rsp), %rax
movq 0x7c8(%rax), %rax
movq 0x28(%rsp), %rsi
movl 0x7d4(%rsi), %ecx
movl %ecx, %edi
addl $0x1, %edi
movl %edi, 0x7d4(%rsi)
movslq %ecx, %rcx
movq %rdx, (%rax,%rcx,8)
movq 0x18(%rsp), %rax
movq 0x8(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xd7a71
movq 0x18(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x28(%rsp), %rcx
cmpq 0x17b0(%rcx), %rax
je 0xd7a71
movq 0x28(%rsp), %rax
movl 0x7d4(%rax), %eax
movl %eax, 0x10(%rsp)
movq 0x28(%rsp), %rdi
movq 0x18(%rsp), %rax
movq 0x8(%rax), %rsi
callq 0xd7700
movl %eax, 0xc(%rsp)
cmpl $0x1, 0xc(%rsp)
je 0xd7a15
movq 0x28(%rsp), %rdi
movq 0x18(%rsp), %rax
movq 0x8(%rax), %rsi
callq 0xd7890
testb $0x1, %al
jne 0xd7a15
jmp 0xd7a1c
movb $0x1, 0x37(%rsp)
jmp 0xd7a8b
movl 0x10(%rsp), %eax
movl %eax, 0x14(%rsp)
movl 0x14(%rsp), %eax
movq 0x28(%rsp), %rcx
cmpl 0x7d4(%rcx), %eax
jge 0xd7a62
movq 0x28(%rsp), %rax
movq 0x7c8(%rax), %rax
movslq 0x14(%rsp), %rcx
movq (%rax,%rcx,8), %rax
movzwl 0x6(%rax), %ecx
andl $-0x9, %ecx
movw %cx, 0x6(%rax)
movl 0x14(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x14(%rsp)
jmp 0xd7a24
movl 0x10(%rsp), %ecx
movq 0x28(%rsp), %rax
movl %ecx, 0x7d4(%rax)
jmp 0xd7a73
movq 0x18(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x18(%rsp)
jmp 0xd78a8
movb $0x0, 0x37(%rsp)
movb 0x37(%rsp), %al
andb $0x1, %al
addq $0x38, %rsp
retq
nopw %cs:(%rax,%rax)