docs(doc): 调整lab5, lab6部分表述

src/ir/passes/CMakeLists.txt

@@ -2,6 +2,7 @@ add_library(ir_passes STATIC
   PassManager.cpp
   Mem2Reg.cpp
   ConstFold.cpp
+  ConstProp.cpp
   CSE.cpp
   DCE.cpp
   CFGSimplify.cpp

src/ir/passes/ConstProp.cpp

@@ -0,0 +1,5 @@
+// 常量传播（Constant Propagation）：
+// - 沿 use-def 关系传播已知常量
+// - 将可替换的 SSA 值改写为常量，暴露更多折叠机会
+// - 常与 ConstFold、DCE、CFGSimplify 迭代配合使用
+