第19章 静态单赋值形式

为什么从这个问题开始

“第19章 静态单赋值形式”围绕“每个定义怎样支配使用，phi输入怎样与前驱边一一对应？”建立贯穿任务：在Tiger C实现轨道中复现“第19章 静态单赋值形式”的输入、状态、变换与验证。先写下哪个C接口、树/图状态、AST/IR、汇编或运行结果会最先变化，再运行参考、故障和恢复路径；运行后补理由不算预测。只有守住“第19章 静态单赋值形式的C模块接口、数据结构、状态变换、输出语义与测试始终一致”并交付支配树、支配边界、phi放置、重命名栈与退出SSA日志，单模块测试、编译成功或性能变化才构成机制证据。

原版书目、296个正式坐标与C轨道边界

“第19章 静态单赋值形式”以Andrew W. Appel作者官方目录核对 Modern Compiler Implementation 的C、Java、ML三种实现轨道、2部分、21章和Tiger语言附录；以作者C版页面核对Andrew·W·Appel与Maia Ginsburg、Cambridge University Press、C实现轨道、平装ISBN 0-521-60765-5、软件/练习模块与勘误入口，再以Cambridge C版页面核对原版身份。

“第19章 静态单赋值形式”以中文版修订版完整目录核对赵克佳、黄春、沈志宇译《现代编译原理：C语言描述（修订版）》，人民邮电出版社，2018年，385页，ISBN 9787115476883。“第19章 静态单赋值形式”的正式分母为2个部分标题、21个章标题、1个附录标题、251个编号节/小节、附录4节和17个正式“程序设计”项目，合计296个核心层级；每章重复的推荐阅读与习题不另计。

作者页面可访问不等于允许复制书稿，“第19章 静态单赋值形式”不复制、翻译或改写原文、图表、伪码与习题；所有中文讲解、C接口示意、状态轨迹、反例、交互、练习和答案均为独立教学重写。本页独立核对 1只用于核对本页C实现或现代IR边界，不能混入Java/ML轨道或反向证明原书采用本站表述。

原版目录层级与C项目机制

第19章 静态单赋值形式

正式坐标 1/20。 原版目录键 第19章 静态单赋值形式。在“第19章 静态单赋值形式”的第1个正式坐标中，「第19章 静态单赋值形式」通过求解数据流与支配关系并证明优化/SSA变换保语义推进SSA、支配、phi与内存；复核者保存固定点、支配树、phi放置、重命名、循环森林与前后IR，出现别名、溢出、关键边或跨迭代依赖被忽略就撤回结论。

19·1 转化为SSA形式

正式坐标 2/20。 原版目录键 19.1 转化为SSA形式。围绕“每个定义怎样支配使用，phi输入怎样与前驱边一一对应？”，“第19章 静态单赋值形式”在坐标2把「19·1 转化为SSA形式」落实为求解数据流与支配关系并证明优化/SSA变换保语义；只有固定点、支配树、phi放置、重命名、循环森林与前后IR可重放且反例排除别名、溢出、关键边或跨迭代依赖被忽略，本节点才算掌握。

19·1·1 插入phi函数的标准

正式坐标 3/20。 原版目录键 19.1.1 插入phi函数的标准。“第19章 静态单赋值形式”的目录节点3「19·1·1 插入phi函数的标准」不能停在术语或伪码：它要求解数据流与支配关系并证明优化/SSA变换保语义，交付固定点、支配树、phi放置、重命名、循环森林与前后IR，并把别名、溢出、关键边或跨迭代依赖被忽略设为单一反事实。

19·1·2 必经结点边界

正式坐标 4/20。 原版目录键 19.1.2 必经结点边界。对“第19章 静态单赋值形式”而言，「19·1·2 必经结点边界」在第4次检查中改变可观察状态，因为它负责求解数据流与支配关系并证明优化/SSA变换保语义；固定点、支配树、phi放置、重命名、循环森林与前后IR必须与“第19章 静态单赋值形式的C模块接口、数据结构、状态变换、输出语义与测试始终一致”对齐，不能接受别名、溢出、关键边或跨迭代依赖被忽略。

19·1·3 插入phi函数

正式坐标 5/20。 原版目录键 19.1.3 插入phi函数。在“第19章 静态单赋值形式”的第5个正式坐标中，「19·1·3 插入phi函数」通过求解数据流与支配关系并证明优化/SSA变换保语义推进SSA、支配、phi与内存；复核者保存固定点、支配树、phi放置、重命名、循环森林与前后IR，出现别名、溢出、关键边或跨迭代依赖被忽略就撤回结论。

19·1·4 变量重命名

正式坐标 6/20。 原版目录键 19.1.4 变量重命名。围绕“每个定义怎样支配使用，phi输入怎样与前驱边一一对应？”，“第19章 静态单赋值形式”在坐标6把「19·1·4 变量重命名」落实为把语言规则映射到测试、AST、类型、IR、运行时和诊断；只有规则—测试矩阵、AST/类型/IR快照、运行结果与诊断可重放且反例排除语言规范、内建签名与编译器实现不一致，本节点才算掌握。

19·1·5 边分割

正式坐标 7/20。 原版目录键 19.1.5 边分割。“第19章 静态单赋值形式”的目录节点7「19·1·5 边分割」不能停在术语或伪码：它要把“边分割”放进SSA、支配、phi与内存的C接口—状态—变换—验证链，交付第19章 静态单赋值形式的输入角色、中间状态、输出、反例与整合证据，并把只复述“边分割”名称而没有可观察状态、项目实现和恢复验证设为单一反事实。

19·2 必经结点树的高效计算

正式坐标 8/20。 原版目录键 19.2 必经结点树的高效计算。对“第19章 静态单赋值形式”而言，「19·2 必经结点树的高效计算」在第8次检查中改变可观察状态，因为它负责把Tiger AST降到规范树IR、基本块和可调度控制流；AST—IR映射、临时变量、标签、CFG、规范化与差分执行必须与“第19章 静态单赋值形式的C模块接口、数据结构、状态变换、输出语义与测试始终一致”对齐，不能接受副作用重复、标签错连或轨迹调度破坏控制语义。

19·2·1 深度优先生成树

正式坐标 9/20。 原版目录键 19.2.1 深度优先生成树。在“第19章 静态单赋值形式”的第9个正式坐标中，「19·2·1 深度优先生成树」通过把Tiger AST降到规范树IR、基本块和可调度控制流推进SSA、支配、phi与内存；复核者保存AST—IR映射、临时变量、标签、CFG、规范化与差分执行，出现副作用重复、标签错连或轨迹调度破坏控制语义就撤回结论。

19·2·2 半必经结点

正式坐标 10/20。 原版目录键 19.2.2 半必经结点。围绕“每个定义怎样支配使用，phi输入怎样与前驱边一一对应？”，“第19章 静态单赋值形式”在坐标10把「19·2·2 半必经结点」落实为把“半必经结点”放进SSA、支配、phi与内存的C接口—状态—变换—验证链；只有第19章 静态单赋值形式的输入角色、中间状态、输出、反例与整合证据可重放且反例排除只复述“半必经结点”名称而没有可观察状态、项目实现和恢复验证，本节点才算掌握。

19·2·3 Lengauer-Tarjan算法

正式坐标 11/20。 原版目录键 19.2.3 Lengauer-Tarjan算法。“第19章 静态单赋值形式”的目录节点11「19·2·3 Lengauer-Tarjan算法」不能停在术语或伪码：它要把“Lengauer-Tarjan算法”放进SSA、支配、phi与内存的C接口—状态—变换—验证链，交付第19章 静态单赋值形式的输入角色、中间状态、输出、反例与整合证据，并把只复述“Lengauer-Tarjan算法”名称而没有可观察状态、项目实现和恢复验证设为单一反事实。

19·3 使用SSA的优化算法

正式坐标 12/20。 原版目录键 19.3 使用SSA的优化算法。对“第19章 静态单赋值形式”而言，「19·3 使用SSA的优化算法」在第12次检查中改变可观察状态，因为它负责求解数据流与支配关系并证明优化/SSA变换保语义；固定点、支配树、phi放置、重命名、循环森林与前后IR必须与“第19章 静态单赋值形式的C模块接口、数据结构、状态变换、输出语义与测试始终一致”对齐，不能接受别名、溢出、关键边或跨迭代依赖被忽略。

19·3·1 死代码删除

正式坐标 13/20。 原版目录键 19.3.1 死代码删除。在“第19章 静态单赋值形式”的第13个正式坐标中，「19·3·1 死代码删除」通过把“死代码删除”放进SSA、支配、phi与内存的C接口—状态—变换—验证链推进SSA、支配、phi与内存；复核者保存第19章 静态单赋值形式的输入角色、中间状态、输出、反例与整合证据，出现只复述“死代码删除”名称而没有可观察状态、项目实现和恢复验证就撤回结论。

19·3·2 简单的常数传播

正式坐标 14/20。 原版目录键 19.3.2 简单的常数传播。围绕“每个定义怎样支配使用，phi输入怎样与前驱边一一对应？”，“第19章 静态单赋值形式”在坐标14把「19·3·2 简单的常数传播」落实为把“简单的常数传播”放进SSA、支配、phi与内存的C接口—状态—变换—验证链；只有第19章 静态单赋值形式的输入角色、中间状态、输出、反例与整合证据可重放且反例排除只复述“简单的常数传播”名称而没有可观察状态、项目实现和恢复验证，本节点才算掌握。

19·3·3 条件常数传播

正式坐标 15/20。 原版目录键 19.3.3 条件常数传播。“第19章 静态单赋值形式”的目录节点15「19·3·3 条件常数传播」不能停在术语或伪码：它要把“条件常数传播”放进SSA、支配、phi与内存的C接口—状态—变换—验证链，交付第19章 静态单赋值形式的输入角色、中间状态、输出、反例与整合证据，并把只复述“条件常数传播”名称而没有可观察状态、项目实现和恢复验证设为单一反事实。

19·3·4 保持必经结点性质

正式坐标 16/20。 原版目录键 19.3.4 保持必经结点性质。对“第19章 静态单赋值形式”而言，「19·3·4 保持必经结点性质」在第16次检查中改变可观察状态，因为它负责把“保持必经结点性质”放进SSA、支配、phi与内存的C接口—状态—变换—验证链；第19章 静态单赋值形式的输入角色、中间状态、输出、反例与整合证据必须与“第19章 静态单赋值形式的C模块接口、数据结构、状态变换、输出语义与测试始终一致”对齐，不能接受只复述“保持必经结点性质”名称而没有可观察状态、项目实现和恢复验证。

19·4 数组、指针和存储器

正式坐标 17/20。 原版目录键 19.4 数组、指针和存储器。在“第19章 静态单赋值形式”的第17个正式坐标中，「19·4 数组、指针和存储器」通过把“数组、指针和存储器”放进SSA、支配、phi与内存的C接口—状态—变换—验证链推进SSA、支配、phi与内存；复核者保存第19章 静态单赋值形式的输入角色、中间状态、输出、反例与整合证据，出现只复述“数组、指针和存储器”名称而没有可观察状态、项目实现和恢复验证就撤回结论。

19·5 控制依赖图

正式坐标 18/20。 原版目录键 19.5 控制依赖图。围绕“每个定义怎样支配使用，phi输入怎样与前驱边一一对应？”，“第19章 静态单赋值形式”在坐标18把「19·5 控制依赖图」落实为把“控制依赖图”放进SSA、支配、phi与内存的C接口—状态—变换—验证链；只有第19章 静态单赋值形式的输入角色、中间状态、输出、反例与整合证据可重放且反例排除只复述“控制依赖图”名称而没有可观察状态、项目实现和恢复验证，本节点才算掌握。

19·6 从SSA形式转变回来

正式坐标 19/20。 原版目录键 19.6 从SSA形式转变回来。“第19章 静态单赋值形式”的目录节点19「19·6 从SSA形式转变回来」不能停在术语或伪码：它要求解数据流与支配关系并证明优化/SSA变换保语义，交付固定点、支配树、phi放置、重命名、循环森林与前后IR，并把别名、溢出、关键边或跨迭代依赖被忽略设为单一反事实。

19·7 函数式中间形式

正式坐标 20/20。 原版目录键 19.7 函数式中间形式。对“第19章 静态单赋值形式”而言，「19·7 函数式中间形式」在第20次检查中改变可观察状态，因为它负责把对象布局、动态分派或闭包环境与调用约定降到IR；类/vtable布局、自由变量、闭包对象、调用和求值轨迹必须与“第19章 静态单赋值形式的C模块接口、数据结构、状态变换、输出语义与测试始终一致”对齐，不能接受对象偏移、自由变量、环境槽或求值策略错误。

先预测，再操作三个C轨道实验

第19章 静态单赋值形式的可重放协议

unit: "tbc-unit-19"
question: "每个定义怎样支配使用，phi输入怎样与前驱边一一对应？"
scenario: "在Tiger C实现轨道中复现“第19章 静态单赋值形式”的输入、状态、变换与验证"
invariant: "第19章 静态单赋值形式的C模块接口、数据结构、状态变换、输出语义与测试始终一致"
fault: "关键边上直接插入并行复制，顺序化后破坏phi语义"
evidence: "支配树、支配边界、phi放置、重命名栈与退出SSA日志"
reset: restore_concept_mode_stage_trace_step_case_gates_and_artifact

“第19章 静态单赋值形式”要求从同一C接口、源程序、规则、数据结构、目标机、预算和执行顺序重放参考、故障与恢复路径。重置后若目录选择、模式、阶段、轨迹步骤、案例、证据门或交付包没有回到基线，本次比较已经混入状态泄漏。

本页回顾

掌握“第19章 静态单赋值形式”不是背术语、表格或伪码，而是围绕“每个定义怎样支配使用，phi输入怎样与前驱边一一对应？”重建C接口、输入、状态变换、输出、整合和端到端验证，并用“第19章 静态单赋值形式的C模块接口、数据结构、状态变换、输出语义与测试始终一致”拒绝“关键边上直接插入并行复制，顺序化后破坏phi语义”。最终交付为支配树、支配边界、phi放置、重命名栈与退出SSA日志。

练习与答案

名词解释