GVSDS/ViperC
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 1 Wiki Activity

fix(expr): 修复 not 一元运算未取反（i1 条件与 0 比较）

Browse Source 
not x 的降级此前写成 (bool(x) == 1)，在 i1 上与恒等等价，导致 not r2 不取反（FuncTest Test 7 bool return 失败）。注释本意即 not x = (bool(x) == 0)，改为与 i1 常量 0 比较。
This commit is contained in:
TermiNexus committed 2026-10-03 09:07:04 +08:00
1 parent cc8ea01476
commit df9a5a9beb
1 file changed
+2 -2
Download Patch File Download Diff File Expand all files Collapse all files
App/lib/core/Gen/Expr/ExprGenOps.vp
+2 -2
View File
@@ -791,8 +791,8 @@ novirtual class ExprGenOps(ExprGenBase.ExprGenBase):
not_cond: llvmlite.Value* = self.coerce_cond_to_bool(pool, builder, mod, operand, trans) not_cond: llvmlite.Value* = self.coerce_cond_to_bool(pool, builder, mod, operand, trans)
if not_cond is None: if not_cond is None:
return None return None
true_val: llvmlite.Value* = llvmlite.const_int(pool, 1, 1) false_val: llvmlite.Value* = llvmlite.const_int(pool, 0, 1)
return llvmlite.build_icmp(builder, llvmlite.ICMP_EQ, not_cond, true_val) return llvmlite.build_icmp(builder, llvmlite.ICMP_EQ, not_cond, false_val)
elif uo.op == ast.OpKind.Invert: elif uo.op == ast.OpKind.Invert:
# ~x = x ^ -1 # ~x = x ^ -1
operand_bits_inv: int = self.get_llvm_type_bits(operand.Ty) operand_bits_inv: int = self.get_llvm_type_bits(operand.Ty)