// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: op_tc_case_la
static bool op_tc_case_la(s7_scheme *sc, s7_pointer code)
                {
                    /* opt1_any(clause) = key, has_tc(arg) = is tc call, opt2_any(clause) = result: has_tc(la arg) has_fx(val) or ((...)...) */
                    s7_pointer clauses, la_slot, endp, selp;
                    s7_int len;

                    len = integer(opt3_arglen(code));
                    la_slot = let_slots(sc->envir);
                    selp = cdr(code);
                    clauses = cddr(code);

                    if (len == 3)
                    {
                        while (true)
                        {
                            s7_pointer selector, p;
                            selector = fx_call(sc, selp);
                            if (selector == opt1_any(clauses))
                                endp = opt2_any(clauses);
                            else
                            {
                                p = cdr(clauses);
                                if (selector == opt1_any(p))
                                    endp = opt2_any(p);
                                else endp = opt2_any(cdr(p));
                            }
                            if (has_tc(endp))
                                slot_set_value(la_slot, fx_call(sc, cdr(endp)));
                            else break;
                        }
                    }
                    else
                    {
                        while (true)
                        {
                            s7_pointer selector, p;
                            selector = fx_call(sc, selp);
                            for (p = clauses; is_pair(cdr(p)); p = cdr(p))
                                if (selector == opt1_any(p)) {endp = opt2_any(p); goto CASE_ALA_END;}
                            endp = opt2_any(p);
CASE_ALA_END:
                            if (has_tc(endp))
                                slot_set_value(la_slot, fx_call(sc, cdr(endp)));
                            else break;
                        }
                    }
                    if (has_fx(endp))
                    {
                        sc->value = fx_call(sc, endp);
                        return(true); /* goto START */
                    }
                    sc->code = endp;
                    return(false);    /* goto BEGIN (not like op_tc_z below) */
                }

// Assembly:
subq $0xb8, %rsp
movq %rdi, 0xa8(%rsp)
movq %rsi, 0xa0(%rsp)
movq 0xa0(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x28(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x78(%rsp)
movq 0xa8(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x90(%rsp)
movq 0xa0(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x80(%rsp)
movq 0xa0(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x98(%rsp)
cmpq $0x3, 0x78(%rsp)
jne 0x12d516
jmp 0x12d402
movq 0x80(%rsp), %rax
movq %rax, 0x60(%rsp)
movq 0x60(%rsp), %rax
movq 0x20(%rax), %rax
movq 0xa8(%rsp), %rdi
movq 0x60(%rsp), %rcx
movq 0x8(%rcx), %rsi
callq *%rax
movq %rax, 0x58(%rsp)
movq 0x58(%rsp), %rax
movq %rax, 0x70(%rsp)
movq 0x70(%rsp), %rax
movq 0x98(%rsp), %rcx
cmpq 0x18(%rcx), %rax
jne 0x12d463
movq 0x98(%rsp), %rax
movq 0x20(%rax), %rax
movq %rax, 0x88(%rsp)
jmp 0x12d4ae
movq 0x98(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x68(%rsp)
movq 0x70(%rsp), %rax
movq 0x68(%rsp), %rcx
cmpq 0x18(%rcx), %rax
jne 0x12d497
movq 0x68(%rsp), %rax
movq 0x20(%rax), %rax
movq %rax, 0x88(%rsp)
jmp 0x12d4ac
movq 0x68(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x20(%rax), %rax
movq %rax, 0x88(%rsp)
jmp 0x12d4ae
movq 0x88(%rsp), %rax
movq (%rax), %rax
andq $0x100000, %rax         # imm = 0x100000
cmpq $0x0, %rax
je 0x12d50a
movq 0x88(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x50(%rsp)
movq 0x50(%rsp), %rax
movq 0x20(%rax), %rax
movq 0xa8(%rsp), %rdi
movq 0x50(%rsp), %rcx
movq 0x8(%rcx), %rsi
callq *%rax
movq %rax, 0x48(%rsp)
movq 0x48(%rsp), %rcx
movq 0x90(%rsp), %rax
movq %rcx, 0x10(%rax)
jmp 0x12d50c
jmp 0x12d511
jmp 0x12d402
jmp 0x12d619
jmp 0x12d518
movq 0x80(%rsp), %rax
movq %rax, 0x30(%rsp)
movq 0x30(%rsp), %rax
movq 0x20(%rax), %rax
movq 0xa8(%rsp), %rdi
movq 0x30(%rsp), %rcx
movq 0x8(%rcx), %rsi
callq *%rax
movq %rax, 0x28(%rsp)
movq 0x28(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x98(%rsp), %rax
movq %rax, 0x38(%rsp)
movq 0x38(%rsp), %rax
movq 0x10(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x12d5a3
movq 0x40(%rsp), %rax
movq 0x38(%rsp), %rcx
cmpq 0x18(%rcx), %rax
jne 0x12d591
movq 0x38(%rsp), %rax
movq 0x20(%rax), %rax
movq %rax, 0x88(%rsp)
jmp 0x12d5b4
jmp 0x12d593
movq 0x38(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x38(%rsp)
jmp 0x12d55d
movq 0x38(%rsp), %rax
movq 0x20(%rax), %rax
movq %rax, 0x88(%rsp)
movq 0x88(%rsp), %rax
movq (%rax), %rax
andq $0x100000, %rax         # imm = 0x100000
cmpq $0x0, %rax
je 0x12d610
movq 0x88(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x20(%rsp)
movq 0x20(%rsp), %rax
movq 0x20(%rax), %rax
movq 0xa8(%rsp), %rdi
movq 0x20(%rsp), %rcx
movq 0x8(%rcx), %rsi
callq *%rax
movq %rax, 0x18(%rsp)
movq 0x18(%rsp), %rcx
movq 0x90(%rsp), %rax
movq %rcx, 0x10(%rax)
jmp 0x12d612
jmp 0x12d617
jmp 0x12d518
jmp 0x12d619
movq 0x88(%rsp), %rax
movzwl 0x6(%rax), %eax
andl $0x4, %eax
cmpl $0x0, %eax
je 0x12d676
movq 0x88(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x10(%rsp), %rax
movq 0x20(%rax), %rax
movq 0xa8(%rsp), %rdi
movq 0x10(%rsp), %rcx
movq 0x8(%rcx), %rsi
callq *%rax
movq %rax, 0x8(%rsp)
movq 0x8(%rsp), %rcx
movq 0xa8(%rsp), %rax
movq %rcx, 0x20(%rax)
movb $0x1, 0xb7(%rsp)
jmp 0x12d691
movq 0x88(%rsp), %rcx
movq 0xa8(%rsp), %rax
movq %rcx, (%rax)
movb $0x0, 0xb7(%rsp)
movb 0xb7(%rsp), %al
andb $0x1, %al
addq $0xb8, %rsp
retq
nopw %cs:(%rax,%rax)