// File: /workspace/github_c_makefile_star2_O0/janet-lang[P]janet/src/core/cfuns.c
// Function: compreduce
static JanetSlot compreduce(
    JanetFopts opts,
    JanetSlot *args,
    int op,
    int opim,
    int invert) {
    JanetCompiler *c = opts.compiler;
    int32_t i, len;
    int8_t imm = 0;
    len = janet_v_count(args);
    int32_t *labels = NULL;
    JanetSlot t;
    if (len < 2) {
        return invert
               ? janetc_cslot(janet_wrap_false())
               : janetc_cslot(janet_wrap_true());
    }
    t = janetc_gettarget(opts);
    for (i = 1; i < len; i++) {
        if (opim && can_slot_be_imm(args[i], &imm)) {
            janetc_emit_ssi(c, opim, t, args[i - 1], imm, 1);
        } else {
            janetc_emit_sss(c, op, t, args[i - 1], args[i], 1);
        }
        if (i != (len - 1)) {
            int32_t label = janetc_emit_si(c, invert ? JOP_JUMP_IF : JOP_JUMP_IF_NOT, t, 0, 1);
            janet_v_push(labels, label);
        }
    }
    int32_t end = janet_v_count(c->buffer);
    for (i = 0; i < janet_v_count(labels); i++) {
        int32_t label = labels[i];
        c->buffer[label] |= ((end - label) << 16);
    }
    janet_v_free(labels);
    return t;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x100, %rsp            # imm = 0x100
movq %rdi, -0xa0(%rbp)
movq %rdi, -0x98(%rbp)
leaq 0x10(%rbp), %rax
movq %rax, -0x90(%rbp)
movq %rsi, -0x8(%rbp)
movl %edx, -0xc(%rbp)
movl %ecx, -0x10(%rbp)
movl %r8d, -0x14(%rbp)
movq (%rax), %rax
movq %rax, -0x20(%rbp)
movb $0x0, -0x29(%rbp)
cmpq $0x0, -0x8(%rbp)
je 0x1fb13
movq -0x8(%rbp), %rax
movl -0x4(%rax), %eax
movl %eax, -0xa4(%rbp)
jmp 0x1fb1d
xorl %eax, %eax
movl %eax, -0xa4(%rbp)
jmp 0x1fb1d
movl -0xa4(%rbp), %eax
movl %eax, -0x28(%rbp)
movq $0x0, -0x38(%rbp)
cmpl $0x2, -0x28(%rbp)
jge 0x1fb87
cmpl $0x0, -0x14(%rbp)
je 0x1fb5f
movabsq $-0x7000000000000, %rdi # imm = 0xFFF9000000000000
callq 0x7b460
movq -0xa0(%rbp), %rdi
movq %rax, -0x58(%rbp)
movq -0x58(%rbp), %rsi
callq 0x1ff40
jmp 0x1fb82
movabsq $-0x6ffffffffffff, %rdi # imm = 0xFFF9000000000001
callq 0x7b460
movq -0xa0(%rbp), %rdi
movq %rax, -0x60(%rbp)
movq -0x60(%rbp), %rsi
callq 0x1ff40
jmp 0x1feb2
movq -0x90(%rbp), %rcx
movq 0x20(%rcx), %rdx
movq %rsp, %rax
movq %rdx, 0x20(%rax)
movups (%rcx), %xmm0
movups 0x10(%rcx), %xmm1
movups %xmm1, 0x10(%rax)
movups %xmm0, (%rax)
leaq -0x78(%rbp), %rdi
callq 0x213c0
movq -0x78(%rbp), %rax
movq %rax, -0x50(%rbp)
movq -0x70(%rbp), %rax
movq %rax, -0x48(%rbp)
movq -0x68(%rbp), %rax
movq %rax, -0x40(%rbp)
movl $0x1, -0x24(%rbp)
movl -0x24(%rbp), %eax
cmpl -0x28(%rbp), %eax
jge 0x1fdce
cmpl $0x0, -0x10(%rbp)
je 0x1fc87
movq -0x8(%rbp), %rax
movslq -0x24(%rbp), %rcx
imulq $0x18, %rcx, %rcx
addq %rcx, %rax
leaq -0x29(%rbp), %rdi
movq (%rax), %rcx
movq %rcx, (%rsp)
movq 0x8(%rax), %rcx
movq %rcx, 0x8(%rsp)
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
callq 0x1f960
cmpl $0x0, %eax
je 0x1fc87
movq -0x20(%rbp), %rdi
movl -0x10(%rbp), %eax
movb %al, %sil
movq -0x8(%rbp), %rax
movl -0x24(%rbp), %ecx
subl $0x1, %ecx
movslq %ecx, %rcx
imulq $0x18, %rcx, %rcx
addq %rcx, %rax
leaq -0x50(%rbp), %rdx
movl $0x1, %ecx
movzbl %sil, %esi
movq (%rdx), %r8
movq %r8, (%rsp)
movq 0x8(%rdx), %r8
movq %r8, 0x8(%rsp)
movq 0x10(%rdx), %rdx
movq %rdx, 0x10(%rsp)
movq (%rax), %rdx
movq %rdx, 0x18(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x20(%rsp)
movq 0x10(%rax), %rax
movq %rax, 0x28(%rsp)
movsbl -0x29(%rbp), %edx
callq 0x2a080
jmp 0x1fd12
movq -0x20(%rbp), %rdi
movl -0xc(%rbp), %eax
movb %al, %sil
movq -0x8(%rbp), %rcx
movl -0x24(%rbp), %eax
subl $0x1, %eax
cltq
imulq $0x18, %rax, %rax
addq %rax, %rcx
movq -0x8(%rbp), %rax
movslq -0x24(%rbp), %rdx
imulq $0x18, %rdx, %rdx
addq %rdx, %rax
leaq -0x50(%rbp), %r8
movl $0x1, %edx
movzbl %sil, %esi
movq (%r8), %r9
movq %r9, (%rsp)
movq 0x8(%r8), %r9
movq %r9, 0x8(%rsp)
movq 0x10(%r8), %r8
movq %r8, 0x10(%rsp)
movq (%rcx), %r8
movq %r8, 0x18(%rsp)
movq 0x8(%rcx), %r8
movq %r8, 0x20(%rsp)
movq 0x10(%rcx), %rcx
movq %rcx, 0x28(%rsp)
movq (%rax), %rcx
movq %rcx, 0x30(%rsp)
movq 0x8(%rax), %rcx
movq %rcx, 0x38(%rsp)
movq 0x10(%rax), %rax
movq %rax, 0x40(%rsp)
callq 0x2a2c0
movl -0x24(%rbp), %eax
movl -0x28(%rbp), %ecx
subl $0x1, %ecx
cmpl %ecx, %eax
je 0x1fdbe
movq -0x20(%rbp), %rdi
movl -0x14(%rbp), %edx
movl $0x1e, %eax
movl $0x1d, %ecx
cmpl $0x0, %edx
cmovnel %ecx, %eax
movb %al, %sil
leaq -0x50(%rbp), %rax
xorl %edx, %edx
movl $0x1, %ecx
movzbl %sil, %esi
movq (%rax), %r8
movq %r8, (%rsp)
movq 0x8(%rax), %r8
movq %r8, 0x8(%rsp)
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
callq 0x29dd0
movl %eax, -0x7c(%rbp)
cmpq $0x0, -0x38(%rbp)
je 0x1fd87
movq -0x38(%rbp), %rax
movl -0x4(%rax), %eax
addl $0x1, %eax
movq -0x38(%rbp), %rcx
cmpl -0x8(%rcx), %eax
jl 0x1fda0
movq -0x38(%rbp), %rdi
movl $0x1, %esi
movl $0x4, %edx
callq 0x70760
movq %rax, -0x38(%rbp)
jmp 0x1fda2
jmp 0x1fda2
movl -0x7c(%rbp), %edx
movq -0x38(%rbp), %rax
movq -0x38(%rbp), %rsi
movl -0x4(%rsi), %ecx
movl %ecx, %edi
addl $0x1, %edi
movl %edi, -0x4(%rsi)
movslq %ecx, %rcx
movl %edx, (%rax,%rcx,4)
jmp 0x1fdc0
movl -0x24(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x24(%rbp)
jmp 0x1fbcf
movq -0x20(%rbp), %rax
cmpq $0x0, 0x8(%rax)
je 0x1fdec
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movl -0x4(%rax), %eax
movl %eax, -0xa8(%rbp)
jmp 0x1fdf6
xorl %eax, %eax
movl %eax, -0xa8(%rbp)
jmp 0x1fdf6
movl -0xa8(%rbp), %eax
movl %eax, -0x80(%rbp)
movl $0x0, -0x24(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0xac(%rbp)
cmpq $0x0, -0x38(%rbp)
je 0x1fe25
movq -0x38(%rbp), %rax
movl -0x4(%rax), %eax
movl %eax, -0xb0(%rbp)
jmp 0x1fe2f
xorl %eax, %eax
movl %eax, -0xb0(%rbp)
jmp 0x1fe2f
movl -0xac(%rbp), %eax
movl -0xb0(%rbp), %ecx
cmpl %ecx, %eax
jge 0x1fe7c
movq -0x38(%rbp), %rax
movslq -0x24(%rbp), %rcx
movl (%rax,%rcx,4), %eax
movl %eax, -0x84(%rbp)
movl -0x80(%rbp), %edx
subl -0x84(%rbp), %edx
shll $0x10, %edx
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movslq -0x84(%rbp), %rcx
orl (%rax,%rcx,4), %edx
movl %edx, (%rax,%rcx,4)
movl -0x24(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x24(%rbp)
jmp 0x1fe06
cmpq $0x0, -0x38(%rbp)
je 0x1fe92
movq -0x38(%rbp), %rdi
addq $-0x8, %rdi
callq 0x3acb0
jmp 0x1fe94
jmp 0x1fe94
movq -0xa0(%rbp), %rax
movq -0x50(%rbp), %rcx
movq %rcx, (%rax)
movq -0x48(%rbp), %rcx
movq %rcx, 0x8(%rax)
movq -0x40(%rbp), %rcx
movq %rcx, 0x10(%rax)
movq -0x98(%rbp), %rax
addq $0x100, %rsp            # imm = 0x100
popq %rbp
retq
nopw %cs:(%rax,%rax)
nopl (%rax)