// File: /workspace/github_cpp_makefile_star2_O3/menhits[P]phplus/src/PhplusStdLib.cpp
// Function: addToProgDoubleToStr(CppProgram*)
void addToProgDoubleToStr(CppProgram * prog)
{
	if (!prog->hasFunc("$doubleToStr"))
	{
		addToProgIntToStr(prog);
		addToProgConcatStr(prog);
		addToProgPpStr(prog);
		
		string intToStr=prog->ppToCpp("$intToStr");
		string concat=prog->ppToCpp("$concatStr");
		string ppStr=prog->ppToCpp("$ppStr");
		
		prog->addFunc("$doubleToStr", {{"double", "in"}}, prog->getTypeCode(String),
			
			"long long b = (in - (long long)in) * 10000000000 * (in>=0 ? 1 : -1);\n"
			"if (b % 10 == 9)\n\tb += 1;\n"
			"while (b>0 && !(b % 10))\n\tb /= 10;\n"
			"return "+concat+"("+concat+"("+intToStr+"((int)in), "+ppStr+"(\".\")), "+intToStr+"(b));\n"
		);
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x258, %rsp            # imm = 0x258
movq %rdi, %rbx
leaq 0x20(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x4b165(%rip), %rsi     # 0x7a60c
leaq 0x4b16a(%rip), %rdx     # 0x7a618
leaq 0x10(%rsp), %rdi
callq 0xdfa8
leaq 0x10(%rsp), %rsi
movq %rbx, %rdi
callq 0x1cb42
movl %eax, %ebp
movq 0x10(%rsp), %rdi
cmpq %r15, %rdi
je 0x2f4d6
callq 0xa2b0
testb %bpl, %bpl
jne 0x2fbb8
movq %rbx, %rdi
callq 0x2e863
movq %rbx, %rdi
callq 0x2f10a
movq %rbx, %rdi
callq 0x2dea2
leaq 0x10(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x4ac0c(%rip), %rsi     # 0x7a112
leaq 0x4ac0e(%rip), %rdx     # 0x7a11b
callq 0xdfa8
movq 0xa0(%rbx), %rsi
leaq 0x120(%rsp), %rdi
leaq 0x10(%rsp), %rdx
callq 0x1924a
movq 0x10(%rsp), %rdi
cmpq %r15, %rdi
je 0x2f53a
callq 0xa2b0
leaq 0x10(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x4afee(%rip), %rsi     # 0x7a537
leaq 0x4aff1(%rip), %rdx     # 0x7a541
callq 0xdfa8
movq 0xa0(%rbx), %rsi
leaq 0x1c0(%rsp), %rdi
leaq 0x10(%rsp), %rdx
callq 0x1924a
movq 0x10(%rsp), %rdi
cmpq %r15, %rdi
je 0x2f57d
callq 0xa2b0
leaq 0x10(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x4aa2d(%rip), %rsi     # 0x79fb9
leaq 0x4aa2c(%rip), %rdx     # 0x79fbf
callq 0xdfa8
movq 0xa0(%rbx), %rsi
leaq 0x1f8(%rsp), %rdi
leaq 0x10(%rsp), %rdx
callq 0x1924a
movq 0x10(%rsp), %rdi
cmpq %r15, %rdi
je 0x2f5c0
callq 0xa2b0
leaq 0x110(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4b039(%rip), %rsi     # 0x7a60c
leaq 0x4b03e(%rip), %rdx     # 0x7a618
leaq 0x100(%rsp), %rdi
callq 0xdfa8
leaq 0x4861a(%rip), %rsi     # 0x77c08
leaq 0x488b8(%rip), %rdx     # 0x77ead
leaq 0x10(%rsp), %rdi
callq 0x4f29c
leaq 0x1e0(%rsp), %rdi
leaq 0x10(%rsp), %rsi
leaq 0xf(%rsp), %rcx
movl $0x1, %edx
callq 0x4f06a
leaq 0x6ae3e(%rip), %rax     # 0x9a460
movq (%rax), %rcx
movq 0x8(%rax), %rax
movq %rcx, 0x50(%rsp)
movq %rax, 0x58(%rsp)
testq %rax, %rax
je 0x2f64d
movq 0x6a969(%rip), %rcx     # 0x99fa8
cmpb $0x0, (%rcx)
je 0x2f649
incl 0x8(%rax)
jmp 0x2f64d
lock
incl 0x8(%rax)
leaq 0x238(%rsp), %rdi
leaq 0x50(%rsp), %rdx
movq %rbx, %rsi
callq 0x1aab2
leaq 0x4afb0(%rip), %rsi     # 0x7a619
leaq 0x218(%rsp), %rdi
leaq 0x1c0(%rsp), %rdx
callq 0xdc11
leaq 0x4d333(%rip), %rsi     # 0x7c9b8
leaq 0x218(%rsp), %rdi
callq 0xa560
leaq 0x150(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x2f6c2
movq %rdx, 0x140(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x150(%rsp)
jmp 0x2f6ca
movups (%rcx), %xmm0
movups %xmm0, (%r13)
movq 0x8(%rax), %rdx
leaq 0x140(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x1c0(%rsp), %rsi
movq 0x1c8(%rsp), %rdx
callq 0xa110
leaq 0x70(%rsp), %rsi
movq %rsi, -0x10(%rsi)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x2f725
movq %rdx, 0x60(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x70(%rsp)
jmp 0x2f72b
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
movq 0x8(%rax), %rdx
leaq 0x60(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x4d26a(%rip), %rsi     # 0x7c9b8
callq 0xa560
leaq 0x90(%rsp), %rsi
movq %rsi, -0x10(%rsi)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x2f783
movq %rdx, 0x80(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x90(%rsp)
jmp 0x2f789
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
movq 0x8(%rax), %rdx
leaq 0x80(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x120(%rsp), %rsi
movq 0x128(%rsp), %rdx
callq 0xa110
leaq 0xb0(%rsp), %rsi
movq %rsi, -0x10(%rsi)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x2f7ed
movq %rdx, 0xa0(%rsp)
movq (%rcx), %rdx
movq %rdx, 0xb0(%rsp)
jmp 0x2f7f3
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
movq 0x8(%rax), %rdx
leaq 0xa0(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x4ae8a(%rip), %rsi     # 0x7a6a3
callq 0xa560
leaq 0xd0(%rsp), %rsi
movq %rsi, -0x10(%rsi)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x2f84e
movq %rdx, 0xc0(%rsp)
movq (%rcx), %rdx
movq %rdx, 0xd0(%rsp)
jmp 0x2f854
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
movq 0x8(%rax), %rdx
leaq 0xc0(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x1f8(%rsp), %rsi
movq 0x200(%rsp), %rdx
callq 0xa110
leaq 0xf0(%rsp), %rsi
movq %rsi, -0x10(%rsi)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x2f8b8
movq %rdx, 0xe0(%rsp)
movq (%rcx), %rdx
movq %rdx, 0xf0(%rsp)
jmp 0x2f8be
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
movq 0x8(%rax), %rdx
leaq 0xe0(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x4adcb(%rip), %rsi     # 0x7a6af
callq 0xa560
leaq 0x170(%rsp), %rbp
movq %rbp, -0x10(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x2f919
movq %rdx, 0x160(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x170(%rsp)
jmp 0x2f920
movups (%rcx), %xmm0
movups %xmm0, (%rbp)
movq 0x8(%rax), %rdx
leaq 0x160(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x120(%rsp), %rsi
movq 0x128(%rsp), %rdx
callq 0xa110
leaq 0x190(%rsp), %r14
movq %r14, -0x10(%r14)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x2f984
movq %rdx, 0x180(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x190(%rsp)
jmp 0x2f98b
movups (%rcx), %xmm0
movups %xmm0, (%r14)
movq 0x8(%rax), %rdx
leaq 0x180(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x4ad07(%rip), %rsi     # 0x7a6b8
callq 0xa560
leaq 0x1b0(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x2f9e7
movq %rdx, 0x1a0(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x1b0(%rsp)
jmp 0x2f9ef
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
leaq 0x1a0(%rsp), %r8
movq %rdx, 0x8(%r8)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x100(%rsp), %rsi
leaq 0x1e0(%rsp), %rdx
leaq 0x238(%rsp), %rcx
movq %rbx, %rdi
callq 0x1cb62
movq 0x1a0(%rsp), %rdi
cmpq %r12, %rdi
je 0x2fa40
callq 0xa2b0
movq 0x180(%rsp), %rdi
cmpq %r14, %rdi
leaq 0x110(%rsp), %rbx
je 0x2fa5a
callq 0xa2b0
movq 0x160(%rsp), %rdi
cmpq %rbp, %rdi
leaq 0x70(%rsp), %r14
je 0x2fa71
callq 0xa2b0
movq 0xe0(%rsp), %rdi
leaq 0xf0(%rsp), %rax
cmpq %rax, %rdi
je 0x2fa8b
callq 0xa2b0
movq 0xc0(%rsp), %rdi
leaq 0xd0(%rsp), %rax
cmpq %rax, %rdi
je 0x2faa5
callq 0xa2b0
movq 0xa0(%rsp), %rdi
leaq 0xb0(%rsp), %rax
cmpq %rax, %rdi
je 0x2fabf
callq 0xa2b0
movq 0x80(%rsp), %rdi
leaq 0x90(%rsp), %rax
cmpq %rax, %rdi
je 0x2fad9
callq 0xa2b0
movq 0x60(%rsp), %rdi
cmpq %r14, %rdi
je 0x2fae8
callq 0xa2b0
movq 0x140(%rsp), %rdi
cmpq %r13, %rdi
je 0x2fafa
callq 0xa2b0
leaq 0x228(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2fb10
callq 0xa2b0
leaq 0x248(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2fb26
callq 0xa2b0
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x2fb35
callq 0xdce4
leaq 0x1e0(%rsp), %rdi
callq 0x4f0ac
leaq 0x40(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2fb55
callq 0xa2b0
movq 0x10(%rsp), %rdi
cmpq %r15, %rdi
je 0x2fb64
callq 0xa2b0
movq 0x100(%rsp), %rdi
cmpq %rbx, %rdi
je 0x2fb76
callq 0xa2b0
leaq 0x208(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2fb8c
callq 0xa2b0
leaq 0x1d0(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2fba2
callq 0xa2b0
leaq 0x130(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2fbb8
callq 0xa2b0
addq $0x258, %rsp            # imm = 0x258
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq 0x1a0(%rsp), %rdi
cmpq %r12, %rdi
je 0x2fbe4
callq 0xa2b0
jmp 0x2fbe4
movq %rax, %rbx
movq 0x180(%rsp), %rdi
cmpq %r14, %rdi
je 0x2fbfb
callq 0xa2b0
jmp 0x2fbfb
movq %rax, %rbx
movq 0x160(%rsp), %rdi
cmpq %rbp, %rdi
je 0x2fc12
callq 0xa2b0
jmp 0x2fc12
movq %rax, %rbx
movq 0xe0(%rsp), %rdi
leaq 0xf0(%rsp), %rax
cmpq %rax, %rdi
je 0x2fc31
callq 0xa2b0
jmp 0x2fc31
movq %rax, %rbx
movq 0xc0(%rsp), %rdi
leaq 0xd0(%rsp), %rax
cmpq %rax, %rdi
je 0x2fc50
callq 0xa2b0
jmp 0x2fc50
movq %rax, %rbx
movq 0xa0(%rsp), %rdi
leaq 0xb0(%rsp), %rax
cmpq %rax, %rdi
je 0x2fc6f
callq 0xa2b0
jmp 0x2fc6f
movq %rax, %rbx
movq 0x80(%rsp), %rdi
leaq 0x90(%rsp), %rax
cmpq %rax, %rdi
je 0x2fc8e
callq 0xa2b0
jmp 0x2fc8e
movq %rax, %rbx
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x2fca7
callq 0xa2b0
jmp 0x2fca7
movq %rax, %rbx
movq 0x140(%rsp), %rdi
cmpq %r13, %rdi
je 0x2fcb9
callq 0xa2b0
leaq 0x228(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2fccf
callq 0xa2b0
leaq 0x248(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2fce5
callq 0xa2b0
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x2fcf4
callq 0xdce4
leaq 0x1e0(%rsp), %rdi
callq 0x4f0ac
leaq 0x10(%rsp), %rdi
callq 0x4f040
movq 0x100(%rsp), %rdi
leaq 0x110(%rsp), %rax
cmpq %rax, %rdi
je 0x2fd25
callq 0xa2b0
leaq 0x208(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2fd3b
callq 0xa2b0
leaq 0x1d0(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2fd51
callq 0xa2b0
leaq 0x130(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2fdd4
callq 0xa2b0
jmp 0x2fdd4
movq %rax, %rbx
jmp 0x2fcb9
movq %rax, %rbx
jmp 0x2fccf
movq %rax, %rbx
jmp 0x2fce5
movq %rax, %rbx
jmp 0x2fd01
movq %rax, %rbx
jmp 0x2fd0b
movq %rax, %rbx
jmp 0x2fd25
movq %rax, %rbx
movq 0x10(%rsp), %rdi
cmpq %r15, %rdi
jne 0x2fd36
jmp 0x2fd3b
movq %rax, %rbx
jmp 0x2fd3b
movq %rax, %rbx
movq 0x10(%rsp), %rdi
cmpq %r15, %rdi
jne 0x2fd4c
jmp 0x2fd51
movq %rax, %rbx
jmp 0x2fd51
jmp 0x2fdc2
jmp 0x2fdd1
movq %rax, %rbx
movq 0x10(%rsp), %rdi
cmpq %r15, %rdi
jne 0x2fd62
jmp 0x2fdd4
movq %rax, %rbx
movq %rbx, %rdi
callq 0xa510