open Core_kernel[@@warning "-D"]
open Bap.Std

open Mips_rtl
open Mips_dsl
open Mips_utils
open Mips_model

type cpu = {
  load : exp -> bitwidth -> exp;
  store : exp -> exp -> bitwidth -> rtl;
  jmp : exp -> rtl;
  cia : exp;
  word_width : exp;
  delay : exp;
  word_bitwidth : bitwidth;
  reg : (op -> exp) ec;
  gpr : int -> exp;
  fpr : int -> exp;
  hi : exp;
  lo : exp;
}
