chore(c): 清理已删除的 c.CIf 家族残留
c.py 删除 CElif/CElse/CEndif 三个类及其 Library_C 登记；HandlesSpecialCall 删除无人调用的 _HandleCIfLlvm；_REMOVED_CIF_CALL_MSG 的报文补齐 CElif/CElse/CEndif 六个拼写。Converter.py 去掉已无意义的注释掉守卫与 c.CIfndef/c.CEndif 时代注释，示例改为仍在用的 c.CUndef/c.CPragma；ExprParser/ConstEvaluator/HandlesIf 的注释把内部标记统一写成 c.@CIfdef 与 cif 标记。
This commit is contained in:
TermiNexus committed
1 parent
2514cee4c9
commit
6a7b27e14f
7 files changed
+12
-77
No files matched your search
@@ -116,18 +116,8 @@ class PythonToStubConverter:
|
||||
if not HasImportT or not HasImportC:
|
||||
StubLines.append('')
|
||||
|
||||
# 添加 c.CPragma("once")
|
||||
# StubLines.append('c.CPragma("once")')
|
||||
StubLines.append('')
|
||||
|
||||
# 生成文件级别宏守卫名称
|
||||
#FileGuardName = f'__{ModuleName.upper()}_DEFINE__'
|
||||
|
||||
# 添加文件开头宏守卫
|
||||
#StubLines.append(f'c.CIfndef({FileGuardName})')
|
||||
#StubLines.append(f'{FileGuardName}: t.CDefine')
|
||||
#StubLines.append('')
|
||||
|
||||
# 解析 Python 代码，提取类型定义（复用上方的 parse 结果）
|
||||
try:
|
||||
if tree is None:
|
||||
@@ -220,7 +210,7 @@ class PythonToStubConverter:
|
||||
StubLines.append('')
|
||||
StubLines.append(ImportStr)
|
||||
elif isinstance(node, ast.Expr):
|
||||
# 处理模块级别的宏调用，如 c.CEndif()
|
||||
# 处理模块级别的宏调用，如 c.CUndef(...) / c.CPragma(...)
|
||||
ExprStr: str = PythonToStubConverter._GetExprString(node.value)
|
||||
if ExprStr:
|
||||
CurrentType = 'macro'
|
||||
@@ -237,10 +227,6 @@ class PythonToStubConverter:
|
||||
if CurrentType:
|
||||
PrevType = CurrentType
|
||||
|
||||
# 添加文件结尾宏守卫
|
||||
#StubLines.append('')
|
||||
#StubLines.append('c.CEndif()')
|
||||
|
||||
except SyntaxError as e:
|
||||
# 语法错误直接终止（fail-fast），不允许生成残缺 stub 被全局缓存命中。
|
||||
# 残缺 vpi 只含 import 头，函数/类型声明全缺，会在后续阶段以
|
||||
@@ -440,7 +426,7 @@ class PythonToStubConverter:
|
||||
FuncStub: list[str] = PythonToStubConverter._ConvertFunction(item, indent=indent+1, SourceLines=SourceLines, class_name=node.name)
|
||||
lines.extend(FuncStub)
|
||||
elif isinstance(item, ast.Expr):
|
||||
# 处理宏调用，如 c.CEndif()
|
||||
# 处理宏调用，如 c.CUndef(...) / c.CPragma(...)
|
||||
ExprStr: str = PythonToStubConverter._GetExprString(item.value)
|
||||
if ExprStr:
|
||||
lines.append(f'{IndentStr} {ExprStr}')
|
||||
@@ -747,8 +733,8 @@ class PythonToStubConverter:
|
||||
return f'{LeftStr} / {RightStr}'
|
||||
elif isinstance(annotation.op, ast.Mod):
|
||||
return f'{LeftStr} % {RightStr}'
|
||||
# 位与/右移：条件宏实参（如 c.CIf(MASK_BYTE & 0x0F)、
|
||||
# c.CIf((MAX_SIZE >> SHIFT_BITS) > 0)）。两运算符必须与 TPV 的
|
||||
# 位与/右移：条件编译实参（如 cif MASK_BYTE & 0x0F、
|
||||
# cif (MAX_SIZE >> SHIFT_BITS) > 0）。两运算符必须与 TPV 的
|
||||
# _PyiBinOpOpText 保持一致，否则同一份源码两侧写出的 vpi 文本不同。
|
||||
elif isinstance(annotation.op, ast.BitAnd):
|
||||
return f'{LeftStr} & {RightStr}'
|
||||
@@ -791,7 +777,7 @@ class PythonToStubConverter:
|
||||
result += f' {op} {comparators[i]}'
|
||||
return result
|
||||
elif isinstance(annotation, ast.BoolOp):
|
||||
# 布尔运算：条件宏实参（如 c.CIf(ENABLED and MAX_SIZE > 0)）。
|
||||
# 布尔运算：条件编译实参（如 cif ENABLED and MAX_SIZE > 0）。
|
||||
# 文本与 TPV 的 BoolOp 分支一致：and → ' and '、or → ' or '。
|
||||
Joiner: str = ' or ' if isinstance(annotation.op, ast.Or) else ' and '
|
||||
return Joiner.join([PythonToStubConverter._GetTypeString(v) for v in annotation.values])
|
||||
@@ -988,7 +974,7 @@ class PythonToStubConverter:
|
||||
def _GetExprString(expr: ast.AST) -> str:
|
||||
"""获取表达式字符串（用于宏调用）"""
|
||||
if isinstance(expr, ast.Call):
|
||||
# 处理函数调用，如 c.CEndif(), c.CUndef(...), c.CPragma(...)
|
||||
# 处理函数调用，如 c.CUndef(...), c.CPragma(...)
|
||||
# （旧的 c.CIf/c.CElif/c.CElse 已删除：cif/celif/celse 由 _ProcessIfMacro 渲染）
|
||||
FuncStr: str = PythonToStubConverter._GetDecoratorString(expr.func)
|
||||
if FuncStr and ('CEndif' in FuncStr or 'CUndef' in FuncStr or 'CPragma' in FuncStr):
|
||||
@@ -998,7 +984,7 @@ class PythonToStubConverter:
|
||||
|
||||
@staticmethod
|
||||
def _RestoreDefinedMarkers(node: ast.AST) -> ast.AST:
|
||||
"""把内部标记 c.CIfdef(N) 递归还原为 defined(N) 调用（供 stub 文本渲染）。
|
||||
"""把内部标记 c.@CIfdef(N) 递归还原为 defined(N) 调用（供 stub 文本渲染）。
|
||||
|
||||
cif/celif 条件的 desugar 会把 defined(NAME) 变成 c.@CIfdef(NAME) 标记调用；
|
||||
生成 .vpi 文本时必须还原为用户可写的 defined(NAME)，否则存根不可再解析。
|
||||
|
||||
@@ -566,7 +566,7 @@ class EvalContext:
|
||||
return None
|
||||
|
||||
def is_macro_defined(self, name: str) -> bool:
|
||||
"""判定宏 NAME 是否已定义（供 defined(NAME) / c.CIfdef 标记使用）。
|
||||
"""判定宏 NAME 是否已定义（供 defined(NAME) / c.@CIfdef 标记使用）。
|
||||
|
||||
来源与 HandlesIf._is_macro_defined 同口径：Gen._define_constants /
|
||||
_DefineConstants / SymbolTable.is_define / 平台宏。
|
||||
|
||||
@@ -31,8 +31,8 @@ _LEN_SUPPORTED_HINT: str = (
|
||||
# 用户再写即在调用点 FailFast，指向原生 cif/celif/celse 与 defined(NAME)（英文报文，
|
||||
# 与 TransPyV CallGenDispatch.vp 同口径）。内部标记 c.@CIf 族不受影响。
|
||||
_REMOVED_CIF_CALL_MSG: str = (
|
||||
"c.CIf / c.CIfdef / c.CIfndef were removed; use the cif / celif / celse statements "
|
||||
"together with the defined(NAME) predicate instead "
|
||||
"c.CIf / c.CIfdef / c.CIfndef / c.CElif / c.CElse / c.CEndif were removed; use the cif / "
|
||||
"celif / celse statements together with the defined(NAME) predicate instead "
|
||||
"(e.g. `cif defined(NAME):` ... `celif ...:` ... `celse:` ...)")
|
||||
|
||||
|
||||
|
||||
@@ -147,7 +147,7 @@ class IfHandle(BaseHandle):
|
||||
ctx: EvalContext = EvalContext(Gen=Gen, symtab=self.Trans.SymbolTable, translator=self.Trans)
|
||||
result: int | float | bool | None = ConstEvaluator.eval_full(node, ctx)
|
||||
if result is None:
|
||||
# 保留 CIf 嵌套调用处理（HandlesIf 特有逻辑）
|
||||
# 保留 cif 标记的嵌套调用处理（HandlesIf 特有逻辑）
|
||||
if isinstance(node, ast.Call) and self._is_cif_call(node):
|
||||
return self._evaluate_cif_condition(node)
|
||||
return None
|
||||
|
||||
@@ -13,18 +13,6 @@ from lib.constants.config import mode as _config_mode
|
||||
|
||||
|
||||
class CSpecialCallHandle(BaseHandle):
|
||||
def _HandleCIfLlvm(self, Node: ast.Call) -> ir.Value:
|
||||
Gen: LlvmGeneratorMixin = self.Trans.LlvmGen
|
||||
if Node.args:
|
||||
ArgVal: ir.Value | None = self.HandleExprLlvm(Node.args[0])
|
||||
if ArgVal:
|
||||
if isinstance(ArgVal, ir.Constant) and isinstance(ArgVal.type, ir.IntType):
|
||||
return ir.Constant(ir.IntType(1), 1 if ArgVal.constant != 0 else 0)
|
||||
if isinstance(ArgVal.type, ir.IntType):
|
||||
return Gen.builder.icmp_signed('!=', ArgVal, Gen._ZeroConst(ArgVal.type), name="cif_cond")
|
||||
if isinstance(ArgVal.type, ir.PointerType):
|
||||
return Gen.builder.icmp_signed('!=', ArgVal, Gen._ZeroConst(ArgVal.type), name="cif_cond")
|
||||
return ir.Constant(ir.IntType(1), 0)
|
||||
def _HandleCAddrLlvm(self, Node: ast.Call) -> ir.Value:
|
||||
Gen: LlvmGeneratorMixin = self.Trans.LlvmGen
|
||||
if not Node.args:
|
||||
|
||||
@@ -510,42 +510,6 @@ class TokenPast:
|
||||
return ['']
|
||||
|
||||
|
||||
class CElif:
|
||||
"""#elif 条件编译"""
|
||||
def __init__(self, condition: Any) -> None:
|
||||
self.condition: Any = condition
|
||||
|
||||
@staticmethod
|
||||
def HandleCall(translator: Any, args: Any, keywords: Any) -> list[str]:
|
||||
"""处理 c.CElif() 调用"""
|
||||
if args:
|
||||
condition: Any = translator.HandleExpr(args[0])[0]
|
||||
return ['#elif ' + _to_str(condition)]
|
||||
return ['#else']
|
||||
|
||||
|
||||
class CElse:
|
||||
"""#else 条件编译"""
|
||||
def __init__(self) -> None:
|
||||
pass
|
||||
|
||||
@staticmethod
|
||||
def HandleCall(translator: Any, args: Any, keywords: Any) -> list[str]:
|
||||
"""处理 c.CElse() 调用"""
|
||||
return ['#else']
|
||||
|
||||
|
||||
class CEndif:
|
||||
"""#endif 条件编译"""
|
||||
def __init__(self) -> None:
|
||||
pass
|
||||
|
||||
@staticmethod
|
||||
def HandleCall(translator: Any, args: Any, keywords: Any) -> list[str]:
|
||||
"""处理 c.CEndif() 调用"""
|
||||
return ['#endif']
|
||||
|
||||
|
||||
class CUndef:
|
||||
"""#undef 取消宏定义"""
|
||||
def __init__(self, name: Any) -> None:
|
||||
@@ -648,9 +612,6 @@ Library_C = {
|
||||
'AsmInp': AsmInp,
|
||||
'AsmOut': AsmOut,
|
||||
'CDefine': CDefine,
|
||||
'CElif': CElif,
|
||||
'CElse': CElse,
|
||||
'CEndif': CEndif,
|
||||
'CUndef': CUndef,
|
||||
'CError': CError,
|
||||
'TokenPast': TokenPast,
|
||||
|
||||
@@ -601,7 +601,7 @@ class ExprParserMixin(TokenStream):
|
||||
"""调用点的特殊 desugar / fail-fast。
|
||||
|
||||
- `defined(NAME)`：仅 cif/celif 条件内合法（`self._InCIfCond`），
|
||||
desugar 为内部标记调用 `c.CIfdef(NAME)`；其余位置 FailFast。
|
||||
desugar 为内部标记调用 `c.@CIfdef(NAME)`；其余位置 FailFast。
|
||||
- `c.CIf` / `c.CIfdef` / `c.CIfndef`（及裸名）：已删除，FailFast 指向新语法。
|
||||
"""
|
||||
callee: str = self._CallCalleeName(node.func)
|
||||
|
||||
Reference in new issue
Block a user