Line too long (133 > 120 characters) (E501)

("collect_immediate_operands", passes.collect_immediate_operands, {}), ("collect_operand_types", passes.collect_operand_types, {}), ("detect_side_effects", passes.detect_side_effects, {}), ("detect_inouts", passes.detect_inouts, {}), ("detect_registers", passes.detect_registers, {}), - ("write_cdsl_full", passes.write_cdsl, {"split": False, "compat": False}) + ("write_cdsl_full", passes.write_cdsl, {"split": False, "compat": False}), # TODO: determine static constraints (xlen,...) -> subtargetvmap # detect memory adressing modes # self.detect_adressing_modes(verbose) # TODO # detect legal GMIR ops (and map to selectiondag?) # self.detect_legal_ops(verbose=verbose) # TODO

Line too long (150 > 120 characters) (E501)

if isinstance(dest, str): dest = Path(dest) suffix = dest.suffix if suffix != ".gz": raise NotImplementedError("Only .tar.gz export is supported!") - artifacts = [self.settings.inputs_dir, self.settings.gen_dir, self.settings.models_dir, self.settings.logs_dir, self.settings.settings_file] + artifacts = [ + self.settings.inputs_dir, + self.settings.gen_dir, + self.settings.models_dir, + self.settings.logs_dir, + self.settings.settings_file, + ] with tarfile.open(dest, mode="w:gz") as archive: for artifact in artifacts: name = str(artifact) assert str(self.settings.meta_dir) in name name = name.replace(f"{self.settings.meta_dir}/", "")

'm2isar.metamodel.patch_model' imported but unused (F401)

raise NotImplementedError if settings: self.settings.reset() logger.info("Completed clean of Seal5 settings") - def clean(self, temp: bool = False, patches: bool = False, models: bool = False, inputs: bool = False, logs: bool = False, install: bool = False, build: bool = False, deps: bool = False, verbose: bool = False, interactive: bool = False): + def clean( + self, + temp: bool = False, + patches: bool = False, + models: bool = False, + inputs: bool = False, + logs: bool = False, + install: bool = False, + build: bool = False, + deps: bool = False, + verbose: bool = False, + interactive: bool = False, + ): logger.info("Cleaning Seal5 directories") to_clean = [] if temp: to_clean.append(self.settings.temp_dir) if patches:

'm2isar.metamodel.behav' imported but unused (F401)

@DataClass class PassResult: metrics: Optional[dict] = None outputs: Optional[List[Path]] = None + def check_filter(name, skip, only): print("check_filter", name, skip, only) if skip is None: skip = [] if only is None: only = [] - if not ( - (name in only or len(only) == 0) - and (name not in skip or len(skip) == 0) - ): + if not ((name in only or len(only) == 0) and (name not in skip or len(skip) == 0)): return True return False + class Seal5Pass: def __init__(self, name, pass_type, pass_scope, handler, fmt=PassFormat.NONE, order=-1, options=None): self.name: str = name self.pass_type: PassType = pass_type

'seal5.index.File' imported but unused (F401)

# @DataClass # class TransformSettings(YAMLSettings): # pass + @DataClass class PassesSetting(YAMLSettings): skip: Optional[List[str]] = None only: Optional[List[str]] = None

'seal5.index.NamedPatch' imported but unused (F401)

'seal5.index.write_index_yaml' imported but unused (F401)

'seal5.passes.PassResult' imported but unused (F401)

Line too long (148 > 120 characters) (E501)

Line too long (241 > 120 characters) (E501)

Whitespace before ':' (E203)

Whitespace before ':' (E203)

'multiprocessing' imported but unused (F401)

Expected 2 blank lines, found 1 (E302)

Expected 2 blank lines, found 1 (E302)

'lit.llvm.llvm_config' imported but unused (F401)

Undefined name 'config' (F821)

Undefined name 'config' (F821)

Undefined name 'config' (F821)

Line too long (133 > 120 characters) (E501)

Line too long (150 > 120 characters) (E501)

'm2isar.metamodel.patch_model' imported but unused (F401)

'm2isar.metamodel.behav' imported but unused (F401)

'seal5.index.File' imported but unused (F401)

'seal5.index.NamedPatch' imported but unused (F401)

'seal5.index.write_index_yaml' imported but unused (F401)

'seal5.passes.PassResult' imported but unused (F401)

("collect_immediate_operands", passes.collect_immediate_operands, {}), ("collect_operand_types", passes.collect_operand_types, {}), ("detect_side_effects", passes.detect_side_effects, {}), ("detect_inouts", passes.detect_inouts, {}), ("detect_registers", passes.detect_registers, {}), - ("write_cdsl_full", passes.write_cdsl, {"split": False, "compat": False}) + ("write_cdsl_full", passes.write_cdsl, {"split": False, "compat": False}), # TODO: determine static constraints (xlen,...) -> subtargetvmap # detect memory adressing modes # self.detect_adressing_modes(verbose) # TODO # detect legal GMIR ops (and map to selectiondag?) # self.detect_legal_ops(verbose=verbose) # TODO

Line too long (148 > 120 characters) (E501)

if isinstance(dest, str): dest = Path(dest) suffix = dest.suffix if suffix != ".gz": raise NotImplementedError("Only .tar.gz export is supported!") - artifacts = [self.settings.inputs_dir, self.settings.gen_dir, self.settings.models_dir, self.settings.logs_dir, self.settings.settings_file] + artifacts = [ + self.settings.inputs_dir, + self.settings.gen_dir, + self.settings.models_dir, + self.settings.logs_dir, + self.settings.settings_file, + ] with tarfile.open(dest, mode="w:gz") as archive: for artifact in artifacts: name = str(artifact) assert str(self.settings.meta_dir) in name name = name.replace(f"{self.settings.meta_dir}/", "")

raise NotImplementedError if settings: self.settings.reset() logger.info("Completed clean of Seal5 settings") - def clean(self, temp: bool = False, patches: bool = False, models: bool = False, inputs: bool = False, logs: bool = False, install: bool = False, build: bool = False, deps: bool = False, verbose: bool = False, interactive: bool = False): + def clean( + self, + temp: bool = False, + patches: bool = False, + models: bool = False, + inputs: bool = False, + logs: bool = False, + install: bool = False, + build: bool = False, + deps: bool = False, + verbose: bool = False, + interactive: bool = False, + ): logger.info("Cleaning Seal5 directories") to_clean = [] if temp: to_clean.append(self.settings.temp_dir) if patches:

@DataClass class PassResult: metrics: Optional[dict] = None outputs: Optional[List[Path]] = None + def check_filter(name, skip, only): print("check_filter", name, skip, only) if skip is None: skip = [] if only is None: only = [] - if not ( - (name in only or len(only) == 0) - and (name not in skip or len(skip) == 0) - ): + if not ((name in only or len(only) == 0) and (name not in skip or len(skip) == 0)): return True return False + class Seal5Pass: def __init__(self, name, pass_type, pass_scope, handler, fmt=PassFormat.NONE, order=-1, options=None): self.name: str = name self.pass_type: PassType = pass_type

# @DataClass # class TransformSettings(YAMLSettings): # pass + @DataClass class PassesSetting(YAMLSettings): skip: Optional[List[str]] = None only: Optional[List[str]] = None

Line too long (241 > 120 characters) (E501)

Whitespace before ':' (E203)

Whitespace before ':' (E203)

'multiprocessing' imported but unused (F401)

Expected 2 blank lines, found 1 (E302)

Expected 2 blank lines, found 1 (E302)

'lit.llvm.llvm_config' imported but unused (F401)

Undefined name 'config' (F821)

Undefined name 'config' (F821)

Undefined name 'config' (F821)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4, wearerequired/lint-action@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.