snprintf_double.S

	;; compiled with -O0
	ldr	r2, .L14+56
	ldr	r3, [r7, #52]
	ldr	r3, [r2, r3, lsl #2]
	lsrs	r3, r3, #2
	str	r3, [r7, #28]

	ldr	r0, [r7, #28]
	bl	__aeabi_ui2d

	mov	r3, r0
	mov	r4, r1
	strd	r3, [r7, #16]

	mov	r0, r7
	ldrd	r3, [r7, #16]

	strd	r3, [sp]
	ldr	r2, .L14+60
	movs	r1, #16
	bl	snprintf

	;;  compiled with -O3
	ldr	r0, [r10, r7, lsl #2]
	lsrs	r0, r0, #2
	bl	__aeabi_ui2d

	strd	r0, [sp]
	movs	r1, #16
	ldr	r2, .L76+56
	add	r0, sp, r1
	bl	snprintf