// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: s7_make_ratio
s7_pointer s7_make_ratio(s7_scheme *sc, s7_int a, s7_int b)
    {
        s7_pointer x;
        if (b == 0)
            return(division_by_zero_error(sc, wrap_string(sc, "make-ratio", 10), set_elist_2(sc, wrap_integer1(sc, a), small_int(0))));
        if (a == 0)
            return(small_int(0));
        if (a == b)
            return(small_int(1));
        if (b == 1)
            return(make_integer(sc, a));

#if (!WITH_GMP)
        if (b == s7_int_min)
        {
            /* we've got a problem... This should not trigger an error during reading -- we might have the
             *   ratio on a switch with-bignums or whatever, so its mere occurrence is just an annoyance.
             */
            if (a & 1)
                return(make_real(sc, (long double)a / (long double)b));
            a /= 2;
            b /= 2;
        }
#endif

        if (b < 0)
        {
            a = -a;
            b = -b;
        }

        if (a == s7_int_min)
        {
            while (((a & 1) == 0) && ((b & 1) == 0))
            {
                a /= 2;
                b /= 2;
            }
        }
        else
        {
            s7_int b1, divisor;
            divisor = s7_int_abs(a);
            b1 = b;
            do {
                s7_int temp;
                temp = divisor % b1;
                divisor = b1;
                b1 = temp;
            } while (b1 != 0);
            if (divisor != 1)
            {
                a /= divisor;
                b /= divisor;
            }
        }
        if (b == 1)
            return(make_integer(sc, a));

        new_cell(sc, x, T_RATIO);
        numerator(x) = a;
        denominator(x) = b;
        return(x);
    }

// Assembly:
subq $0xf8, %rsp
movq %rdi, 0xe8(%rsp)
movq %rsi, 0xe0(%rsp)
movq %rdx, 0xd8(%rsp)
cmpq $0x0, 0xd8(%rsp)
jne 0x11b2e
movq 0xe8(%rsp), %rax
movq %rax, 0x28(%rsp)
movq 0xe8(%rsp), %rdi
leaq 0x1d0064(%rip), %rsi    # 0x1e1b2e
movl $0xa, %edx
callq 0xb880
movq %rax, 0x30(%rsp)
movq 0xe8(%rsp), %rax
movq %rax, 0x20(%rsp)
movq 0xe8(%rsp), %rdi
movq 0xe0(%rsp), %rsi
callq 0x12430
movq 0x20(%rsp), %rdi
movq %rax, %rsi
movq 0x204976(%rip), %rdx    # 0x216480
callq 0xb830
movq 0x28(%rsp), %rdi
movq 0x30(%rsp), %rsi
movq %rax, %rdx
callq 0x123b0
movq %rax, 0xf0(%rsp)
jmp 0x120d1
cmpq $0x0, 0xe0(%rsp)
jne 0x11b4d
movq 0x204940(%rip), %rax    # 0x216480
movq %rax, 0xf0(%rsp)
jmp 0x120d1
movq 0xe0(%rsp), %rax
cmpq 0xd8(%rsp), %rax
jne 0x11b73
movq 0x204922(%rip), %rax    # 0x216488
movq %rax, 0xf0(%rsp)
jmp 0x120d1
cmpq $0x1, 0xd8(%rsp)
jne 0x11c7d
movq 0xe0(%rsp), %rax
movq %rax, 0xc8(%rsp)
movq 0xc8(%rsp), %rax
andq $-0x800, %rax           # imm = 0xF800
cmpq $0x0, %rax
jne 0x11bc3
movq 0xc8(%rsp), %rcx
leaq 0x2048cb(%rip), %rax    # 0x216480
movq (%rax,%rcx,8), %rax
movq %rax, 0x18(%rsp)
jmp 0x11c5b
jmp 0x11bc5
movq 0xe8(%rsp), %rax
movq 0x90(%rax), %rax
movq 0xe8(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x11bf2
movq 0xe8(%rsp), %rdi
callq 0xc670
movq 0xe8(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0xb8(%rsp)
movq 0xb8(%rsp), %rax
movq $0xb, (%rax)
movq 0xc8(%rsp), %rcx
movq 0xb8(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0xb8(%rsp), %rax
movq %rax, 0xb0(%rsp)
movq 0xb0(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x18(%rsp), %rax
movq %rax, 0xc0(%rsp)
movq 0xc0(%rsp), %rax
movq %rax, 0xf0(%rsp)
jmp 0x120d1
movq 0xd8(%rsp), %rax
cmpq 0x2088cc(%rip), %rax    # 0x21a558
jne 0x11db3
movq 0xe0(%rsp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x11d7f
movq 0xe0(%rsp), %rax
movq %rax, 0x40(%rsp)
fildll 0x40(%rsp)
movq 0xd8(%rsp), %rax
movq %rax, 0x48(%rsp)
fildll 0x48(%rsp)
fdivrp %st, %st(1)
fstpl 0x38(%rsp)
movsd 0x38(%rsp), %xmm0
movsd %xmm0, 0xa0(%rsp)
movq 0xe8(%rsp), %rax
movq 0x90(%rax), %rax
movq 0xe8(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x11d0c
movq 0xe8(%rsp), %rdi
callq 0xc670
movq 0xe8(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0xa8(%rsp)
movq 0xa8(%rsp), %rax
movq $0xd, (%rax)
movsd 0xa0(%rsp), %xmm0
movq 0xa8(%rsp), %rax
movsd %xmm0, 0x8(%rax)
movq 0xa8(%rsp), %rax
movq %rax, 0x98(%rsp)
movq 0x98(%rsp), %rax
movq %rax, 0xf0(%rsp)
jmp 0x120d1
movq 0xe0(%rsp), %rax
movl $0x2, %ecx
cqto
idivq %rcx
movq %rax, 0xe0(%rsp)
movq 0xd8(%rsp), %rax
movl $0x2, %ecx
cqto
idivq %rcx
movq %rax, 0xd8(%rsp)
cmpq $0x0, 0xd8(%rsp)
jge 0x11de2
xorl %eax, %eax
subq 0xe0(%rsp), %rax
movq %rax, 0xe0(%rsp)
xorl %eax, %eax
subq 0xd8(%rsp), %rax
movq %rax, 0xd8(%rsp)
movq 0xe0(%rsp), %rax
cmpq 0x208767(%rip), %rax    # 0x21a558
jne 0x11e69
jmp 0x11df5
movq 0xe0(%rsp), %rcx
andq $0x1, %rcx
xorl %eax, %eax
cmpq $0x0, %rcx
movb %al, 0x17(%rsp)
jne 0x11e24
movq 0xd8(%rsp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
sete %al
movb %al, 0x17(%rsp)
movb 0x17(%rsp), %al
testb $0x1, %al
jne 0x11e2e
jmp 0x11e64
movq 0xe0(%rsp), %rax
movl $0x2, %ecx
cqto
idivq %rcx
movq %rax, 0xe0(%rsp)
movq 0xd8(%rsp), %rax
movl $0x2, %ecx
cqto
idivq %rcx
movq %rax, 0xd8(%rsp)
jmp 0x11df5
jmp 0x11f4f
movq 0xe0(%rsp), %rax
movq %rax, 0x80(%rsp)
cmpq $0x0, 0x80(%rsp)
jl 0x11e93
movq 0x80(%rsp), %rax
movq %rax, 0x8(%rsp)
jmp 0x11ea2
xorl %eax, %eax
subq 0x80(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x8(%rsp), %rax
movq %rax, 0x78(%rsp)
movq 0x78(%rsp), %rax
movq %rax, 0x88(%rsp)
movq 0xd8(%rsp), %rax
movq %rax, 0x90(%rsp)
movq 0x88(%rsp), %rax
cqto
idivq 0x90(%rsp)
movq %rdx, 0x70(%rsp)
movq 0x90(%rsp), %rax
movq %rax, 0x88(%rsp)
movq 0x70(%rsp), %rax
movq %rax, 0x90(%rsp)
cmpq $0x0, 0x90(%rsp)
jne 0x11ec9
cmpq $0x1, 0x88(%rsp)
je 0x11f4d
movq 0x88(%rsp), %rcx
movq 0xe0(%rsp), %rax
cqto
idivq %rcx
movq %rax, 0xe0(%rsp)
movq 0x88(%rsp), %rcx
movq 0xd8(%rsp), %rax
cqto
idivq %rcx
movq %rax, 0xd8(%rsp)
jmp 0x11f4f
cmpq $0x1, 0xd8(%rsp)
jne 0x12032
movq 0xe0(%rsp), %rax
movq %rax, 0x68(%rsp)
movq 0x68(%rsp), %rax
andq $-0x800, %rax           # imm = 0xF800
cmpq $0x0, %rax
jne 0x11f95
movq 0x68(%rsp), %rcx
leaq 0x2044f8(%rip), %rax    # 0x216480
movq (%rax,%rcx,8), %rax
movq %rax, (%rsp)
jmp 0x12017
jmp 0x11f97
movq 0xe8(%rsp), %rax
movq 0x90(%rax), %rax
movq 0xe8(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x11fc4
movq 0xe8(%rsp), %rdi
callq 0xc670
movq 0xe8(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x58(%rsp)
movq 0x58(%rsp), %rax
movq $0xb, (%rax)
movq 0x68(%rsp), %rcx
movq 0x58(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x58(%rsp), %rax
movq %rax, 0x50(%rsp)
movq 0x50(%rsp), %rax
movq %rax, (%rsp)
movq (%rsp), %rax
movq %rax, 0x60(%rsp)
movq 0x60(%rsp), %rax
movq %rax, 0xf0(%rsp)
jmp 0x120d1
jmp 0x12034
movq 0xe8(%rsp), %rax
movq 0x90(%rax), %rax
movq 0xe8(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x12061
movq 0xe8(%rsp), %rdi
callq 0xc670
movq 0xe8(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0xd0(%rsp)
movq 0xd0(%rsp), %rax
movq $0xc, (%rax)
movq 0xe0(%rsp), %rcx
movq 0xd0(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0xd8(%rsp), %rcx
movq 0xd0(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0xd0(%rsp), %rax
movq %rax, 0xf0(%rsp)
movq 0xf0(%rsp), %rax
addq $0xf8, %rsp
retq
nopw %cs:(%rax,%rax)