fix patterngen writer

tum-ei-eda · Aug 22, 2024 · b1c820a · b1c820a
1 parent 7a6858f
commit b1c820a
Showing 1 changed file with 7 additions and 5 deletions.
diff --git a/seal5/backends/patterngen/writer.py b/seal5/backends/patterngen/writer.py
@@ -142,10 +142,10 @@ def process_instrunction(instr_def, set_name, set_dir, mattr, predicate, xlen):
                         skip = True
                     if skip:
                         metrics["n_skipped"] += 1
-                        return False
+                        return False, includes_
                 if not input_file.is_file():
                     metrics["n_skipped"] += 1
-                    return False
+                    return False, includes_
                 # if args.patterns:
                 out_name = f"{instr_def.name}.{args.ext}"
                 output_file = set_dir / out_name
@@ -186,6 +186,7 @@ def process_instrunction(instr_def, set_name, set_dir, mattr, predicate, xlen):
                         metrics["n_failed"] += 1
                 except AssertionError:
                     metrics["n_failed"] += 1
+                    return False, includes_
                     # errs.append((insn_name, str(ex)))
                 return True, includes_
 
@@ -197,9 +198,10 @@ def process_instrunction(instr_def, set_name, set_dir, mattr, predicate, xlen):
                     futures.append(future)
                 results = []
                 for future in as_completed(futures):
-                    result, includes_ = future.result
-                    results.append(result)
-                    includes.extend(includes_)
+                    result_, includes_ = future.result
+                    results.append(result_)
+                    if result_:
+                        includes.extend(includes_)
             if len(includes) > 0:
                 set_includes_str = "\n".join([f'include "seal5/{inc}"' for inc in includes])
                 set_includes_artifact_dest = f"llvm/lib/Target/RISCV/seal5/{set_name}.td"