38 flag __unorddf2(float64, float64);
41 int __aeabi_dcmpeq_vfp(float64, float64);
42 int __aeabi_dcmplt_vfp(float64, float64);
43 int __aeabi_dcmple_vfp(float64, float64);
44 int __aeabi_dcmpgt_vfp(float64, float64);
45 int __aeabi_dcmpge_vfp(float64, float64);
46 int __aeabi_dcmpun_vfp(float64, float64);
47 int __aeabi_d2iz_vfp(float64);
48 float32 __aeabi_d2f_vfp(float64);
49 float64 __aeabi_i2d_vfp(int);
50 float64 __aeabi_dadd_vfp(float64, float64);
51 float64 __aeabi_ddiv_vfp(float64, float64);
52 float64 __aeabi_dmul_vfp(float64, float64);
53 float64 __aeabi_dsub_vfp(float64, float64);
60 int AEABI_FUNC2(dcmpeq, float64, float64_eq)  in AEABI_FUNC2()  argument
61 int AEABI_FUNC2(dcmplt, float64, float64_lt)  in AEABI_FUNC2()
62 int AEABI_FUNC2(dcmple, float64, float64_le)  in AEABI_FUNC2()
63 int AEABI_FUNC2_REV(dcmpge, float64, float64_le)  in AEABI_FUNC2()
64 int AEABI_FUNC2_REV(dcmpgt, float64, float64_lt)  in AEABI_FUNC2()
65 int AEABI_FUNC2(dcmpun, float64, __unorddf2)  in AEABI_FUNC2()
67 int AEABI_FUNC(d2iz, float64, float64_to_int32_round_to_zero)  in AEABI_FUNC2()
68 float32 AEABI_FUNC(d2f, float64, float64_to_float32)  in AEABI_FUNC2()
69 float64 AEABI_FUNC(i2d, int, int32_to_float64)  in AEABI_FUNC2()
71 float64 AEABI_FUNC2(dadd, float64, float64_add)  in AEABI_FUNC2()
72 float64 AEABI_FUNC2(ddiv, float64, float64_div)  in AEABI_FUNC2()
73 float64 AEABI_FUNC2(dmul, float64, float64_mul)  in AEABI_FUNC2()
74 float64 AEABI_FUNC2(dsub, float64, float64_sub)  in AEABI_FUNC2()
77 __aeabi_cdcmpeq_helper(float64 a, float64 b)  in AEABI_FUNC2()