aboutsummaryrefslogtreecommitdiff
path: root/reg.ml
blob: d0658387e25f700e57b0b552a977ffa2576e3bc1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
(*
 * 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 reg_string (Reg (index, value)) = "(" ^ (string_of_int index) ^ "," ^ (string_of_int value) ^ ")"

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

let regs_string reglist = List.map (reg_string) reglist |> String.concat ","