Lines Matching refs:TESTINST2
18 #define TESTINST2(instruction, RMval, RD, RM, carryin) \ macro
272 TESTINST2("clz r0, r1", 0, r0, r1, c); in main()
273 TESTINST2("clz r0, r1", 1, r0, r1, c); in main()
274 TESTINST2("clz r0, r1", 0x10, r0, r1, c); in main()
275 TESTINST2("clz r0, r1", 0xffffffff, r0, r1, c); in main()
279 TESTINST2("uxtb r0, r1", 0, r0, r1, 0); in main()
280 TESTINST2("uxtb r0, r1", 1, r0, r1, 0); in main()
281 TESTINST2("uxtb r0, r1", 0xff, r0, r1, 0); in main()
282 TESTINST2("uxtb r0, r1", 0xffffffff, r0, r1, 0); in main()
283 TESTINST2("sxtb r0, r1", 0, r0, r1, 0); in main()
284 TESTINST2("sxtb r0, r1", 1, r0, r1, 0); in main()
285 TESTINST2("sxtb r0, r1", 0xff, r0, r1, 0); in main()
286 TESTINST2("sxtb r0, r1", 0xffffffff, r0, r1, 0); in main()
288 TESTINST2("uxth r0, r1", 0, r0, r1, 0); in main()
289 TESTINST2("uxth r0, r1", 1, r0, r1, 0); in main()
290 TESTINST2("uxth r0, r1", 0xffff, r0, r1, 0); in main()
291 TESTINST2("uxth r0, r1", 0xffffffff, r0, r1, 0); in main()
292 TESTINST2("sxth r0, r1", 0, r0, r1, 0); in main()
293 TESTINST2("sxth r0, r1", 1, r0, r1, 0); in main()
294 TESTINST2("sxth r0, r1", 0x7fff, r0, r1, 0); in main()
295 TESTINST2("sxth r0, r1", 0xffff, r0, r1, 0); in main()
296 TESTINST2("sxth r0, r1", 0x10ffff, r0, r1, 0); in main()
297 TESTINST2("sxth r0, r1", 0x107fff, r0, r1, 0); in main()
298 TESTINST2("sxth r0, r1", 0xffffffff, r0, r1, 0); in main()
300 TESTINST2("uxtb r0, r1, ror #0", 0x000000ff, r0, r1, 0); in main()
301 TESTINST2("uxtb r0, r1, ror #8", 0x000000ff, r0, r1, 0); in main()
302 TESTINST2("uxtb r0, r1, ror #8", 0x0000ff00, r0, r1, 0); in main()
303 TESTINST2("uxtb r0, r1, ror #16", 0x00ff0000, r0, r1, 0); in main()
304 TESTINST2("uxtb r0, r1, ror #24", 0xff000000, r0, r1, 0); in main()
306 TESTINST2("uxtb16 r0, r1", 0xffffffff, r0, r1, 0); in main()
307 TESTINST2("uxtb16 r0, r1, ror #16", 0x0000ffff, r0, r1, 0); in main()
308 TESTINST2("sxtb16 r0, r1", 0xffffffff, r0, r1, 0); in main()
309 TESTINST2("sxtb16 r0, r1", 0x00ff00ff, r0, r1, 0); in main()
310 TESTINST2("sxtb16 r0, r1", 0x007f007f, r0, r1, 0); in main()
314 TESTINST2("bfi r0, r1, #0, #11", 0xAAAAAAAA, r0, r1, 0); in main()
315 TESTINST2("bfi r0, r1, #1, #11", 0xAAAAAAAA, r0, r1, 0); in main()
316 TESTINST2("bfi r0, r1, #2, #11", 0xAAAAAAAA, r0, r1, 0); in main()
318 TESTINST2("bfi r0, r1, #19, #11", 0xFFFFFFFF, r0, r1, 0); in main()
319 TESTINST2("bfi r0, r1, #20, #11", 0xFFFFFFFF, r0, r1, 0); in main()
320 TESTINST2("bfi r0, r1, #21, #11", 0xFFFFFFFF, r0, r1, 0); in main()
322 TESTINST2("bfi r0, r1, #0, #32", 0xFFFFFFFF, r0, r1, 0); in main()
323 TESTINST2("bfi r0, r1, #1, #31", 0xFFFFFFFF, r0, r1, 0); in main()
325 TESTINST2("bfi r0, r1, #29, #3", 0xFFFFFFFF, r0, r1, 0); in main()
326 TESTINST2("bfi r0, r1, #30, #2", 0xFFFFFFFF, r0, r1, 0); in main()
327 TESTINST2("bfi r0, r1, #31, #1", 0xFFFFFFFF, r0, r1, 0); in main()
331 TESTINST2("bfc r0, #0, #11", 0xAAAAAAAA, r0, r1, 0); in main()
332 TESTINST2("bfc r0, #1, #11", 0xAAAAAAAA, r0, r1, 0); in main()
333 TESTINST2("bfc r0, #2, #11", 0xAAAAAAAA, r0, r1, 0); in main()
335 TESTINST2("bfc r0, #19, #11", 0xFFFFFFFF, r0, r1, 0); in main()
336 TESTINST2("bfc r0, #20, #11", 0xFFFFFFFF, r0, r1, 0); in main()
337 TESTINST2("bfc r0, #21, #11", 0xFFFFFFFF, r0, r1, 0); in main()
339 TESTINST2("bfc r0, #0, #32", 0xFFFFFFFF, r0, r1, 0); in main()
340 TESTINST2("bfc r0, #1, #31", 0xFFFFFFFF, r0, r1, 0); in main()
342 TESTINST2("bfc r0, #29, #3", 0xFFFFFFFF, r0, r1, 0); in main()
343 TESTINST2("bfc r0, #30, #2", 0xFFFFFFFF, r0, r1, 0); in main()
344 TESTINST2("bfc r0, #31, #1", 0xFFFFFFFF, r0, r1, 0); in main()
348 TESTINST2("sbfx r0, r1, #0, #1", 0x00000000, r0, r1, 0); in main()
349 TESTINST2("sbfx r0, r1, #0, #1", 0x00000001, r0, r1, 0); in main()
350 TESTINST2("sbfx r0, r1, #1, #1", 0x00000000, r0, r1, 0); in main()
351 TESTINST2("sbfx r0, r1, #1, #1", 0x00000001, r0, r1, 0); in main()
352 TESTINST2("sbfx r0, r1, #1, #1", 0x00000002, r0, r1, 0); in main()
353 TESTINST2("sbfx r0, r1, #1, #1", 0x00000003, r0, r1, 0); in main()
355 TESTINST2("sbfx r0, r1, #0, #2", 0x00000000, r0, r1, 0); in main()
356 TESTINST2("sbfx r0, r1, #0, #2", 0x00000001, r0, r1, 0); in main()
357 TESTINST2("sbfx r0, r1, #1, #2", 0x00000000, r0, r1, 0); in main()
358 TESTINST2("sbfx r0, r1, #1, #2", 0x00000001, r0, r1, 0); in main()
359 TESTINST2("sbfx r0, r1, #1, #2", 0x00000002, r0, r1, 0); in main()
360 TESTINST2("sbfx r0, r1, #1, #2", 0x00000003, r0, r1, 0); in main()
362 TESTINST2("sbfx r0, r1, #0, #11", 0xAAAAAAAA, r0, r1, 0); in main()
363 TESTINST2("sbfx r0, r1, #1, #11", 0xAAAAAAAA, r0, r1, 0); in main()
364 TESTINST2("sbfx r0, r1, #2, #11", 0xAAAAAAAA, r0, r1, 0); in main()
365 TESTINST2("sbfx r0, r1, #2, #11", 0xAAAAAAAA, r0, r1, 0); in main()
366 TESTINST2("sbfx r0, r1, #31, #1", 0xAAAAAAAA, r0, r1, 0); in main()
367 TESTINST2("sbfx r0, r1, #30, #2", 0xAAAAAAAA, r0, r1, 0); in main()
371 TESTINST2("ubfx r0, r1, #0, #1", 0x00000000, r0, r1, 0); in main()
372 TESTINST2("ubfx r0, r1, #0, #1", 0x00000001, r0, r1, 0); in main()
373 TESTINST2("ubfx r0, r1, #1, #1", 0x00000000, r0, r1, 0); in main()
374 TESTINST2("ubfx r0, r1, #1, #1", 0x00000001, r0, r1, 0); in main()
375 TESTINST2("ubfx r0, r1, #1, #1", 0x00000002, r0, r1, 0); in main()
376 TESTINST2("ubfx r0, r1, #1, #1", 0x00000003, r0, r1, 0); in main()
378 TESTINST2("ubfx r0, r1, #0, #2", 0x00000000, r0, r1, 0); in main()
379 TESTINST2("ubfx r0, r1, #0, #2", 0x00000001, r0, r1, 0); in main()
380 TESTINST2("ubfx r0, r1, #1, #2", 0x00000000, r0, r1, 0); in main()
381 TESTINST2("ubfx r0, r1, #1, #2", 0x00000001, r0, r1, 0); in main()
382 TESTINST2("ubfx r0, r1, #1, #2", 0x00000002, r0, r1, 0); in main()
383 TESTINST2("ubfx r0, r1, #1, #2", 0x00000003, r0, r1, 0); in main()
385 TESTINST2("ubfx r0, r1, #0, #11", 0xAAAAAAAA, r0, r1, 0); in main()
386 TESTINST2("ubfx r0, r1, #1, #11", 0xAAAAAAAA, r0, r1, 0); in main()
387 TESTINST2("ubfx r0, r1, #2, #11", 0xAAAAAAAA, r0, r1, 0); in main()
388 TESTINST2("ubfx r0, r1, #2, #11", 0xAAAAAAAA, r0, r1, 0); in main()
389 TESTINST2("ubfx r0, r1, #31, #1", 0xAAAAAAAA, r0, r1, 0); in main()
390 TESTINST2("ubfx r0, r1, #30, #2", 0xAAAAAAAA, r0, r1, 0); in main()
878 TESTINST2("usat r0, #0, r1", 0x0123abcd, r0, r1, 0); in main()
879 TESTINST2("usat r0, #1, r1", 0x0123abcd, r0, r1, 0); in main()
880 TESTINST2("usat r0, #5, r1", 0x0123abcd, r0, r1, 0); in main()
881 TESTINST2("usat r0, #8, r1", 0x0123abcd, r0, r1, 0); in main()
882 TESTINST2("usat r0, #11, r1", 0x11110000, r0, r1, 0); in main()
883 TESTINST2("usat r0, #13, r1", 0x11110000, r0, r1, 0); in main()
884 TESTINST2("usat r0, #15, r1", 0x11110000, r0, r1, 0); in main()
885 TESTINST2("usat r0, #0, r1", 0xebbff82b, r0, r1, 0); in main()
886 TESTINST2("usat r0, #31, r1, lsl #0", 0x5f986e68, r0, r1, 0); in main()
887 TESTINST2("usat r0, #31, r1, lsl #0", 0xe7aa57b4, r0, r1, 0); in main()
888 TESTINST2("usat r0, #31, r1, lsl #0", 0x89d2ef86, r0, r1, 0); in main()
889 TESTINST2("usat r0, #31, r1, lsl #8", 0xc53aaba9, r0, r1, 0); in main()
890 TESTINST2("usat r0, #31, r1, lsl #8", 0x216158cb, r0, r1, 0); in main()
891 TESTINST2("usat r0, #31, r1, lsl #8", 0x3cd6cd94, r0, r1, 0); in main()
892 TESTINST2("usat r0, #0, r1, lsl #0", 0xf87b961e, r0, r1, 0); in main()
893 TESTINST2("usat r0, #0, r1, lsl #0", 0xc61b323b, r0, r1, 0); in main()
894 TESTINST2("usat r0, #0, r1, lsl #0", 0xa3268abe, r0, r1, 0); in main()
895 TESTINST2("usat r0, #0, r1, lsl #8", 0xbf73f0a5, r0, r1, 0); in main()
896 TESTINST2("usat r0, #0, r1, lsl #8", 0x925ef472, r0, r1, 0); in main()
897 TESTINST2("usat r0, #0, r1, lsl #8", 0x137741f4, r0, r1, 0); in main()
898 TESTINST2("usat r0, #24, r1, lsl #2", 0x50c28082, r0, r1, 0); in main()
899 TESTINST2("usat r0, #16, r1, lsl #3", 0x17962e8f, r0, r1, 0); in main()
900 TESTINST2("usat r0, #12, r1, lsl #4", 0xc57243b7, r0, r1, 0); in main()
901 TESTINST2("usat r0, #8, r1, lsl #8", 0xf20fb90f, r0, r1, 0); in main()
902 TESTINST2("usat r0, #4, r1, lsl #12", 0xbb151055, r0, r1, 0); in main()
903 TESTINST2("usat r0, #3, r1, lsl #16", 0x957440d2, r0, r1, 0); in main()
904 TESTINST2("usat r0, #2, r1, lsl #24", 0x728b7771, r0, r1, 0); in main()
905 TESTINST2("usat r0, #1, r1, lsl #31", 0xf13c20f3, r0, r1, 0); in main()
906 TESTINST2("usat r0, #0, r1", 0xebbff82b, r0, r1, 0); in main()
907 TESTINST2("usat r0, #31, r1, asr #0", 0x5f986e68, r0, r1, 0); in main()
908 TESTINST2("usat r0, #31, r1, asr #0", 0xe7aa57b4, r0, r1, 0); in main()
909 TESTINST2("usat r0, #31, r1, asr #0", 0x89d2ef86, r0, r1, 0); in main()
910 TESTINST2("usat r0, #31, r1, asr #8", 0xc53aaba9, r0, r1, 0); in main()
911 TESTINST2("usat r0, #31, r1, asr #8", 0x216158cb, r0, r1, 0); in main()
912 TESTINST2("usat r0, #31, r1, asr #8", 0x3cd6cd94, r0, r1, 0); in main()
913 TESTINST2("usat r0, #0, r1, asr #0", 0xf87b961e, r0, r1, 0); in main()
914 TESTINST2("usat r0, #0, r1, asr #0", 0xc61b323b, r0, r1, 0); in main()
915 TESTINST2("usat r0, #0, r1, asr #0", 0xa3268abe, r0, r1, 0); in main()
916 TESTINST2("usat r0, #0, r1, asr #8", 0xbf73f0a5, r0, r1, 0); in main()
917 TESTINST2("usat r0, #0, r1, asr #8", 0x925ef472, r0, r1, 0); in main()
918 TESTINST2("usat r0, #0, r1, asr #8", 0x137741f4, r0, r1, 0); in main()
919 TESTINST2("usat r0, #24, r1, asr #2", 0x50c28082, r0, r1, 0); in main()
920 TESTINST2("usat r0, #16, r1, asr #3", 0x17962e8f, r0, r1, 0); in main()
921 TESTINST2("usat r0, #12, r1, asr #4", 0xc57243b7, r0, r1, 0); in main()
922 TESTINST2("usat r0, #8, r1, asr #8", 0xf20fb90f, r0, r1, 0); in main()
923 TESTINST2("usat r0, #4, r1, asr #12", 0xbb151055, r0, r1, 0); in main()
924 TESTINST2("usat r0, #3, r1, asr #16", 0x957440d2, r0, r1, 0); in main()
925 TESTINST2("usat r0, #2, r1, asr #24", 0x728b7771, r0, r1, 0); in main()
926 TESTINST2("usat r0, #1, r1, asr #31", 0xf13c20f3, r0, r1, 0); in main()
927 TESTINST2("usat r0, #0, r1", 0xebbff82b, r0, r1, 0); in main()
928 TESTINST2("usat r0, #31, r1, asr #0", 0x5f986e68, r0, r1, 0); in main()
929 TESTINST2("usat r0, #31, r1, asr #0", 0xe7aa57b4, r0, r1, 0); in main()
930 TESTINST2("usat r0, #31, r1, asr #0", 0x89d2ef86, r0, r1, 0); in main()
931 TESTINST2("usat r0, #31, r1, asr #8", 0xc53aaba9, r0, r1, 0); in main()
932 TESTINST2("usat r0, #31, r1, asr #8", 0x216158cb, r0, r1, 0); in main()
933 TESTINST2("usat r0, #31, r1, asr #8", 0x3cd6cd94, r0, r1, 0); in main()
934 TESTINST2("usat r0, #0, r1, asr #0", 0xf87b961e, r0, r1, 0); in main()
935 TESTINST2("usat r0, #0, r1, asr #0", 0xc61b323b, r0, r1, 0); in main()
936 TESTINST2("usat r0, #0, r1, asr #0", 0xa3268abe, r0, r1, 0); in main()
937 TESTINST2("usat r0, #0, r1, asr #8", 0xbf73f0a5, r0, r1, 0); in main()
938 TESTINST2("usat r0, #0, r1, asr #8", 0x925ef472, r0, r1, 0); in main()
939 TESTINST2("usat r0, #0, r1, asr #8", 0x137741f4, r0, r1, 0); in main()
940 TESTINST2("usat r0, #24, r1, asr #2", 0x50c28082, r0, r1, 0); in main()
941 TESTINST2("usat r0, #16, r1, asr #3", 0x17962e8f, r0, r1, 0); in main()
942 TESTINST2("usat r0, #12, r1, asr #4", 0xc57243b7, r0, r1, 0); in main()
943 TESTINST2("usat r0, #8, r1, asr #8", 0xf20fb90f, r0, r1, 0); in main()
944 TESTINST2("usat r0, #4, r1, asr #12", 0xbb151055, r0, r1, 0); in main()
945 TESTINST2("usat r0, #3, r1, asr #16", 0x957440d2, r0, r1, 0); in main()
946 TESTINST2("usat r0, #2, r1, asr #24", 0x728b7771, r0, r1, 0); in main()
947 TESTINST2("usat r0, #1, r1, asr #31", 0xf13c20f3, r0, r1, 0); in main()
949 TESTINST2("usat r0, #0, r1, asr #32", 0xa9085781, r0, r1, 0); in main()
950 TESTINST2("usat r0, #31, r1, asr #32", 0x40b094e2, r0, r1, 0); in main()
951 TESTINST2("usat r0, #31, r1, asr #32", 0x17913309, r0, r1, 0); in main()
952 TESTINST2("usat r0, #31, r1, asr #32", 0x5388b5cd, r0, r1, 0); in main()
953 TESTINST2("usat r0, #24, r1, asr #32", 0x86582032, r0, r1, 0); in main()
954 TESTINST2("usat r0, #16, r1, asr #32", 0x5de41558, r0, r1, 0); in main()
955 TESTINST2("usat r0, #12, r1, asr #32", 0xccfa1c7e, r0, r1, 0); in main()
956 TESTINST2("usat r0, #8, r1, asr #32", 0x23ba1b46, r0, r1, 0); in main()
957 TESTINST2("usat r0, #4, r1, asr #32", 0x4437983c, r0, r1, 0); in main()
958 TESTINST2("usat r0, #3, r1, asr #32", 0x48d06549, r0, r1, 0); in main()
959 TESTINST2("usat r0, #2, r1, asr #32", 0xa9085781, r0, r1, 0); in main()
960 TESTINST2("usat r0, #1, r1, asr #32", 0xc6b4ac58, r0, r1, 0); in main()
964 TESTINST2("usat16 r0, #0, r1", 0x0123abcd, r0, r1, 0); in main()
965 TESTINST2("usat16 r0, #1, r1", 0xffcdabcd, r0, r1, 0); in main()
966 TESTINST2("usat16 r0, #5, r1", 0x0123feff, r0, r1, 0); in main()
967 TESTINST2("usat16 r0, #8, r1", 0x0123abcd, r0, r1, 0); in main()
968 TESTINST2("usat16 r0, #11, r1", 0x11110000, r0, r1, 0); in main()
969 TESTINST2("usat16 r0, #13, r1", 0x1111f111, r0, r1, 0); in main()
970 TESTINST2("usat16 r0, #15, r1", 0x00001111, r0, r1, 0); in main()
971 TESTINST2("usat16 r0, #0, r1", 0xebbff82b, r0, r1, 0); in main()
972 TESTINST2("usat16 r0, #1, r1", 0xebbff82b, r0, r1, 0); in main()
973 TESTINST2("usat16 r0, #3, r1", 0x50c28082, r0, r1, 0); in main()
974 TESTINST2("usat16 r0, #5, r1", 0x17962e8f, r0, r1, 0); in main()
975 TESTINST2("usat16 r0, #8, r1", 0xc57243b7, r0, r1, 0); in main()
976 TESTINST2("usat16 r0, #10, r1", 0xf20fb90f, r0, r1, 0); in main()
977 TESTINST2("usat16 r0, #11, r1", 0xbb151055, r0, r1, 0); in main()
978 TESTINST2("usat16 r0, #13, r1", 0x957440d2, r0, r1, 0); in main()
979 TESTINST2("usat16 r0, #14, r1", 0x728b7771, r0, r1, 0); in main()
980 TESTINST2("usat16 r0, #15, r1", 0xf13c20f3, r0, r1, 0); in main()
981 TESTINST2("usat16 r0, #0, r1", 0x86398371, r0, r1, 0); in main()
982 TESTINST2("usat16 r0, #1, r1", 0x03d0fb78, r0, r1, 0); in main()
983 TESTINST2("usat16 r0, #3, r1", 0xd0d49b7c, r0, r1, 0); in main()
984 TESTINST2("usat16 r0, #5, r1", 0x76354a58, r0, r1, 0); in main()
985 TESTINST2("usat16 r0, #8, r1", 0x9fa45fb7, r0, r1, 0); in main()
986 TESTINST2("usat16 r0, #10, r1", 0x7572bdec, r0, r1, 0); in main()
987 TESTINST2("usat16 r0, #11, r1", 0xfea59eb6, r0, r1, 0); in main()
988 TESTINST2("usat16 r0, #13, r1", 0xf2669090, r0, r1, 0); in main()
989 TESTINST2("usat16 r0, #14, r1", 0xbc1ff573, r0, r1, 0); in main()
990 TESTINST2("usat16 r0, #15, r1", 0x7eb226ac, r0, r1, 0); in main()
991 TESTINST2("usat16 r0, #0, r1", 0x22b65db1, r0, r1, 0); in main()
992 TESTINST2("usat16 r0, #1, r1", 0x776c41c7, r0, r1, 0); in main()
993 TESTINST2("usat16 r0, #3, r1", 0xe50dd77c, r0, r1, 0); in main()
994 TESTINST2("usat16 r0, #5, r1", 0xd6f9a698, r0, r1, 0); in main()
995 TESTINST2("usat16 r0, #8, r1", 0xeda5110c, r0, r1, 0); in main()
996 TESTINST2("usat16 r0, #10, r1", 0x0be36f70, r0, r1, 0); in main()
997 TESTINST2("usat16 r0, #11, r1", 0xd759eb72, r0, r1, 0); in main()
998 TESTINST2("usat16 r0, #13, r1", 0xd9c4b1f4, r0, r1, 0); in main()
999 TESTINST2("usat16 r0, #14, r1", 0xa29eb320, r0, r1, 0); in main()
1000 TESTINST2("usat16 r0, #15, r1", 0xcf1e4487, r0, r1, 0); in main()
1001 TESTINST2("usat16 r0, #0, r1", 0x2eb68500, r0, r1, 0); in main()
1002 TESTINST2("usat16 r0, #1, r1", 0xcdb7ed11, r0, r1, 0); in main()
1003 TESTINST2("usat16 r0, #3, r1", 0x2eaea305, r0, r1, 0); in main()
1004 TESTINST2("usat16 r0, #5, r1", 0x6ebd04d9, r0, r1, 0); in main()
1005 TESTINST2("usat16 r0, #8, r1", 0xa5ec1aa8, r0, r1, 0); in main()
1006 TESTINST2("usat16 r0, #10, r1", 0x72f33509, r0, r1, 0); in main()
1007 TESTINST2("usat16 r0, #11, r1", 0xa3e6f759, r0, r1, 0); in main()
1008 TESTINST2("usat16 r0, #13, r1", 0xfaceab39, r0, r1, 0); in main()
1009 TESTINST2("usat16 r0, #14, r1", 0x2738f0ff, r0, r1, 0); in main()
1010 TESTINST2("usat16 r0, #15, r1", 0xe79fd570, r0, r1, 0); in main()
1011 TESTINST2("usat16 r0, #0, r1", 0x55ea3e4e, r0, r1, 0); in main()
1012 TESTINST2("usat16 r0, #1, r1", 0x2b62ba5a, r0, r1, 0); in main()
1013 TESTINST2("usat16 r0, #3, r1", 0x9b41bfb1, r0, r1, 0); in main()
1014 TESTINST2("usat16 r0, #5, r1", 0x557c7ba2, r0, r1, 0); in main()
1015 TESTINST2("usat16 r0, #8, r1", 0x2973c051, r0, r1, 0); in main()
1016 TESTINST2("usat16 r0, #10, r1", 0x6a228b19, r0, r1, 0); in main()
1017 TESTINST2("usat16 r0, #11, r1", 0x0cdafabe, r0, r1, 0); in main()
1018 TESTINST2("usat16 r0, #13, r1", 0x50865114, r0, r1, 0); in main()
1019 TESTINST2("usat16 r0, #14, r1", 0xd83b849b, r0, r1, 0); in main()
1020 TESTINST2("usat16 r0, #15, r1", 0xca5e5605, r0, r1, 0); in main()
3335 TESTINST2("ssat r0, #1, r1, LSL #31", 0x80008000, r0, r1, 0); in main()
3336 TESTINST2("ssat r0, #6, r1, LSL #24", 0x80008000, r0, r1, 0); in main()
3337 TESTINST2("ssat r0, #8, r1, ASR #18", 0x80008000, r0, r1, 0); in main()
3338 TESTINST2("ssat r0, #12, r1, ASR #16", 0x80008000, r0, r1, 0); in main()
3339 TESTINST2("ssat r0, #16, r1, LSL #12", 0xffff0009, r0, r1, 0); in main()
3340 TESTINST2("ssat r0, #18, r1, LSL #8", 0xffff0009, r0, r1, 0); in main()
3341 TESTINST2("ssat r0, #24, r1, ASR #6", 0xffff0009, r0, r1, 0); in main()
3342 TESTINST2("ssat r0, #31, r1, ASR #1", 0xffff0009, r0, r1, 0); in main()
3343 TESTINST2("ssat r0, #1, r1", 0x256bfdd6, r0, r1, 0); in main()
3344 TESTINST2("ssat r0, #1, r1", 0xc02a0c05, r0, r1, 0); in main()
3345 TESTINST2("ssat r0, #1, r1", 0xee2fa46e, r0, r1, 0); in main()
3346 TESTINST2("ssat r0, #1, r1", 0x97a7da20, r0, r1, 0); in main()
3347 TESTINST2("ssat r0, #32, r1", 0xa231d5e6, r0, r1, 0); in main()
3348 TESTINST2("ssat r0, #32, r1", 0x10e1968a, r0, r1, 0); in main()
3349 TESTINST2("ssat r0, #32, r1", 0x0e089270, r0, r1, 0); in main()
3350 TESTINST2("ssat r0, #32, r1", 0x9e8e0185, r0, r1, 0); in main()
3351 TESTINST2("ssat r0, #32, r1", 0x3096f12e, r0, r1, 0); in main()
3352 TESTINST2("ssat r0, #32, r1", 0xffc134df, r0, r1, 0); in main()
3353 TESTINST2("ssat r0, #1, r1, LSL #31", 0x256bfdd6, r0, r1, 0); in main()
3354 TESTINST2("ssat r0, #1, r1, LSL #31", 0xc02a0c05, r0, r1, 0); in main()
3355 TESTINST2("ssat r0, #1, r1, LSL #31", 0xee2fa46e, r0, r1, 0); in main()
3356 TESTINST2("ssat r0, #1, r1, LSL #31", 0x97a7da20, r0, r1, 0); in main()
3357 TESTINST2("ssat r0, #1, r1, LSL #31", 0xa231d5e6, r0, r1, 0); in main()
3358 TESTINST2("ssat r0, #1, r1, LSL #31", 0x10e1968a, r0, r1, 0); in main()
3359 TESTINST2("ssat r0, #1, r1, LSL #31", 0x0e089270, r0, r1, 0); in main()
3360 TESTINST2("ssat r0, #1, r1, LSL #31", 0x9e8e0185, r0, r1, 0); in main()
3361 TESTINST2("ssat r0, #1, r1, LSL #31", 0x3096f12e, r0, r1, 0); in main()
3362 TESTINST2("ssat r0, #1, r1, LSL #31", 0xffc134df, r0, r1, 0); in main()
3363 TESTINST2("ssat r0, #3, r1, LSL #28", 0x256bfdd6, r0, r1, 0); in main()
3364 TESTINST2("ssat r0, #3, r1, LSL #28", 0xc02a0c05, r0, r1, 0); in main()
3365 TESTINST2("ssat r0, #3, r1, LSL #28", 0xee2fa46e, r0, r1, 0); in main()
3366 TESTINST2("ssat r0, #3, r1, LSL #28", 0x97a7da20, r0, r1, 0); in main()
3367 TESTINST2("ssat r0, #3, r1, LSL #28", 0xa231d5e6, r0, r1, 0); in main()
3368 TESTINST2("ssat r0, #3, r1, LSL #28", 0x10e1968a, r0, r1, 0); in main()
3369 TESTINST2("ssat r0, #3, r1, LSL #28", 0x0e089270, r0, r1, 0); in main()
3370 TESTINST2("ssat r0, #3, r1, LSL #28", 0x9e8e0185, r0, r1, 0); in main()
3371 TESTINST2("ssat r0, #3, r1, LSL #28", 0x3096f12e, r0, r1, 0); in main()
3372 TESTINST2("ssat r0, #3, r1, LSL #28", 0xffc134df, r0, r1, 0); in main()
3373 TESTINST2("ssat r0, #6, r1, LSL #24", 0x256bfdd6, r0, r1, 0); in main()
3374 TESTINST2("ssat r0, #6, r1, LSL #24", 0xc02a0c05, r0, r1, 0); in main()
3375 TESTINST2("ssat r0, #6, r1, LSL #24", 0xee2fa46e, r0, r1, 0); in main()
3376 TESTINST2("ssat r0, #6, r1, LSL #24", 0x97a7da20, r0, r1, 0); in main()
3377 TESTINST2("ssat r0, #6, r1, LSL #24", 0xa231d5e6, r0, r1, 0); in main()
3378 TESTINST2("ssat r0, #6, r1, LSL #24", 0x10e1968a, r0, r1, 0); in main()
3379 TESTINST2("ssat r0, #6, r1, LSL #24", 0x0e089270, r0, r1, 0); in main()
3380 TESTINST2("ssat r0, #6, r1, LSL #24", 0x9e8e0185, r0, r1, 0); in main()
3381 TESTINST2("ssat r0, #6, r1, LSL #24", 0x3096f12e, r0, r1, 0); in main()
3382 TESTINST2("ssat r0, #6, r1, LSL #24", 0xffc134df, r0, r1, 0); in main()
3383 TESTINST2("ssat r0, #8, r1, ASR #18", 0x256bfdd6, r0, r1, 0); in main()
3384 TESTINST2("ssat r0, #8, r1, ASR #18", 0xc02a0c05, r0, r1, 0); in main()
3385 TESTINST2("ssat r0, #8, r1, ASR #18", 0xee2fa46e, r0, r1, 0); in main()
3386 TESTINST2("ssat r0, #8, r1, ASR #18", 0x97a7da20, r0, r1, 0); in main()
3387 TESTINST2("ssat r0, #8, r1, ASR #18", 0xa231d5e6, r0, r1, 0); in main()
3388 TESTINST2("ssat r0, #8, r1, ASR #18", 0x10e1968a, r0, r1, 0); in main()
3389 TESTINST2("ssat r0, #8, r1, ASR #18", 0x0e089270, r0, r1, 0); in main()
3390 TESTINST2("ssat r0, #8, r1, ASR #18", 0x9e8e0185, r0, r1, 0); in main()
3391 TESTINST2("ssat r0, #8, r1, ASR #18", 0x3096f12e, r0, r1, 0); in main()
3392 TESTINST2("ssat r0, #8, r1, ASR #18", 0xffc134df, r0, r1, 0); in main()
3393 TESTINST2("ssat r0, #12, r1, ASR #16", 0x256bfdd6, r0, r1, 0); in main()
3394 TESTINST2("ssat r0, #12, r1, ASR #16", 0xc02a0c05, r0, r1, 0); in main()
3395 TESTINST2("ssat r0, #12, r1, ASR #16", 0xee2fa46e, r0, r1, 0); in main()
3396 TESTINST2("ssat r0, #12, r1, ASR #16", 0x97a7da20, r0, r1, 0); in main()
3397 TESTINST2("ssat r0, #12, r1, ASR #16", 0xa231d5e6, r0, r1, 0); in main()
3398 TESTINST2("ssat r0, #12, r1, ASR #16", 0x10e1968a, r0, r1, 0); in main()
3399 TESTINST2("ssat r0, #12, r1, ASR #16", 0x0e089270, r0, r1, 0); in main()
3400 TESTINST2("ssat r0, #12, r1, ASR #16", 0x9e8e0185, r0, r1, 0); in main()
3401 TESTINST2("ssat r0, #12, r1, ASR #16", 0x3096f12e, r0, r1, 0); in main()
3402 TESTINST2("ssat r0, #12, r1, ASR #16", 0xffc134df, r0, r1, 0); in main()
3403 TESTINST2("ssat r0, #16, r1, LSL #12", 0x256bfdd6, r0, r1, 0); in main()
3404 TESTINST2("ssat r0, #16, r1, LSL #12", 0xc02a0c05, r0, r1, 0); in main()
3405 TESTINST2("ssat r0, #16, r1, LSL #12", 0xee2fa46e, r0, r1, 0); in main()
3406 TESTINST2("ssat r0, #16, r1, LSL #12", 0x97a7da20, r0, r1, 0); in main()
3407 TESTINST2("ssat r0, #16, r1, LSL #12", 0xa231d5e6, r0, r1, 0); in main()
3408 TESTINST2("ssat r0, #16, r1, LSL #12", 0x10e1968a, r0, r1, 0); in main()
3409 TESTINST2("ssat r0, #16, r1, LSL #12", 0x0e089270, r0, r1, 0); in main()
3410 TESTINST2("ssat r0, #16, r1, LSL #12", 0x9e8e0185, r0, r1, 0); in main()
3411 TESTINST2("ssat r0, #16, r1, LSL #12", 0x3096f12e, r0, r1, 0); in main()
3412 TESTINST2("ssat r0, #16, r1, LSL #12", 0xffc134df, r0, r1, 0); in main()
3413 TESTINST2("ssat r0, #18, r1, LSL #8", 0x256bfdd6, r0, r1, 0); in main()
3414 TESTINST2("ssat r0, #18, r1, LSL #8", 0xc02a0c05, r0, r1, 0); in main()
3415 TESTINST2("ssat r0, #18, r1, LSL #8", 0xee2fa46e, r0, r1, 0); in main()
3416 TESTINST2("ssat r0, #18, r1, LSL #8", 0x97a7da20, r0, r1, 0); in main()
3417 TESTINST2("ssat r0, #18, r1, LSL #8", 0xa231d5e6, r0, r1, 0); in main()
3418 TESTINST2("ssat r0, #18, r1, LSL #8", 0x10e1968a, r0, r1, 0); in main()
3419 TESTINST2("ssat r0, #18, r1, LSL #8", 0x0e089270, r0, r1, 0); in main()
3420 TESTINST2("ssat r0, #18, r1, LSL #8", 0x9e8e0185, r0, r1, 0); in main()
3421 TESTINST2("ssat r0, #18, r1, LSL #8", 0x3096f12e, r0, r1, 0); in main()
3422 TESTINST2("ssat r0, #18, r1, LSL #8", 0xffc134df, r0, r1, 0); in main()
3423 TESTINST2("ssat r0, #24, r1, ASR #6", 0x256bfdd6, r0, r1, 0); in main()
3424 TESTINST2("ssat r0, #24, r1, ASR #6", 0xc02a0c05, r0, r1, 0); in main()
3425 TESTINST2("ssat r0, #24, r1, ASR #6", 0xee2fa46e, r0, r1, 0); in main()
3426 TESTINST2("ssat r0, #24, r1, ASR #6", 0x97a7da20, r0, r1, 0); in main()
3427 TESTINST2("ssat r0, #24, r1, ASR #6", 0xa231d5e6, r0, r1, 0); in main()
3428 TESTINST2("ssat r0, #24, r1, ASR #6", 0x10e1968a, r0, r1, 0); in main()
3429 TESTINST2("ssat r0, #24, r1, ASR #6", 0x0e089270, r0, r1, 0); in main()
3430 TESTINST2("ssat r0, #24, r1, ASR #6", 0x9e8e0185, r0, r1, 0); in main()
3431 TESTINST2("ssat r0, #24, r1, ASR #6", 0x3096f12e, r0, r1, 0); in main()
3432 TESTINST2("ssat r0, #24, r1, ASR #6", 0xffc134df, r0, r1, 0); in main()
3433 TESTINST2("ssat r0, #28, r1, ASR #3", 0x256bfdd6, r0, r1, 0); in main()
3434 TESTINST2("ssat r0, #28, r1, ASR #3", 0xc02a0c05, r0, r1, 0); in main()
3435 TESTINST2("ssat r0, #28, r1, ASR #3", 0xee2fa46e, r0, r1, 0); in main()
3436 TESTINST2("ssat r0, #28, r1, ASR #3", 0x97a7da20, r0, r1, 0); in main()
3437 TESTINST2("ssat r0, #28, r1, ASR #3", 0xa231d5e6, r0, r1, 0); in main()
3438 TESTINST2("ssat r0, #28, r1, ASR #3", 0x10e1968a, r0, r1, 0); in main()
3439 TESTINST2("ssat r0, #28, r1, ASR #3", 0x0e089270, r0, r1, 0); in main()
3440 TESTINST2("ssat r0, #28, r1, ASR #3", 0x9e8e0185, r0, r1, 0); in main()
3441 TESTINST2("ssat r0, #28, r1, ASR #3", 0x3096f12e, r0, r1, 0); in main()
3442 TESTINST2("ssat r0, #28, r1, ASR #3", 0xffc134df, r0, r1, 0); in main()
3443 TESTINST2("ssat r0, #31, r1, ASR #1", 0x256bfdd6, r0, r1, 0); in main()
3444 TESTINST2("ssat r0, #31, r1, ASR #1", 0xc02a0c05, r0, r1, 0); in main()
3445 TESTINST2("ssat r0, #31, r1, ASR #1", 0xee2fa46e, r0, r1, 0); in main()
3446 TESTINST2("ssat r0, #31, r1, ASR #1", 0x97a7da20, r0, r1, 0); in main()
3447 TESTINST2("ssat r0, #31, r1, ASR #1", 0xa231d5e6, r0, r1, 0); in main()
3448 TESTINST2("ssat r0, #31, r1, ASR #1", 0x10e1968a, r0, r1, 0); in main()
3449 TESTINST2("ssat r0, #31, r1, ASR #1", 0x0e089270, r0, r1, 0); in main()
3450 TESTINST2("ssat r0, #31, r1, ASR #1", 0x9e8e0185, r0, r1, 0); in main()
3451 TESTINST2("ssat r0, #31, r1, ASR #1", 0x3096f12e, r0, r1, 0); in main()
3452 TESTINST2("ssat r0, #31, r1, ASR #1", 0xffc134df, r0, r1, 0); in main()
3454 TESTINST2("ssat r0, #1, r1, ASR #32", 0x256bfdd6, r0, r1, 0); in main()
3455 TESTINST2("ssat r0, #1, r1, ASR #32", 0xc02a0c05, r0, r1, 0); in main()
3456 TESTINST2("ssat r0, #1, r1, ASR #32", 0xee2fa46e, r0, r1, 0); in main()
3457 TESTINST2("ssat r0, #1, r1, ASR #32", 0x97a7da20, r0, r1, 0); in main()
3458 TESTINST2("ssat r0, #1, r1, ASR #32", 0xa231d5e6, r0, r1, 0); in main()
3459 TESTINST2("ssat r0, #1, r1, ASR #32", 0x10e1968a, r0, r1, 0); in main()
3460 TESTINST2("ssat r0, #1, r1, ASR #32", 0x0e089270, r0, r1, 0); in main()
3461 TESTINST2("ssat r0, #1, r1, ASR #32", 0x9e8e0185, r0, r1, 0); in main()
3462 TESTINST2("ssat r0, #1, r1, ASR #32", 0x3096f12e, r0, r1, 0); in main()
3463 TESTINST2("ssat r0, #1, r1, ASR #32", 0xffc134df, r0, r1, 0); in main()
3464 TESTINST2("ssat r0, #32, r1, ASR #32", 0x256bfdd6, r0, r1, 0); in main()
3465 TESTINST2("ssat r0, #32, r1, ASR #32", 0xc02a0c05, r0, r1, 0); in main()
3466 TESTINST2("ssat r0, #32, r1, ASR #32", 0xee2fa46e, r0, r1, 0); in main()
3467 TESTINST2("ssat r0, #32, r1, ASR #32", 0x97a7da20, r0, r1, 0); in main()
3468 TESTINST2("ssat r0, #32, r1, ASR #32", 0xa231d5e6, r0, r1, 0); in main()
3469 TESTINST2("ssat r0, #32, r1, ASR #32", 0x10e1968a, r0, r1, 0); in main()
3470 TESTINST2("ssat r0, #32, r1, ASR #32", 0x0e089270, r0, r1, 0); in main()
3471 TESTINST2("ssat r0, #32, r1, ASR #32", 0x9e8e0185, r0, r1, 0); in main()
3472 TESTINST2("ssat r0, #32, r1, ASR #32", 0x3096f12e, r0, r1, 0); in main()
3473 TESTINST2("ssat r0, #32, r1, ASR #32", 0xffc134df, r0, r1, 0); in main()
3477 TESTINST2("ssat16 r0, #1, r1", 0b00000000000000000000000000000001, r0, r1, 0); in main()
3478 TESTINST2("ssat16 r0, #1, r1", 0b00000000000000000000000000000000, r0, r1, 0); in main()
3479 TESTINST2("ssat16 r0, #1, r1", 0b00000000000000001111111111111111, r0, r1, 0); in main()
3480 TESTINST2("ssat16 r0, #1, r1", 0b00000000000000001111111111111110, r0, r1, 0); in main()
3481 TESTINST2("ssat16 r0, #4, r1", 0b00000000000000000000000000000100, r0, r1, 0); in main()
3482 TESTINST2("ssat16 r0, #4, r1", 0b00000000000000000000000000000011, r0, r1, 0); in main()
3483 TESTINST2("ssat16 r0, #4, r1", 0b00000000000000001111111111111000, r0, r1, 0); in main()
3484 TESTINST2("ssat16 r0, #4, r1", 0b00000000000000001111111111110111, r0, r1, 0); in main()
3485 TESTINST2("ssat16 r0, #4, r1", 0b00000000000001000000000000000000, r0, r1, 0); in main()
3486 TESTINST2("ssat16 r0, #4, r1", 0b00000000000000110000000000000000, r0, r1, 0); in main()
3487 TESTINST2("ssat16 r0, #4, r1", 0b11111111111110000000000000000000, r0, r1, 0); in main()
3488 TESTINST2("ssat16 r0, #4, r1", 0b11111111111101110000000000000000, r0, r1, 0); in main()
3489 TESTINST2("ssat16 r0, #4, r1", 0b11111111111101111111111111110111, r0, r1, 0); in main()
3490 TESTINST2("ssat16 r0, #15, r1", 0b00000000000000000111111111111111, r0, r1, 0); in main()
3491 TESTINST2("ssat16 r0, #16, r1", 0x0123abcd, r0, r1, 0); in main()
3492 TESTINST2("ssat16 r0, #1, r1", 0xffcdabcd, r0, r1, 0); in main()
3493 TESTINST2("ssat16 r0, #5, r1", 0x0123feff, r0, r1, 0); in main()
3494 TESTINST2("ssat16 r0, #8, r1", 0x0123abcd, r0, r1, 0); in main()
3495 TESTINST2("ssat16 r0, #11, r1", 0x11110000, r0, r1, 0); in main()
3496 TESTINST2("ssat16 r0, #13, r1", 0x1111f111, r0, r1, 0); in main()
3497 TESTINST2("ssat16 r0, #15, r1", 0x00001111, r0, r1, 0); in main()
3498 TESTINST2("ssat16 r0, #16, r1", 0xebbff82b, r0, r1, 0); in main()
3499 TESTINST2("ssat16 r0, #1, r1", 0xebbff82b, r0, r1, 0); in main()
3500 TESTINST2("ssat16 r0, #3, r1", 0x50c28082, r0, r1, 0); in main()
3501 TESTINST2("ssat16 r0, #5, r1", 0x17962e8f, r0, r1, 0); in main()
3502 TESTINST2("ssat16 r0, #8, r1", 0xc57243b7, r0, r1, 0); in main()
3503 TESTINST2("ssat16 r0, #10, r1", 0xf20fb90f, r0, r1, 0); in main()
3504 TESTINST2("ssat16 r0, #11, r1", 0xbb151055, r0, r1, 0); in main()
3505 TESTINST2("ssat16 r0, #13, r1", 0x957440d2, r0, r1, 0); in main()
3506 TESTINST2("ssat16 r0, #14, r1", 0x728b7771, r0, r1, 0); in main()
3507 TESTINST2("ssat16 r0, #15, r1", 0xf13c20f3, r0, r1, 0); in main()
3508 TESTINST2("ssat16 r0, #16, r1", 0x86398371, r0, r1, 0); in main()
3509 TESTINST2("ssat16 r0, #1, r1", 0x03d0fb78, r0, r1, 0); in main()
3510 TESTINST2("ssat16 r0, #3, r1", 0xd0d49b7c, r0, r1, 0); in main()
3511 TESTINST2("ssat16 r0, #5, r1", 0x76354a58, r0, r1, 0); in main()
3512 TESTINST2("ssat16 r0, #8, r1", 0x9fa45fb7, r0, r1, 0); in main()
3513 TESTINST2("ssat16 r0, #10, r1", 0x7572bdec, r0, r1, 0); in main()
3514 TESTINST2("ssat16 r0, #11, r1", 0xfea59eb6, r0, r1, 0); in main()
3515 TESTINST2("ssat16 r0, #13, r1", 0xf2669090, r0, r1, 0); in main()
3516 TESTINST2("ssat16 r0, #14, r1", 0xbc1ff573, r0, r1, 0); in main()
3517 TESTINST2("ssat16 r0, #15, r1", 0x7eb226ac, r0, r1, 0); in main()
3518 TESTINST2("ssat16 r0, #16, r1", 0x22b65db1, r0, r1, 0); in main()
3519 TESTINST2("ssat16 r0, #1, r1", 0x776c41c7, r0, r1, 0); in main()
3520 TESTINST2("ssat16 r0, #3, r1", 0xe50dd77c, r0, r1, 0); in main()
3521 TESTINST2("ssat16 r0, #5, r1", 0xd6f9a698, r0, r1, 0); in main()
3522 TESTINST2("ssat16 r0, #8, r1", 0xeda5110c, r0, r1, 0); in main()
3523 TESTINST2("ssat16 r0, #10, r1", 0x0be36f70, r0, r1, 0); in main()
3524 TESTINST2("ssat16 r0, #11, r1", 0xd759eb72, r0, r1, 0); in main()
3525 TESTINST2("ssat16 r0, #13, r1", 0xd9c4b1f4, r0, r1, 0); in main()
3526 TESTINST2("ssat16 r0, #14, r1", 0xa29eb320, r0, r1, 0); in main()
3527 TESTINST2("ssat16 r0, #15, r1", 0xcf1e4487, r0, r1, 0); in main()
3528 TESTINST2("ssat16 r0, #16, r1", 0x2eb68500, r0, r1, 0); in main()
3529 TESTINST2("ssat16 r0, #1, r1", 0xcdb7ed11, r0, r1, 0); in main()
3530 TESTINST2("ssat16 r0, #3, r1", 0x2eaea305, r0, r1, 0); in main()
3531 TESTINST2("ssat16 r0, #5, r1", 0x6ebd04d9, r0, r1, 0); in main()
3532 TESTINST2("ssat16 r0, #8, r1", 0xa5ec1aa8, r0, r1, 0); in main()
3533 TESTINST2("ssat16 r0, #10, r1", 0x72f33509, r0, r1, 0); in main()
3534 TESTINST2("ssat16 r0, #11, r1", 0xa3e6f759, r0, r1, 0); in main()
3535 TESTINST2("ssat16 r0, #13, r1", 0xfaceab39, r0, r1, 0); in main()
3536 TESTINST2("ssat16 r0, #14, r1", 0x2738f0ff, r0, r1, 0); in main()
3537 TESTINST2("ssat16 r0, #15, r1", 0xe79fd570, r0, r1, 0); in main()
3538 TESTINST2("ssat16 r0, #16, r1", 0x55ea3e4e, r0, r1, 0); in main()
3539 TESTINST2("ssat16 r0, #1, r1", 0x2b62ba5a, r0, r1, 0); in main()
3540 TESTINST2("ssat16 r0, #3, r1", 0x9b41bfb1, r0, r1, 0); in main()
3541 TESTINST2("ssat16 r0, #5, r1", 0x557c7ba2, r0, r1, 0); in main()
3542 TESTINST2("ssat16 r0, #8, r1", 0x2973c051, r0, r1, 0); in main()
3543 TESTINST2("ssat16 r0, #10, r1", 0x6a228b19, r0, r1, 0); in main()
3544 TESTINST2("ssat16 r0, #11, r1", 0x0cdafabe, r0, r1, 0); in main()
3545 TESTINST2("ssat16 r0, #13, r1", 0x50865114, r0, r1, 0); in main()
3546 TESTINST2("ssat16 r0, #14, r1", 0xd83b849b, r0, r1, 0); in main()
3547 TESTINST2("ssat16 r0, #15, r1", 0xca5e5605, r0, r1, 0); in main()