aboutsummaryrefslogtreecommitdiff
path: root/reg.ml
blob: c45228297dd314feaba59b67b4b3373a175a41ae (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
(*
 * UPEM / L3 / Functional programming / Project: URM
 * Pacien TRAN-GIRARD, Adam NAILI
 *)

open Common

let reg_idx (Reg(idx, _)) = idx
let reg_val (Reg(_, value)) = value
let reg_compar l r = (reg_val l) - (reg_val r)

let regs_get reglist index =
  List.find (fun (Reg(idx, _)) -> idx = index) reglist |> reg_val

let regs_set reglist index value =
  Reg(index, value) :: List.filter (fun (Reg(idx, _)) -> idx != index) reglist