From 66cc1ea68b5d558cb2acd6ea698f20b04d9b43be Mon Sep 17 00:00:00 2001
From: Paweł Dybiec <pdybiec@stud.cs.uni.wroc.pl>
Date: Sun, 13 Jan 2019 12:52:47 +0100
Subject: Start of live variable analysis

---
 source/xi_lib/analysis_domain.ml | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'source/xi_lib/analysis_domain.ml')

diff --git a/source/xi_lib/analysis_domain.ml b/source/xi_lib/analysis_domain.ml
index db124e0..420f509 100644
--- a/source/xi_lib/analysis_domain.ml
+++ b/source/xi_lib/analysis_domain.ml
@@ -75,12 +75,17 @@ end
 
 module LiveVariables = struct
 
+  (* Dziedzina - zbiór rejestrów *)
   type domain = Ir.RegSet.t
 
+  (* Tablica reprezentująca wynik analizy
+   * table odwzorowuje etykietkę (Ir.label) na wiedzę o bloku (BlockKnowledge.t)
+   * *)
   type table = domain Analysis.BlockKnowledge.table
 
   type block_knowledge = domain Analysis.BlockKnowledge.t
 
+  (* Pomocnicza funkcja do drukowania zbioru rejestrów *)
   let string_of_domain x = Ir_utils.string_of_reglist @@ List.of_seq @@ Ir.RegSet.to_seq x
 end
 
-- 
cgit 1.4.1