jon.recoil.org

Module Arm64_ast.Instruction_name

module Float_cond : sig ... end
module Cond : sig ... end
module Rounding_mode : sig ... end
module Memory_barrier : sig ... end
type t =
  1. | NOP
  2. | ADD
  3. | SUB
  4. | MUL
  5. | DIV
  6. | AND
  7. | ORR
  8. | EOR
  9. | LSL
  10. | LSR
  11. | ASR
  12. | CLZ
  13. | CTZ
  14. | RBIT
  15. | CNT
  16. | SMULH
  17. | UMULH
  18. | SQADD
  19. | UQADD
  20. | SQSUB
  21. | UQSUB
  22. | B
  23. | BR
  24. | B_cond of Arm64_ast.Instruction_name.Cond.t
  25. | B_cond_float of Arm64_ast.Instruction_name.Float_cond.t
  26. | BL
  27. | BLR
  28. | CMP
  29. | CMN
  30. | CBNZ
  31. | CBZ
  32. | CSEL
  33. | CSET
  34. | SXTB
  35. | SXTH
  36. | SXTW
  37. | UXTB
  38. | UXTH
  39. | LDR
  40. | LDRB
  41. | LDRSB
  42. | LDRH
  43. | LDRSH
  44. | LDRSW
  45. | LDP
  46. | LDAR
  47. | STR
  48. | STRB
  49. | STRH
  50. | DMB of Arm64_ast.Instruction_name.Memory_barrier.t
  51. | DSB of Arm64_ast.Instruction_name.Memory_barrier.t
  52. | ISB
  53. | SDIV
  54. | MSUB
  55. | MADD
  56. | REV
  57. | REV16
  58. | UBFM
  59. | SBFM
  60. | TST
  61. | TBNZ
  62. | TBZ
  63. | ADR
  64. | ADRP
  65. | STP
  66. | RET
  67. | YIELD
  68. | MOV
  69. | MOVI
  70. | MOVN
  71. | MOVK
  72. | MOVZ
  73. | FMOV
  74. | FADD
  75. | FSUB
  76. | FMUL
  77. | FDIV
  78. | FNMUL
  79. | FMADD
  80. | FNMADD
  81. | FMSUB
  82. | FNMSUB
  83. | FNEG
  84. | FABS
  85. | ABS
  86. | FSQRT
  87. | FCVT
  88. | FCVTZS
  89. | FCVTNS
  90. | SCVTF
  91. | FCVTL
  92. | FCVTN
  93. | FRINT of Arm64_ast.Instruction_name.Rounding_mode.t
  94. | FRINT64 of Arm64_ast.Instruction_name.Rounding_mode.t
  95. | FMIN
  96. | FMAX
  97. | SMIN
  98. | SMAX
  99. | UMIN
  100. | UMAX
  101. | ZIP1
  102. | ZIP2
  103. | FCMP
  104. | FCSEL
  105. | FRECPE
  106. | FRSQRTE
  107. | FADDP
  108. | ADDP
  109. | FCM of Arm64_ast.Instruction_name.Float_cond.t
  110. | CM of Arm64_ast.Instruction_name.Cond.t
  111. | ADDV
  112. | MVN
  113. | NEG
  114. | SMOV
  115. | LD1
  116. | SHL
  117. | USHL
  118. | SSHL
  119. | USHR
  120. | SSHR
  121. | SXTL
  122. | UXTL
  123. | XTN
  124. | XTN2
  125. | UQXTN
  126. | UQXTN2
  127. | SQXTN
  128. | SQXTN2
  129. | DUP
  130. | EXT
  131. | SMULL
  132. | SMULL2
  133. | UMULL
  134. | UMULL2

mnemonic