// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: g_vector_dimensions
static s7_pointer g_vector_dimensions(s7_scheme *sc, s7_pointer args)
                {
#define H_vector_dimensions "(vector-dimensions vect) returns a list of vect's dimensions.  In srfi-63 terms:\n\
                    (define array-dimensions vector-dimensions)\n\
                    (define (array-rank v) (length (vector-dimensions v)))"
#define Q_vector_dimensions s7_make_signature(sc, 2, sc->is_pair_symbol, sc->is_vector_symbol)

                    s7_pointer x;
                    x = car(args);
                    if (!is_any_vector(x))
                        return(method_or_bust_one_arg(sc, x, sc->vector_dimensions_symbol, args, T_VECTOR));

                    if (vector_rank(x) > 1)
                    {
                        s7_int i;
                        sc->w = sc->nil;
                        for (i = vector_ndims(x) - 1; i >= 0; i--)
                            sc->w = cons(sc, make_integer(sc, vector_dimension(x, i)), sc->w);
                        x = sc->w;
                        sc->w = sc->nil;
                        return(x);
                    }
                    return(list_1(sc, make_integer(sc, vector_length(x))));
                }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x8(%rsi), %r14
movzbl (%r14), %eax
leaq 0xea598(%rip), %rdx     # 0x119c20
cmpb $0x0, (%rax,%rdx)
je 0x2f787
movq 0x18(%r14), %rax
movq 0x20(%rax), %rax
testq %rax, %rax
je 0x2f7ae
cmpq $0x2, 0x10(%rax)
jl 0x2f7ae
movq 0x110(%rbx), %r15
movq %r15, 0x4d8(%rbx)
movq 0x18(%r14), %rax
movq 0x20(%rax), %rax
movq 0x10(%rax), %r12
testq %r12, %r12
jle 0x2f847
movq 0x18(%r14), %rax
movq 0x20(%rax), %rax
movq (%rax), %rax
movq -0x8(%rax,%r12,8), %r13
cmpq $0x7ff, %r13            # imm = 0x7FF
ja 0x2f6f7
leaq 0xe625f(%rip), %rax     # 0x115950
movq (%rax,%r13,8), %rbp
jmp 0x2f738
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x2f716
movq %rbx, %rdi
callq 0x9c27
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rbp
movq $0xb, (%rbp)
movq %r13, 0x8(%rbp)
movq 0x4d8(%rbx), %r15
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x2f757
movq %rbx, %rdi
callq 0x9c27
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0x200001, (%rax)       # imm = 0x200001
movq %rbp, 0x8(%rax)
movq %r15, 0x10(%rax)
movq %rax, 0x4d8(%rbx)
decq %r12
movq %rax, %r15
jmp 0x2f6c8
movq %rsi, %rcx
movq 0x1650(%rbx), %rdx
pushq $0x15
popq %r8
movq %rbx, %rdi
movq %r14, %rsi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x77745
movq 0x8(%r14), %r15
cmpq $0x7ff, %r15            # imm = 0x7FF
ja 0x2f7c8
leaq 0xe618e(%rip), %rax     # 0x115950
movq (%rax,%r15,8), %r14
jmp 0x2f801
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x2f7e7
movq %rbx, %rdi
callq 0x9c27
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %r14
movq $0xb, (%r14)
movq %r15, 0x8(%r14)
movq 0x90(%rbx), %rax
movq 0x110(%rbx), %r12
cmpq 0x98(%rbx), %rax
ja 0x2f827
movq %rbx, %rdi
callq 0x9c27
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %r15
movq $0x200001, (%r15)       # imm = 0x200001
movq %r14, 0x8(%r15)
movq %r12, 0x10(%r15)
jmp 0x2f855
movq 0x110(%rbx), %rax
movq %rax, 0x4d8(%rbx)
movq %r15, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq