From e79ea010b0ad52a91d8dee8518dac1822f0ec9ca Mon Sep 17 00:00:00 2001 From: TermiNexus Date: Mon, 5 Oct 2026 09:16:12 +0800 Subject: [PATCH] =?UTF-8?q?fix(tpv):=20=E6=B6=88=E9=99=A4=20PYI=5FBUF=5FSI?= =?UTF-8?q?ZE=20=E8=B7=A8=E6=A8=A1=E5=9D=97=E9=87=8D=E5=A4=8D=E5=85=A8?= =?UTF-8?q?=E5=B1=80=E5=B9=B6=E5=8E=BB=E6=8E=89=20--allow-multiple-definit?= =?UTF-8?q?ion=20=E5=85=9C=E5=BA=95?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Phase1 与 BuildPipeline 各自把 PYI_BUF_SIZE 声明为模块级全局，模块级全局走裸名符号（类 C extern 全局语义），两模块各发一份强定义 @PYI_BUF_SIZE，llvm-link 报 symbol multiply defined 并回退到单独编译。改为编译期宏 define PYI_BUF_SIZE = 262144（与同文件 define SRC_BUF_SIZE 同口径，不产生符号），同步更新引用该符号的非 CDefine 示例注释。project.vpj 移除 -Wl,--allow-multiple-definition 兜底。验证：跨模块内联优化完成，最终链接无该 flag 成功（161.70s）；TransPyV 自举产物顺序回归 77/77 全通过。 --- App/lib/Phase/BuildPipeline.vp | 4 +++- App/lib/Phase/Phase1/__init__.vp | 4 +++- App/lib/core/Gen/Expr/ExprGenAttr.vp | 4 ++-- App/lib/core/Gen/Expr/ExprGenName.vp | 4 ++-- project.vpj | 1 - 5 files changed, 10 insertions(+), 7 deletions(-) diff --git a/App/lib/Phase/BuildPipeline.vp b/App/lib/Phase/BuildPipeline.vp index b6197b4..f79a0f9 100644 --- a/App/lib/Phase/BuildPipeline.vp +++ b/App/lib/Phase/BuildPipeline.vp @@ -82,7 +82,9 @@ def _ir_sibling_path(ir_path: str, suffix: str) -> str: define SRC_BUF_SIZE = 1048576 # 2^20 = 1MB # .vpi 存根缓冲区大小（256KB，与 Phase1 一致） -PYI_BUF_SIZE: sizet = 262144 +# 编译期常量用 define：模块级同名全局（Phase1 已有 PYI_BUF_SIZE）会各发一份 +# 强定义符号，llvm-link 报 symbol multiply defined。 +define PYI_BUF_SIZE = 262144 # ============================================================ # _llc_frame_ptr_flag - llc extra flag for --traceback diff --git a/App/lib/Phase/Phase1/__init__.vp b/App/lib/Phase/Phase1/__init__.vp index d3eb948..50dc7b1 100644 --- a/App/lib/Phase/Phase1/__init__.vp +++ b/App/lib/Phase/Phase1/__init__.vp @@ -9,7 +9,9 @@ _mbuddy: memhub.MemBuddy* define SRC_BUF_SIZE = 1048576 # vpi 缓冲区大小（256KB） -PYI_BUF_SIZE: sizet = 262144 +# 编译期常量，用 define 而非模块级全局：模块级同名全局会在多个模块各发 +# 一份强定义符号（@PYI_BUF_SIZE），llvm-link 报 symbol multiply defined。 +define PYI_BUF_SIZE = 262144 # 拓扑排序相关常量 define MAX_CLASSES = 512 diff --git a/App/lib/core/Gen/Expr/ExprGenAttr.vp b/App/lib/core/Gen/Expr/ExprGenAttr.vp index 11a57d8..5eded81 100644 --- a/App/lib/core/Gen/Expr/ExprGenAttr.vp +++ b/App/lib/core/Gen/Expr/ExprGenAttr.vp @@ -536,8 +536,8 @@ novirtual class ExprGenAttr(ExprGenBase.ExprGenBase): # 此处返回 None，让上层嵌套属性访问路径处理 if string.strcmp(nm_ma.id, "t") == 0 and string.strcmp(at.attr, "ASM_DESCR") == 0: return None # ALL_CAPS 模块属性但非 CDefine：先检查模块是否定义了同名全局 - # 变量（如 Phase1.PYI_BUF_SIZE: sizet = 262144 是 i64 全局、 - # 非宏，语义同 C 的 extern size_t PYI_BUF_SIZE）→ 按跨模块全局 + # 变量（如 Phase2 的 PA_DEPS_MAX_STR: sizet = 1024 是 i64 全局、 + # 非宏，语义同 C 的 extern size_t）→ 按跨模块全局 # 引用加载。仅当全局变量也不存在时才 fail-fast（防 llc # "use of undefined value"）。 if self.Gen.ExprGenCdef._is_cdefine_name_pattern(at.attr) != 0: diff --git a/App/lib/core/Gen/Expr/ExprGenName.vp b/App/lib/core/Gen/Expr/ExprGenName.vp index bc68219..a7449fe 100644 --- a/App/lib/core/Gen/Expr/ExprGenName.vp +++ b/App/lib/core/Gen/Expr/ExprGenName.vp @@ -110,8 +110,8 @@ novirtual class ExprGenName(ExprGenBase.ExprGenBase): return self.Gen.ExprGenCdef._const_int_for_cdefine(pool, cdef_val) # CDefine 查找失败：from-import 的模块级全局变量（如 - # from Phase1 import PYI_BUF_SIZE；PYI_BUF_SIZE: sizet = 262144 是 - # i64 全局、非宏，语义同 C 的 extern size_t PYI_BUF_SIZE）。from-import + # from Phase2 import PA_DEPS_MAX_STR；该名是 i64 全局、非宏， + # 语义同 C 的 extern size_t）。from-import # 确认名称确实来自某模块后，按后缀匹配查找该全局并加载。 if trans is not None and trans._from_imports is not None: fi_mod_raw: str = self.Gen.ImportsGen.lookup_from_import(trans._from_imports, nm_id, 0) diff --git a/project.vpj b/project.vpj index 7ba72a3..9a959c4 100644 --- a/project.vpj +++ b/project.vpj @@ -21,7 +21,6 @@ "-lpthread", "-lmingwex", "-lkernel32", - "-Wl,--allow-multiple-definition", "-Wl,--stack,0x1000000", "-Wl,--no-insert-timestamp", "-Wl,--export-all-symbols",