aboutsummaryrefslogtreecommitdiff
path: root/reg.ml
blob: 45bbb4b460ca56b17cb87838b93e7bf90e5d6b5d (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 rec regs_string reglist = List.map (reg_string) reglist |> String.concat ", "