update doc about dom & phi

Documentations/4.1-ssa/README.md

@@ -70,7 +70,10 @@ label_entry:
 **Note:**
 
 1. 更详细的 SSA 格式的细节请仔细阅读[附件](./ssa.pdf)。
-2. 我们的实验设计从编译器前端分离了构造 SSA 过程，使用 `alloca` 来分配局部变量，保留了局部变量的访存操作，用 Mem2Reg Pass 来实现构造 SSA 的算法，这是保持了与 LLVM 一致的策略。
+2. 补充附件中的概念：
+   - 支配性：在入口节点为 b0 的流图中，当且仅当 bi 位于从 b0 到 bj 的每条路径上时，结点 bi 支配结点 bj。
+   - Dom(bi) 集合：该集合包含了支配 bi 的所有结点的名字。
+3. 我们的实验设计从编译器前端分离了构造 SSA 过程，使用 `alloca` 来分配局部变量，保留了局部变量的访存操作，用 Mem2Reg Pass 来实现构造 SSA 的算法，这是保持了与 LLVM 一致的策略。
 
 #### 1.1.2 Mem2Reg Pass 代码阅读