From 1572e928b41b5c0765d7f47b346110da14e58b9e Mon Sep 17 00:00:00 2001
From: iximeow <me@iximeow.net>
Date: Sun, 6 Dec 2020 15:17:52 -0800
Subject: add ldc/sdc instructions and a slew of 32b thumb2 tests

---
 test/armv7/thumb.rs | 557 ++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 557 insertions(+)

(limited to 'test')

diff --git a/test/armv7/thumb.rs b/test/armv7/thumb.rs
index f61e94d..7ab89fb 100644
--- a/test/armv7/thumb.rs
+++ b/test/armv7/thumb.rs
@@ -3394,3 +3394,560 @@ fn test_decode_ux_sx_cases() {
         "uxtb r2, r1"
     );
 }
+
+#[test]
+fn test_decode_ldr_32b_cases() {
+    test_display(
+        &[0x73, 0xe8, 0x7e, 0x5a],
+        "ldrd r5, r10, [r3], -0x1f8"
+    );
+    test_display(
+        &[0x93, 0xf8, 0x7e, 0x5a],
+        "ldrb.w r5, [r3, 0xa7e]"
+    );
+    test_display(
+        &[0xb3, 0xf8, 0x7e, 0x5a],
+        "ldrh.w r5, [r3, 0xa7e]"
+    );
+    test_display(
+        &[0xd3, 0xf8, 0x7e, 0x5a],
+        "ldr.w r5, [r3, 0xa7e]"
+    );
+    test_display(
+        &[0xf3, 0xe8, 0x7e, 0x5a],
+        "ldrd r5, r10, [r3], 0x1f8"
+    );
+    test_display(
+        &[0x53, 0xe9, 0x7e, 0x5a],
+        "ldrd r5, r10, [r3, -0x1f8]"
+    );
+    test_display(
+        &[0x73, 0xe9, 0x7e, 0x5a],
+        "ldrd r5, r10, [r3, -0x1f8]!"
+    );
+    test_display(
+        &[0x93, 0xf9, 0x7e, 0x5a],
+        "ldrsb.w r5, [r3, 0xa7e]"
+    );
+    test_display(
+        &[0xb3, 0xf9, 0x7e, 0x5a],
+        "ldrsh.w r5, [r3, 0xa7e]"
+    );
+    test_display(
+        &[0xd3, 0xe9, 0x7e, 0x5a],
+        "ldrd r5, r10, [r3, 0x1f8]"
+    );
+    test_display(
+        &[0xf3, 0xe9, 0x7e, 0x5a],
+        "ldrd r5, r10, [r3, 0x1f8]!"
+    );
+}
+
+#[test]
+fn test_decode_coproc_ld_32b_cases() {
+    test_display(
+        &[0x33, 0xfc, 0x7e, 0x54],
+        "ldc2 p4, c5, [r3], -0x1f8"
+    );
+    test_display(
+        &[0x73, 0xfc, 0x7e, 0x54],
+        "ldc2l p4, c5, [r3], -0x1f8"
+    );
+    test_display(
+        &[0x93, 0xfc, 0x7e, 0x54],
+        "ldc2 p4, c5, [r3], {0x7e}"
+    );
+    test_display(
+        &[0xb3, 0xfc, 0x7e, 0x54],
+        "ldc2 p4, c5, [r3], 0x1f8"
+    );
+    test_display(
+        &[0xd3, 0xfc, 0x7e, 0x54],
+        "ldc2l p4, c5, [r3], {0x7e}"
+    );
+    test_display(
+        &[0xf3, 0xfc, 0x7e, 0x54],
+        "ldc2l p4, c5, [r3], 0x1f8"
+    );
+    test_display(
+        &[0x13, 0xfd, 0x7e, 0x54],
+        "ldc2 p4, c5, [r3, -0x1f8]"
+    );
+    test_display(
+        &[0x33, 0xfd, 0x7e, 0x54],
+        "ldc2 p4, c5, [r3, -0x1f8]!"
+    );
+    test_display(
+        &[0x53, 0xfd, 0x7e, 0x54],
+        "ldc2l p4, c5, [r3, -0x1f8]"
+    );
+    test_display(
+        &[0x73, 0xfd, 0x7e, 0x54],
+        "ldc2l p4, c5, [r3, -0x1f8]!"
+    );
+    test_display(
+        &[0x93, 0xfd, 0x7e, 0x54],
+        "ldc2 p4, c5, [r3, 0x1f8]"
+    );
+    test_display(
+        &[0xb3, 0xfd, 0x7e, 0x54],
+        "ldc2 p4, c5, [r3, 0x1f8]!"
+    );
+    test_display(
+        &[0xd3, 0xfd, 0x7e, 0x54],
+        "ldc2l p4, c5, [r3, 0x1f8]"
+    );
+    test_display(
+        &[0xf3, 0xfd, 0x7e, 0x54],
+        "ldc2l p4, c5, [r3, 0x1f8]!"
+    );
+}
+#[test]
+fn test_decode_str_32b_cases() {
+    test_display(
+        &[0x43, 0xe8, 0x7e, 0x5a],
+        "strex r10, r5, [r3, 0x1f8]"
+    );
+    test_display(
+        &[0x63, 0xe8, 0x7e, 0x5a],
+        "strd r5, r10, [r3], -0x1f8"
+    );
+    test_display(
+        &[0x83, 0xf8, 0x7e, 0x5a],
+        "strb.w r5, [r3, 0xa7e]"
+    );
+    test_display(
+        &[0xa3, 0xf8, 0x7e, 0x5a],
+        "strh.w r5, [r3, 0xa7e]"
+    );
+    test_display(
+        &[0xc3, 0xe8, 0x7e, 0x5a],
+        "strexd lr, r5, r10, [r3]"
+    );
+    test_display(
+        &[0xc3, 0xf8, 0x7e, 0x5a],
+        "str.w r5, [r3, 0xa7e]"
+    );
+    test_display(
+        &[0xe3, 0xe8, 0x7e, 0x5a],
+        "strd r5, r10, [r3], 0x1f8"
+    );
+    test_display(
+        &[0x43, 0xe9, 0x7e, 0x5a],
+        "strd r5, r10, [r3, -0x1f8]"
+    );
+    test_display(
+        &[0x63, 0xe9, 0x7e, 0x5a],
+        "strd r5, r10, [r3, -0x1f8]!"
+    );
+    test_display(
+        &[0xc3, 0xe9, 0x7e, 0x5a],
+        "strd r5, r10, [r3, 0x1f8]"
+    );
+    test_display(
+        &[0xe3, 0xe9, 0x7e, 0x5a],
+        "strd r5, r10, [r3, 0x1f8]!"
+    );
+}
+
+#[test]
+fn test_decode_coproc_st_32b_cases() {
+    test_display(
+        &[0x23, 0xfc, 0x7e, 0x54],
+        "stc2 p4, c5, [r3], -0x1f8"
+    );
+    test_display(
+        &[0x63, 0xfc, 0x7e, 0x54],
+        "stc2l p4, c5, [r3], -0x1f8"
+    );
+    test_display(
+        &[0x83, 0xfc, 0x7e, 0x54],
+        "stc2 p4, c5, [r3], {0x7e}"
+    );
+    test_display(
+        &[0xa3, 0xfc, 0x7e, 0x54],
+        "stc2 p4, c5, [r3], 0x1f8"
+    );
+    test_display(
+        &[0xc3, 0xfc, 0x7e, 0x54],
+        "stc2l p4, c5, [r3], {0x7e}"
+    );
+    test_display(
+        &[0xe3, 0xfc, 0x7e, 0x54],
+        "stc2l p4, c5, [r3], 0x1f8"
+    );
+    test_display(
+        &[0x03, 0xfd, 0x7e, 0x54],
+        "stc2 p4, c5, [r3, -0x1f8]"
+    );
+    test_display(
+        &[0x23, 0xfd, 0x7e, 0x54],
+        "stc2 p4, c5, [r3, -0x1f8]!"
+    );
+    test_display(
+        &[0x43, 0xfd, 0x7e, 0x54],
+        "stc2l p4, c5, [r3, -0x1f8]"
+    );
+    test_display(
+        &[0x63, 0xfd, 0x7e, 0x54],
+        "stc2l p4, c5, [r3, -0x1f8]!"
+    );
+    test_display(
+        &[0x83, 0xfd, 0x7e, 0x54],
+        "stc2 p4, c5, [r3, 0x1f8]"
+    );
+    test_display(
+        &[0xa3, 0xfd, 0x7e, 0x54],
+        "stc2 p4, c5, [r3, 0x1f8]!"
+    );
+    test_display(
+        &[0xc3, 0xfd, 0x7e, 0x54],
+        "stc2l p4, c5, [r3, 0x1f8]"
+    );
+    test_display(
+        &[0xe3, 0xfd, 0x7e, 0x54],
+        "stc2l p4, c5, [r3, 0x1f8]!"
+    );
+}
+#[test]
+fn test_decode_stm_ldm_32b_cases() {
+    test_display(
+        &[0x83, 0xe8, 0x7e, 0x5a],
+        "stm.w r3, {r1, r2, r3, r4, r5, r6, sb, fp, ip, lr}"
+    );
+    test_display(
+        &[0xa3, 0xe8, 0x7e, 0x5a],
+        "stm.w r3!, {r1, r2, r3, r4, r5, r6, sb, fp, ip, lr}"
+    );
+    test_display(
+        &[0x03, 0xe9, 0x7e, 0x5a],
+        "stmdb r3, {r1, r2, r3, r4, r5, r6, sb, fp, ip, lr}"
+    );
+    test_display(
+        &[0x23, 0xe9, 0x7e, 0x5a],
+        "stmdb r3!, {r1, r2, r3, r4, r5, r6, sb, fp, ip, lr}"
+    );
+
+    test_display(
+        &[0x93, 0xe8, 0x7e, 0x5a],
+        "ldm.w r3, {r1, r2, r3, r4, r5, r6, sb, fp, ip, lr}"
+    );
+    test_display(
+        &[0xb3, 0xe8, 0x7e, 0x5a],
+        "ldm.w r3!, {r1, r2, r3, r4, r5, r6, sb, fp, ip, lr}"
+    );
+    test_display(
+        &[0x13, 0xe9, 0x7e, 0x5a],
+        "ldmdb r3, {r1, r2, r3, r4, r5, r6, sb, fp, ip, lr}"
+    );
+    test_display(
+        &[0x33, 0xe9, 0x7e, 0x5a],
+        "ldmdb r3!, {r1, r2, r3, r4, r5, r6, sb, fp, ip, lr}"
+    );
+}
+#[test]
+fn test_decode_sat_ext_32b_cases() {
+    test_display(
+        &[0x43, 0xf3, 0x7e, 0x5a],
+        "sbfx r10, r3, 0x15, 0x1f"
+    );
+    test_display(
+        &[0xc3, 0xf3, 0x7e, 0x5a],
+        "ubfx r10, r3, 0x15, 0x1f"
+    );
+    test_display(
+        &[0x43, 0xf7, 0x7e, 0x5a],
+        "sbfx r10, r3, 0x15, 0x1f"
+    );
+    test_display(
+        &[0xc3, 0xf7, 0x7e, 0x5a],
+        "ubfx r10, r3, 0x15, 0x1f"
+    );
+
+    test_display(
+        &[0x83, 0xf3, 0x7e, 0x5a],
+        "usat r10, 0x1e, r3, lsl 21"
+    );
+    test_display(
+        &[0xa3, 0xf3, 0x7e, 0x5a],
+        "usat r10, 0x1e, r3, asr 21"
+    );
+    test_display(
+        &[0x83, 0xf7, 0x7e, 0x5a],
+        "usat r10, 0x1e, r3, lsl 21"
+    );
+    test_display(
+        &[0xa3, 0xf7, 0x7e, 0x5a],
+        "usat r10, 0x1e, r3, asr 21"
+    );
+}
+#[test]
+fn test_decode_bitwise_32b_cases() {
+    test_display(
+        &[0x23, 0xf0, 0x7e, 0x5a],
+        "bic r10, r3, 0x3f800000"
+    );
+    test_display(
+        &[0x33, 0xf0, 0x7e, 0x5a],
+        "bics r10, r3, 0x3f800000"
+    );
+    test_display(
+        &[0x23, 0xea, 0x7e, 0x5a],
+        "bic.w r10, r3, lr, ror 21"
+    );
+    test_display(
+        &[0x33, 0xea, 0x7e, 0x5a],
+        "bics.w r10, r3, lr, ror 21"
+    );
+    test_display(
+        &[0x23, 0xf4, 0x7e, 0x5a],
+        "bic r10, r3, 0x3f80"
+    );
+    test_display(
+        &[0x33, 0xf4, 0x7e, 0x5a],
+        "bics r10, r3, 0x3f80"
+    );
+
+    test_display(
+        &[0x03, 0xf0, 0x7e, 0x5a],
+        "and r10, r3, 0x3f800000"
+    );
+    test_display(
+        &[0x13, 0xf0, 0x7e, 0x5a],
+        "ands r10, r3, 0x3f800000"
+    );
+    test_display(
+        &[0x03, 0xea, 0x7e, 0x5a],
+        "and.w r10, r3, lr, ror 21"
+    );
+    test_display(
+        &[0x13, 0xea, 0x7e, 0x5a],
+        "ands.w r10, r3, lr, ror 21"
+    );
+    test_display(
+        &[0x03, 0xf4, 0x7e, 0x5a],
+        "and r10, r3, 0x3f80"
+    );
+    test_display(
+        &[0x13, 0xf4, 0x7e, 0x5a],
+        "ands r10, r3, 0x3f80"
+    );
+
+    test_display(
+        &[0x43, 0xf0, 0x7e, 0x5a],
+        "orr r10, r3, 0x3f800000"
+    );
+    test_display(
+        &[0x53, 0xf0, 0x7e, 0x5a],
+        "orrs r10, r3, 0x3f800000"
+    );
+    test_display(
+        &[0x43, 0xea, 0x7e, 0x5a],
+        "orr.w r10, r3, lr, ror 21"
+    );
+    test_display(
+        &[0x53, 0xea, 0x7e, 0x5a],
+        "orrs.w r10, r3, lr, ror 21"
+    );
+    test_display(
+        &[0x43, 0xf4, 0x7e, 0x5a],
+        "orr r10, r3, 0x3f80"
+    );
+    test_display(
+        &[0x53, 0xf4, 0x7e, 0x5a],
+        "orrs r10, r3, 0x3f80"
+    );
+
+    test_display(
+        &[0x83, 0xf0, 0x7e, 0x5a],
+        "eor r10, r3, 0x3f800000"
+    );
+    test_display(
+        &[0x93, 0xf0, 0x7e, 0x5a],
+        "eors r10, r3, 0x3f800000"
+    );
+    test_display(
+        &[0x83, 0xea, 0x7e, 0x5a],
+        "eor.w r10, r3, lr, ror 21"
+    );
+    test_display(
+        &[0x93, 0xea, 0x7e, 0x5a],
+        "eors.w r10, r3, lr, ror 21"
+    );
+    test_display(
+        &[0x83, 0xf4, 0x7e, 0x5a],
+        "eor r10, r3, 0x3f80"
+    );
+    test_display(
+        &[0x93, 0xf4, 0x7e, 0x5a],
+        "eors r10, r3, 0x3f80"
+    );
+
+    test_display(
+        &[0x63, 0xf0, 0x7e, 0x5a],
+        "orn r10, r3, 0x3f800000"
+    );
+    test_display(
+        &[0x73, 0xf0, 0x7e, 0x5a],
+        "orns r10, r3, 0x3f800000"
+    );
+    test_display(
+        &[0x63, 0xea, 0x7e, 0x5a],
+        "orn r10, r3, lr, ror 21"
+    );
+    test_display(
+        &[0x73, 0xea, 0x7e, 0x5a],
+        "orns r10, r3, lr, ror 21"
+    );
+    test_display(
+        &[0x63, 0xf4, 0x7e, 0x5a],
+        "orn r10, r3, 0x3f80"
+    );
+    test_display(
+        &[0x73, 0xf4, 0x7e, 0x5a],
+        "orns r10, r3, 0x3f80"
+    );
+}
+#[test]
+fn test_decode_arithmetic_32b_cases() {
+    test_display(
+        &[0xa3, 0xf1, 0x7e, 0x5a],
+        "sub.w r10, r3, 0x3f800000"
+    );
+    test_display(
+        &[0xb3, 0xf1, 0x7e, 0x5a],
+        "subs.w r10, r3, 0x3f800000"
+    );
+    test_display(
+        &[0xa3, 0xf2, 0x7e, 0x5a],
+        "sub.w r10, r3, 0x57e"
+    );
+    test_display(
+        &[0xa3, 0xeb, 0x7e, 0x5a],
+        "sub.w r10, r3, lr, ror 21"
+    );
+    test_display(
+        &[0xb3, 0xeb, 0x7e, 0x5a],
+        "subs.w r10, r3, lr, ror 21"
+    );
+    test_display(
+        &[0xa3, 0xf6, 0x7e, 0x5a],
+        "sub.w r10, r3, 0xd7e"
+    );
+    test_display(
+        &[0xa3, 0xf5, 0x7e, 0x5a],
+        "sub.w r10, r3, 0x3f80"
+    );
+    test_display(
+        &[0xb3, 0xf5, 0x7e, 0x5a],
+        "subs.w r10, r3, 0x3f80"
+    );
+
+    test_display(
+        &[0x03, 0xf1, 0x7e, 0x5a],
+        "add.w r10, r3, 0x3f800000"
+    );
+    test_display(
+        &[0x13, 0xf1, 0x7e, 0x5a],
+        "adds.w r10, r3, 0x3f800000"
+    );
+    test_display(
+        &[0x03, 0xf2, 0x7e, 0x5a],
+        "add.w r10, r3, 0x57e"
+    );
+    test_display(
+        &[0x03, 0xeb, 0x7e, 0x5a],
+        "add.w r10, r3, lr, ror 21"
+    );
+    test_display(
+        &[0x13, 0xeb, 0x7e, 0x5a],
+        "adds.w r10, r3, lr, ror 21"
+    );
+    test_display(
+        &[0x03, 0xf5, 0x7e, 0x5a],
+        "add.w r10, r3, 0x3f80"
+    );
+    test_display(
+        &[0x13, 0xf5, 0x7e, 0x5a],
+        "adds.w r10, r3, 0x3f80"
+    );
+    test_display(
+        &[0x03, 0xf6, 0x7e, 0x5a],
+        "add.w r10, r3, 0xd7e"
+    );
+
+    test_display(
+        &[0x43, 0xf1, 0x7e, 0x5a],
+        "adc r10, r3, 0x3f800000"
+    );
+    test_display(
+        &[0x53, 0xf1, 0x7e, 0x5a],
+        "adcs r10, r3, 0x3f800000"
+    );
+    test_display(
+        &[0x43, 0xeb, 0x7e, 0x5a],
+        "adc.w r10, r3, lr, ror 21"
+    );
+    test_display(
+        &[0x53, 0xeb, 0x7e, 0x5a],
+        "adcs.w r10, r3, lr, ror 21"
+    );
+    test_display(
+        &[0x43, 0xf5, 0x7e, 0x5a],
+        "adc r10, r3, 0x3f80"
+    );
+    test_display(
+        &[0x53, 0xf5, 0x7e, 0x5a],
+        "adcs r10, r3, 0x3f80"
+    );
+
+    test_display(
+        &[0x63, 0xf1, 0x7e, 0x5a],
+        "sbc r10, r3, 0x3f800000"
+    );
+    test_display(
+        &[0x73, 0xf1, 0x7e, 0x5a],
+        "sbcs r10, r3, 0x3f800000"
+    );
+    test_display(
+        &[0x63, 0xeb, 0x7e, 0x5a],
+        "sbc.w r10, r3, lr, ror 21"
+    );
+    test_display(
+        &[0x73, 0xeb, 0x7e, 0x5a],
+        "sbcs.w r10, r3, lr, ror 21"
+    );
+    test_display(
+        &[0x63, 0xf5, 0x7e, 0x5a],
+        "sbc r10, r3, 0x3f80"
+    );
+    test_display(
+        &[0x73, 0xf5, 0x7e, 0x5a],
+        "sbcs r10, r3, 0x3f80"
+    );
+
+    test_display(
+        &[0xc3, 0xf1, 0x7e, 0x5a],
+        "rsb.w r10, r3, 0x3f800000"
+    );
+    test_display(
+        &[0xd3, 0xf1, 0x7e, 0x5a],
+        "rsbs.w r10, r3, 0x3f800000"
+    );
+    test_display(
+        &[0xc3, 0xeb, 0x7e, 0x5a],
+        "rsb r10, r3, lr, ror 21"
+    );
+    test_display(
+        &[0xd3, 0xeb, 0x7e, 0x5a],
+        "rsbs r10, r3, lr, ror 21"
+    );
+    test_display(
+        &[0xc3, 0xf5, 0x7e, 0x5a],
+        "rsb.w r10, r3, 0x3f80"
+    );
+    test_display(
+        &[0xd3, 0xf5, 0x7e, 0x5a],
+        "rsbs.w r10, r3, 0x3f80"
+    );
+}
-- 
cgit v1.1