fix SKIP_PATTERN_GEN

tum-ei-eda · Jan 28, 2025 · e424833 · e424833
1 parent 5861cd4
commit e424833
Showing 1 changed file with 1 addition and 15 deletions.
diff --git a/seal5/backends/llvmir/writer.py b/seal5/backends/llvmir/writer.py
@@ -121,21 +121,7 @@ def main():
                 metrics["n_instructions"] += 1
                 attrs = instr_def.attributes
                 if len(attrs) > 0:
-                    skip = False
-                    if instr_def.size != 32:
-                        skip = True
-                    elif len(attrs.get(Seal5InstrAttribute.USES, [])) > 0:
-                        skip = True
-                    elif len(attrs.get(Seal5InstrAttribute.DEFS, [])) > 0:
-                        skip = True
-                    elif Seal5InstrAttribute.MAY_LOAD in attrs:
-                        skip = True
-                    elif Seal5InstrAttribute.MAY_STORE in attrs:
-                        skip = True
-                    elif arch.InstrAttribute.COND in attrs:
-                        skip = True
-                    elif arch.InstrAttribute.NO_CONT in attrs:
-                        skip = True
+                    skip = Seal5InstrAttribute.SKIP_PATTERN_GEN in attrs
                     if skip:
                         metrics["n_skipped"] += 1
                         metrics["skipped_instructions"].append(instr_def.name)