]> git.ipfire.org Git - thirdparty/valgrind.git/commitdiff
Test for RBIT in ARM mode.
authorJulian Seward <jseward@acm.org>
Fri, 24 Sep 2010 23:51:42 +0000 (23:51 +0000)
committerJulian Seward <jseward@acm.org>
Fri, 24 Sep 2010 23:51:42 +0000 (23:51 +0000)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11379

none/tests/arm/v6intARM.c
none/tests/arm/v6intARM.stdout.exp

index bc3254a1f5725f853a1d8fd1e4dc24f3eaeafedb..bb91d7603e52b630f3973acfcea757f731ad3f6a 100644 (file)
@@ -845,6 +845,25 @@ int main(int argc, char **argv)
         }
        printf("------------ PLD/PLDW (done) ------------\n");
 
+       printf("------------ RBIT ------------\n");
+       TESTINST2("rbit r0, r1", 0x00000000, r0, r1, 0);
+       TESTINST2("rbit r0, r1", 0xFFFFFFFF, r0, r1, 0);
+       TESTINST2("rbit r0, r1", 0x80000000, r0, r1, 0);
+       TESTINST2("rbit r0, r1", 0x00000001, r0, r1, 0);
+       TESTINST2("rbit r0, r1", 0x31415927, r0, r1, 0);
+       TESTINST2("rbit r0, r1", 0x14141562, r0, r1, 0);
+   TESTINST2("rbit r0, r1", 0xabe8391f, r0, r1, 0);
+   TESTINST2("rbit r0, r1", 0x9028aa80, r0, r1, 0);
+   TESTINST2("rbit r0, r1", 0xead1fc6d, r0, r1, 0);
+   TESTINST2("rbit r0, r1", 0x35c98c55, r0, r1, 0);
+   TESTINST2("rbit r0, r1", 0x534af1eb, r0, r1, 0);
+   TESTINST2("rbit r0, r1", 0x45511b08, r0, r1, 0);
+   TESTINST2("rbit r0, r1", 0x90077f71, r0, r1, 0);
+   TESTINST2("rbit r0, r1", 0xde8ca84b, r0, r1, 0);
+   TESTINST2("rbit r0, r1", 0xe37a0dda, r0, r1, 0);
+   TESTINST2("rbit r0, r1", 0xe5b83d4b, r0, r1, 0);
+   TESTINST2("rbit r0, r1", 0xbb6d14ec, r0, r1, 0);
+   TESTINST2("rbit r0, r1", 0x68983cc9, r0, r1, 0);
 
        return 0;
 }
index 064b52672fa50c700cc28f98aac34eb6d489ab06..49fdb533455069dae210f34a19e7b26f439203d0 100644 (file)
@@ -737,3 +737,22 @@ uxtah r0, r1, r2, ROR #0  :: rd 0x3141f140 rm 0x31415927, rn 0x27189819, carryin
 pld  reg +/- imm12  cases
 pld  reg +/- shifted reg  cases
 ------------ PLD/PLDW (done) ------------
+------------ RBIT ------------
+rbit r0, r1 :: rd 0x00000000 rm 0x00000000, carryin 0, cpsr 0x00000000     
+rbit r0, r1 :: rd 0xffffffff rm 0xffffffff, carryin 0, cpsr 0x00000000     
+rbit r0, r1 :: rd 0x00000001 rm 0x80000000, carryin 0, cpsr 0x00000000     
+rbit r0, r1 :: rd 0x80000000 rm 0x00000001, carryin 0, cpsr 0x00000000     
+rbit r0, r1 :: rd 0xe49a828c rm 0x31415927, carryin 0, cpsr 0x00000000     
+rbit r0, r1 :: rd 0x46a82828 rm 0x14141562, carryin 0, cpsr 0x00000000     
+rbit r0, r1 :: rd 0xf89c17d5 rm 0xabe8391f, carryin 0, cpsr 0x00000000     
+rbit r0, r1 :: rd 0x01551409 rm 0x9028aa80, carryin 0, cpsr 0x00000000     
+rbit r0, r1 :: rd 0xb63f8b57 rm 0xead1fc6d, carryin 0, cpsr 0x00000000     
+rbit r0, r1 :: rd 0xaa3193ac rm 0x35c98c55, carryin 0, cpsr 0x00000000     
+rbit r0, r1 :: rd 0xd78f52ca rm 0x534af1eb, carryin 0, cpsr 0x00000000     
+rbit r0, r1 :: rd 0x10d88aa2 rm 0x45511b08, carryin 0, cpsr 0x00000000     
+rbit r0, r1 :: rd 0x8efee009 rm 0x90077f71, carryin 0, cpsr 0x00000000     
+rbit r0, r1 :: rd 0xd215317b rm 0xde8ca84b, carryin 0, cpsr 0x00000000     
+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