// File: /workspace/github_cpp_makefile_star2_O3/rossy[P]crossc/SPIRV-Cross/spirv_glsl.cpp
// Function: spirv_cross::CompilerGLSL::convert_float_to_string[abi:cxx11](spirv_cross::SPIRConstant const&, unsigned int, unsigned int)
string CompilerGLSL::convert_float_to_string(const SPIRConstant &c, uint32_t col, uint32_t row)
{
	string res;
	float float_value = c.scalar_f32(col, row);

	if (std::isnan(float_value) || std::isinf(float_value))
	{
		// Use special representation.
		if (!is_legacy())
		{
			SPIRType out_type;
			SPIRType in_type;
			out_type.basetype = SPIRType::Float;
			in_type.basetype = SPIRType::UInt;
			out_type.vecsize = 1;
			in_type.vecsize = 1;
			out_type.width = 32;
			in_type.width = 32;

			char print_buffer[32];
			sprintf(print_buffer, "0x%xu", c.scalar(col, row));
			res = join(bitcast_glsl_op(out_type, in_type), "(", print_buffer, ")");
		}
		else
		{
			if (float_value == numeric_limits<float>::infinity())
			{
				if (backend.float_literal_suffix)
					res = "(1.0f / 0.0f)";
				else
					res = "(1.0 / 0.0)";
			}
			else if (float_value == -numeric_limits<float>::infinity())
			{
				if (backend.float_literal_suffix)
					res = "(-1.0f / 0.0f)";
				else
					res = "(-1.0 / 0.0)";
			}
			else if (std::isnan(float_value))
			{
				if (backend.float_literal_suffix)
					res = "(0.0f / 0.0f)";
				else
					res = "(0.0 / 0.0)";
			}
			else
				SPIRV_CROSS_THROW("Cannot represent non-finite floating point constant.");
		}
	}
	else
	{
		res = convert_to_string(float_value);
		if (backend.float_literal_suffix)
			res += "f";
	}

	return res;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x218, %rsp            # imm = 0x218
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x10(%rdi), %r13
movq %r13, (%rdi)
movq $0x0, 0x8(%rdi)
movb $0x0, 0x10(%rdi)
movl %ecx, %eax
imulq $0x38, %rax, %rax
addq %rdx, %rax
movl %r8d, %ecx
movd 0x10(%rax,%rcx,8), %xmm0
movd %xmm0, %edx
ucomiss %xmm0, %xmm0
setnp %al
movl %edx, %ecx
andl $0x7fffffff, %ecx       # imm = 0x7FFFFFFF
cmpl $0x7f800000, %ecx       # imm = 0x7F800000
setne %cl
testb %cl, %al
jne 0x36f5c
cmpb $0x0, 0x43c(%r14)
movl $0x12b, %eax            # imm = 0x12B
movl $0x81, %ecx
cmovnel %eax, %ecx
cmpl %ecx, 0x438(%r14)
jbe 0x3702a
xorl %ecx, %ecx
leaq 0x40(%rsp), %r15
movl %ecx, 0x8(%r15)
leaq 0xc5769(%rip), %rbp     # 0xfc3e0
addq $0x10, %rbp
movq %rbp, (%r15)
movl $0x1, %eax
movl %eax, 0x18(%r15)
movq %rcx, 0x48(%r15)
movl %ecx, 0x50(%r15)
movq %rcx, 0x58(%r15)
movb %cl, 0x60(%r15)
xorps %xmm0, %xmm0
movups %xmm0, 0x20(%r15)
movups %xmm0, 0x30(%r15)
movl %ecx, 0x40(%r15)
movl $0x8, %esi
movl %esi, 0x64(%r15)
movups %xmm0, 0x68(%r15)
movq %rcx, 0x78(%r15)
movq %rcx, 0x98(%r15)
movl $0xd0, %edi
leaq (%r15,%rdi), %r8
movq %r8, 0xa0(%r15)
movl $0x1, %r8d
movq %r8, 0xa8(%r15)
movups %xmm0, 0xb0(%r15)
movl $0x3f800000, %r9d       # imm = 0x3F800000
movl %r9d, 0xc0(%r15)
movups %xmm0, 0xc8(%r15)
leaq 0x118(%rsp), %r12
movl %ecx, 0x8(%r12)
movq %rbp, (%r12)
movl %eax, 0x18(%r12)
movq %rcx, 0x48(%r12)
movl %ecx, 0x50(%r12)
movq %rcx, 0x58(%r12)
movb %cl, 0x60(%r12)
movups %xmm0, 0x20(%r12)
movups %xmm0, 0x30(%r12)
movl %ecx, 0x40(%r12)
movl %esi, 0x64(%r12)
movups %xmm0, 0x68(%r12)
movq %rcx, 0x78(%r12)
movq %rcx, 0x98(%r12)
addq %r12, %rdi
movq %rdi, 0xa0(%r12)
movq %r8, 0xa8(%r12)
movups %xmm0, 0xb0(%r12)
movl %r9d, 0xc0(%r12)
movups %xmm0, 0xc8(%r12)
movabsq $0x200000000a, %rcx     # imm = 0x200000000A
movq %rcx, 0xc(%r15)
movl $0x5, 0xc(%r12)
movl %eax, 0x14(%r15)
movabsq $0x100000020, %rax      # imm = 0x100000020
movq %rax, 0x10(%r12)
leaq 0x81450(%rip), %rsi     # 0xb81fc
leaq 0x1f0(%rsp), %rdi
xorl %eax, %eax
callq 0x6060
movq (%r14), %rax
movq %rsp, %rdi
movq %r14, %rsi
movq %r15, %rdx
movq %r12, %rcx
callq *0x168(%rax)
leaq 0x8be9a(%rip), %rdx     # 0xc2c71
leaq 0x83c37(%rip), %r8      # 0xbaa15
leaq 0x20(%rsp), %rdi
movq %rsp, %rsi
leaq 0x1f0(%rsp), %rcx
callq 0x537d1
movl $0xa0, %r13d
leaq 0x20(%rsp), %r14
movq %rbx, %rdi
movq %r14, %rsi
callq 0x6310
movq (%r14), %rdi
leaq 0x30(%rsp), %rax
cmpq %rax, %rdi
je 0x36e23
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x6260
addq %r13, %r12
leaq 0x10(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x36e41
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x6260
movq %rbp, 0x118(%rsp)
movq %r12, %rdi
callq 0xde80
movq 0x180(%rsp), %rdi
testq %rdi, %rdi
je 0x36e6e
movq 0x190(%rsp), %rsi
subq %rdi, %rsi
callq 0x6260
movq 0x150(%rsp), %rdi
testq %rdi, %rdi
je 0x36eb3
movq 0x170(%rsp), %rsi
subq %rdi, %rsi
callq 0x6260
xorl %eax, %eax
movq %rax, 0x150(%rsp)
movl %eax, 0x158(%rsp)
movq %rax, 0x160(%rsp)
movl %eax, 0x168(%rsp)
movq %rax, 0x170(%rsp)
addq %r13, %r15
movq 0x138(%rsp), %rdi
testq %rdi, %rdi
je 0x36ed3
movq 0x148(%rsp), %rsi
subq %rdi, %rsi
callq 0x6260
movq %rbp, 0x40(%rsp)
movq %r15, %rdi
callq 0xde80
movq 0xa8(%rsp), %rdi
testq %rdi, %rdi
je 0x36efd
movq 0xb8(%rsp), %rsi
subq %rdi, %rsi
callq 0x6260
movq 0x78(%rsp), %rdi
testq %rdi, %rdi
je 0x36f3c
movq 0x98(%rsp), %rsi
subq %rdi, %rsi
callq 0x6260
xorl %eax, %eax
movq %rax, 0x78(%rsp)
movl %eax, 0x80(%rsp)
movq %rax, 0x88(%rsp)
movl %eax, 0x90(%rsp)
movq %rax, 0x98(%rsp)
movq 0x60(%rsp), %rdi
testq %rdi, %rdi
je 0x37096
movq 0x70(%rsp), %rsi
subq %rdi, %rsi
callq 0x6260
jmp 0x37096
cvtss2sd %xmm0, %xmm0
leaq 0x83dbc(%rip), %rsi     # 0xbad23
leaq 0x40(%rsp), %r15
movq %r15, %rdi
movb $0x1, %al
callq 0x6060
movq %r15, %rdi
movl $0x2e, %esi
callq 0x60e0
testq %rax, %rax
jne 0x36fb2
leaq 0x40(%rsp), %rdi
movl $0x65, %esi
callq 0x60e0
testq %rax, %rax
jne 0x36fb2
leaq 0x40(%rsp), %rdi
callq 0x6120
movw $0x302e, 0x40(%rsp,%rax) # imm = 0x302E
movb $0x0, 0x42(%rsp,%rax)
leaq 0x128(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x40(%rsp), %r15
movq %r15, %rdi
callq 0x6120
leaq (%rsp,%rax), %rdx
addq $0x40, %rdx
leaq 0x118(%rsp), %rdi
movq %r15, %rsi
callq 0x7be0
leaq 0x118(%rsp), %r15
movq %rbx, %rdi
movq %r15, %rsi
callq 0x6310
movq (%r15), %rdi
cmpq %r12, %rdi
je 0x3700f
movq 0x128(%rsp), %rsi
incq %rsi
callq 0x6260
cmpb $0x1, 0x600(%r14)
jne 0x37096
leaq 0x7fc34(%rip), %rsi     # 0xb6c54
movq %rbx, %rdi
callq 0x64e0
jmp 0x37096
ucomiss 0x7f493(%rip), %xmm0    # 0xb64c4
jb 0x37059
movzbl 0x600(%r14), %eax
leaq 0x811c0(%rip), %rdx     # 0xb8202
leaq 0x8118e(%rip), %rcx     # 0xb81d7
testl %eax, %eax
cmovneq %rdx, %rcx
leaq 0xb(,%rax,2), %r8
jmp 0x3708a
movss 0x7f467(%rip), %xmm1    # 0xb64c8
ucomiss %xmm0, %xmm1
jb 0x370ab
movzbl 0x600(%r14), %eax
leaq 0x8119b(%rip), %rdx     # 0xb8210
leaq 0x81167(%rip), %rcx     # 0xb81e3
testl %eax, %eax
cmovneq %rdx, %rcx
leaq 0xc(,%rax,2), %r8
movq %rbx, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x63f0
movq %rbx, %rax
addq $0x218, %rsp            # imm = 0x218
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
ucomiss %xmm0, %xmm0
jnp 0x370c8
movzbl 0x600(%r14), %eax
leaq 0x81160(%rip), %rdx     # 0xb821f
leaq 0x8112a(%rip), %rcx     # 0xb81f0
jmp 0x37049
movl $0x10, %edi
callq 0x6140
movq %rax, %r15
leaq 0x50(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x810bc(%rip), %rsi     # 0xb81a2
leaq 0x810e9(%rip), %rdx     # 0xb81d6
leaq 0x40(%rsp), %rdi
callq 0x7be0
movb $0x1, %bpl
leaq 0x40(%rsp), %rsi
movq %r15, %rdi
callq 0x6320
leaq 0xc4cba(%rip), %rax     # 0xfbdc8
addq $0x10, %rax
movq %rax, (%r15)
xorl %ebp, %ebp
leaq 0xc4c92(%rip), %rsi     # 0xfbdb0
movq 0xc5eb3(%rip), %rdx     # 0xfcfd8
movq %r15, %rdi
callq 0x6470
movq %rax, %r14
movq 0x40(%rsp), %rdi
cmpq %r12, %rdi
je 0x37147
movq 0x50(%rsp), %rsi
incq %rsi
callq 0x6260
testb %bpl, %bpl
jne 0x37151
jmp 0x3719c
movq %rax, %r14
movq %r15, %rdi
callq 0x6200
jmp 0x3719c
movq %rax, %r14
leaq 0x10(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x3717e
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x6260
jmp 0x3717e
movq %rax, %r14
leaq 0x118(%rsp), %rdi
callq 0x1be02
leaq 0x40(%rsp), %rdi
callq 0x1be02
jmp 0x3719c
jmp 0x37199
movq %rax, %r14
movq (%rbx), %rdi
cmpq %r13, %rdi
je 0x371b0
movq (%r13), %rsi
incq %rsi
callq 0x6260
movq %r14, %rdi
callq 0x64a0