swh:1:snp:505c374fd75bb208ae4e9a54e64bb310bc49295e
Raw File
Tip revision: c85e4bef4a0177baad5e8169f2e6011f84b89f2c authored by Ole Krüger on 12 March 2024, 12:08:42 UTC
RISC-V: RV64A instructions
Tip revision: c85e4be
main.ml
open Api
open Ctypes

let add (x : int) (y : int) =
  let x_ptr = Uintptr.of_int x in
  let y_ptr = Uintptr.of_int y in
  let res = Functions.add x_ptr y_ptr in
  Uintptr.to_int res
back to top