aboutsummaryrefslogtreecommitdiff
path: root/reg.ml
diff options
context:
space:
mode:
Diffstat (limited to 'reg.ml')
-rw-r--r--reg.ml12
1 files changed, 6 insertions, 6 deletions
diff --git a/reg.ml b/reg.ml
index b27a868..56c4ae6 100644
--- a/reg.ml
+++ b/reg.ml
@@ -7,10 +7,10 @@ open Common
7 7
8let reg_idx (Reg(idx, _)) = idx 8let reg_idx (Reg(idx, _)) = idx
9let reg_val (Reg(_, value)) = value 9let reg_val (Reg(_, value)) = value
10let reg_compar reg1 reg2 = (reg_val reg1) - (reg_val reg2) 10let reg_compar l r = (reg_val l) - (reg_val r)
11let reg_string (Reg (index, value)) = "(" ^ (string_of_int index) ^ "," ^ (string_of_int value) ^ ")"
11 12
12let regs_get reglist idx = 13let regs_get reglist index = List.find (fun (Reg(idx, _)) -> idx = index) reglist |> reg_val
13 List.find (fun (Reg(x,v)) -> x = idx) reglist |> reg_val 14let regs_set reglist index value = Reg(index, value) :: List.filter (fun (Reg(idx, _)) -> idx != index) reglist
14 15let regs_sort = List.sort (fun (Reg(l, _)) (Reg(r, _)) -> compare l r)
15let regs_set reglist index value = 16let regs_string reglist = regs_sort reglist |> List.map (reg_string) |> String.concat ","
16 Reg(index, value) :: List.filter (fun (Reg(x, v)) -> x != index) reglist