Fix 2572 (#2574)

2024-12-15 06:06:06 +00:00 · 2024-12-15 06:06:06 +00:00 · 4dc14ba1c2
parent b25aa84142
commit 4dc14ba1c2
4 changed files with 95 additions and 39 deletions
--- a/arch/AArch64/AArch64GenCSMappingInsn.inc
+++ b/arch/AArch64/AArch64GenCSMappingInsn.inc
@ -32598,7 +32598,7 @@
  /* ldapurb	$Rt, [$Rn, $offset] */
  AArch64_LDAPURBi /* 4254 */, AARCH64_INS_LDAPURB,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { AARCH64_FEATURE_HASRCPC_IMMO, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { AARCH64_FEATURE_HASRCPC_IMMO, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_READ }}

  #endif
 },
@ -32606,7 +32606,7 @@
  /* ldapurh	$Rt, [$Rn, $offset] */
  AArch64_LDAPURHi /* 4255 */, AARCH64_INS_LDAPURH,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { AARCH64_FEATURE_HASRCPC_IMMO, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { AARCH64_FEATURE_HASRCPC_IMMO, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_READ }}

  #endif
 },
@ -32614,7 +32614,7 @@
  /* ldapursb	$Rt, [$Rn, $offset] */
  AArch64_LDAPURSBWi /* 4256 */, AARCH64_INS_LDAPURSB,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { AARCH64_FEATURE_HASRCPC_IMMO, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { AARCH64_FEATURE_HASRCPC_IMMO, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_READ }}

  #endif
 },
@ -32622,7 +32622,7 @@
  /* ldapursb	$Rt, [$Rn, $offset] */
  AArch64_LDAPURSBXi /* 4257 */, AARCH64_INS_LDAPURSB,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { AARCH64_FEATURE_HASRCPC_IMMO, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { AARCH64_FEATURE_HASRCPC_IMMO, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_READ }}

  #endif
 },
@ -32630,7 +32630,7 @@
  /* ldapursh	$Rt, [$Rn, $offset] */
  AArch64_LDAPURSHWi /* 4258 */, AARCH64_INS_LDAPURSH,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { AARCH64_FEATURE_HASRCPC_IMMO, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { AARCH64_FEATURE_HASRCPC_IMMO, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_READ }}

  #endif
 },
@ -32638,7 +32638,7 @@
  /* ldapursh	$Rt, [$Rn, $offset] */
  AArch64_LDAPURSHXi /* 4259 */, AARCH64_INS_LDAPURSH,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { AARCH64_FEATURE_HASRCPC_IMMO, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { AARCH64_FEATURE_HASRCPC_IMMO, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_READ }}

  #endif
 },
@ -32646,7 +32646,7 @@
  /* ldapursw	$Rt, [$Rn, $offset] */
  AArch64_LDAPURSWi /* 4260 */, AARCH64_INS_LDAPURSW,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { AARCH64_FEATURE_HASRCPC_IMMO, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { AARCH64_FEATURE_HASRCPC_IMMO, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_READ }}

  #endif
 },
@ -32654,7 +32654,7 @@
  /* ldapur	$Rt, [$Rn, $offset] */
  AArch64_LDAPURXi /* 4261 */, AARCH64_INS_LDAPUR,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { AARCH64_FEATURE_HASRCPC_IMMO, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { AARCH64_FEATURE_HASRCPC_IMMO, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_READ }}

  #endif
 },
@ -32686,7 +32686,7 @@
  /* ldapur	$Rt, [$Rn, $offset] */
  AArch64_LDAPURi /* 4265 */, AARCH64_INS_LDAPUR,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { AARCH64_FEATURE_HASRCPC_IMMO, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { AARCH64_FEATURE_HASRCPC_IMMO, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_READ }}

  #endif
 },
@ -35430,7 +35430,7 @@
  /* ldurb	$Rt, [$Rn, $offset] */
  AArch64_LDURBBi /* 4608 */, AARCH64_INS_LDURB,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_READ }}

  #endif
 },
@ -35438,7 +35438,7 @@
  /* ldur	$Rt, [$Rn, $offset] */
  AArch64_LDURBi /* 4609 */, AARCH64_INS_LDUR,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { AARCH64_FEATURE_HASFPARMV8, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { AARCH64_FEATURE_HASFPARMV8, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_READ }}

  #endif
 },
@ -35446,7 +35446,7 @@
  /* ldur	$Rt, [$Rn, $offset] */
  AArch64_LDURDi /* 4610 */, AARCH64_INS_LDUR,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { AARCH64_FEATURE_HASFPARMV8, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { AARCH64_FEATURE_HASFPARMV8, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_READ }}

  #endif
 },
@ -35454,7 +35454,7 @@
  /* ldurh	$Rt, [$Rn, $offset] */
  AArch64_LDURHHi /* 4611 */, AARCH64_INS_LDURH,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_READ }}

  #endif
 },
@ -35462,7 +35462,7 @@
  /* ldur	$Rt, [$Rn, $offset] */
  AArch64_LDURHi /* 4612 */, AARCH64_INS_LDUR,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { AARCH64_FEATURE_HASFPARMV8, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { AARCH64_FEATURE_HASFPARMV8, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_READ }}

  #endif
 },
@ -35470,7 +35470,7 @@
  /* ldur	$Rt, [$Rn, $offset] */
  AArch64_LDURQi /* 4613 */, AARCH64_INS_LDUR,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { AARCH64_FEATURE_HASFPARMV8, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { AARCH64_FEATURE_HASFPARMV8, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_READ }}

  #endif
 },
@ -35478,7 +35478,7 @@
  /* ldursb	$Rt, [$Rn, $offset] */
  AArch64_LDURSBWi /* 4614 */, AARCH64_INS_LDURSB,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_READ }}

  #endif
 },
@ -35486,7 +35486,7 @@
  /* ldursb	$Rt, [$Rn, $offset] */
  AArch64_LDURSBXi /* 4615 */, AARCH64_INS_LDURSB,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_READ }}

  #endif
 },
@ -35494,7 +35494,7 @@
  /* ldursh	$Rt, [$Rn, $offset] */
  AArch64_LDURSHWi /* 4616 */, AARCH64_INS_LDURSH,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_READ }}

  #endif
 },
@ -35502,7 +35502,7 @@
  /* ldursh	$Rt, [$Rn, $offset] */
  AArch64_LDURSHXi /* 4617 */, AARCH64_INS_LDURSH,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_READ }}

  #endif
 },
@ -35510,7 +35510,7 @@
  /* ldursw	$Rt, [$Rn, $offset] */
  AArch64_LDURSWi /* 4618 */, AARCH64_INS_LDURSW,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_READ }}

  #endif
 },
@ -35518,7 +35518,7 @@
  /* ldur	$Rt, [$Rn, $offset] */
  AArch64_LDURSi /* 4619 */, AARCH64_INS_LDUR,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { AARCH64_FEATURE_HASFPARMV8, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { AARCH64_FEATURE_HASFPARMV8, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_READ }}

  #endif
 },
@ -35526,7 +35526,7 @@
  /* ldur	$Rt, [$Rn, $offset] */
  AArch64_LDURWi /* 4620 */, AARCH64_INS_LDUR,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_READ }}

  #endif
 },
@ -35534,7 +35534,7 @@
  /* ldur	$Rt, [$Rn, $offset] */
  AArch64_LDURXi /* 4621 */, AARCH64_INS_LDUR,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_READ }}

  #endif
 },
@ -52398,7 +52398,7 @@
  /* stlurb	$Rt, [$Rn, $offset] */
  AArch64_STLURBi /* 6729 */, AARCH64_INS_STLURB,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { AARCH64_FEATURE_HASRCPC_IMMO, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { AARCH64_FEATURE_HASRCPC_IMMO, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_WRITE }}

  #endif
 },
@ -52406,7 +52406,7 @@
  /* stlurh	$Rt, [$Rn, $offset] */
  AArch64_STLURHi /* 6730 */, AARCH64_INS_STLURH,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { AARCH64_FEATURE_HASRCPC_IMMO, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { AARCH64_FEATURE_HASRCPC_IMMO, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_WRITE }}

  #endif
 },
@ -52414,7 +52414,7 @@
  /* stlur	$Rt, [$Rn, $offset] */
  AArch64_STLURWi /* 6731 */, AARCH64_INS_STLUR,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { AARCH64_FEATURE_HASRCPC_IMMO, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { AARCH64_FEATURE_HASRCPC_IMMO, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_WRITE }}

  #endif
 },
@ -52422,7 +52422,7 @@
  /* stlur	$Rt, [$Rn, $offset] */
  AArch64_STLURXi /* 6732 */, AARCH64_INS_STLUR,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { AARCH64_FEATURE_HASRCPC_IMMO, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { AARCH64_FEATURE_HASRCPC_IMMO, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_WRITE }}

  #endif
 },
@ -53478,7 +53478,7 @@
  /* sturb	$Rt, [$Rn, $offset] */
  AArch64_STURBBi /* 6864 */, AARCH64_INS_STURB,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_WRITE }}

  #endif
 },
@ -53486,7 +53486,7 @@
  /* stur	$Rt, [$Rn, $offset] */
  AArch64_STURBi /* 6865 */, AARCH64_INS_STUR,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { AARCH64_FEATURE_HASFPARMV8, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { AARCH64_FEATURE_HASFPARMV8, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_WRITE }}

  #endif
 },
@ -53494,7 +53494,7 @@
  /* stur	$Rt, [$Rn, $offset] */
  AArch64_STURDi /* 6866 */, AARCH64_INS_STUR,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { AARCH64_FEATURE_HASFPARMV8, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { AARCH64_FEATURE_HASFPARMV8, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_WRITE }}

  #endif
 },
@ -53502,7 +53502,7 @@
  /* sturh	$Rt, [$Rn, $offset] */
  AArch64_STURHHi /* 6867 */, AARCH64_INS_STURH,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_WRITE }}

  #endif
 },
@ -53510,7 +53510,7 @@
  /* stur	$Rt, [$Rn, $offset] */
  AArch64_STURHi /* 6868 */, AARCH64_INS_STUR,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { AARCH64_FEATURE_HASFPARMV8, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { AARCH64_FEATURE_HASFPARMV8, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_WRITE }}

  #endif
 },
@ -53518,7 +53518,7 @@
  /* stur	$Rt, [$Rn, $offset] */
  AArch64_STURQi /* 6869 */, AARCH64_INS_STUR,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { AARCH64_FEATURE_HASFPARMV8, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { AARCH64_FEATURE_HASFPARMV8, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_WRITE }}

  #endif
 },
@ -53526,7 +53526,7 @@
  /* stur	$Rt, [$Rn, $offset] */
  AArch64_STURSi /* 6870 */, AARCH64_INS_STUR,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { AARCH64_FEATURE_HASFPARMV8, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { AARCH64_FEATURE_HASFPARMV8, 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_WRITE }}

  #endif
 },
@ -53534,7 +53534,7 @@
  /* stur	$Rt, [$Rn, $offset] */
  AArch64_STURWi /* 6871 */, AARCH64_INS_STUR,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_WRITE }}

  #endif
 },
@ -53542,7 +53542,7 @@
  /* stur	$Rt, [$Rn, $offset] */
  AArch64_STURXi /* 6872 */, AARCH64_INS_STUR,
  #ifndef CAPSTONE_DIET
-    { 0 }, { 0 }, { 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_INVALID }}
+    { 0 }, { 0 }, { 0 }, 0, 0, { .aarch64 = { .mem_acc = CS_AC_WRITE }}

  #endif
 },
--- a/arch/AArch64/AArch64GenDisassemblerTables.inc
+++ b/arch/AArch64/AArch64GenDisassemblerTables.inc
@ -28341,7 +28341,7 @@ static const uint8_t DecoderTableFallback32[] = {

 static bool checkDecoderPredicate(MCInst *Inst, unsigned Idx) {
  switch (Idx) {
-  default: /* llvm_unreachable("Invalid index!"); */
+  default: CS_ASSERT_RET_VAL(0 && "Invalid index!", false);
  case 0:
    return (AArch64_getFeatureBits(Inst->csh->mode, AArch64_FeatureAll) || AArch64_getFeatureBits(Inst->csh->mode, AArch64_FeatureSME));
  case 1:
@ -28552,7 +28552,7 @@ static DecodeStatus fname(DecodeStatus S, unsigned Idx, InsnType insn, MCInst *M
  *DecodeComplete = true; \
  InsnType tmp; \
  switch (Idx) { \
-  default: /* llvm_unreachable("Invalid index!"); */ \
+  default: CS_ASSERT_RET_VAL(0 && "Invalid index!", MCDisassembler_Fail); \
  case 0: \
    tmp = fieldname(insn, 0, 16); \
    MCOperand_CreateImm0(MI, tmp); \
--- a/suite/auto-sync/src/autosync/ASUpdater.py
+++ b/suite/auto-sync/src/autosync/ASUpdater.py
@ -115,10 +115,17 @@ class ASUpdater:
                # Save the path. This file should not be moved.
                patched.append(file)
        if self.arch == "AArch64":
-            # Update the compatibility header
            builder = CompatHeaderBuilder(
                v6=main_header,
                v5=get_path("{CS_INCLUDE_DIR}").joinpath(f"arm64.h"),
+                arch="aarch64",
+            )
+            builder.generate_v5_compat_header()
+        elif self.arch == "AArch64":
+            builder = CompatHeaderBuilder(
+                v6=main_header,
+                v5=get_path("{CS_INCLUDE_DIR}").joinpath(f"systemz_compatibility.h"),
+                arch="systemz",
            )
            builder.generate_v5_compat_header()
        return patched
--- a/tests/issues/issues.yaml
+++ b/tests/issues/issues.yaml
@ -5531,3 +5531,52 @@ test_cases:
                access: CS_AC_READ
          regs_read: [ x1, w2 ]
          regs_write: [ x0 ]
+  -
+    input:
+      name: "issue 2572 - Missing access of memory operand"
+      bytes: [ 0x00, 0x10, 0x40, 0xb8 ]
+      arch: "CS_ARCH_AARCH64"
+      options: [ CS_OPT_DETAIL ]
+      address: 0x0
+    expected:
+      insns:
+      -
+        asm_text: "ldur	w0, [x0, #1]"
+        details:
+          aarch64:
+            operands:
+              -
+                type: AARCH64_OP_REG
+                reg: w0
+                access: CS_AC_WRITE
+              -
+                type: AARCH64_OP_MEM
+                mem_base: x0
+                mem_disp: 0x1
+                access: CS_AC_READ
+          regs_read: [ x0 ]
+          regs_write: [ w0 ]
+  -
+    input:
+      name: "issue 2572 - Missing access of memory operand"
+      bytes: [ 0x9f, 0xf1, 0x0f, 0x78 ]
+      arch: "CS_ARCH_AARCH64"
+      options: [ CS_OPT_DETAIL ]
+      address: 0x0
+    expected:
+      insns:
+      -
+        asm_text: "sturh wzr, [x12, #255]"
+        details:
+          aarch64:
+            operands:
+              -
+                type: AARCH64_OP_REG
+                reg: wzr
+                access: CS_AC_READ
+              -
+                type: AARCH64_OP_MEM
+                mem_base: x12
+                mem_disp: 255
+                access: CS_AC_WRITE
+          regs_read: [ wzr, x12 ]