From bd1aefc4892390ffbe170f8eeafd065c94e46ca5 Mon Sep 17 00:00:00 2001 From: Larry Xue Date: Tue, 25 Aug 2020 21:22:03 -0400 Subject: [PATCH] add special variables --- c2logic/compiler.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/c2logic/compiler.py b/c2logic/compiler.py index 2ddb903..d1bb232 100644 --- a/c2logic/compiler.py +++ b/c2logic/compiler.py @@ -24,6 +24,7 @@ class Function(): start: int = dataclasses.field(default=None, init=False) callees: set = dataclasses.field(init=False, default_factory=set) callers: set = dataclasses.field(init=False, default_factory=set) + labels: list = dataclasses.field(init=False, default_factory=list) def __post_init__(self): self.locals = self.params[:] @@ -284,6 +285,8 @@ class Compiler(c_ast.NodeVisitor): varname = node.name if varname not in self.functions: varname = self.get_varname(varname) + if varname in ("links", "ipt", "counter", "time"): + varname = "@" + varname self.push(Set("__rax", varname)) def visit_BinaryOp(self, node):