// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: int_vector_fill
static void int_vector_fill(s7_scheme *sc, s7_pointer vec, s7_int k)
                {
                    s7_int len;
                    len = vector_length(vec);
                    if (len == 0) return;
                    if (k == 0)
                    {
                        if (STEP_8(len))
                            memclr64((void *)int_vector_ints(vec), len * sizeof(s7_int));
                        else memclr((void *)int_vector_ints(vec), len * sizeof(s7_int));
                    }
                    else
                    {
                        s7_int i, left;
                        s7_int* orig;
                        left = len - 8;
                        i = 0;
                        orig = int_vector_ints(vec);
                        while (i <= left)
                            LOOP_8(orig[i++] = k);
                        for (; i < len; i++)
                            orig[i] = k;
                    }
                }

// Assembly:
subq $0x38, %rsp
movq %rdi, 0x30(%rsp)
movq %rsi, 0x28(%rsp)
movq %rdx, 0x20(%rsp)
movq 0x28(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x18(%rsp)
cmpq $0x0, 0x18(%rsp)
jne 0xd835e
jmp 0xd8507
cmpq $0x0, 0x20(%rsp)
jne 0xd83aa
movq 0x18(%rsp), %rax
andq $0x7, %rax
cmpq $0x0, %rax
jne 0xd838e
movq 0x28(%rsp), %rax
movq 0x10(%rax), %rdi
movq 0x18(%rsp), %rsi
shlq $0x3, %rsi
callq 0xd7ce0
jmp 0xd83a5
movq 0x28(%rsp), %rax
movq 0x10(%rax), %rdi
movq 0x18(%rsp), %rsi
shlq $0x3, %rsi
callq 0xd2340
jmp 0xd8507
movq 0x18(%rsp), %rax
subq $0x8, %rax
movq %rax, 0x8(%rsp)
movq $0x0, 0x10(%rsp)
movq 0x28(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, (%rsp)
movq 0x10(%rsp), %rax
cmpq 0x8(%rsp), %rax
jg 0xd84d5
jmp 0xd83e0
movq 0x20(%rsp), %rdx
movq (%rsp), %rax
movq 0x10(%rsp), %rcx
movq %rcx, %rsi
addq $0x1, %rsi
movq %rsi, 0x10(%rsp)
movq %rdx, (%rax,%rcx,8)
movq 0x20(%rsp), %rdx
movq (%rsp), %rax
movq 0x10(%rsp), %rcx
movq %rcx, %rsi
addq $0x1, %rsi
movq %rsi, 0x10(%rsp)
movq %rdx, (%rax,%rcx,8)
movq 0x20(%rsp), %rdx
movq (%rsp), %rax
movq 0x10(%rsp), %rcx
movq %rcx, %rsi
addq $0x1, %rsi
movq %rsi, 0x10(%rsp)
movq %rdx, (%rax,%rcx,8)
movq 0x20(%rsp), %rdx
movq (%rsp), %rax
movq 0x10(%rsp), %rcx
movq %rcx, %rsi
addq $0x1, %rsi
movq %rsi, 0x10(%rsp)
movq %rdx, (%rax,%rcx,8)
movq 0x20(%rsp), %rdx
movq (%rsp), %rax
movq 0x10(%rsp), %rcx
movq %rcx, %rsi
addq $0x1, %rsi
movq %rsi, 0x10(%rsp)
movq %rdx, (%rax,%rcx,8)
movq 0x20(%rsp), %rdx
movq (%rsp), %rax
movq 0x10(%rsp), %rcx
movq %rcx, %rsi
addq $0x1, %rsi
movq %rsi, 0x10(%rsp)
movq %rdx, (%rax,%rcx,8)
movq 0x20(%rsp), %rdx
movq (%rsp), %rax
movq 0x10(%rsp), %rcx
movq %rcx, %rsi
addq $0x1, %rsi
movq %rsi, 0x10(%rsp)
movq %rdx, (%rax,%rcx,8)
movq 0x20(%rsp), %rdx
movq (%rsp), %rax
movq 0x10(%rsp), %rcx
movq %rcx, %rsi
addq $0x1, %rsi
movq %rsi, 0x10(%rsp)
movq %rdx, (%rax,%rcx,8)
jmp 0xd83ce
jmp 0xd84d7
movq 0x10(%rsp), %rax
cmpq 0x18(%rsp), %rax
jge 0xd8505
movq 0x20(%rsp), %rdx
movq (%rsp), %rax
movq 0x10(%rsp), %rcx
movq %rdx, (%rax,%rcx,8)
movq 0x10(%rsp), %rax
addq $0x1, %rax
movq %rax, 0x10(%rsp)
jmp 0xd84d7
jmp 0xd8507
addq $0x38, %rsp
retq
nopl (%rax)