diff options
Diffstat (limited to 'capstone/bindings/ocaml/ppc.ml')
| -rw-r--r-- | capstone/bindings/ocaml/ppc.ml | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/capstone/bindings/ocaml/ppc.ml b/capstone/bindings/ocaml/ppc.ml new file mode 100644 index 000000000..269bfcc9e --- /dev/null +++ b/capstone/bindings/ocaml/ppc.ml @@ -0,0 +1,34 @@ +(* Capstone Disassembly Engine + * By Guillaume Jeanne <guillaume.jeanne@ensimag.fr>, 2014> *) + +open Ppc_const + +type ppc_op_mem = { + base: int; + disp: int; +} + +type ppc_op_crx = { + scale: int; + reg: int; + cond: int; +} + +type ppc_op_value = + | PPC_OP_INVALID of int + | PPC_OP_REG of int + | PPC_OP_IMM of int + | PPC_OP_MEM of ppc_op_mem + | PPC_OP_CRX of ppc_op_crx + +type ppc_op = { + value: ppc_op_value; +} + +type cs_ppc = { + bc: int; + bh: int; + update_cr0: bool; + operands: ppc_op array; +} + |