Add tests for all encodings of REV and REV16 in both ARM and Thumb mode.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11381

diff --git a/none/tests/arm/v6intARM.c b/none/tests/arm/v6intARM.c
index bb91d7603e52b630f3973acfcea757f731ad3f6a..bd501c64efc0ceb528eeb5ff290ccbff5efb05c2 100644 (file)
--- a/none/tests/arm/v6intARM.c
+++ b/none/tests/arm/v6intARM.c
@@ -865,5 +865,45 @@ int main(int argc, char **argv)
    TESTINST2("rbit r0, r1", 0xbb6d14ec, r0, r1, 0);
    TESTINST2("rbit r0, r1", 0x68983cc9, r0, r1, 0);
 
+       printf("------------ REV ------------\n");
+       TESTINST2("rev r0, r1", 0x00000000, r0, r1, 0);
+       TESTINST2("rev r0, r1", 0xFFFFFFFF, r0, r1, 0);
+       TESTINST2("rev r0, r1", 0x80000000, r0, r1, 0);
+       TESTINST2("rev r0, r1", 0x00000001, r0, r1, 0);
+       TESTINST2("rev r0, r1", 0x31415927, r0, r1, 0);
+       TESTINST2("rev r0, r1", 0x14141562, r0, r1, 0);
+   TESTINST2("rev r0, r1", 0xabe8391f, r0, r1, 0);
+   TESTINST2("rev r0, r1", 0x9028aa80, r0, r1, 0);
+   TESTINST2("rev r0, r1", 0xead1fc6d, r0, r1, 0);
+   TESTINST2("rev r0, r1", 0x35c98c55, r0, r1, 0);
+   TESTINST2("rev r0, r1", 0x534af1eb, r0, r1, 0);
+   TESTINST2("rev r0, r1", 0x45511b08, r0, r1, 0);
+   TESTINST2("rev r0, r1", 0x90077f71, r0, r1, 0);
+   TESTINST2("rev r0, r1", 0xde8ca84b, r0, r1, 0);
+   TESTINST2("rev r0, r1", 0xe37a0dda, r0, r1, 0);
+   TESTINST2("rev r0, r1", 0xe5b83d4b, r0, r1, 0);
+   TESTINST2("rev r0, r1", 0xbb6d14ec, r0, r1, 0);
+   TESTINST2("rev r0, r1", 0x68983cc9, r0, r1, 0);
+
+       printf("------------ REV16 ------------\n");
+       TESTINST2("rev16 r0, r1", 0x00000000, r0, r1, 0);
+       TESTINST2("rev16 r0, r1", 0xFFFFFFFF, r0, r1, 0);
+       TESTINST2("rev16 r0, r1", 0x80000000, r0, r1, 0);
+       TESTINST2("rev16 r0, r1", 0x00000001, r0, r1, 0);
+       TESTINST2("rev16 r0, r1", 0x31415927, r0, r1, 0);
+       TESTINST2("rev16 r0, r1", 0x14141562, r0, r1, 0);
+   TESTINST2("rev16 r0, r1", 0xabe8391f, r0, r1, 0);
+   TESTINST2("rev16 r0, r1", 0x9028aa80, r0, r1, 0);
+   TESTINST2("rev16 r0, r1", 0xead1fc6d, r0, r1, 0);
+   TESTINST2("rev16 r0, r1", 0x35c98c55, r0, r1, 0);
+   TESTINST2("rev16 r0, r1", 0x534af1eb, r0, r1, 0);
+   TESTINST2("rev16 r0, r1", 0x45511b08, r0, r1, 0);
+   TESTINST2("rev16 r0, r1", 0x90077f71, r0, r1, 0);
+   TESTINST2("rev16 r0, r1", 0xde8ca84b, r0, r1, 0);
+   TESTINST2("rev16 r0, r1", 0xe37a0dda, r0, r1, 0);
+   TESTINST2("rev16 r0, r1", 0xe5b83d4b, r0, r1, 0);
+   TESTINST2("rev16 r0, r1", 0xbb6d14ec, r0, r1, 0);
+   TESTINST2("rev16 r0, r1", 0x68983cc9, r0, r1, 0);
+
        return 0;
 }

diff --git a/none/tests/arm/v6intARM.stdout.exp b/none/tests/arm/v6intARM.stdout.exp
index 49fdb533455069dae210f34a19e7b26f439203d0..282d0a02ccd12d50a00fd6c6237a92b4724d1bb9 100644 (file)
--- a/none/tests/arm/v6intARM.stdout.exp
+++ b/none/tests/arm/v6intARM.stdout.exp
@@ -756,3 +756,41 @@ rbit r0, r1 :: rd 0x5bb05ec7 rm 0xe37a0dda, carryin 0, cpsr 0x00000000
 rbit r0, r1 :: rd 0xd2bc1da7 rm 0xe5b83d4b, carryin 0, cpsr 0x00000000     
 rbit r0, r1 :: rd 0x3728b6dd rm 0xbb6d14ec, carryin 0, cpsr 0x00000000     
 rbit r0, r1 :: rd 0x933c1916 rm 0x68983cc9, carryin 0, cpsr 0x00000000     
+------------ REV ------------
+rev r0, r1 :: rd 0x00000000 rm 0x00000000, carryin 0, cpsr 0x00000000     
+rev r0, r1 :: rd 0xffffffff rm 0xffffffff, carryin 0, cpsr 0x00000000     
+rev r0, r1 :: rd 0x00000080 rm 0x80000000, carryin 0, cpsr 0x00000000     
+rev r0, r1 :: rd 0x01000000 rm 0x00000001, carryin 0, cpsr 0x00000000     
+rev r0, r1 :: rd 0x27594131 rm 0x31415927, carryin 0, cpsr 0x00000000     
+rev r0, r1 :: rd 0x62151414 rm 0x14141562, carryin 0, cpsr 0x00000000     
+rev r0, r1 :: rd 0x1f39e8ab rm 0xabe8391f, carryin 0, cpsr 0x00000000     
+rev r0, r1 :: rd 0x80aa2890 rm 0x9028aa80, carryin 0, cpsr 0x00000000     
+rev r0, r1 :: rd 0x6dfcd1ea rm 0xead1fc6d, carryin 0, cpsr 0x00000000     
+rev r0, r1 :: rd 0x558cc935 rm 0x35c98c55, carryin 0, cpsr 0x00000000     
+rev r0, r1 :: rd 0xebf14a53 rm 0x534af1eb, carryin 0, cpsr 0x00000000     
+rev r0, r1 :: rd 0x081b5145 rm 0x45511b08, carryin 0, cpsr 0x00000000     
+rev r0, r1 :: rd 0x717f0790 rm 0x90077f71, carryin 0, cpsr 0x00000000     
+rev r0, r1 :: rd 0x4ba88cde rm 0xde8ca84b, carryin 0, cpsr 0x00000000     
+rev r0, r1 :: rd 0xda0d7ae3 rm 0xe37a0dda, carryin 0, cpsr 0x00000000     
+rev r0, r1 :: rd 0x4b3db8e5 rm 0xe5b83d4b, carryin 0, cpsr 0x00000000     
+rev r0, r1 :: rd 0xec146dbb rm 0xbb6d14ec, carryin 0, cpsr 0x00000000     
+rev r0, r1 :: rd 0xc93c9868 rm 0x68983cc9, carryin 0, cpsr 0x00000000     
+------------ REV16 ------------
+rev16 r0, r1 :: rd 0x00000000 rm 0x00000000, carryin 0, cpsr 0x00000000     
+rev16 r0, r1 :: rd 0xffffffff rm 0xffffffff, carryin 0, cpsr 0x00000000     
+rev16 r0, r1 :: rd 0x00800000 rm 0x80000000, carryin 0, cpsr 0x00000000     
+rev16 r0, r1 :: rd 0x00000100 rm 0x00000001, carryin 0, cpsr 0x00000000     
+rev16 r0, r1 :: rd 0x41312759 rm 0x31415927, carryin 0, cpsr 0x00000000     
+rev16 r0, r1 :: rd 0x14146215 rm 0x14141562, carryin 0, cpsr 0x00000000     
+rev16 r0, r1 :: rd 0xe8ab1f39 rm 0xabe8391f, carryin 0, cpsr 0x00000000     
+rev16 r0, r1 :: rd 0x289080aa rm 0x9028aa80, carryin 0, cpsr 0x00000000     
+rev16 r0, r1 :: rd 0xd1ea6dfc rm 0xead1fc6d, carryin 0, cpsr 0x00000000     
+rev16 r0, r1 :: rd 0xc935558c rm 0x35c98c55, carryin 0, cpsr 0x00000000     
+rev16 r0, r1 :: rd 0x4a53ebf1 rm 0x534af1eb, carryin 0, cpsr 0x00000000     
+rev16 r0, r1 :: rd 0x5145081b rm 0x45511b08, carryin 0, cpsr 0x00000000     
+rev16 r0, r1 :: rd 0x0790717f rm 0x90077f71, carryin 0, cpsr 0x00000000     
+rev16 r0, r1 :: rd 0x8cde4ba8 rm 0xde8ca84b, carryin 0, cpsr 0x00000000     
+rev16 r0, r1 :: rd 0x7ae3da0d rm 0xe37a0dda, carryin 0, cpsr 0x00000000     
+rev16 r0, r1 :: rd 0xb8e54b3d rm 0xe5b83d4b, carryin 0, cpsr 0x00000000     
+rev16 r0, r1 :: rd 0x6dbbec14 rm 0xbb6d14ec, carryin 0, cpsr 0x00000000     
+rev16 r0, r1 :: rd 0x9868c93c rm 0x68983cc9, carryin 0, cpsr 0x00000000     

diff --git a/none/tests/arm/v6intThumb.c b/none/tests/arm/v6intThumb.c
index b2568d13f7cea9fa12222d615faa897f4de48448..7ee9b58d75217971ee42190bc7b6c9f5f4fc5971 100644 (file)
--- a/none/tests/arm/v6intThumb.c
+++ b/none/tests/arm/v6intThumb.c
@@ -5762,6 +5762,86 @@ int main ( void )
    TESTINST2("rbit r0, r1", 0xbb6d14ec, r0, r1, 0);
    TESTINST2("rbit r0, r1", 0x68983cc9, r0, r1, 0);
 
+       printf("(T1) REV Rd, Rm ------------\n");
+       TESTINST2("rev r0, r1", 0x00000000, r0, r1, 0);
+       TESTINST2("rev r0, r1", 0xFFFFFFFF, r0, r1, 0);
+       TESTINST2("rev r0, r1", 0x80000000, r0, r1, 0);
+       TESTINST2("rev r0, r1", 0x00000001, r0, r1, 0);
+       TESTINST2("rev r0, r1", 0x31415927, r0, r1, 0);
+       TESTINST2("rev r0, r1", 0x14141562, r0, r1, 0);
+   TESTINST2("rev r0, r1", 0xabe8391f, r0, r1, 0);
+   TESTINST2("rev r0, r1", 0x9028aa80, r0, r1, 0);
+   TESTINST2("rev r0, r1", 0xead1fc6d, r0, r1, 0);
+   TESTINST2("rev r0, r1", 0x35c98c55, r0, r1, 0);
+   TESTINST2("rev r0, r1", 0x534af1eb, r0, r1, 0);
+   TESTINST2("rev r0, r1", 0x45511b08, r0, r1, 0);
+   TESTINST2("rev r0, r1", 0x90077f71, r0, r1, 0);
+   TESTINST2("rev r0, r1", 0xde8ca84b, r0, r1, 0);
+   TESTINST2("rev r0, r1", 0xe37a0dda, r0, r1, 0);
+   TESTINST2("rev r0, r1", 0xe5b83d4b, r0, r1, 0);
+   TESTINST2("rev r0, r1", 0xbb6d14ec, r0, r1, 0);
+   TESTINST2("rev r0, r1", 0x68983cc9, r0, r1, 0);
+
+       printf("(T2) REV Rd, Rm ------------\n");
+       TESTINST2("rev r8, r9", 0x00000000, r8, r9, 0);
+       TESTINST2("rev r8, r9", 0xFFFFFFFF, r8, r9, 0);
+       TESTINST2("rev r8, r9", 0x80000000, r8, r9, 0);
+       TESTINST2("rev r8, r9", 0x00000001, r8, r9, 0);
+       TESTINST2("rev r8, r9", 0x31415927, r8, r9, 0);
+       TESTINST2("rev r8, r9", 0x14141562, r8, r9, 0);
+   TESTINST2("rev r8, r9", 0xabe8391f, r8, r9, 0);
+   TESTINST2("rev r8, r9", 0x9028aa80, r8, r9, 0);
+   TESTINST2("rev r8, r9", 0xead1fc6d, r8, r9, 0);
+   TESTINST2("rev r8, r9", 0x35c98c55, r8, r9, 0);
+   TESTINST2("rev r8, r9", 0x534af1eb, r8, r9, 0);
+   TESTINST2("rev r8, r9", 0x45511b08, r8, r9, 0);
+   TESTINST2("rev r8, r9", 0x90077f71, r8, r9, 0);
+   TESTINST2("rev r8, r9", 0xde8ca84b, r8, r9, 0);
+   TESTINST2("rev r8, r9", 0xe37a0dda, r8, r9, 0);
+   TESTINST2("rev r8, r9", 0xe5b83d4b, r8, r9, 0);
+   TESTINST2("rev r8, r9", 0xbb6d14ec, r8, r9, 0);
+   TESTINST2("rev r8, r9", 0x68983cc9, r8, r9, 0);
+
+       printf("(T1) REV16 Rd, Rm ------------\n");
+       TESTINST2("rev16 r0, r1", 0x00000000, r0, r1, 0);
+       TESTINST2("rev16 r0, r1", 0xFFFFFFFF, r0, r1, 0);
+       TESTINST2("rev16 r0, r1", 0x80000000, r0, r1, 0);
+       TESTINST2("rev16 r0, r1", 0x00000001, r0, r1, 0);
+       TESTINST2("rev16 r0, r1", 0x31415927, r0, r1, 0);
+       TESTINST2("rev16 r0, r1", 0x14141562, r0, r1, 0);
+   TESTINST2("rev16 r0, r1", 0xabe8391f, r0, r1, 0);
+   TESTINST2("rev16 r0, r1", 0x9028aa80, r0, r1, 0);
+   TESTINST2("rev16 r0, r1", 0xead1fc6d, r0, r1, 0);
+   TESTINST2("rev16 r0, r1", 0x35c98c55, r0, r1, 0);
+   TESTINST2("rev16 r0, r1", 0x534af1eb, r0, r1, 0);
+   TESTINST2("rev16 r0, r1", 0x45511b08, r0, r1, 0);
+   TESTINST2("rev16 r0, r1", 0x90077f71, r0, r1, 0);
+   TESTINST2("rev16 r0, r1", 0xde8ca84b, r0, r1, 0);
+   TESTINST2("rev16 r0, r1", 0xe37a0dda, r0, r1, 0);
+   TESTINST2("rev16 r0, r1", 0xe5b83d4b, r0, r1, 0);
+   TESTINST2("rev16 r0, r1", 0xbb6d14ec, r0, r1, 0);
+   TESTINST2("rev16 r0, r1", 0x68983cc9, r0, r1, 0);
+
+       printf("(T2) REV16 Rd, Rm ------------\n");
+       TESTINST2("rev16 r8, r9", 0x00000000, r8, r9, 0);
+       TESTINST2("rev16 r8, r9", 0xFFFFFFFF, r8, r9, 0);
+       TESTINST2("rev16 r8, r9", 0x80000000, r8, r9, 0);
+       TESTINST2("rev16 r8, r9", 0x00000001, r8, r9, 0);
+       TESTINST2("rev16 r8, r9", 0x31415927, r8, r9, 0);
+       TESTINST2("rev16 r8, r9", 0x14141562, r8, r9, 0);
+   TESTINST2("rev16 r8, r9", 0xabe8391f, r8, r9, 0);
+   TESTINST2("rev16 r8, r9", 0x9028aa80, r8, r9, 0);
+   TESTINST2("rev16 r8, r9", 0xead1fc6d, r8, r9, 0);
+   TESTINST2("rev16 r8, r9", 0x35c98c55, r8, r9, 0);
+   TESTINST2("rev16 r8, r9", 0x534af1eb, r8, r9, 0);
+   TESTINST2("rev16 r8, r9", 0x45511b08, r8, r9, 0);
+   TESTINST2("rev16 r8, r9", 0x90077f71, r8, r9, 0);
+   TESTINST2("rev16 r8, r9", 0xde8ca84b, r8, r9, 0);
+   TESTINST2("rev16 r8, r9", 0xe37a0dda, r8, r9, 0);
+   TESTINST2("rev16 r8, r9", 0xe5b83d4b, r8, r9, 0);
+   TESTINST2("rev16 r8, r9", 0xbb6d14ec, r8, r9, 0);
+   TESTINST2("rev16 r8, r9", 0x68983cc9, r8, r9, 0);
+
    // plus whatever stuff we can throw in from the old ARM test program
    old_main();
 

diff --git a/none/tests/arm/v6intThumb.stdout.exp b/none/tests/arm/v6intThumb.stdout.exp
index f150b8eb8159e7cfc88ce65e9dea2d4182ff950c..5f48c2fd8b0aebacd99545572e734aab7aae7a65 100644 (file)
--- a/none/tests/arm/v6intThumb.stdout.exp
+++ b/none/tests/arm/v6intThumb.stdout.exp
@@ -16562,6 +16562,82 @@ rbit r0, r1 :: rd 0x5bb05ec7 rm 0xe37a0dda, c:v-in 0, cpsr 0xc0000000 NZ
 rbit r0, r1 :: rd 0xd2bc1da7 rm 0xe5b83d4b, c:v-in 0, cpsr 0xc0000000 NZ  
 rbit r0, r1 :: rd 0x3728b6dd rm 0xbb6d14ec, c:v-in 0, cpsr 0xc0000000 NZ  
 rbit r0, r1 :: rd 0x933c1916 rm 0x68983cc9, c:v-in 0, cpsr 0xc0000000 NZ  
+(T1) REV Rd, Rm ------------
+rev r0, r1 :: rd 0x00000000 rm 0x00000000, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r0, r1 :: rd 0xffffffff rm 0xffffffff, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r0, r1 :: rd 0x00000080 rm 0x80000000, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r0, r1 :: rd 0x01000000 rm 0x00000001, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r0, r1 :: rd 0x27594131 rm 0x31415927, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r0, r1 :: rd 0x62151414 rm 0x14141562, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r0, r1 :: rd 0x1f39e8ab rm 0xabe8391f, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r0, r1 :: rd 0x80aa2890 rm 0x9028aa80, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r0, r1 :: rd 0x6dfcd1ea rm 0xead1fc6d, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r0, r1 :: rd 0x558cc935 rm 0x35c98c55, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r0, r1 :: rd 0xebf14a53 rm 0x534af1eb, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r0, r1 :: rd 0x081b5145 rm 0x45511b08, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r0, r1 :: rd 0x717f0790 rm 0x90077f71, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r0, r1 :: rd 0x4ba88cde rm 0xde8ca84b, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r0, r1 :: rd 0xda0d7ae3 rm 0xe37a0dda, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r0, r1 :: rd 0x4b3db8e5 rm 0xe5b83d4b, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r0, r1 :: rd 0xec146dbb rm 0xbb6d14ec, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r0, r1 :: rd 0xc93c9868 rm 0x68983cc9, c:v-in 0, cpsr 0xc0000000 NZ  
+(T2) REV Rd, Rm ------------
+rev r8, r9 :: rd 0x00000000 rm 0x00000000, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r8, r9 :: rd 0xffffffff rm 0xffffffff, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r8, r9 :: rd 0x00000080 rm 0x80000000, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r8, r9 :: rd 0x01000000 rm 0x00000001, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r8, r9 :: rd 0x27594131 rm 0x31415927, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r8, r9 :: rd 0x62151414 rm 0x14141562, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r8, r9 :: rd 0x1f39e8ab rm 0xabe8391f, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r8, r9 :: rd 0x80aa2890 rm 0x9028aa80, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r8, r9 :: rd 0x6dfcd1ea rm 0xead1fc6d, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r8, r9 :: rd 0x558cc935 rm 0x35c98c55, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r8, r9 :: rd 0xebf14a53 rm 0x534af1eb, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r8, r9 :: rd 0x081b5145 rm 0x45511b08, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r8, r9 :: rd 0x717f0790 rm 0x90077f71, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r8, r9 :: rd 0x4ba88cde rm 0xde8ca84b, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r8, r9 :: rd 0xda0d7ae3 rm 0xe37a0dda, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r8, r9 :: rd 0x4b3db8e5 rm 0xe5b83d4b, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r8, r9 :: rd 0xec146dbb rm 0xbb6d14ec, c:v-in 0, cpsr 0xc0000000 NZ  
+rev r8, r9 :: rd 0xc93c9868 rm 0x68983cc9, c:v-in 0, cpsr 0xc0000000 NZ  
+(T1) REV16 Rd, Rm ------------
+rev16 r0, r1 :: rd 0x00000000 rm 0x00000000, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r0, r1 :: rd 0xffffffff rm 0xffffffff, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r0, r1 :: rd 0x00800000 rm 0x80000000, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r0, r1 :: rd 0x00000100 rm 0x00000001, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r0, r1 :: rd 0x41312759 rm 0x31415927, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r0, r1 :: rd 0x14146215 rm 0x14141562, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r0, r1 :: rd 0xe8ab1f39 rm 0xabe8391f, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r0, r1 :: rd 0x289080aa rm 0x9028aa80, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r0, r1 :: rd 0xd1ea6dfc rm 0xead1fc6d, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r0, r1 :: rd 0xc935558c rm 0x35c98c55, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r0, r1 :: rd 0x4a53ebf1 rm 0x534af1eb, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r0, r1 :: rd 0x5145081b rm 0x45511b08, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r0, r1 :: rd 0x0790717f rm 0x90077f71, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r0, r1 :: rd 0x8cde4ba8 rm 0xde8ca84b, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r0, r1 :: rd 0x7ae3da0d rm 0xe37a0dda, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r0, r1 :: rd 0xb8e54b3d rm 0xe5b83d4b, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r0, r1 :: rd 0x6dbbec14 rm 0xbb6d14ec, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r0, r1 :: rd 0x9868c93c rm 0x68983cc9, c:v-in 0, cpsr 0xc0000000 NZ  
+(T2) REV16 Rd, Rm ------------
+rev16 r8, r9 :: rd 0x00000000 rm 0x00000000, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r8, r9 :: rd 0xffffffff rm 0xffffffff, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r8, r9 :: rd 0x00800000 rm 0x80000000, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r8, r9 :: rd 0x00000100 rm 0x00000001, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r8, r9 :: rd 0x41312759 rm 0x31415927, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r8, r9 :: rd 0x14146215 rm 0x14141562, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r8, r9 :: rd 0xe8ab1f39 rm 0xabe8391f, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r8, r9 :: rd 0x289080aa rm 0x9028aa80, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r8, r9 :: rd 0xd1ea6dfc rm 0xead1fc6d, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r8, r9 :: rd 0xc935558c rm 0x35c98c55, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r8, r9 :: rd 0x4a53ebf1 rm 0x534af1eb, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r8, r9 :: rd 0x5145081b rm 0x45511b08, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r8, r9 :: rd 0x0790717f rm 0x90077f71, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r8, r9 :: rd 0x8cde4ba8 rm 0xde8ca84b, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r8, r9 :: rd 0x7ae3da0d rm 0xe37a0dda, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r8, r9 :: rd 0xb8e54b3d rm 0xe5b83d4b, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r8, r9 :: rd 0x6dbbec14 rm 0xbb6d14ec, c:v-in 0, cpsr 0xc0000000 NZ  
+rev16 r8, r9 :: rd 0x9868c93c rm 0x68983cc9, c:v-in 0, cpsr 0xc0000000 NZ  
 MOV
 mov  r0, r1 :: rd 0x00000001 rm 0x00000001, c:v-in 0, cpsr 0xc0000000 NZ  
 cpy  r0, r1 :: rd 0x00000001 rm 0x00000001, c:v-in 0, cpsr 0xc0000000 NZ