651     TESTINSN_imm("vmov.i64 d15", d15, 0xFF0000FF00FFFF00);  in main()
666     TESTINSN_imm("vmvn.i64 d15", d15, 0xFF0000FF00FFFF00);  in main()
675     TESTINSN_imm("vorr.i32 d15", d15, 0x7000000);  in main()
684     TESTINSN_imm("vbic.i32 d15", d15, 0x7000000);  in main()
689     TESTINSN_un("vmvn d10, d15", d10, d15, i32, 24);  in main()
695     TESTINSN_un("vmov d10, d15", d10, d15, i32, 24);  in main()
702     TESTINSN_un("vmov d0, d15", d0, d15, i32, 7);  in main()
716     TESTINSN_bin("vadd.i64 d13, d14, d15", d13, d14, i32, 140, d15, i32, 120);  in main()
730     TESTINSN_bin("vsub.i64 d13, d14, d15", d13, d14, i32, 140, d15, i32, 120);  in main()
737     TESTINSN_bin("vand d15, d15, d15", d15, d15, i8, 0xff, d15, i8, 0xff);  in main()
744     TESTINSN_bin("vbic d15, d15, d15", d15, d15, i8, 0xff, d15, i8, 0xff);  in main()
751     TESTINSN_bin("vorr d2, d3, d15", d2, d3, i32, 0x24, d15, i32, 0x1f);  in main()
758     TESTINSN_bin("vorn d2, d3, d15", d2, d3, i32, 0x24, d15, i32, 0x1f);  in main()
765     TESTINSN_bin("veor d15, d15, d15", d15, d15, i8, 0xff, d15, i8, 0xff);  in main()
769     TESTINSN_bin("veor d2, d3, d15", d2, d3, i32, 0x24, d15, i32, 0x1f);  in main()
776     TESTINSN_bin("vbsl d15, d15, d15", d15, d15, i8, 0xff, d15, i8, 0xff);  in main()
780     TESTINSN_bin("vbsl d2, d3, d15", d2, d3, i32, 0x24, d15, i32, 0x1f);  in main()
787     TESTINSN_bin("vbit d15, d15, d15", d15, d15, i8, 0xff, d15, i8, 0xff);  in main()
791     TESTINSN_bin("vbit d2, d3, d15", d2, d3, i32, 0x24, d15, i32, 0x1f);  in main()
798     TESTINSN_bin("vbif d15, d15, d15", d15, d15, i8, 0xff, d15, i8, 0xff);  in main()
802     TESTINSN_bin("vbif d2, d3, d15", d2, d3, i32, 0x24, d15, i32, 0x1f);  in main()
811     TESTINSN_bin("vext.8 d0, d5, d15, #5", d0, d5, i8, 0x77, d15, i8, 0xff);  in main()
1018     TESTINSN_bin("vshl.s16 d15, d2, d1", d15, d2, i32, (1 << 30), d1, i32, 11);   in main()
1022     TESTINSN_bin("vshl.s64 d15, d12, d4", d15, d12, i32, 5, d4, i32, 20);   in main()
1025     TESTINSN_bin("vshl.s64 d15, d2, d4", d15, d2, i32, 0xffabcd59, d4, i32, 0xabcdefab);   in main()
1033     TESTINSN_bin("vshl.u16 d15, d2, d1", d15, d2, i32, (1 << 30), d1, i32, 11);  in main()
1034     TESTINSN_bin("vshl.u32 d9, d12, d15", d9, d12, i32, (1 << 31) + 2, d15, i32, 2);  in main()
1037     TESTINSN_bin("vshl.u64 d15, d12, d4", d15, d12, i32, 5, d4, i32, 20);  in main()
1040     TESTINSN_bin("vshl.u64 d15, d2, d4", d15, d2, i32, 0xffabcd59, d4, i32, 0xabcdefab);   in main()
1052     TESTINSN_bin_q("vqshl.s32 d3, d4, d15", d3, d4, i32, 127, d15, i32, -30);  in main()
1063     TESTINSN_bin_q("vqshl.s16 d0, d15, d2", d0, d15, i32, 1, d2, i32, 30);  in main()
1074     TESTINSN_bin_q("vqshl.u64 d13, d14, d15", d13, d14, i32, -17, d15, i32, -26);  in main()
1076     TESTINSN_bin_q("vqshl.u32 d3, d4, d15", d3, d4, i32, 127, d15, i32, -30);  in main()
1087     TESTINSN_bin_q("vqshl.u16 d0, d15, d2", d0, d15, i32, 1, d2, i32, 30);  in main()
1215     TESTINSN_un_q("vqshlu.s16 d15, d14, #15", d15, d14, i32, -1);  in main()
1236     TESTINSN_bin_q("vqrshl.s64 d13, d14, d15", d13, d14, i32, -17, d15, i32, -26);  in main()
1238     TESTINSN_bin_q("vqrshl.s32 d3, d4, d15", d3, d4, i32, 127, d15, i32, -30);  in main()
1249     TESTINSN_bin_q("vqrshl.s16 d0, d15, d2", d0, d15, i32, 1, d2, i32, 30);  in main()
1272     TESTINSN_bin_q("vqrshl.u64 d13, d14, d15", d13, d14, i32, -17, d15, i32, -26);  in main()
1274     TESTINSN_bin_q("vqrshl.u32 d3, d4, d15", d3, d4, i32, 127, d15, i32, -30);  in main()
1285     TESTINSN_bin_q("vqrshl.u16 d0, d15, d2", d0, d15, i32, 1, d2, i32, 30);  in main()
1309     TESTINSN_bin("vrshl.s64 d13, d14, d15", d13, d14, i32, -17, d15, i32, -26);  in main()
1311     TESTINSN_bin("vrshl.s32 d3, d4, d15", d3, d4, i32, 127, d15, i32, -30);  in main()
1322     TESTINSN_bin("vrshl.s16 d0, d15, d2", d0, d15, i32, 1, d2, i32, 30);  in main()
1345     TESTINSN_bin("vrshl.u64 d13, d14, d15", d13, d14, i32, -17, d15, i32, -26);  in main()
1347     TESTINSN_bin("vrshl.u32 d3, d4, d15", d3, d4, i32, 127, d15, i32, -30);  in main()
1358     TESTINSN_bin("vrshl.u16 d0, d15, d2", d0, d15, i32, 1, d2, i32, 30);  in main()
1554     TESTINSN_bin("vmla.i32 d10, d11, d15", d10, d11, i32, 24, d15, i32, -120);  in main()
1568     TESTINSN_bin("vmls.i32 d10, d11, d15", d10, d11, i32, -24, d15, i32, 120);  in main()
1585     TESTINSN_bin("vmul.i32 d10, d11, d15", d10, d11, i32, 24, d15, i32, 120);  in main()
1595     TESTINSN_bin("vmul.i32 d4, d8, d15[1]", d4, d8, i32, (1 << 31) + 1, d15, i32, (1 << 31) + 2);  in main()
1607     TESTINSN_bin("vmla.i32 d4, d8, d15[1]", d4, d8, i32, (1 << 31) + 1, d15, i32, (1 << 31) + 2);  in main()
1619     TESTINSN_bin("vmls.i32 d4, d8, d15[1]", d4, d8, i32, (1 << 31) + 1, d15, i32, (1 << 31) + 2);  in main()
1635     TESTINSN_un("vrshr.u16 d14, d15, #11", d14, d15, i32, -1);  in main()
1654     TESTINSN_un("vrsra.u16 d14, d15, #11", d14, d15, i32, -1);  in main()
1674     TESTINSN_un("vshr.u16 d14, d15, #11", d14, d15, i32, -1);  in main()
1693     TESTINSN_un("vsra.u16 d14, d15, #11", d14, d15, i32, -1);  in main()
1712     TESTINSN_un("vsri.16 d14, d15, #11", d14, d15, i32, -1);  in main()
1947     TESTINSN_VLDn("vld4.8 {d9[],d11[],d13[],d15[]}", d9, d11, d13, d15);  in main()
2273     TESTINSN_VLDn_WB("vld4.8 {d9[],d11[],d13[],d15[]}", d9, d11, d13, d15);  in main()
2599     TESTINSN_VLDn_RI("vld4.8 {d9[],d11[],d13[],d15[]}", d9, d11, d13, d15, r5, -3);  in main()
2787     TESTINSN_un("vabs.s16 d15, d4", d15, d4, i32, 0x73);  in main()
2793     TESTINSN_un("vabs.s16 d15, d4", d15, d4, i16, 0xef0b);  in main()
2802     TESTINSN_un_q("vqabs.s16 d15, d4", d15, d4, i32, 0x73);  in main()
2808     TESTINSN_un_q("vqabs.s16 d15, d4", d15, d4, i16, 0xef0b);  in main()
3001     TESTINSN_un("vsli.16 d14, d15, #11", d14, d15, i32, -1);  in main()
3124     TESTINSN_un("vdup.16 d15, d31[2]", d15, d31, i32, 0x7f00fa);  in main()
3129     TESTINSN_un("vdup.32 d15, d11[0]", d15, d11, i32, 0x3);  in main()
3145     TESTINSN_bin_q("vqdmulh.s32 d10, d11, d15", d10, d11, i32, 24, d15, i32, 120);  in main()
3162     TESTINSN_bin_q("vqdmulh.s32 d10, d31, d15[0]", d10, d31, i32, 24, d15, i32, 120);  in main()
3165     TESTINSN_bin_q("vqdmulh.s32 d10, d14, d15[1]", d10, d14, i32, 1 << 30, d15, i32, 1 << 31);  in main()
3176     TESTINSN_un("vshrn.i16 d15, q11, #2", d15, q11, i32, 0x7f00fa);  in main()
3181     TESTINSN_un("vshrn.i32 d15, q11, #1", d15, q11, i32, 0x3);  in main()
3320     TESTINSN_un("vrshrn.i16 d15, q11, #2", d15, q11, i32, 0x7f00fa);  in main()
3325     TESTINSN_un("vrshrn.i32 d15, q11, #1", d15, q11, i32, 0x3);  in main()
3336     TESTINSN_un("vshl.i64 d15, d12, #63", d15, d12, i32, 5);  in main()
3342     TESTINSN_un("vshl.i32 d15, d12, #20", d15, d12, i32, 5);  in main()
3348     TESTINSN_un("vshl.i16 d15, d12, #3", d15, d12, i16, 5);  in main()
3354     TESTINSN_un("vshl.i8 d15, d12, #3", d15, d12, i8, 5);  in main()
3360     TESTINSN_un("vneg.s16 d15, d4", d15, d4, i32, 0x73);  in main()
3366     TESTINSN_un("vneg.s16 d15, d4", d15, d4, i16, 0xef0b);  in main()
3375     TESTINSN_un_q("vqneg.s16 d15, d4", d15, d4, i32, 0x73);  in main()
3381     TESTINSN_un_q("vqneg.s16 d15, d4", d15, d4, i16, 0xef0b);  in main()
3390     TESTINSN_un("vrev32.16 d30, d15", d30, d15, i32, 0xaabbccdd);  in main()
3570     TESTINSN_bin_q("vqrdmulh.s32 d10, d11, d15", d10, d11, i32, 24, d15, i32, 120);  in main()
3587     TESTINSN_bin_q("vqrdmulh.s32 d10, d31, d15[0]", d10, d31, i32, 24, d15, i32, 120);  in main()
3590     TESTINSN_bin_q("vqrdmulh.s32 d10, d14, d15[1]", d10, d14, i32, 1 << 30, d15, i32, 1 << 31);  in main()
3612     TESTINSN_bin("vadd.f32 d10, d13, d15", d10, d13, i32, f2u(-485.2457), d15, i32, f2u(-567.245));  in main()
3613     TESTINSN_bin("vadd.f32 d10, d13, d15", d10, d13, i32, f2u(278456.45), d15, i32, f2u(8756.0076));  in main()
3655     TESTINSN_bin("vsub.f32 d10, d13, d15", d10, d13, i32, f2u(-485.2457), d15, i32, f2u(-567.245));  in main()
3656     TESTINSN_bin("vsub.f32 d10, d13, d15", d10, d13, i32, f2u(278456.45), d15, i32, f2u(8756.0076));  in main()
3698     TESTINSN_bin("vmul.f32 d10, d13, d15", d10, d13, i32, f2u(-485.2457), d15, i32, f2u(-567.245));  in main()
3699     TESTINSN_bin("vmul.f32 d10, d13, d15", d10, d13, i32, f2u(278456.45), d15, i32, f2u(8756.0076));  in main()
3726     TESTINSN_bin("vmul.f32 d4, d8, d15[1]", d4, d8, i32, (1 << 31) + 1, d15, i32, (1 << 31) + 2);  in main()
3771 …  TESTINSN_bin_f("vmla.f32 d10, d13, d15", d10, d13, i32, f2u(-485.2457), d15, i32, f2u(-567.245));  in main()
3772 … TESTINSN_bin_f("vmla.f32 d10, d13, d15", d10, d13, i32, f2u(278456.45), d15, i32, f2u(8756.0076));  in main()
3799     TESTINSN_bin_f("vmla.f32 d4, d8, d15[1]", d4, d8, i32, (1 << 31) + 1, d15, i32, (1 << 31) + 2);  in main()
3844 …  TESTINSN_bin_f("vmls.f32 d10, d13, d15", d10, d13, i32, f2u(-485.2457), d15, i32, f2u(-567.245));  in main()
3845 … TESTINSN_bin_f("vmls.f32 d10, d13, d15", d10, d13, i32, f2u(278456.45), d15, i32, f2u(8756.0076));  in main()
3872     TESTINSN_bin_f("vmls.f32 d4, d8, d15[1]", d4, d8, i32, (1 << 31) + 1, d15, i32, (1 << 31) + 2);  in main()
3917     TESTINSN_bin("vabd.f32 d10, d13, d15", d10, d13, i32, f2u(-485.2457), d15, i32, f2u(-567.245));  in main()
3918     TESTINSN_bin("vabd.f32 d10, d13, d15", d10, d13, i32, f2u(278456.45), d15, i32, f2u(8756.0076));  in main()
3940     TESTINSN_bin("vpadd.f32 d10, d13, d15", d10, d13, i32, f2u(-485.2457), d15, i32, f2u(-567.245));  in main()
3941 …  TESTINSN_bin("vpadd.f32 d10, d13, d15", d10, d13, i32, f2u(278456.45), d15, i32, f2u(8756.0076));  in main()
3968     TESTINSN_un("vcvt.u32.f32 d15, d4", d15, d4, i32, f2u(3e9));  in main()
3969     TESTINSN_un("vcvt.u32.f32 d15, d4", d15, d4, i32, f2u(-0.5));  in main()
3970     TESTINSN_un("vcvt.u32.f32 d15, d4", d15, d4, i32, f2u(-7.1));  in main()
3975     TESTINSN_un("vcvt.s32.f32 d15, d4", d15, d4, i32, f2u(3e9));  in main()
3976     TESTINSN_un("vcvt.s32.f32 d15, d4", d15, d4, i32, f2u(-0.5));  in main()
3977     TESTINSN_un("vcvt.s32.f32 d15, d4", d15, d4, i32, f2u(-7.1));  in main()
4002     TESTINSN_un("vcvt.u32.f32 d15, d4, #32", d15, d4, i32, f2u(3e9));  in main()
4003     TESTINSN_un("vcvt.u32.f32 d15, d4, #7", d15, d4, i32, f2u(-0.5));  in main()
4004     TESTINSN_un("vcvt.u32.f32 d15, d4, #4", d15, d4, i32, f2u(-7.1));  in main()
4009     TESTINSN_un("vcvt.s32.f32 d15, d4, #8", d15, d4, i32, f2u(3e9));  in main()
4010     TESTINSN_un("vcvt.s32.f32 d15, d4, #2", d15, d4, i32, f2u(-0.5));  in main()
4011     TESTINSN_un("vcvt.s32.f32 d15, d4, #1", d15, d4, i32, f2u(-7.1));  in main()
4052     TESTINSN_bin("vmax.f32 d10, d13, d15", d10, d13, i32, f2u(-485.2457), d15, i32, f2u(-567.245));  in main()
4053     TESTINSN_bin("vmax.f32 d10, d13, d15", d10, d13, i32, f2u(278456.45), d15, i32, f2u(8756.0076));  in main()
4101     TESTINSN_bin("vmin.f32 d10, d13, d15", d10, d13, i32, f2u(-485.2457), d15, i32, f2u(-567.245));  in main()
4102     TESTINSN_bin("vmin.f32 d10, d13, d15", d10, d13, i32, f2u(278456.45), d15, i32, f2u(8756.0076));  in main()
4150     TESTINSN_bin("vpmax.f32 d10, d13, d15", d10, d13, i32, f2u(-485.2457), d15, i32, f2u(-567.245));  in main()
4151 …  TESTINSN_bin("vpmax.f32 d10, d13, d15", d10, d13, i32, f2u(278456.45), d15, i32, f2u(8756.0076));  in main()
4199     TESTINSN_bin("vpmin.f32 d10, d13, d15", d10, d13, i32, f2u(-485.2457), d15, i32, f2u(-567.245));  in main()
4200 …  TESTINSN_bin("vpmin.f32 d10, d13, d15", d10, d13, i32, f2u(278456.45), d15, i32, f2u(8756.0076));  in main()
4234     TESTINSN_un("vrecpe.u32 d15, d4", d15, d4, i32, f2u(3e9));  in main()
4235     TESTINSN_un("vrecpe.u32 d15, d4", d15, d4, i32, f2u(-0.5));  in main()
4236     TESTINSN_un("vrecpe.u32 d15, d4", d15, d4, i32, f2u(-7.1));  in main()
4241     TESTINSN_un("vrecpe.u32 d15, d4", d15, d4, i32, f2u(3e9));  in main()
4242     TESTINSN_un("vrecpe.f32 d15, d4", d15, d4, i32, f2u(-0.5));  in main()
4243     TESTINSN_un("vrecpe.f32 d15, d4", d15, d4, i32, f2u(-7.1));  in main()
4280 …  TESTINSN_bin("vrecps.f32 d10, d13, d15", d10, d13, i32, f2u(-485.2457), d15, i32, f2u(-567.245));  in main()
4281 … TESTINSN_bin("vrecps.f32 d10, d13, d15", d10, d13, i32, f2u(278456.45), d15, i32, f2u(8756.0076));  in main()
4308     TESTINSN_un("vabs.f32 d15, d4", d15, d4, i32, f2u(3e9));  in main()
4309     TESTINSN_un("vabs.f32 d15, d4", d15, d4, i32, f2u(-0.5));  in main()
4310     TESTINSN_un("vabs.f32 d15, d4", d15, d4, i32, f2u(-7.1));  in main()
4315     TESTINSN_un("vabs.f32 d15, d4", d15, d4, i32, f2u(3e9));  in main()
4316     TESTINSN_un("vabs.f32 d15, d4", d15, d4, i32, f2u(-0.5));  in main()
4317     TESTINSN_un("vabs.f32 d15, d4", d15, d4, i32, f2u(-7.1));  in main()
4338     TESTINSN_bin("vcgt.f32 d2, d15, d12", d2, d15, i32, f2u(-0.53), d12, i32, f2u(0.52));  in main()
4339     TESTINSN_bin("vcgt.f32 d15, d7, d8", d15, d7, i32, f2u(231.45), d7, i32, f2u(231.45));  in main()
4357     TESTINSN_bin("vcgt.f32 d10, d13, d15", d10, d13, i32, f2u(-485.2457), d15, i32, f2u(-567.245));  in main()
4358     TESTINSN_bin("vcgt.f32 d10, d13, d15", d10, d13, i32, f2u(278456.45), d15, i32, f2u(8756.0076));  in main()
4390     TESTINSN_bin("vcge.f32 d2, d15, d12", d2, d15, i32, f2u(-0.53), d12, i32, f2u(0.52));  in main()
4391     TESTINSN_bin("vcge.f32 d15, d7, d8", d15, d7, i32, f2u(231.45), d7, i32, f2u(231.45));  in main()
4409     TESTINSN_bin("vcge.f32 d10, d13, d15", d10, d13, i32, f2u(-485.2457), d15, i32, f2u(-567.245));  in main()
4410     TESTINSN_bin("vcge.f32 d10, d13, d15", d10, d13, i32, f2u(278456.45), d15, i32, f2u(8756.0076));  in main()
4442     TESTINSN_bin("vacgt.f32 d2, d15, d12", d2, d15, i32, f2u(-0.53), d12, i32, f2u(0.52));  in main()
4443     TESTINSN_bin("vacgt.f32 d15, d7, d8", d15, d7, i32, f2u(231.45), d7, i32, f2u(231.45));  in main()
4461     TESTINSN_bin("vacgt.f32 d10, d13, d15", d10, d13, i32, f2u(-485.2457), d15, i32, f2u(-567.245));  in main()
4462 …  TESTINSN_bin("vacgt.f32 d10, d13, d15", d10, d13, i32, f2u(278456.45), d15, i32, f2u(8756.0076));  in main()
4494     TESTINSN_bin("vacge.f32 d2, d15, d12", d2, d15, i32, f2u(-0.53), d12, i32, f2u(0.52));  in main()
4495     TESTINSN_bin("vacge.f32 d15, d7, d8", d15, d7, i32, f2u(231.45), d7, i32, f2u(231.45));  in main()
4513     TESTINSN_bin("vacge.f32 d10, d13, d15", d10, d13, i32, f2u(-485.2457), d15, i32, f2u(-567.245));  in main()
4514 …  TESTINSN_bin("vacge.f32 d10, d13, d15", d10, d13, i32, f2u(278456.45), d15, i32, f2u(8756.0076));  in main()
4546     TESTINSN_bin("vceq.f32 d2, d15, d12", d2, d15, i32, f2u(-0.53), d12, i32, f2u(0.52));  in main()
4547     TESTINSN_bin("vceq.f32 d15, d7, d8", d15, d7, i32, f2u(231.45), d7, i32, f2u(231.45));  in main()
4565     TESTINSN_bin("vceq.f32 d10, d13, d15", d10, d13, i32, f2u(-485.2457), d15, i32, f2u(-567.245));  in main()
4566     TESTINSN_bin("vceq.f32 d10, d13, d15", d10, d13, i32, f2u(278456.45), d15, i32, f2u(8756.0076));  in main()
4602     TESTINSN_un("vceq.f32 d30, d15, #0", d30, d15, i32, 0x0);  in main()
4615     TESTINSN_un("vcgt.f32 d30, d15, #0", d30, d15, i32, 0x0);  in main()
4628     TESTINSN_un("vclt.f32 d30, d15, #0", d30, d15, i32, 0x0);  in main()
4641     TESTINSN_un("vcge.f32 d30, d15, #0", d30, d15, i32, 0x0);  in main()
4654     TESTINSN_un("vcle.f32 d30, d15, #0", d30, d15, i32, 0x0);  in main()
4667     TESTINSN_un("vneg.f32 d30, d15", d30, d15, i32, 0x0);  in main()
4692 … TESTINSN_bin("vrsqrts.f32 d10, d13, d15", d10, d13, i32, f2u(-485.2457), d15, i32, f2u(-567.245));  in main()
4693 …TESTINSN_bin("vrsqrts.f32 d10, d13, d15", d10, d13, i32, f2u(278456.45), d15, i32, f2u(8756.0076));  in main()
4720     TESTINSN_un("vrsqrte.f32 d15, d4", d15, d4, i32, f2u(3e9));  in main()
4721     TESTINSN_un("vrsqrte.f32 d15, d4", d15, d4, i32, f2u(-0.5));  in main()
4722     TESTINSN_un("vrsqrte.f32 d15, d4", d15, d4, i32, f2u(-7.1));  in main()
4727     TESTINSN_un("vrsqrte.f32 d15, d4", d15, d4, i32, f2u(3e9));  in main()
4728     TESTINSN_un("vrsqrte.f32 d15, d4", d15, d4, i32, f2u(-0.5));  in main()
4729     TESTINSN_un("vrsqrte.f32 d15, d4", d15, d4, i32, f2u(-7.1));  in main()