1669     TESTINSN_un_f32("vcvt.s32.f32 s9,  s19", s9,  s19, i32, f2u(0.0));  in main()
1694     TESTINSN_un_f32("vcvt.f32.s32 s9,  s19", s9,  s19, i32, f2u(0.0));  in main()
1798     TESTINSN_un_cvt_sd("vcvt.f32.f64 s9,  d21",  s9,  d21, f2u0(NAN), f2u1(NAN));  in main()
1849     TESTINSN_cmp_f32("vcmp.f32  s9,  s2",   s9,  f2u(INFINITY), s2, f2u(INFINITY));  in main()
1857     TESTINSN_cmp_f32("vcmp.f32  s9,  s2",   s9,  f2u(56.563),   s2, f2u(56.56));  in main()
1866     TESTINSN_cmp_f32("vcmpe.f32 s9,  s2",   s9,  f2u(INFINITY), s2, f2u(INFINITY));  in main()
1874     TESTINSN_cmp_f32("vcmpe.f32 s9,  s2",   s9,  f2u(56.563),   s2, f2u(56.56));  in main()
1875     TESTINSN_cmp_f32("vcmpe.f32 s9,  s2",   s9,  f2u(0.0),   s2, f2u(56.56));  in main()
1876     TESTINSN_cmp_f32("vcmpe.f32 s9,  s2",   s9,  f2u(10.0),   s2, f2u(0.0));  in main()
1877     TESTINSN_cmp_f32("vcmpe.f32 s9,  s2",   s9,  f2u(0.0),   s2, f2u(0.0));  in main()
1878     TESTINSN_cmp_f32("vcmpe.f32 s9,  s2",   s9,  f2u(0.0),   s2, f2u(0.0));  in main()
1924     TESTINSN_cmpz_f32("vcmp.f32 s9",  s9,  f2u(INFINITY));  in main()
1932     TESTINSN_cmpz_f32("vcmp.f32 s9",  s9,  f2u(NAN));  in main()
1941     TESTINSN_cmpz_f32("vcmpe.f32 s9",  s9,  f2u(INFINITY));  in main()
1949     TESTINSN_cmpz_f32("vcmpe.f32 s9",  s9,  f2u(NAN));  in main()
1972     TESTINSN_vldr_f32("vldr s9,  [r6, #+4]",  s9,  r6,  (long) numbers + 8, 4);  in main()
1982     TESTINSN_vldr_f32("vldr s9,  [r9, #-4]", s9,  r9, (long) numbers + 8, -4);  in main()
2024     TESTINSN_vstr32("vstr s9,  [r6,  #+4]", s9,  r6,  (long) numbers + 8, 4);  in main()
2033     TESTINSN_vstr32("vstr s9,  [r10, #-8]", s9,  r10, (long) numbers + 8, -8);  in main()
2064     TESTINSN_VSTMIAnoWB32("vstmia r10, {s9}",  r10, s9,  0x4f543);  in main()
2098     TESTINSN_VSTMIAWB32(r3,  s12, s9);  in main()
2140     TESTINSN_vmov_core_single("vmov r10, s9",  r10, s9,  0x87d34f);  in main()
2151     TESTINSN_vmov_single_core("vmov s9,  r4",  s9,  r4,  0xdd8ec);  in main()
2244     TESTINSN_vpush_vpop_f32(s1, 0x000134f4, s2, 0x0870ccb3, s3, 0x00aba0f1, s9, s10, s11);  in main()
2251     TESTINSN_vpush_vpop_f32(s9,  0x2f43,    s10, f2u(INFINITY), s11, 0x3cc66a, s9, s10,  s11);  in main()
2253     TESTINSN_vpush_vpop_f32(s7,  0xcc006d,  s8,  0x1308c,   s9,  0xabbc45, s21, s22,  s23);  in main()