Skip to content

Commit

Permalink
seal5/model.py: remove prints
Browse files Browse the repository at this point in the history
  • Loading branch information
PhilippvK committed May 31, 2024
1 parent 1133353 commit bdc5ee2
Showing 1 changed file with 0 additions and 11 deletions.
11 changes: 0 additions & 11 deletions seal5/model.py
Original file line number Diff line number Diff line change
Expand Up @@ -266,7 +266,6 @@ def __init__(
operands: "dict[str, Seal5Operand]",
):
super().__init__(name, attributes, encoding, mnemonic, assembly, operation)
# print("name", name)
self.constraints = constraints
self.operands = {}
for field_name, field in self.fields.items():
Expand All @@ -280,20 +279,14 @@ def __init__(
op_attrs = {}
# check for fixed bits
temp = [False] * width
# print("field_name", field_name)
# print("temp", temp)
for enc in self.encoding:
if isinstance(enc, BitField):
if enc.name == field_name:
# print("enc", enc, dir(enc))
rng = enc.range
# print("rng", rng)
assert rng.lower <= rng.upper
for pos in range(rng.lower, rng.upper + 1):
# print("pos", pos)
assert pos < len(temp)
temp[pos] = True
# print("temp", temp)
temp = [pos for pos, val in enumerate(temp) if not val]
temp2 = []
cur = None
Expand All @@ -309,8 +302,6 @@ def __init__(
if cur is not None:
temp2.append(f"{cur[0]}:{cur[1]}")
temp = temp2
# print("temp", temp)
# input("pp")
constraints = []
for pos in temp:
lower, upper = pos.split(":", 1)
Expand All @@ -326,9 +317,7 @@ def __init__(
)
constraint = Seal5Constraint([stmt])
constraints.append(constraint)
# print("constraints", constraints)
if len(constraints) > 0:
# input("eee")
pass
# if "imm" in field_name:
# cls = Seal5ImmOperand
Expand Down

0 comments on commit bdc5ee2

Please sign in to comment.