// File: /workspace/github_c_makefile_star2_O0/aligusnet[P]morpheus/external/Unity/unity.c
// Function: UnityPrintFloat
void UnityPrintFloat(const UNITY_DOUBLE input_number)
{
    UNITY_DOUBLE number;

    if (input_number < 0)
    {
        UNITY_OUTPUT_CHAR('-');
        number = -input_number;
    } else
    {
        number = input_number;
    }

    if (isnan(number)) UnityPrint(UnityStrNaN);
    else if (isinf(number)) UnityPrintLen(UnityStrInf, 3);
    else if (number <= 0.0000005 && number > 0) UnityPrint("0.000000..."); /* Small number */
    else if (number < 4294967295.9999995) /* Rounded result fits in 32 bits, "%.6f" format */
    {
        const UNITY_INT32 divisor = 1000000/10;
        UNITY_UINT32 integer_part = (UNITY_UINT32)number;
        UNITY_INT32 fraction_part = (UNITY_INT32)((number - (UNITY_DOUBLE)integer_part)*1000000.0 + 0.5);
        /* Double precision calculation gives best performance for six rounded decimal places */
        ROUND_TIES_TO_EVEN(number, fraction_part, (number - (UNITY_DOUBLE)integer_part)*1000000.0);

        if (fraction_part == 1000000) /* Carry across the decimal point */
        {
            fraction_part = 0;
            integer_part += 1;
        }

        UnityPrintNumberUnsigned(integer_part);
        UnityPrintDecimalAndNumberWithLeadingZeros(fraction_part, divisor);
    }
    else /* Number is larger, use exponential format of 9 digits, "%.8e" */
    {
        const UNITY_INT32 divisor = 1000000000/10;
        UNITY_INT32 integer_part;
        UNITY_DOUBLE_TYPE divide = 10.0;
        int exponent = 9;

        while (number / divide >= 1000000000.0 - 0.5)
        {
            divide *= 10;
            exponent++;
        }
        integer_part = (UNITY_INT32)(number / divide + 0.5);
        /* Double precision calculation required for float, to produce 9 rounded digits */
        ROUND_TIES_TO_EVEN(number, integer_part, number / divide);

        UNITY_OUTPUT_CHAR('0' + integer_part / divisor);
        UnityPrintDecimalAndNumberWithLeadingZeros(integer_part % divisor, divisor / 10);
        UNITY_OUTPUT_CHAR('e');
        UNITY_OUTPUT_CHAR('+');
        if (exponent < 10) UNITY_OUTPUT_CHAR('0');
        UnityPrintNumber(exponent);
    }
}

// Assembly:
subq $0x38, %rsp
movsd %xmm0, 0x30(%rsp)
xorps %xmm0, %xmm0
ucomisd 0x30(%rsp), %xmm0
jbe 0x7d04
movl $0x2d, %edi
callq 0x1090
movsd 0x30(%rsp), %xmm0
movq %xmm0, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm0
movsd %xmm0, 0x28(%rsp)
jmp 0x7d10
movsd 0x30(%rsp), %xmm0
movsd %xmm0, 0x28(%rsp)
movsd 0x28(%rsp), %xmm0
ucomisd %xmm0, %xmm0
setp %al
testb $0x1, %al
jne 0x7d23
jmp 0x7d34
leaq 0x5554(%rip), %rdi      # 0xd27e
callq 0x7860
jmp 0x8042
movsd 0x28(%rsp), %xmm1
movaps %xmm1, %xmm0
movaps 0x502c(%rip), %xmm2     # 0xcd70
pand %xmm2, %xmm0
movq %xmm1, %rdx
movl $0x1, %ecx
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
cmpq $0x0, %rdx
cmovll %eax, %ecx
movsd 0x5422(%rip), %xmm1     # 0xd188
xorl %eax, %eax
ucomisd %xmm1, %xmm0
setnp %sil
sete %dl
testb %sil, %dl
cmovnel %ecx, %eax
cmpl $0x0, %eax
je 0x7d94
leaq 0x54fd(%rip), %rdi      # 0xd282
movl $0x3, %esi
callq 0x79e0
jmp 0x8040
movsd 0x53f4(%rip), %xmm0     # 0xd190
ucomisd 0x28(%rsp), %xmm0
jb 0x7dc4
movsd 0x28(%rsp), %xmm0
xorps %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jbe 0x7dc4
leaq 0x5664(%rip), %rdi      # 0xd41e
callq 0x7860
jmp 0x803e
movsd 0x53cc(%rip), %xmm0     # 0xd198
ucomisd 0x28(%rsp), %xmm0
jbe 0x7efe
movl $0x186a0, 0x24(%rsp)    # imm = 0x186A0
cvttsd2si 0x28(%rsp), %rax
movl %eax, 0x20(%rsp)
movsd 0x28(%rsp), %xmm0
movl 0x20(%rsp), %eax
cvtsi2sd %rax, %xmm1
subsd %xmm1, %xmm0
movsd 0x53b2(%rip), %xmm1     # 0xd1b8
mulsd %xmm1, %xmm0
movsd 0x4f6e(%rip), %xmm1     # 0xcd80
addsd %xmm1, %xmm0
cvttsd2si %xmm0, %eax
movl %eax, 0x1c(%rsp)
cvtsi2sdl 0x1c(%rsp), %xmm0
movsd 0x28(%rsp), %xmm1
movl 0x20(%rsp), %eax
cvtsi2sd %rax, %xmm2
subsd %xmm2, %xmm1
movsd 0x5379(%rip), %xmm2     # 0xd1b8
mulsd %xmm2, %xmm1
ucomisd %xmm1, %xmm0
jbe 0x7ec3
movsd 0x28(%rsp), %xmm1
movl 0x20(%rsp), %eax
cvtsi2sd %rax, %xmm0
subsd %xmm0, %xmm1
movl 0x1c(%rsp), %eax
subl $0x1, %eax
cvtsi2sd %eax, %xmm0
movq %xmm0, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm0
movsd 0x5332(%rip), %xmm2     # 0xd1b8
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movsd 0x4eea(%rip), %xmm0     # 0xcd80
ucomisd %xmm1, %xmm0
jb 0x7ec3
movl 0x1c(%rsp), %eax
andl $0x1, %eax
cmpl $0x1, %eax
jne 0x7ec3
movsd 0x5300(%rip), %xmm0     # 0xd1b0
ucomisd 0x28(%rsp), %xmm0
jbe 0x7ec3
movl 0x1c(%rsp), %eax
subl $0x1, %eax
movl %eax, 0x1c(%rsp)
cmpl $0xf4240, 0x1c(%rsp)    # imm = 0xF4240
jne 0x7ee0
movl $0x0, 0x1c(%rsp)
movl 0x20(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x20(%rsp)
movl 0x20(%rsp), %eax
movl %eax, %edi
callq 0x7bb0
movl 0x1c(%rsp), %edi
movl $0x186a0, %esi          # imm = 0x186A0
callq 0x8050
jmp 0x803c
movl $0x5f5e100, 0x18(%rsp)  # imm = 0x5F5E100
movsd 0x5292(%rip), %xmm0     # 0xd1a0
movsd %xmm0, 0x8(%rsp)
movl $0x9, 0x4(%rsp)
movsd 0x28(%rsp), %xmm0
divsd 0x8(%rsp), %xmm0
movsd 0x5278(%rip), %xmm1     # 0xd1a8
ucomisd %xmm1, %xmm0
jb 0x7f57
movsd 0x5262(%rip), %xmm0     # 0xd1a0
mulsd 0x8(%rsp), %xmm0
movsd %xmm0, 0x8(%rsp)
movl 0x4(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x4(%rsp)
jmp 0x7f1c
movsd 0x28(%rsp), %xmm0
divsd 0x8(%rsp), %xmm0
movsd 0x4e15(%rip), %xmm1     # 0xcd80
addsd %xmm1, %xmm0
cvttsd2si %xmm0, %eax
movl %eax, 0x14(%rsp)
cvtsi2sdl 0x14(%rsp), %xmm0
movsd 0x28(%rsp), %xmm1
divsd 0x8(%rsp), %xmm1
ucomisd %xmm1, %xmm0
jbe 0x7fdf
movsd 0x28(%rsp), %xmm1
divsd 0x8(%rsp), %xmm1
movl 0x14(%rsp), %eax
subl $0x1, %eax
cvtsi2sd %eax, %xmm0
subsd %xmm0, %xmm1
movsd 0x4dce(%rip), %xmm0     # 0xcd80
ucomisd %xmm1, %xmm0
jb 0x7fdf
movl 0x14(%rsp), %eax
andl $0x1, %eax
cmpl $0x1, %eax
jne 0x7fdf
movsd 0x51e4(%rip), %xmm0     # 0xd1b0
ucomisd 0x28(%rsp), %xmm0
jbe 0x7fdf
movl 0x14(%rsp), %eax
subl $0x1, %eax
movl %eax, 0x14(%rsp)
movl 0x14(%rsp), %eax
movl $0x5f5e100, %ecx        # imm = 0x5F5E100
cltd
idivl %ecx
movl %eax, %edi
addl $0x30, %edi
callq 0x1090
movl 0x14(%rsp), %eax
movl $0x5f5e100, %ecx        # imm = 0x5F5E100
cltd
idivl %ecx
movl %edx, %edi
movl $0x989680, %esi         # imm = 0x989680
callq 0x8050
movl $0x65, %edi
callq 0x1090
movl $0x2b, %edi
callq 0x1090
cmpl $0xa, 0x4(%rsp)
jge 0x8032
movl $0x30, %edi
callq 0x1090
movslq 0x4(%rsp), %rdi
callq 0x7b70
jmp 0x803e
jmp 0x8040
jmp 0x8042
addq $0x38, %rsp
retq
nopw (%rax,%rax)