Module BCHMIPSTypes

type mips_fp_format_t =
  1. | FPSingle
  2. | FPDouble
  3. | FPFixedWord
  4. | FPFixedLong
  5. | FPPair
type mips_instr_format_t =
  1. | SyscallType of int
  2. | RSyncType of int * int * int * int
  3. | RBreakType of int * int * int
  4. | RType of int * int * int * int * int * int
  5. | R2Type of int * int * int * int * int * int
  6. | R3Type of int * int * int * int * int * int
  7. | IType of int * int * int * int
  8. | JType of int * int
  9. | FPMCType of int * int * int * int * int * int * int * int
  10. | FPRType of int * int * int * int * int * int
  11. | FPRIType of int * int * int * int * int
  12. | FPCompareType of int * int * int * int * int * int
  13. | FPICCType of int * int * int * int * int * int
  14. | FormatUnknown of int * int
type mips_operand_kind_t =
  1. | MIPSReg of BCHLibTypes.mips_reg_t
  2. | MIPSSpecialReg of BCHLibTypes.mips_special_reg_t
  3. | MIPSFPReg of int
  4. | MIPSIndReg of BCHLibTypes.mips_reg_t * CHNumerical.numerical_t
  5. | MIPSAbsolute of BCHLibTypes.doubleword_int
  6. | MIPSImmediate of BCHLibTypes.immediate_int
type mips_operand_mode_t =
  1. | RD
  2. | WR
  3. | RW
class type mips_operand_int = object ... end
type not_code_t =
  1. | DataBlock of BCHLibTypes.data_block_int
type mips_opcode_t =
  1. | Add of mips_operand_int * mips_operand_int * mips_operand_int
  2. | AddImmediate of mips_operand_int * mips_operand_int * mips_operand_int
  3. | AddImmediateUnsigned of mips_operand_int * mips_operand_int * mips_operand_int
  4. | AddUpperImmediate of mips_operand_int * mips_operand_int * mips_operand_int
  5. | AddUnsigned of mips_operand_int * mips_operand_int * mips_operand_int
  6. | And of mips_operand_int * mips_operand_int * mips_operand_int
  7. | AndImmediate of mips_operand_int * mips_operand_int * mips_operand_int
  8. | Branch of mips_operand_int
  9. | BranchEqual of mips_operand_int * mips_operand_int * mips_operand_int
  10. | BranchEqualLikely of mips_operand_int * mips_operand_int * mips_operand_int
  11. | BranchFPFalse of int * mips_operand_int
  12. | BranchFPFalseLikely of int * mips_operand_int
  13. | BranchFPTrue of int * mips_operand_int
  14. | BranchFPTrueLikely of int * mips_operand_int
  15. | BranchGEZero of mips_operand_int * mips_operand_int
  16. | BranchGEZeroLikely of mips_operand_int * mips_operand_int
  17. | BranchGTZero of mips_operand_int * mips_operand_int
  18. | BranchGTZeroLikely of mips_operand_int * mips_operand_int
  19. | BranchLEZero of mips_operand_int * mips_operand_int
  20. | BranchLEZeroLikely of mips_operand_int * mips_operand_int
  21. | BranchLTZero of mips_operand_int * mips_operand_int
  22. | BranchLTZeroLikely of mips_operand_int * mips_operand_int
  23. | BranchNotEqual of mips_operand_int * mips_operand_int * mips_operand_int
  24. | BranchNotEqualLikely of mips_operand_int * mips_operand_int * mips_operand_int
  25. | Break of int
  26. | ControlWordFromFP of mips_operand_int * mips_operand_int
  27. | ControlWordToFP of mips_operand_int * mips_operand_int
  28. | CountLeadingZeros of mips_operand_int * mips_operand_int
  29. | DivideWord of mips_operand_int * mips_operand_int * mips_operand_int * mips_operand_int
  30. | DivideUnsignedWord of mips_operand_int * mips_operand_int * mips_operand_int * mips_operand_int
  31. | ExtractBitField of mips_operand_int * mips_operand_int * int * int
  32. | InsertBitField of mips_operand_int * mips_operand_int * int * int
  33. | FPAbsfmt of mips_fp_format_t * mips_operand_int * mips_operand_int
  34. | FPAddfmt of mips_fp_format_t * mips_operand_int * mips_operand_int * mips_operand_int
  35. | FPCeilLfmt of mips_fp_format_t * mips_operand_int * mips_operand_int
  36. | FPCeilWfmt of mips_fp_format_t * mips_operand_int * mips_operand_int
  37. | FPCompare of mips_fp_format_t * int * int * int * mips_operand_int * mips_operand_int
  38. | FPCVTDfmt of mips_fp_format_t * mips_operand_int * mips_operand_int
  39. | FPCVTLfmt of mips_fp_format_t * mips_operand_int * mips_operand_int
  40. | FPCVTSfmt of mips_fp_format_t * mips_operand_int * mips_operand_int
  41. | FPCVTSPfmt of mips_fp_format_t * mips_operand_int * mips_operand_int
  42. | FPCVTWfmt of mips_fp_format_t * mips_operand_int * mips_operand_int
  43. | FPDivfmt of mips_fp_format_t * mips_operand_int * mips_operand_int * mips_operand_int
  44. | FPFloorLfmt of mips_fp_format_t * mips_operand_int * mips_operand_int
  45. | FPFloorWfmt of mips_fp_format_t * mips_operand_int * mips_operand_int
  46. | FPRoundLfmt of mips_fp_format_t * mips_operand_int * mips_operand_int
  47. | FPMovfmt of mips_fp_format_t * mips_operand_int * mips_operand_int
  48. | FPMulfmt of mips_fp_format_t * mips_operand_int * mips_operand_int * mips_operand_int
  49. | FPNegfmt of mips_fp_format_t * mips_operand_int * mips_operand_int
  50. | FPRoundWfmt of mips_fp_format_t * mips_operand_int * mips_operand_int
  51. | FPRSqrtfmt of mips_fp_format_t * mips_operand_int * mips_operand_int
  52. | FPSqrtfmt of mips_fp_format_t * mips_operand_int * mips_operand_int
  53. | FPSubfmt of mips_fp_format_t * mips_operand_int * mips_operand_int * mips_operand_int
  54. | FPTruncLfmt of mips_fp_format_t * mips_operand_int * mips_operand_int
  55. | FPTruncWfmt of mips_fp_format_t * mips_operand_int * mips_operand_int
  56. | Jump of mips_operand_int
  57. | JumpLinkRegister of mips_operand_int * mips_operand_int
  58. | JumpRegister of mips_operand_int
  59. | LoadByte of mips_operand_int * mips_operand_int
  60. | LoadByteUnsigned of mips_operand_int * mips_operand_int
  61. | LoadDoublewordToFP of mips_operand_int * mips_operand_int
  62. | LoadHalfWord of mips_operand_int * mips_operand_int
  63. | LoadHalfWordUnsigned of mips_operand_int * mips_operand_int
  64. | LoadImmediate of mips_operand_int * mips_operand_int
  65. | LoadLinkedWord of mips_operand_int * mips_operand_int
  66. | LoadUpperImmediate of mips_operand_int * mips_operand_int
  67. | LoadWord of mips_operand_int * mips_operand_int
  68. | LoadWordFP of mips_operand_int * mips_operand_int
  69. | LoadWordLeft of mips_operand_int * mips_operand_int
  70. | LoadWordRight of mips_operand_int * mips_operand_int
  71. | MoveConditionalNotZero of mips_operand_int * mips_operand_int * mips_operand_int
  72. | MoveConditionalZero of mips_operand_int * mips_operand_int * mips_operand_int
  73. | MovF of int * mips_operand_int * mips_operand_int
  74. | MovT of int * mips_operand_int * mips_operand_int
  75. | Move of mips_operand_int * mips_operand_int
  76. | MoveFromHi of mips_operand_int * mips_operand_int
  77. | MoveToHi of mips_operand_int * mips_operand_int
  78. | MoveFromLo of mips_operand_int * mips_operand_int
  79. | MoveToLo of mips_operand_int * mips_operand_int
  80. | MoveWordFromFP of mips_operand_int * mips_operand_int
  81. | MoveWordFromHighHalfFP of mips_operand_int * mips_operand_int
  82. | MoveWordToHighHalfFP of mips_operand_int * mips_operand_int
  83. | MoveWordToFP of mips_operand_int * mips_operand_int
  84. | MoveFromCoprocessor0 of mips_operand_int * mips_operand_int * int
  85. | MoveToCoprocessor0 of mips_operand_int * mips_operand_int * int
  86. | MoveFromHighCoprocessor0 of mips_operand_int * mips_operand_int * int
  87. | MoveToHighCoprocessor0 of mips_operand_int * mips_operand_int * int
  88. | MoveWordFromCoprocessor2 of mips_operand_int * int * int
  89. | MoveWordFromHighHalfCoprocessor2 of mips_operand_int * int * int
  90. | MoveWordToCoprocessor2 of mips_operand_int * int * int
  91. | MultiplyAddWord of mips_operand_int * mips_operand_int * mips_operand_int * mips_operand_int
  92. | MultiplyAddUnsignedWord of mips_operand_int * mips_operand_int * mips_operand_int * mips_operand_int
  93. | MultiplyUnsignedWord of mips_operand_int * mips_operand_int * mips_operand_int * mips_operand_int
  94. | MultiplyWord of mips_operand_int * mips_operand_int * mips_operand_int * mips_operand_int
  95. | MultiplyWordToGPR of mips_operand_int * mips_operand_int * mips_operand_int
  96. | Nor of mips_operand_int * mips_operand_int * mips_operand_int
  97. | Or of mips_operand_int * mips_operand_int * mips_operand_int
  98. | OrImmediate of mips_operand_int * mips_operand_int * mips_operand_int
  99. | Prefetch of mips_operand_int * int
  100. | ReadHardwareRegister of mips_operand_int * int
  101. | SetLT of mips_operand_int * mips_operand_int * mips_operand_int
  102. | SetLTImmediate of mips_operand_int * mips_operand_int * mips_operand_int
  103. | SetLTImmediateUnsigned of mips_operand_int * mips_operand_int * mips_operand_int
  104. | SetLTUnsigned of mips_operand_int * mips_operand_int * mips_operand_int
  105. | ShiftLeftLogical of mips_operand_int * mips_operand_int * mips_operand_int
  106. | ShiftLeftLogicalVariable of mips_operand_int * mips_operand_int * mips_operand_int
  107. | ShiftRightArithmetic of mips_operand_int * mips_operand_int * mips_operand_int
  108. | ShiftRightArithmeticVariable of mips_operand_int * mips_operand_int * mips_operand_int
  109. | ShiftRightLogical of mips_operand_int * mips_operand_int * mips_operand_int
  110. | ShiftRightLogicalVariable of mips_operand_int * mips_operand_int * mips_operand_int
  111. | SignExtendByte of mips_operand_int * mips_operand_int
  112. | SignExtendHalfword of mips_operand_int * mips_operand_int
  113. | StoreByte of mips_operand_int * mips_operand_int
  114. | StoreConditionalWord of mips_operand_int * mips_operand_int
  115. | StoreDoublewordFromFP of mips_operand_int * mips_operand_int
  116. | StoreHalfWord of mips_operand_int * mips_operand_int
  117. | StoreWord of mips_operand_int * mips_operand_int
  118. | StoreWordFromFP of mips_operand_int * mips_operand_int
  119. | StoreWordLeft of mips_operand_int * mips_operand_int
  120. | StoreWordRight of mips_operand_int * mips_operand_int
  121. | Subtract of mips_operand_int * mips_operand_int * mips_operand_int
  122. | SubtractUnsigned of mips_operand_int * mips_operand_int * mips_operand_int
  123. | Sync of int
  124. | Syscall of int
  125. | TrapIfEqual of int * mips_operand_int * mips_operand_int
  126. | TrapIfEqualImmediate of mips_operand_int * mips_operand_int
  127. | Xor of mips_operand_int * mips_operand_int * mips_operand_int
  128. | XorImmediate of mips_operand_int * mips_operand_int * mips_operand_int
  129. | WordSwapBytesHalfwords of mips_operand_int * mips_operand_int
  130. | NoOperation
  131. | Halt
  132. | NotCode of not_code_t option
  133. | NotRecognized of string * BCHLibTypes.doubleword_int
  134. | OpcodeUnpredictable of string
  135. | OpInvalid
class type mips_dictionary_int = object ... end
class type mips_assembly_instruction_int = object ... end
type mips_assembly_instruction_result = mips_assembly_instruction_int CHTraceResult.traceresult
class type mips_assembly_instructions_int = object ... end
class type mips_assembly_block_int = object ... end
class type mips_assembly_function_int = object ... end
class type mips_assembly_functions_int = object ... end
type disassembly_pattern_t = {
  1. regex_ds : Str.regexp;
  2. regex_df : BCHLibTypes.doubleword_int -> string -> string -> BCHLibTypes.doubleword_int;
}
class type mips_code_pc_int = object ... end
class type mips_chif_system_int = object ... end
class type mips_opcode_dictionary_int = object ... end
class type mips_analysis_results_int = object ... end