00001208 <do_float_mul>:
    1208:	e891000c 	ldm	r1, {r2, r3}
    120c:	e52de004 	push	{lr}		; (str lr, [sp, #-4]!)
    1210:	ee073a90 	vmov	s15, r3
    1214:	ed2d8b02 	vpush	{d8}
    1218:	ed9f7a3d 	vldr	s14, [pc, #244]	; 0xf4
    121c:	e3500000 	cmp	r0, #0
    1220:	eef86ae7 	vcvt.f32.s32	s13, s15
    1224:	ee072a90 	vmov	s15, r2
    1228:	e24dd004 	sub	sp, sp, #4
    122c:	eef85ae7 	vcvt.f32.s32	s11, s15
    1230:	eddf7a38 	vldr	s15, [pc, #224]	; 0xe0
    1234:	ee266aa7 	vmul.f32	s12, s13, s15
    1238:	eddf7a37 	vldr	s15, [pc, #220]	; 0xdc
    123c:	ee655a87 	vmul.f32	s11, s11, s14
    1240:	ee868a27 	vdiv.f32	s16, s12, s15
    1244:	0a000029 	beq	12f0 <do_float_mul+0xe8>
    1248:	ee257aa5 	vmul.f32	s14, s11, s11
    124c:	e2500001 	subs	r0, r0, #1
    1250:	ee677a08 	vmul.f32	s15, s14, s16
    1254:	ee676aa7 	vmul.f32	s13, s15, s15
    1258:	ee267a88 	vmul.f32	s14, s13, s16
    125c:	ee276a07 	vmul.f32	s12, s14, s14
    1260:	ee667a08 	vmul.f32	s15, s12, s16
    1264:	ee676aa7 	vmul.f32	s13, s15, s15
    1268:	ee267a88 	vmul.f32	s14, s13, s16
    126c:	ee276a07 	vmul.f32	s12, s14, s14
    1270:	ee667a08 	vmul.f32	s15, s12, s16
    1274:	ee676aa7 	vmul.f32	s13, s15, s15
    1278:	ee267a88 	vmul.f32	s14, s13, s16
    127c:	ee276a07 	vmul.f32	s12, s14, s14
    1280:	ee667a08 	vmul.f32	s15, s12, s16
    1284:	ee676aa7 	vmul.f32	s13, s15, s15
    1288:	ee267a88 	vmul.f32	s14, s13, s16
    128c:	ee276a07 	vmul.f32	s12, s14, s14
    1290:	ee667a08 	vmul.f32	s15, s12, s16
    1294:	ee676aa7 	vmul.f32	s13, s15, s15
    1298:	ee267a88 	vmul.f32	s14, s13, s16
    129c:	ee276a07 	vmul.f32	s12, s14, s14
    12a0:	ee667a08 	vmul.f32	s15, s12, s16
    12a4:	ee676aa7 	vmul.f32	s13, s15, s15
    12a8:	ee267a88 	vmul.f32	s14, s13, s16
    12ac:	ee276a07 	vmul.f32	s12, s14, s14
    12b0:	ee667a08 	vmul.f32	s15, s12, s16
    12b4:	ee676aa7 	vmul.f32	s13, s15, s15
    12b8:	ee267a88 	vmul.f32	s14, s13, s16
    12bc:	ee276a07 	vmul.f32	s12, s14, s14
    12c0:	ee667a08 	vmul.f32	s15, s12, s16
    12c4:	ee676aa7 	vmul.f32	s13, s15, s15
    12c8:	ee267a88 	vmul.f32	s14, s13, s16
    12cc:	ee276a07 	vmul.f32	s12, s14, s14
    12d0:	ee667a08 	vmul.f32	s15, s12, s16
    12d4:	ee676aa7 	vmul.f32	s13, s15, s15
    12d8:	ee267a88 	vmul.f32	s14, s13, s16
    12dc:	ee276a07 	vmul.f32	s12, s14, s14
    12e0:	ee667a08 	vmul.f32	s15, s12, s16
    12e4:	ee277aa7 	vmul.f32	s14, s15, s15
    12e8:	ee675a08 	vmul.f32	s11, s14, s16
    12ec:	1affffd5 	bne	1248 <do_float_mul+0x40>
    12f0:	eefd5ae5 	vcvt.s32.f32	s11, s11
    12f4:	eebd8ac8 	vcvt.s32.f32	s16, s16
    12f8:	ee150a90 	vmov	r0, s11
    12fc:	ebfffffe 	bl	0 <use_int>
    1300:	ee180a10 	vmov	r0, s16
    1304:	e28dd004 	add	sp, sp, #4
    1308:	ecbd8b02 	vpop	{d8}
    130c:	e49de004 	pop	{lr}		; (ldr lr, [sp], #4)
    1310:	eafffffe 	b	0 <use_int>
    1314:	41000000 	.word	0x41000000
    1318:	3e000000 	.word	0x3e000000
    131c:	447a0000 	.word	0x447a0000