summaryrefslogtreecommitdiff
path: root/plugins/arm/v7/opdefs
diff options
context:
space:
mode:
Diffstat (limited to 'plugins/arm/v7/opdefs')
-rw-r--r--plugins/arm/v7/opdefs/A88404_vst1.d144
-rw-r--r--plugins/arm/v7/opdefs/A88406_vst2.d120
-rw-r--r--plugins/arm/v7/opdefs/A88408_vst3.d48
-rw-r--r--plugins/arm/v7/opdefs/A88410_vst4.d96
4 files changed, 408 insertions, 0 deletions
diff --git a/plugins/arm/v7/opdefs/A88404_vst1.d b/plugins/arm/v7/opdefs/A88404_vst1.d
index 5be4548..106c02a 100644
--- a/plugins/arm/v7/opdefs/A88404_vst1.d
+++ b/plugins/arm/v7/opdefs/A88404_vst1.d
@@ -41,6 +41,7 @@
@assert {
+ Rm == 1111
size == 0
type == 111
align == 1
@@ -67,6 +68,7 @@
@assert {
+ Rm == 1111
size == 0
type == 111
align == 0
@@ -93,6 +95,7 @@
@assert {
+ Rm == 1111
size == 0
type == 1010
align == 1
@@ -120,6 +123,7 @@
@assert {
+ Rm == 1111
size == 0
type == 1010
align == 10
@@ -147,6 +151,7 @@
@assert {
+ Rm == 1111
size == 0
type == 1010
align == 0
@@ -174,6 +179,7 @@
@assert {
+ Rm == 1111
size == 0
type == 110
align == 1
@@ -202,6 +208,7 @@
@assert {
+ Rm == 1111
size == 0
type == 110
align == 0
@@ -230,6 +237,7 @@
@assert {
+ Rm == 1111
size == 0
type == 10
align == 1
@@ -259,6 +267,7 @@
@assert {
+ Rm == 1111
size == 0
type == 10
align == 0
@@ -288,6 +297,7 @@
@assert {
+ Rm == 1111
size == 1
type == 111
align == 1
@@ -314,6 +324,7 @@
@assert {
+ Rm == 1111
size == 1
type == 111
align == 0
@@ -340,6 +351,7 @@
@assert {
+ Rm == 1111
size == 1
type == 1010
align == 1
@@ -367,6 +379,7 @@
@assert {
+ Rm == 1111
size == 1
type == 1010
align == 10
@@ -394,6 +407,7 @@
@assert {
+ Rm == 1111
size == 1
type == 1010
align == 0
@@ -421,6 +435,7 @@
@assert {
+ Rm == 1111
size == 1
type == 110
align == 1
@@ -449,6 +464,7 @@
@assert {
+ Rm == 1111
size == 1
type == 110
align == 0
@@ -477,6 +493,7 @@
@assert {
+ Rm == 1111
size == 1
type == 10
align == 1
@@ -506,6 +523,7 @@
@assert {
+ Rm == 1111
size == 1
type == 10
align == 0
@@ -535,6 +553,7 @@
@assert {
+ Rm == 1111
size == 10
type == 111
align == 1
@@ -561,6 +580,7 @@
@assert {
+ Rm == 1111
size == 10
type == 111
align == 0
@@ -587,6 +607,7 @@
@assert {
+ Rm == 1111
size == 10
type == 1010
align == 1
@@ -614,6 +635,7 @@
@assert {
+ Rm == 1111
size == 10
type == 1010
align == 10
@@ -641,6 +663,7 @@
@assert {
+ Rm == 1111
size == 10
type == 1010
align == 0
@@ -668,6 +691,7 @@
@assert {
+ Rm == 1111
size == 10
type == 110
align == 1
@@ -696,6 +720,7 @@
@assert {
+ Rm == 1111
size == 10
type == 110
align == 0
@@ -724,6 +749,7 @@
@assert {
+ Rm == 1111
size == 10
type == 10
align == 1
@@ -753,6 +779,7 @@
@assert {
+ Rm == 1111
size == 10
type == 10
align == 0
@@ -782,6 +809,7 @@
@assert {
+ Rm == 1111
size == 11
type == 111
align == 1
@@ -808,6 +836,7 @@
@assert {
+ Rm == 1111
size == 11
type == 111
align == 0
@@ -834,6 +863,7 @@
@assert {
+ Rm == 1111
size == 11
type == 1010
align == 1
@@ -861,6 +891,7 @@
@assert {
+ Rm == 1111
size == 11
type == 1010
align == 10
@@ -888,6 +919,7 @@
@assert {
+ Rm == 1111
size == 11
type == 1010
align == 0
@@ -915,6 +947,7 @@
@assert {
+ Rm == 1111
size == 11
type == 110
align == 1
@@ -943,6 +976,7 @@
@assert {
+ Rm == 1111
size == 11
type == 110
align == 0
@@ -971,6 +1005,7 @@
@assert {
+ Rm == 1111
size == 11
type == 10
align == 1
@@ -1000,6 +1035,7 @@
@assert {
+ Rm == 1111
size == 11
type == 10
align == 0
@@ -1029,6 +1065,7 @@
@assert {
+ Rm == 1101
size == 0
type == 111
align == 1
@@ -1055,6 +1092,7 @@
@assert {
+ Rm == 1101
size == 0
type == 111
align == 0
@@ -1081,6 +1119,7 @@
@assert {
+ Rm == 1101
size == 0
type == 1010
align == 1
@@ -1108,6 +1147,7 @@
@assert {
+ Rm == 1101
size == 0
type == 1010
align == 10
@@ -1135,6 +1175,7 @@
@assert {
+ Rm == 1101
size == 0
type == 1010
align == 0
@@ -1162,6 +1203,7 @@
@assert {
+ Rm == 1101
size == 0
type == 110
align == 1
@@ -1190,6 +1232,7 @@
@assert {
+ Rm == 1101
size == 0
type == 110
align == 0
@@ -1218,6 +1261,7 @@
@assert {
+ Rm == 1101
size == 0
type == 10
align == 1
@@ -1247,6 +1291,7 @@
@assert {
+ Rm == 1101
size == 0
type == 10
align == 0
@@ -1276,6 +1321,7 @@
@assert {
+ Rm == 1101
size == 1
type == 111
align == 1
@@ -1302,6 +1348,7 @@
@assert {
+ Rm == 1101
size == 1
type == 111
align == 0
@@ -1328,6 +1375,7 @@
@assert {
+ Rm == 1101
size == 1
type == 1010
align == 1
@@ -1355,6 +1403,7 @@
@assert {
+ Rm == 1101
size == 1
type == 1010
align == 10
@@ -1382,6 +1431,7 @@
@assert {
+ Rm == 1101
size == 1
type == 1010
align == 0
@@ -1409,6 +1459,7 @@
@assert {
+ Rm == 1101
size == 1
type == 110
align == 1
@@ -1437,6 +1488,7 @@
@assert {
+ Rm == 1101
size == 1
type == 110
align == 0
@@ -1465,6 +1517,7 @@
@assert {
+ Rm == 1101
size == 1
type == 10
align == 1
@@ -1494,6 +1547,7 @@
@assert {
+ Rm == 1101
size == 1
type == 10
align == 0
@@ -1523,6 +1577,7 @@
@assert {
+ Rm == 1101
size == 10
type == 111
align == 1
@@ -1549,6 +1604,7 @@
@assert {
+ Rm == 1101
size == 10
type == 111
align == 0
@@ -1575,6 +1631,7 @@
@assert {
+ Rm == 1101
size == 10
type == 1010
align == 1
@@ -1602,6 +1659,7 @@
@assert {
+ Rm == 1101
size == 10
type == 1010
align == 10
@@ -1629,6 +1687,7 @@
@assert {
+ Rm == 1101
size == 10
type == 1010
align == 0
@@ -1656,6 +1715,7 @@
@assert {
+ Rm == 1101
size == 10
type == 110
align == 1
@@ -1684,6 +1744,7 @@
@assert {
+ Rm == 1101
size == 10
type == 110
align == 0
@@ -1712,6 +1773,7 @@
@assert {
+ Rm == 1101
size == 10
type == 10
align == 1
@@ -1741,6 +1803,7 @@
@assert {
+ Rm == 1101
size == 10
type == 10
align == 0
@@ -1770,6 +1833,7 @@
@assert {
+ Rm == 1101
size == 11
type == 111
align == 1
@@ -1796,6 +1860,7 @@
@assert {
+ Rm == 1101
size == 11
type == 111
align == 0
@@ -1822,6 +1887,7 @@
@assert {
+ Rm == 1101
size == 11
type == 1010
align == 1
@@ -1849,6 +1915,7 @@
@assert {
+ Rm == 1101
size == 11
type == 1010
align == 10
@@ -1876,6 +1943,7 @@
@assert {
+ Rm == 1101
size == 11
type == 1010
align == 0
@@ -1903,6 +1971,7 @@
@assert {
+ Rm == 1101
size == 11
type == 110
align == 1
@@ -1931,6 +2000,7 @@
@assert {
+ Rm == 1101
size == 11
type == 110
align == 0
@@ -1959,6 +2029,7 @@
@assert {
+ Rm == 1101
size == 11
type == 10
align == 1
@@ -1988,6 +2059,7 @@
@assert {
+ Rm == 1101
size == 11
type == 10
align == 0
@@ -3083,6 +3155,7 @@
@assert {
+ Rm == 1111
size == 0
type == 111
align == 1
@@ -3109,6 +3182,7 @@
@assert {
+ Rm == 1111
size == 0
type == 111
align == 0
@@ -3135,6 +3209,7 @@
@assert {
+ Rm == 1111
size == 0
type == 1010
align == 1
@@ -3162,6 +3237,7 @@
@assert {
+ Rm == 1111
size == 0
type == 1010
align == 10
@@ -3189,6 +3265,7 @@
@assert {
+ Rm == 1111
size == 0
type == 1010
align == 0
@@ -3216,6 +3293,7 @@
@assert {
+ Rm == 1111
size == 0
type == 110
align == 1
@@ -3244,6 +3322,7 @@
@assert {
+ Rm == 1111
size == 0
type == 110
align == 0
@@ -3272,6 +3351,7 @@
@assert {
+ Rm == 1111
size == 0
type == 10
align == 1
@@ -3301,6 +3381,7 @@
@assert {
+ Rm == 1111
size == 0
type == 10
align == 0
@@ -3330,6 +3411,7 @@
@assert {
+ Rm == 1111
size == 1
type == 111
align == 1
@@ -3356,6 +3438,7 @@
@assert {
+ Rm == 1111
size == 1
type == 111
align == 0
@@ -3382,6 +3465,7 @@
@assert {
+ Rm == 1111
size == 1
type == 1010
align == 1
@@ -3409,6 +3493,7 @@
@assert {
+ Rm == 1111
size == 1
type == 1010
align == 10
@@ -3436,6 +3521,7 @@
@assert {
+ Rm == 1111
size == 1
type == 1010
align == 0
@@ -3463,6 +3549,7 @@
@assert {
+ Rm == 1111
size == 1
type == 110
align == 1
@@ -3491,6 +3578,7 @@
@assert {
+ Rm == 1111
size == 1
type == 110
align == 0
@@ -3519,6 +3607,7 @@
@assert {
+ Rm == 1111
size == 1
type == 10
align == 1
@@ -3548,6 +3637,7 @@
@assert {
+ Rm == 1111
size == 1
type == 10
align == 0
@@ -3577,6 +3667,7 @@
@assert {
+ Rm == 1111
size == 10
type == 111
align == 1
@@ -3603,6 +3694,7 @@
@assert {
+ Rm == 1111
size == 10
type == 111
align == 0
@@ -3629,6 +3721,7 @@
@assert {
+ Rm == 1111
size == 10
type == 1010
align == 1
@@ -3656,6 +3749,7 @@
@assert {
+ Rm == 1111
size == 10
type == 1010
align == 10
@@ -3683,6 +3777,7 @@
@assert {
+ Rm == 1111
size == 10
type == 1010
align == 0
@@ -3710,6 +3805,7 @@
@assert {
+ Rm == 1111
size == 10
type == 110
align == 1
@@ -3738,6 +3834,7 @@
@assert {
+ Rm == 1111
size == 10
type == 110
align == 0
@@ -3766,6 +3863,7 @@
@assert {
+ Rm == 1111
size == 10
type == 10
align == 1
@@ -3795,6 +3893,7 @@
@assert {
+ Rm == 1111
size == 10
type == 10
align == 0
@@ -3824,6 +3923,7 @@
@assert {
+ Rm == 1111
size == 11
type == 111
align == 1
@@ -3850,6 +3950,7 @@
@assert {
+ Rm == 1111
size == 11
type == 111
align == 0
@@ -3876,6 +3977,7 @@
@assert {
+ Rm == 1111
size == 11
type == 1010
align == 1
@@ -3903,6 +4005,7 @@
@assert {
+ Rm == 1111
size == 11
type == 1010
align == 10
@@ -3930,6 +4033,7 @@
@assert {
+ Rm == 1111
size == 11
type == 1010
align == 0
@@ -3957,6 +4061,7 @@
@assert {
+ Rm == 1111
size == 11
type == 110
align == 1
@@ -3985,6 +4090,7 @@
@assert {
+ Rm == 1111
size == 11
type == 110
align == 0
@@ -4013,6 +4119,7 @@
@assert {
+ Rm == 1111
size == 11
type == 10
align == 1
@@ -4042,6 +4149,7 @@
@assert {
+ Rm == 1111
size == 11
type == 10
align == 0
@@ -4071,6 +4179,7 @@
@assert {
+ Rm == 1101
size == 0
type == 111
align == 1
@@ -4097,6 +4206,7 @@
@assert {
+ Rm == 1101
size == 0
type == 111
align == 0
@@ -4123,6 +4233,7 @@
@assert {
+ Rm == 1101
size == 0
type == 1010
align == 1
@@ -4150,6 +4261,7 @@
@assert {
+ Rm == 1101
size == 0
type == 1010
align == 10
@@ -4177,6 +4289,7 @@
@assert {
+ Rm == 1101
size == 0
type == 1010
align == 0
@@ -4204,6 +4317,7 @@
@assert {
+ Rm == 1101
size == 0
type == 110
align == 1
@@ -4232,6 +4346,7 @@
@assert {
+ Rm == 1101
size == 0
type == 110
align == 0
@@ -4260,6 +4375,7 @@
@assert {
+ Rm == 1101
size == 0
type == 10
align == 1
@@ -4289,6 +4405,7 @@
@assert {
+ Rm == 1101
size == 0
type == 10
align == 0
@@ -4318,6 +4435,7 @@
@assert {
+ Rm == 1101
size == 1
type == 111
align == 1
@@ -4344,6 +4462,7 @@
@assert {
+ Rm == 1101
size == 1
type == 111
align == 0
@@ -4370,6 +4489,7 @@
@assert {
+ Rm == 1101
size == 1
type == 1010
align == 1
@@ -4397,6 +4517,7 @@
@assert {
+ Rm == 1101
size == 1
type == 1010
align == 10
@@ -4424,6 +4545,7 @@
@assert {
+ Rm == 1101
size == 1
type == 1010
align == 0
@@ -4451,6 +4573,7 @@
@assert {
+ Rm == 1101
size == 1
type == 110
align == 1
@@ -4479,6 +4602,7 @@
@assert {
+ Rm == 1101
size == 1
type == 110
align == 0
@@ -4507,6 +4631,7 @@
@assert {
+ Rm == 1101
size == 1
type == 10
align == 1
@@ -4536,6 +4661,7 @@
@assert {
+ Rm == 1101
size == 1
type == 10
align == 0
@@ -4565,6 +4691,7 @@
@assert {
+ Rm == 1101
size == 10
type == 111
align == 1
@@ -4591,6 +4718,7 @@
@assert {
+ Rm == 1101
size == 10
type == 111
align == 0
@@ -4617,6 +4745,7 @@
@assert {
+ Rm == 1101
size == 10
type == 1010
align == 1
@@ -4644,6 +4773,7 @@
@assert {
+ Rm == 1101
size == 10
type == 1010
align == 10
@@ -4671,6 +4801,7 @@
@assert {
+ Rm == 1101
size == 10
type == 1010
align == 0
@@ -4698,6 +4829,7 @@
@assert {
+ Rm == 1101
size == 10
type == 110
align == 1
@@ -4726,6 +4858,7 @@
@assert {
+ Rm == 1101
size == 10
type == 110
align == 0
@@ -4754,6 +4887,7 @@
@assert {
+ Rm == 1101
size == 10
type == 10
align == 1
@@ -4783,6 +4917,7 @@
@assert {
+ Rm == 1101
size == 10
type == 10
align == 0
@@ -4812,6 +4947,7 @@
@assert {
+ Rm == 1101
size == 11
type == 111
align == 1
@@ -4838,6 +4974,7 @@
@assert {
+ Rm == 1101
size == 11
type == 111
align == 0
@@ -4864,6 +5001,7 @@
@assert {
+ Rm == 1101
size == 11
type == 1010
align == 1
@@ -4891,6 +5029,7 @@
@assert {
+ Rm == 1101
size == 11
type == 1010
align == 10
@@ -4918,6 +5057,7 @@
@assert {
+ Rm == 1101
size == 11
type == 1010
align == 0
@@ -4945,6 +5085,7 @@
@assert {
+ Rm == 1101
size == 11
type == 110
align == 1
@@ -4973,6 +5114,7 @@
@assert {
+ Rm == 1101
size == 11
type == 110
align == 0
@@ -5001,6 +5143,7 @@
@assert {
+ Rm == 1101
size == 11
type == 10
align == 1
@@ -5030,6 +5173,7 @@
@assert {
+ Rm == 1101
size == 11
type == 10
align == 0
diff --git a/plugins/arm/v7/opdefs/A88406_vst2.d b/plugins/arm/v7/opdefs/A88406_vst2.d
index 391d750..426f0a7 100644
--- a/plugins/arm/v7/opdefs/A88406_vst2.d
+++ b/plugins/arm/v7/opdefs/A88406_vst2.d
@@ -41,6 +41,7 @@
@assert {
+ Rm == 1111
size == 0
type == 1000
align == 1
@@ -68,6 +69,7 @@
@assert {
+ Rm == 1111
size == 0
type == 1000
align == 10
@@ -95,6 +97,7 @@
@assert {
+ Rm == 1111
size == 0
type == 1000
align == 0
@@ -122,6 +125,7 @@
@assert {
+ Rm == 1111
size == 0
type == 1001
align == 1
@@ -149,6 +153,7 @@
@assert {
+ Rm == 1111
size == 0
type == 1001
align == 10
@@ -176,6 +181,7 @@
@assert {
+ Rm == 1111
size == 0
type == 1001
align == 0
@@ -203,6 +209,7 @@
@assert {
+ Rm == 1111
size == 0
type == 11
align == 1
@@ -232,6 +239,7 @@
@assert {
+ Rm == 1111
size == 0
type == 11
align == 10
@@ -261,6 +269,7 @@
@assert {
+ Rm == 1111
size == 0
type == 11
align == 11
@@ -290,6 +299,7 @@
@assert {
+ Rm == 1111
size == 0
type == 11
align == 0
@@ -319,6 +329,7 @@
@assert {
+ Rm == 1111
size == 1
type == 1000
align == 1
@@ -346,6 +357,7 @@
@assert {
+ Rm == 1111
size == 1
type == 1000
align == 10
@@ -373,6 +385,7 @@
@assert {
+ Rm == 1111
size == 1
type == 1000
align == 0
@@ -400,6 +413,7 @@
@assert {
+ Rm == 1111
size == 1
type == 1001
align == 1
@@ -427,6 +441,7 @@
@assert {
+ Rm == 1111
size == 1
type == 1001
align == 10
@@ -454,6 +469,7 @@
@assert {
+ Rm == 1111
size == 1
type == 1001
align == 0
@@ -481,6 +497,7 @@
@assert {
+ Rm == 1111
size == 1
type == 11
align == 1
@@ -510,6 +527,7 @@
@assert {
+ Rm == 1111
size == 1
type == 11
align == 10
@@ -539,6 +557,7 @@
@assert {
+ Rm == 1111
size == 1
type == 11
align == 11
@@ -568,6 +587,7 @@
@assert {
+ Rm == 1111
size == 1
type == 11
align == 0
@@ -597,6 +617,7 @@
@assert {
+ Rm == 1111
size == 10
type == 1000
align == 1
@@ -624,6 +645,7 @@
@assert {
+ Rm == 1111
size == 10
type == 1000
align == 10
@@ -651,6 +673,7 @@
@assert {
+ Rm == 1111
size == 10
type == 1000
align == 0
@@ -678,6 +701,7 @@
@assert {
+ Rm == 1111
size == 10
type == 1001
align == 1
@@ -705,6 +729,7 @@
@assert {
+ Rm == 1111
size == 10
type == 1001
align == 10
@@ -732,6 +757,7 @@
@assert {
+ Rm == 1111
size == 10
type == 1001
align == 0
@@ -759,6 +785,7 @@
@assert {
+ Rm == 1111
size == 10
type == 11
align == 1
@@ -788,6 +815,7 @@
@assert {
+ Rm == 1111
size == 10
type == 11
align == 10
@@ -817,6 +845,7 @@
@assert {
+ Rm == 1111
size == 10
type == 11
align == 11
@@ -846,6 +875,7 @@
@assert {
+ Rm == 1111
size == 10
type == 11
align == 0
@@ -875,6 +905,7 @@
@assert {
+ Rm == 1101
size == 0
type == 1000
align == 1
@@ -902,6 +933,7 @@
@assert {
+ Rm == 1101
size == 0
type == 1000
align == 10
@@ -929,6 +961,7 @@
@assert {
+ Rm == 1101
size == 0
type == 1000
align == 0
@@ -956,6 +989,7 @@
@assert {
+ Rm == 1101
size == 0
type == 1001
align == 1
@@ -983,6 +1017,7 @@
@assert {
+ Rm == 1101
size == 0
type == 1001
align == 10
@@ -1010,6 +1045,7 @@
@assert {
+ Rm == 1101
size == 0
type == 1001
align == 0
@@ -1037,6 +1073,7 @@
@assert {
+ Rm == 1101
size == 0
type == 11
align == 1
@@ -1066,6 +1103,7 @@
@assert {
+ Rm == 1101
size == 0
type == 11
align == 10
@@ -1095,6 +1133,7 @@
@assert {
+ Rm == 1101
size == 0
type == 11
align == 11
@@ -1124,6 +1163,7 @@
@assert {
+ Rm == 1101
size == 0
type == 11
align == 0
@@ -1153,6 +1193,7 @@
@assert {
+ Rm == 1101
size == 1
type == 1000
align == 1
@@ -1180,6 +1221,7 @@
@assert {
+ Rm == 1101
size == 1
type == 1000
align == 10
@@ -1207,6 +1249,7 @@
@assert {
+ Rm == 1101
size == 1
type == 1000
align == 0
@@ -1234,6 +1277,7 @@
@assert {
+ Rm == 1101
size == 1
type == 1001
align == 1
@@ -1261,6 +1305,7 @@
@assert {
+ Rm == 1101
size == 1
type == 1001
align == 10
@@ -1288,6 +1333,7 @@
@assert {
+ Rm == 1101
size == 1
type == 1001
align == 0
@@ -1315,6 +1361,7 @@
@assert {
+ Rm == 1101
size == 1
type == 11
align == 1
@@ -1344,6 +1391,7 @@
@assert {
+ Rm == 1101
size == 1
type == 11
align == 10
@@ -1373,6 +1421,7 @@
@assert {
+ Rm == 1101
size == 1
type == 11
align == 11
@@ -1402,6 +1451,7 @@
@assert {
+ Rm == 1101
size == 1
type == 11
align == 0
@@ -1431,6 +1481,7 @@
@assert {
+ Rm == 1101
size == 10
type == 1000
align == 1
@@ -1458,6 +1509,7 @@
@assert {
+ Rm == 1101
size == 10
type == 1000
align == 10
@@ -1485,6 +1537,7 @@
@assert {
+ Rm == 1101
size == 10
type == 1000
align == 0
@@ -1512,6 +1565,7 @@
@assert {
+ Rm == 1101
size == 10
type == 1001
align == 1
@@ -1539,6 +1593,7 @@
@assert {
+ Rm == 1101
size == 10
type == 1001
align == 10
@@ -1566,6 +1621,7 @@
@assert {
+ Rm == 1101
size == 10
type == 1001
align == 0
@@ -1593,6 +1649,7 @@
@assert {
+ Rm == 1101
size == 10
type == 11
align == 1
@@ -1622,6 +1679,7 @@
@assert {
+ Rm == 1101
size == 10
type == 11
align == 10
@@ -1651,6 +1709,7 @@
@assert {
+ Rm == 1101
size == 10
type == 11
align == 11
@@ -1680,6 +1739,7 @@
@assert {
+ Rm == 1101
size == 10
type == 11
align == 0
@@ -2609,6 +2669,7 @@
@assert {
+ Rm == 1111
size == 0
type == 1000
align == 1
@@ -2636,6 +2697,7 @@
@assert {
+ Rm == 1111
size == 0
type == 1000
align == 10
@@ -2663,6 +2725,7 @@
@assert {
+ Rm == 1111
size == 0
type == 1000
align == 0
@@ -2690,6 +2753,7 @@
@assert {
+ Rm == 1111
size == 0
type == 1001
align == 1
@@ -2717,6 +2781,7 @@
@assert {
+ Rm == 1111
size == 0
type == 1001
align == 10
@@ -2744,6 +2809,7 @@
@assert {
+ Rm == 1111
size == 0
type == 1001
align == 0
@@ -2771,6 +2837,7 @@
@assert {
+ Rm == 1111
size == 0
type == 11
align == 1
@@ -2800,6 +2867,7 @@
@assert {
+ Rm == 1111
size == 0
type == 11
align == 10
@@ -2829,6 +2897,7 @@
@assert {
+ Rm == 1111
size == 0
type == 11
align == 11
@@ -2858,6 +2927,7 @@
@assert {
+ Rm == 1111
size == 0
type == 11
align == 0
@@ -2887,6 +2957,7 @@
@assert {
+ Rm == 1111
size == 1
type == 1000
align == 1
@@ -2914,6 +2985,7 @@
@assert {
+ Rm == 1111
size == 1
type == 1000
align == 10
@@ -2941,6 +3013,7 @@
@assert {
+ Rm == 1111
size == 1
type == 1000
align == 0
@@ -2968,6 +3041,7 @@
@assert {
+ Rm == 1111
size == 1
type == 1001
align == 1
@@ -2995,6 +3069,7 @@
@assert {
+ Rm == 1111
size == 1
type == 1001
align == 10
@@ -3022,6 +3097,7 @@
@assert {
+ Rm == 1111
size == 1
type == 1001
align == 0
@@ -3049,6 +3125,7 @@
@assert {
+ Rm == 1111
size == 1
type == 11
align == 1
@@ -3078,6 +3155,7 @@
@assert {
+ Rm == 1111
size == 1
type == 11
align == 10
@@ -3107,6 +3185,7 @@
@assert {
+ Rm == 1111
size == 1
type == 11
align == 11
@@ -3136,6 +3215,7 @@
@assert {
+ Rm == 1111
size == 1
type == 11
align == 0
@@ -3165,6 +3245,7 @@
@assert {
+ Rm == 1111
size == 10
type == 1000
align == 1
@@ -3192,6 +3273,7 @@
@assert {
+ Rm == 1111
size == 10
type == 1000
align == 10
@@ -3219,6 +3301,7 @@
@assert {
+ Rm == 1111
size == 10
type == 1000
align == 0
@@ -3246,6 +3329,7 @@
@assert {
+ Rm == 1111
size == 10
type == 1001
align == 1
@@ -3273,6 +3357,7 @@
@assert {
+ Rm == 1111
size == 10
type == 1001
align == 10
@@ -3300,6 +3385,7 @@
@assert {
+ Rm == 1111
size == 10
type == 1001
align == 0
@@ -3327,6 +3413,7 @@
@assert {
+ Rm == 1111
size == 10
type == 11
align == 1
@@ -3356,6 +3443,7 @@
@assert {
+ Rm == 1111
size == 10
type == 11
align == 10
@@ -3385,6 +3473,7 @@
@assert {
+ Rm == 1111
size == 10
type == 11
align == 11
@@ -3414,6 +3503,7 @@
@assert {
+ Rm == 1111
size == 10
type == 11
align == 0
@@ -3443,6 +3533,7 @@
@assert {
+ Rm == 1101
size == 0
type == 1000
align == 1
@@ -3470,6 +3561,7 @@
@assert {
+ Rm == 1101
size == 0
type == 1000
align == 10
@@ -3497,6 +3589,7 @@
@assert {
+ Rm == 1101
size == 0
type == 1000
align == 0
@@ -3524,6 +3617,7 @@
@assert {
+ Rm == 1101
size == 0
type == 1001
align == 1
@@ -3551,6 +3645,7 @@
@assert {
+ Rm == 1101
size == 0
type == 1001
align == 10
@@ -3578,6 +3673,7 @@
@assert {
+ Rm == 1101
size == 0
type == 1001
align == 0
@@ -3605,6 +3701,7 @@
@assert {
+ Rm == 1101
size == 0
type == 11
align == 1
@@ -3634,6 +3731,7 @@
@assert {
+ Rm == 1101
size == 0
type == 11
align == 10
@@ -3663,6 +3761,7 @@
@assert {
+ Rm == 1101
size == 0
type == 11
align == 11
@@ -3692,6 +3791,7 @@
@assert {
+ Rm == 1101
size == 0
type == 11
align == 0
@@ -3721,6 +3821,7 @@
@assert {
+ Rm == 1101
size == 1
type == 1000
align == 1
@@ -3748,6 +3849,7 @@
@assert {
+ Rm == 1101
size == 1
type == 1000
align == 10
@@ -3775,6 +3877,7 @@
@assert {
+ Rm == 1101
size == 1
type == 1000
align == 0
@@ -3802,6 +3905,7 @@
@assert {
+ Rm == 1101
size == 1
type == 1001
align == 1
@@ -3829,6 +3933,7 @@
@assert {
+ Rm == 1101
size == 1
type == 1001
align == 10
@@ -3856,6 +3961,7 @@
@assert {
+ Rm == 1101
size == 1
type == 1001
align == 0
@@ -3883,6 +3989,7 @@
@assert {
+ Rm == 1101
size == 1
type == 11
align == 1
@@ -3912,6 +4019,7 @@
@assert {
+ Rm == 1101
size == 1
type == 11
align == 10
@@ -3941,6 +4049,7 @@
@assert {
+ Rm == 1101
size == 1
type == 11
align == 11
@@ -3970,6 +4079,7 @@
@assert {
+ Rm == 1101
size == 1
type == 11
align == 0
@@ -3999,6 +4109,7 @@
@assert {
+ Rm == 1101
size == 10
type == 1000
align == 1
@@ -4026,6 +4137,7 @@
@assert {
+ Rm == 1101
size == 10
type == 1000
align == 10
@@ -4053,6 +4165,7 @@
@assert {
+ Rm == 1101
size == 10
type == 1000
align == 0
@@ -4080,6 +4193,7 @@
@assert {
+ Rm == 1101
size == 10
type == 1001
align == 1
@@ -4107,6 +4221,7 @@
@assert {
+ Rm == 1101
size == 10
type == 1001
align == 10
@@ -4134,6 +4249,7 @@
@assert {
+ Rm == 1101
size == 10
type == 1001
align == 0
@@ -4161,6 +4277,7 @@
@assert {
+ Rm == 1101
size == 10
type == 11
align == 1
@@ -4190,6 +4307,7 @@
@assert {
+ Rm == 1101
size == 10
type == 11
align == 10
@@ -4219,6 +4337,7 @@
@assert {
+ Rm == 1101
size == 10
type == 11
align == 11
@@ -4248,6 +4367,7 @@
@assert {
+ Rm == 1101
size == 10
type == 11
align == 0
diff --git a/plugins/arm/v7/opdefs/A88408_vst3.d b/plugins/arm/v7/opdefs/A88408_vst3.d
index 07da2ac..78ee143 100644
--- a/plugins/arm/v7/opdefs/A88408_vst3.d
+++ b/plugins/arm/v7/opdefs/A88408_vst3.d
@@ -41,6 +41,7 @@
@assert {
+ Rm == 1111
size == 0
type == 100
align == 1
@@ -69,6 +70,7 @@
@assert {
+ Rm == 1111
size == 0
type == 100
align == 0
@@ -97,6 +99,7 @@
@assert {
+ Rm == 1111
size == 0
type == 101
align == 1
@@ -125,6 +128,7 @@
@assert {
+ Rm == 1111
size == 0
type == 101
align == 0
@@ -153,6 +157,7 @@
@assert {
+ Rm == 1111
size == 1
type == 100
align == 1
@@ -181,6 +186,7 @@
@assert {
+ Rm == 1111
size == 1
type == 100
align == 0
@@ -209,6 +215,7 @@
@assert {
+ Rm == 1111
size == 1
type == 101
align == 1
@@ -237,6 +244,7 @@
@assert {
+ Rm == 1111
size == 1
type == 101
align == 0
@@ -265,6 +273,7 @@
@assert {
+ Rm == 1111
size == 10
type == 100
align == 1
@@ -293,6 +302,7 @@
@assert {
+ Rm == 1111
size == 10
type == 100
align == 0
@@ -321,6 +331,7 @@
@assert {
+ Rm == 1111
size == 10
type == 101
align == 1
@@ -349,6 +360,7 @@
@assert {
+ Rm == 1111
size == 10
type == 101
align == 0
@@ -377,6 +389,7 @@
@assert {
+ Rm == 1101
size == 0
type == 100
align == 1
@@ -405,6 +418,7 @@
@assert {
+ Rm == 1101
size == 0
type == 100
align == 0
@@ -433,6 +447,7 @@
@assert {
+ Rm == 1101
size == 0
type == 101
align == 1
@@ -461,6 +476,7 @@
@assert {
+ Rm == 1101
size == 0
type == 101
align == 0
@@ -489,6 +505,7 @@
@assert {
+ Rm == 1101
size == 1
type == 100
align == 1
@@ -517,6 +534,7 @@
@assert {
+ Rm == 1101
size == 1
type == 100
align == 0
@@ -545,6 +563,7 @@
@assert {
+ Rm == 1101
size == 1
type == 101
align == 1
@@ -573,6 +592,7 @@
@assert {
+ Rm == 1101
size == 1
type == 101
align == 0
@@ -601,6 +621,7 @@
@assert {
+ Rm == 1101
size == 10
type == 100
align == 1
@@ -629,6 +650,7 @@
@assert {
+ Rm == 1101
size == 10
type == 100
align == 0
@@ -657,6 +679,7 @@
@assert {
+ Rm == 1101
size == 10
type == 101
align == 1
@@ -685,6 +708,7 @@
@assert {
+ Rm == 1101
size == 10
type == 101
align == 0
@@ -1079,6 +1103,7 @@
@assert {
+ Rm == 1111
size == 0
type == 100
align == 1
@@ -1107,6 +1132,7 @@
@assert {
+ Rm == 1111
size == 0
type == 100
align == 0
@@ -1135,6 +1161,7 @@
@assert {
+ Rm == 1111
size == 0
type == 101
align == 1
@@ -1163,6 +1190,7 @@
@assert {
+ Rm == 1111
size == 0
type == 101
align == 0
@@ -1191,6 +1219,7 @@
@assert {
+ Rm == 1111
size == 1
type == 100
align == 1
@@ -1219,6 +1248,7 @@
@assert {
+ Rm == 1111
size == 1
type == 100
align == 0
@@ -1247,6 +1277,7 @@
@assert {
+ Rm == 1111
size == 1
type == 101
align == 1
@@ -1275,6 +1306,7 @@
@assert {
+ Rm == 1111
size == 1
type == 101
align == 0
@@ -1303,6 +1335,7 @@
@assert {
+ Rm == 1111
size == 10
type == 100
align == 1
@@ -1331,6 +1364,7 @@
@assert {
+ Rm == 1111
size == 10
type == 100
align == 0
@@ -1359,6 +1393,7 @@
@assert {
+ Rm == 1111
size == 10
type == 101
align == 1
@@ -1387,6 +1422,7 @@
@assert {
+ Rm == 1111
size == 10
type == 101
align == 0
@@ -1415,6 +1451,7 @@
@assert {
+ Rm == 1101
size == 0
type == 100
align == 1
@@ -1443,6 +1480,7 @@
@assert {
+ Rm == 1101
size == 0
type == 100
align == 0
@@ -1471,6 +1509,7 @@
@assert {
+ Rm == 1101
size == 0
type == 101
align == 1
@@ -1499,6 +1538,7 @@
@assert {
+ Rm == 1101
size == 0
type == 101
align == 0
@@ -1527,6 +1567,7 @@
@assert {
+ Rm == 1101
size == 1
type == 100
align == 1
@@ -1555,6 +1596,7 @@
@assert {
+ Rm == 1101
size == 1
type == 100
align == 0
@@ -1583,6 +1625,7 @@
@assert {
+ Rm == 1101
size == 1
type == 101
align == 1
@@ -1611,6 +1654,7 @@
@assert {
+ Rm == 1101
size == 1
type == 101
align == 0
@@ -1639,6 +1683,7 @@
@assert {
+ Rm == 1101
size == 10
type == 100
align == 1
@@ -1667,6 +1712,7 @@
@assert {
+ Rm == 1101
size == 10
type == 100
align == 0
@@ -1695,6 +1741,7 @@
@assert {
+ Rm == 1101
size == 10
type == 101
align == 1
@@ -1723,6 +1770,7 @@
@assert {
+ Rm == 1101
size == 10
type == 101
align == 0
diff --git a/plugins/arm/v7/opdefs/A88410_vst4.d b/plugins/arm/v7/opdefs/A88410_vst4.d
index 778d311..0101898 100644
--- a/plugins/arm/v7/opdefs/A88410_vst4.d
+++ b/plugins/arm/v7/opdefs/A88410_vst4.d
@@ -41,6 +41,7 @@
@assert {
+ Rm == 1111
size == 0
type == 0
align == 1
@@ -70,6 +71,7 @@
@assert {
+ Rm == 1111
size == 0
type == 0
align == 10
@@ -99,6 +101,7 @@
@assert {
+ Rm == 1111
size == 0
type == 0
align == 11
@@ -128,6 +131,7 @@
@assert {
+ Rm == 1111
size == 0
type == 0
align == 0
@@ -157,6 +161,7 @@
@assert {
+ Rm == 1111
size == 0
type == 1
align == 1
@@ -186,6 +191,7 @@
@assert {
+ Rm == 1111
size == 0
type == 1
align == 10
@@ -215,6 +221,7 @@
@assert {
+ Rm == 1111
size == 0
type == 1
align == 11
@@ -244,6 +251,7 @@
@assert {
+ Rm == 1111
size == 0
type == 1
align == 0
@@ -273,6 +281,7 @@
@assert {
+ Rm == 1111
size == 1
type == 0
align == 1
@@ -302,6 +311,7 @@
@assert {
+ Rm == 1111
size == 1
type == 0
align == 10
@@ -331,6 +341,7 @@
@assert {
+ Rm == 1111
size == 1
type == 0
align == 11
@@ -360,6 +371,7 @@
@assert {
+ Rm == 1111
size == 1
type == 0
align == 0
@@ -389,6 +401,7 @@
@assert {
+ Rm == 1111
size == 1
type == 1
align == 1
@@ -418,6 +431,7 @@
@assert {
+ Rm == 1111
size == 1
type == 1
align == 10
@@ -447,6 +461,7 @@
@assert {
+ Rm == 1111
size == 1
type == 1
align == 11
@@ -476,6 +491,7 @@
@assert {
+ Rm == 1111
size == 1
type == 1
align == 0
@@ -505,6 +521,7 @@
@assert {
+ Rm == 1111
size == 10
type == 0
align == 1
@@ -534,6 +551,7 @@
@assert {
+ Rm == 1111
size == 10
type == 0
align == 10
@@ -563,6 +581,7 @@
@assert {
+ Rm == 1111
size == 10
type == 0
align == 11
@@ -592,6 +611,7 @@
@assert {
+ Rm == 1111
size == 10
type == 0
align == 0
@@ -621,6 +641,7 @@
@assert {
+ Rm == 1111
size == 10
type == 1
align == 1
@@ -650,6 +671,7 @@
@assert {
+ Rm == 1111
size == 10
type == 1
align == 10
@@ -679,6 +701,7 @@
@assert {
+ Rm == 1111
size == 10
type == 1
align == 11
@@ -708,6 +731,7 @@
@assert {
+ Rm == 1111
size == 10
type == 1
align == 0
@@ -737,6 +761,7 @@
@assert {
+ Rm == 1101
size == 0
type == 0
align == 1
@@ -766,6 +791,7 @@
@assert {
+ Rm == 1101
size == 0
type == 0
align == 10
@@ -795,6 +821,7 @@
@assert {
+ Rm == 1101
size == 0
type == 0
align == 11
@@ -824,6 +851,7 @@
@assert {
+ Rm == 1101
size == 0
type == 0
align == 0
@@ -853,6 +881,7 @@
@assert {
+ Rm == 1101
size == 0
type == 1
align == 1
@@ -882,6 +911,7 @@
@assert {
+ Rm == 1101
size == 0
type == 1
align == 10
@@ -911,6 +941,7 @@
@assert {
+ Rm == 1101
size == 0
type == 1
align == 11
@@ -940,6 +971,7 @@
@assert {
+ Rm == 1101
size == 0
type == 1
align == 0
@@ -969,6 +1001,7 @@
@assert {
+ Rm == 1101
size == 1
type == 0
align == 1
@@ -998,6 +1031,7 @@
@assert {
+ Rm == 1101
size == 1
type == 0
align == 10
@@ -1027,6 +1061,7 @@
@assert {
+ Rm == 1101
size == 1
type == 0
align == 11
@@ -1056,6 +1091,7 @@
@assert {
+ Rm == 1101
size == 1
type == 0
align == 0
@@ -1085,6 +1121,7 @@
@assert {
+ Rm == 1101
size == 1
type == 1
align == 1
@@ -1114,6 +1151,7 @@
@assert {
+ Rm == 1101
size == 1
type == 1
align == 10
@@ -1143,6 +1181,7 @@
@assert {
+ Rm == 1101
size == 1
type == 1
align == 11
@@ -1172,6 +1211,7 @@
@assert {
+ Rm == 1101
size == 1
type == 1
align == 0
@@ -1201,6 +1241,7 @@
@assert {
+ Rm == 1101
size == 10
type == 0
align == 1
@@ -1230,6 +1271,7 @@
@assert {
+ Rm == 1101
size == 10
type == 0
align == 10
@@ -1259,6 +1301,7 @@
@assert {
+ Rm == 1101
size == 10
type == 0
align == 11
@@ -1288,6 +1331,7 @@
@assert {
+ Rm == 1101
size == 10
type == 0
align == 0
@@ -1317,6 +1361,7 @@
@assert {
+ Rm == 1101
size == 10
type == 1
align == 1
@@ -1346,6 +1391,7 @@
@assert {
+ Rm == 1101
size == 10
type == 1
align == 10
@@ -1375,6 +1421,7 @@
@assert {
+ Rm == 1101
size == 10
type == 1
align == 11
@@ -1404,6 +1451,7 @@
@assert {
+ Rm == 1101
size == 10
type == 1
align == 0
@@ -2183,6 +2231,7 @@
@assert {
+ Rm == 1111
size == 0
type == 0
align == 1
@@ -2212,6 +2261,7 @@
@assert {
+ Rm == 1111
size == 0
type == 0
align == 10
@@ -2241,6 +2291,7 @@
@assert {
+ Rm == 1111
size == 0
type == 0
align == 11
@@ -2270,6 +2321,7 @@
@assert {
+ Rm == 1111
size == 0
type == 0
align == 0
@@ -2299,6 +2351,7 @@
@assert {
+ Rm == 1111
size == 0
type == 1
align == 1
@@ -2328,6 +2381,7 @@
@assert {
+ Rm == 1111
size == 0
type == 1
align == 10
@@ -2357,6 +2411,7 @@
@assert {
+ Rm == 1111
size == 0
type == 1
align == 11
@@ -2386,6 +2441,7 @@
@assert {
+ Rm == 1111
size == 0
type == 1
align == 0
@@ -2415,6 +2471,7 @@
@assert {
+ Rm == 1111
size == 1
type == 0
align == 1
@@ -2444,6 +2501,7 @@
@assert {
+ Rm == 1111
size == 1
type == 0
align == 10
@@ -2473,6 +2531,7 @@
@assert {
+ Rm == 1111
size == 1
type == 0
align == 11
@@ -2502,6 +2561,7 @@
@assert {
+ Rm == 1111
size == 1
type == 0
align == 0
@@ -2531,6 +2591,7 @@
@assert {
+ Rm == 1111
size == 1
type == 1
align == 1
@@ -2560,6 +2621,7 @@
@assert {
+ Rm == 1111
size == 1
type == 1
align == 10
@@ -2589,6 +2651,7 @@
@assert {
+ Rm == 1111
size == 1
type == 1
align == 11
@@ -2618,6 +2681,7 @@
@assert {
+ Rm == 1111
size == 1
type == 1
align == 0
@@ -2647,6 +2711,7 @@
@assert {
+ Rm == 1111
size == 10
type == 0
align == 1
@@ -2676,6 +2741,7 @@
@assert {
+ Rm == 1111
size == 10
type == 0
align == 10
@@ -2705,6 +2771,7 @@
@assert {
+ Rm == 1111
size == 10
type == 0
align == 11
@@ -2734,6 +2801,7 @@
@assert {
+ Rm == 1111
size == 10
type == 0
align == 0
@@ -2763,6 +2831,7 @@
@assert {
+ Rm == 1111
size == 10
type == 1
align == 1
@@ -2792,6 +2861,7 @@
@assert {
+ Rm == 1111
size == 10
type == 1
align == 10
@@ -2821,6 +2891,7 @@
@assert {
+ Rm == 1111
size == 10
type == 1
align == 11
@@ -2850,6 +2921,7 @@
@assert {
+ Rm == 1111
size == 10
type == 1
align == 0
@@ -2879,6 +2951,7 @@
@assert {
+ Rm == 1101
size == 0
type == 0
align == 1
@@ -2908,6 +2981,7 @@
@assert {
+ Rm == 1101
size == 0
type == 0
align == 10
@@ -2937,6 +3011,7 @@
@assert {
+ Rm == 1101
size == 0
type == 0
align == 11
@@ -2966,6 +3041,7 @@
@assert {
+ Rm == 1101
size == 0
type == 0
align == 0
@@ -2995,6 +3071,7 @@
@assert {
+ Rm == 1101
size == 0
type == 1
align == 1
@@ -3024,6 +3101,7 @@
@assert {
+ Rm == 1101
size == 0
type == 1
align == 10
@@ -3053,6 +3131,7 @@
@assert {
+ Rm == 1101
size == 0
type == 1
align == 11
@@ -3082,6 +3161,7 @@
@assert {
+ Rm == 1101
size == 0
type == 1
align == 0
@@ -3111,6 +3191,7 @@
@assert {
+ Rm == 1101
size == 1
type == 0
align == 1
@@ -3140,6 +3221,7 @@
@assert {
+ Rm == 1101
size == 1
type == 0
align == 10
@@ -3169,6 +3251,7 @@
@assert {
+ Rm == 1101
size == 1
type == 0
align == 11
@@ -3198,6 +3281,7 @@
@assert {
+ Rm == 1101
size == 1
type == 0
align == 0
@@ -3227,6 +3311,7 @@
@assert {
+ Rm == 1101
size == 1
type == 1
align == 1
@@ -3256,6 +3341,7 @@
@assert {
+ Rm == 1101
size == 1
type == 1
align == 10
@@ -3285,6 +3371,7 @@
@assert {
+ Rm == 1101
size == 1
type == 1
align == 11
@@ -3314,6 +3401,7 @@
@assert {
+ Rm == 1101
size == 1
type == 1
align == 0
@@ -3343,6 +3431,7 @@
@assert {
+ Rm == 1101
size == 10
type == 0
align == 1
@@ -3372,6 +3461,7 @@
@assert {
+ Rm == 1101
size == 10
type == 0
align == 10
@@ -3401,6 +3491,7 @@
@assert {
+ Rm == 1101
size == 10
type == 0
align == 11
@@ -3430,6 +3521,7 @@
@assert {
+ Rm == 1101
size == 10
type == 0
align == 0
@@ -3459,6 +3551,7 @@
@assert {
+ Rm == 1101
size == 10
type == 1
align == 1
@@ -3488,6 +3581,7 @@
@assert {
+ Rm == 1101
size == 10
type == 1
align == 10
@@ -3517,6 +3611,7 @@
@assert {
+ Rm == 1101
size == 10
type == 1
align == 11
@@ -3546,6 +3641,7 @@
@assert {
+ Rm == 1101
size == 10
type == 1
align == 0