aboutsummaryrefslogtreecommitdiffstats
path: root/capstone/bindings/ocaml/arm64.ml
diff options
context:
space:
mode:
authorAngelos Mouzakitis <a.mouzakitis@virtualopensystems.com>2023-10-10 14:33:42 +0000
committerAngelos Mouzakitis <a.mouzakitis@virtualopensystems.com>2023-10-10 14:33:42 +0000
commitaf1a266670d040d2f4083ff309d732d648afba2a (patch)
tree2fc46203448ddcc6f81546d379abfaeb323575e9 /capstone/bindings/ocaml/arm64.ml
parente02cda008591317b1625707ff8e115a4841aa889 (diff)
Add submodule dependency filesHEADmaster
Change-Id: Iaf8d18082d3991dec7c0ebbea540f092188eb4ec
Diffstat (limited to 'capstone/bindings/ocaml/arm64.ml')
-rw-r--r--capstone/bindings/ocaml/arm64.ml45
1 files changed, 45 insertions, 0 deletions
diff --git a/capstone/bindings/ocaml/arm64.ml b/capstone/bindings/ocaml/arm64.ml
new file mode 100644
index 000000000..20d7030c8
--- /dev/null
+++ b/capstone/bindings/ocaml/arm64.ml
@@ -0,0 +1,45 @@
+(* Capstone Disassembly Engine
+ * By Nguyen Anh Quynh <aquynh@gmail.com>, 2013-2014 *)
+
+open Arm64_const
+
+(* architecture specific info of instruction *)
+type arm64_op_shift = {
+ shift_type: int;
+ shift_value: int;
+}
+
+type arm64_op_mem = {
+ base: int;
+ index: int;
+ disp: int
+}
+
+type arm64_op_value =
+ | ARM64_OP_INVALID of int
+ | ARM64_OP_REG of int
+ | ARM64_OP_CIMM of int
+ | ARM64_OP_IMM of int
+ | ARM64_OP_FP of float
+ | ARM64_OP_MEM of arm64_op_mem
+ | ARM64_OP_REG_MRS of int
+ | ARM64_OP_REG_MSR of int
+ | ARM64_OP_PSTATE of int
+ | ARM64_OP_SYS of int
+ | ARM64_OP_PREFETCH of int
+ | ARM64_OP_BARRIER of int
+
+type arm64_op = {
+ vector_index: int;
+ vas: int;
+ shift: arm64_op_shift;
+ ext: int;
+ value: arm64_op_value;
+}
+
+type cs_arm64 = {
+ cc: int;
+ update_flags: bool;
+ writeback: bool;
+ operands: arm64_op array;
+}