TermiNexus 61f23d99a1 fix(viperc): 静态常量求值对 + - * << 按结果值加宽，杜绝 define 算式静默回绕 ...

- 现象：Gargantua 的 define V3_POOL_SIZE=8192 / V3_POOL_BYTES=V3_POOL_SIZE*24+512 在运行时变成 512（正好是表达式里的 +512），等价于 8192*24=196608 被按 16 位回绕成 0 → 池只剩 512B → 每像素 trace 立刻 OOM 刷屏

- 根因：extract_cdefine_int_value_bits 的 BinOp 位宽规则只“取较宽”，而 + - * << 会增长结果位宽 → define 物化时按 16 位截断

- 现在：操作数的声明宽度仍保持最小（不提升）；基准取较宽者；若精确结果装不进基准宽度，则按结果值加宽（向上取 8/16/32/64）—— 静态计算不再回绕；基准未知（纯字面量算式）时保持“未知”，仍由物化端按值推断

- 顺带：未知 BinOp 算子恢复 fail-fast（重构后原落空分支若留着会静默返回 0）

2026-10-14 19:18:52 +08:00

..

core

fix(viperc): 静态常量求值对 + - * << 按结果值加宽，杜绝 define 算式静默回绕

2026-10-14 19:18:52 +08:00

Phase

fix(stub,phase1): 因取消整数提升，模块属性 CDefine 的窄乘法显式加宽为 sizet（修缓冲区尺寸回绕成 0/负值）

2026-10-13 16:34:39 +08:00

Projectrans

chore: 全仓同步 w32→win32 模块改名与 range(int(...)) 显式收窄适配

2026-10-12 20:59:11 +08:00

Stub

fix(stub): 消费模块补齐按值返回聚合的具名结构体完整体（_inject_method_declare 补 _ensure_full_value_types、_inject_class_struct_declare 补登完整定义），修 MLIR opaque 报错

2026-10-13 17:48:57 +08:00

__init__.vp

refactor: 去 t.CPtr(&a) 冗余包装（R15）

2026-10-05 17:55:52 +08:00