# install_dir / "llvm" / "build", install_dir, input_file, output_file, skip_patterns=True, - skip_formats=True + skip_formats=True, ) metrics["n_success"] += 1 except AssertionError: pass metrics["n_failed"] += 1

output_file, skip_patterns=False, skip_formats=not args.formats, ext=predicate, mattr=mattr, - ) if output_file.is_file(): metrics["n_success"] += 1 if args.formats: file_artifact_fmt_dest = f"llvm/lib/Target/RISCV/seal5/{set_name}/{out_name_fmt}"

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

logger = logging.getLogger("riscv_gisel_legalizer") # if (ST.hasVendorXCvsimd()) { + def type_helper(ty): print("type_helper", ty) ty_ = ty.replace("seal5_", "") if ty_.startswith("p"): sz = ty_[1:]

n = int(n) sz = int(sz) return f"const LLT {ty} = LLT::fixed_vector({n}, LLT::scalar({sz}));" else: raise RuntimeError(f"Unsupported: {ty}") - def gen_riscv_gisel_legalizer_str(legalizer_settings: RISCVLegalizerSettings): print("legalizer_settings", legalizer_settings) ops = legalizer_settings.ops

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

if gisel_settings: content = gen_riscv_gisel_legalizer_str(gisel_settings) with open(out_path, "w") as f: f.write(content) riscv_gisel_legalizer_patch = NamedPatch( - "llvm/lib/Target/RISCV/GISel/RISCVLegalizerInfo.cpp", key="riscv_legalizer_info", src_path=out_path + "llvm/lib/Target/RISCV/GISel/RISCVLegalizerInfo.cpp", + key="riscv_legalizer_info", + src_path=out_path, ) artifacts[None].append(riscv_gisel_legalizer_patch) if args.metrics: raise NotImplementedError metrics_file = args.metrics

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

from seal5.settings import ExtensionsSettings, LLVMVersion logger = logging.getLogger("riscv_isa_info") -MAKO_TEMPLATE = " {\"${arch}\", RISCVExtensionVersion{${version_major}, ${version_minor}}}," -MAKO_TEMPLATE_LLVM18 = " {\"${arch}\", {${version_major}, ${version_minor}}}," +MAKO_TEMPLATE = ' {"${arch}", RISCVExtensionVersion{${version_major}, ${version_minor}}},' +MAKO_TEMPLATE_LLVM18 = ' {"${arch}", {${version_major}, ${version_minor}}},' def gen_riscv_isa_info_str(name: str, ext_settings: ExtensionsSettings, llvm_version: LLVMVersion): # print("name", name) # print("ext_settings", ext_settings)

'seal5.settings.ExtensionsSettings' imported but unused (F401)

f.write(content) if ext_settings.experimental: key = "riscv_isa_info_experimental" else: key = "riscv_isa_info" - riscv_isa_info_patch = NamedPatch( - "llvm/lib/Support/RISCVISAInfo.cpp", key=key, src_path=out_path - ) + riscv_isa_info_patch = NamedPatch("llvm/lib/Support/RISCVISAInfo.cpp", key=key, src_path=out_path) artifacts[None].append(riscv_isa_info_patch) if args.metrics: metrics_file = args.metrics with open(metrics_file, "w") as f: f.write(",".join(metrics.keys()))

Expected 2 blank lines, found 1 (E302)

from lit.llvm import llvm_config from lit.llvm.subst import FindTool from lit.llvm.subst import ToolSubst # name: The name of this test suite. -config.name = 'LLVM' +config.name = "LLVM" # testFormat: The test format to use to interpret tests. # config.test_format = lit.formats.ShTest(not llvm_config.use_lit_shell) config.test_format = lit.formats.ShTest(True) # # suffixes: A list of file extensions to treat as test files. This is overriden # # by individual lit.local.cfg files in the test subdirectories. -config.suffixes = ['.ll', '.c', '.test', '.txt', '.s', '.mir', '.yaml'] +config.suffixes = [".ll", ".c", ".test", ".txt", ".s", ".mir", ".yaml"]

Too many blank lines (3) (E303)

@DataClass class LLVMSettings(YAMLSettings): state: Optional[LLVMState] = None configs: Optional[Dict[str, LLVMConfig]] = None + @DataClass class RISCVLegalizerSetting(YAMLSettings): name: Optional[Union[str, List[str]]] = None types: Optional[Union[str, List[str]]] = None onlyif: Optional[Union[str, List[str]]] = None + @DataClass class RISCVLegalizerSettings(YAMLSettings): ops: Optional[List[RISCVLegalizerSetting]] = None + @DataClass class RISCVSettings(YAMLSettings): xlen: Optional[int] = None features: Optional[List[str]] = None

@DataClass class ToolsSettings(YAMLSettings): pattern_gen: Optional[PatternGenSettings] = None + @DataClass class Seal5Settings(YAMLSettings): logging: Optional[LoggingSettings] = None filter: Optional[FilterSettings] = None

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

"pattern-gen", cwd=dest, print_func=logger.info if verbose else logger.debug, live=True, use_ninja=use_ninja ) def get_pattern_gen_patches( - src: Path, temp_dir: Path, verbose: bool = False, + src: Path, + temp_dir: Path, + verbose: bool = False, ): # TODO: copy! artifacts = [] directory_artifact = Directory( "llvm/tools/pattern-gen",

'tkinter as tk' imported but unused (F401)

logger.error("Target directory does not exist! Aborting...") sys.exit(1) sha, version_info = llvm.clone_llvm_repo(self.directory, clone_url, ref=clone_ref, label=self.name) else: if force: - sha, version_info = llvm.clone_llvm_repo(self.directory, clone_url, ref=clone_ref, refresh=True, label=self.name) + sha, version_info = llvm.clone_llvm_repo( + self.directory, clone_url, ref=clone_ref, refresh=True, label=self.name + ) if self.meta_dir.is_dir(): if force is False and not utils.ask_user( "Overwrite existing .seal5 diretcory?", default=False, interactive=interactive ): logger.error(f"Directory {self.meta_dir} already exists! Aborting...")

'...metamodel.arch' imported but unused (F401)

cdsl2llvm_build_dir = str(self.build_dir / config) else: cdsl2llvm_build_dir = str(self.deps_dir / "cdsl2llvm" / "llvm" / "build") cdsl2llvm.convert_ll_to_gmir( # self.deps_dir / "cdsl2llvm" / "llvm" / "build", ll_file, output_file - cdsl2llvm_build_dir, ll_file, output_file + cdsl2llvm_build_dir, + ll_file, + output_file, ) except AssertionError: pass # errs.append((insn_name, str(ex))) if len(errs) > 0:

'anytree.RenderTree' imported but unused (F401)

# patches.extend(self.gen_mc_tests_patches()) # # Codegen Level # if "selection_dag_legalizer" not in skip: # patches.extend(self.gen_selection_dag_legalizer_patches()) - if ("riscv_gisel_legalizer" in only or len(only) == 0) and ("riscv_gisel_legalizer" not in skip or len(skip) == 0): + if ("riscv_gisel_legalizer" in only or len(only) == 0) and ( + "riscv_gisel_legalizer" not in skip or len(skip) == 0 + ): self.gen_riscv_gisel_legalizer_patch(verbose=verbose) # if "scalar_costs" not in skip: # patches.extend(self.gen_scalar_costs_patches()) # if "simd_costs" not in skip: # patches.extend(self.gen_simd_costs_patches())

size += length assert size in [16, 32, 64, 128], f"Invalid size: {size}" if drop2 and keep2: ret = size not in drop2 and size in keep2 elif keep2: - ret = size in keep2 + ret = size in keep2 elif drop2: ret = size not in drop2 if not ret: return False if opcode is None: # not found (not a riscv insn?)

Redefinition of unused 'TreeGenContext' from line 19 (F811)

'...metamodel.utils.expr_preprocessor.process_attributes' imported but unused (F401)

'...metamodel.utils.expr_preprocessor.process_functions' imported but unused (F401)

'...metamodel.utils.expr_preprocessor.process_instructions' imported but unused (F401)

Local variable 'consts_node' is assigned to but never used (F841)

Local variable 'text' is assigned to but never used (F841)

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

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

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

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

Local variable 'formats' is assigned to but never used (F841)

Local variable 'formats' is assigned to but never used (F841)

F-string is missing placeholders (F541)

F-string is missing placeholders (F541)

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

Local variable 'patches' is assigned to but never used (F841)

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

Local variable 'size' is assigned to but never used (F841)

Whitespace before ':' (E203)

Local variable 'qualifiers' is assigned to but never used (F841)

Local variable 'storage' is assigned to but never used (F841)

Local variable 'qualifiers' is assigned to but never used (F841)

Local variable 'attributes' is assigned to but never used (F841)

Whitespace before ':' (E203)

'm2isar.M2ValueError' imported but unused (F401)

'm2isar.M2NameError' imported but unused (F401)

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

Local variable 'app_dir' is assigned to but never used (F841)

Syntax error in forward annotation 'dict[str arch.InstructionSet]' (F722)

Undefined name 'core_name' (F821)

Undefined name 'fn_def' (F821)

'os' imported but unused (F401)

'sys' imported but unused (F401)

're' imported but unused (F401)

'platform' imported but unused (F401)

'subprocess' imported but unused (F401)

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

'lit.llvm.subst.FindTool' imported but unused (F401)

'lit.llvm.subst.ToolSubst' imported but unused (F401)

Undefined name 'config' (F821)

# install_dir / "llvm" / "build", install_dir, input_file, output_file, skip_patterns=True, - skip_formats=True + skip_formats=True, ) metrics["n_success"] += 1 except AssertionError: pass metrics["n_failed"] += 1

output_file, skip_patterns=False, skip_formats=not args.formats, ext=predicate, mattr=mattr, - ) if output_file.is_file(): metrics["n_success"] += 1 if args.formats: file_artifact_fmt_dest = f"llvm/lib/Target/RISCV/seal5/{set_name}/{out_name_fmt}"

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

logger = logging.getLogger("riscv_gisel_legalizer") # if (ST.hasVendorXCvsimd()) { + def type_helper(ty): print("type_helper", ty) ty_ = ty.replace("seal5_", "") if ty_.startswith("p"): sz = ty_[1:]

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

n = int(n) sz = int(sz) return f"const LLT {ty} = LLT::fixed_vector({n}, LLT::scalar({sz}));" else: raise RuntimeError(f"Unsupported: {ty}") - def gen_riscv_gisel_legalizer_str(legalizer_settings: RISCVLegalizerSettings): print("legalizer_settings", legalizer_settings) ops = legalizer_settings.ops

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

if gisel_settings: content = gen_riscv_gisel_legalizer_str(gisel_settings) with open(out_path, "w") as f: f.write(content) riscv_gisel_legalizer_patch = NamedPatch( - "llvm/lib/Target/RISCV/GISel/RISCVLegalizerInfo.cpp", key="riscv_legalizer_info", src_path=out_path + "llvm/lib/Target/RISCV/GISel/RISCVLegalizerInfo.cpp", + key="riscv_legalizer_info", + src_path=out_path, ) artifacts[None].append(riscv_gisel_legalizer_patch) if args.metrics: raise NotImplementedError metrics_file = args.metrics

'seal5.settings.ExtensionsSettings' imported but unused (F401)

from seal5.settings import ExtensionsSettings, LLVMVersion logger = logging.getLogger("riscv_isa_info") -MAKO_TEMPLATE = " {\"${arch}\", RISCVExtensionVersion{${version_major}, ${version_minor}}}," -MAKO_TEMPLATE_LLVM18 = " {\"${arch}\", {${version_major}, ${version_minor}}}," +MAKO_TEMPLATE = ' {"${arch}", RISCVExtensionVersion{${version_major}, ${version_minor}}},' +MAKO_TEMPLATE_LLVM18 = ' {"${arch}", {${version_major}, ${version_minor}}},' def gen_riscv_isa_info_str(name: str, ext_settings: ExtensionsSettings, llvm_version: LLVMVersion): # print("name", name) # print("ext_settings", ext_settings)

Expected 2 blank lines, found 1 (E302)

Too many blank lines (3) (E303)

f.write(content) if ext_settings.experimental: key = "riscv_isa_info_experimental" else: key = "riscv_isa_info" - riscv_isa_info_patch = NamedPatch( - "llvm/lib/Support/RISCVISAInfo.cpp", key=key, src_path=out_path - ) + riscv_isa_info_patch = NamedPatch("llvm/lib/Support/RISCVISAInfo.cpp", key=key, src_path=out_path) artifacts[None].append(riscv_isa_info_patch) if args.metrics: metrics_file = args.metrics with open(metrics_file, "w") as f: f.write(",".join(metrics.keys()))

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

from lit.llvm import llvm_config from lit.llvm.subst import FindTool from lit.llvm.subst import ToolSubst # name: The name of this test suite. -config.name = 'LLVM' +config.name = "LLVM" # testFormat: The test format to use to interpret tests. # config.test_format = lit.formats.ShTest(not llvm_config.use_lit_shell) config.test_format = lit.formats.ShTest(True) # # suffixes: A list of file extensions to treat as test files. This is overriden # # by individual lit.local.cfg files in the test subdirectories. -config.suffixes = ['.ll', '.c', '.test', '.txt', '.s', '.mir', '.yaml'] +config.suffixes = [".ll", ".c", ".test", ".txt", ".s", ".mir", ".yaml"]

'tkinter as tk' imported but unused (F401)

'...metamodel.arch' imported but unused (F401)

'anytree.RenderTree' imported but unused (F401)

@DataClass class LLVMSettings(YAMLSettings): state: Optional[LLVMState] = None configs: Optional[Dict[str, LLVMConfig]] = None + @DataClass class RISCVLegalizerSetting(YAMLSettings): name: Optional[Union[str, List[str]]] = None types: Optional[Union[str, List[str]]] = None onlyif: Optional[Union[str, List[str]]] = None + @DataClass class RISCVLegalizerSettings(YAMLSettings): ops: Optional[List[RISCVLegalizerSetting]] = None + @DataClass class RISCVSettings(YAMLSettings): xlen: Optional[int] = None features: Optional[List[str]] = None

Redefinition of unused 'TreeGenContext' from line 19 (F811)

@DataClass class ToolsSettings(YAMLSettings): pattern_gen: Optional[PatternGenSettings] = None + @DataClass class Seal5Settings(YAMLSettings): logging: Optional[LoggingSettings] = None filter: Optional[FilterSettings] = None

'...metamodel.utils.expr_preprocessor.process_attributes' imported but unused (F401)

"pattern-gen", cwd=dest, print_func=logger.info if verbose else logger.debug, live=True, use_ninja=use_ninja ) def get_pattern_gen_patches( - src: Path, temp_dir: Path, verbose: bool = False, + src: Path, + temp_dir: Path, + verbose: bool = False, ): # TODO: copy! artifacts = [] directory_artifact = Directory( "llvm/tools/pattern-gen",

logger.error("Target directory does not exist! Aborting...") sys.exit(1) sha, version_info = llvm.clone_llvm_repo(self.directory, clone_url, ref=clone_ref, label=self.name) else: if force: - sha, version_info = llvm.clone_llvm_repo(self.directory, clone_url, ref=clone_ref, refresh=True, label=self.name) + sha, version_info = llvm.clone_llvm_repo( + self.directory, clone_url, ref=clone_ref, refresh=True, label=self.name + ) if self.meta_dir.is_dir(): if force is False and not utils.ask_user( "Overwrite existing .seal5 diretcory?", default=False, interactive=interactive ): logger.error(f"Directory {self.meta_dir} already exists! Aborting...")

cdsl2llvm_build_dir = str(self.build_dir / config) else: cdsl2llvm_build_dir = str(self.deps_dir / "cdsl2llvm" / "llvm" / "build") cdsl2llvm.convert_ll_to_gmir( # self.deps_dir / "cdsl2llvm" / "llvm" / "build", ll_file, output_file - cdsl2llvm_build_dir, ll_file, output_file + cdsl2llvm_build_dir, + ll_file, + output_file, ) except AssertionError: pass # errs.append((insn_name, str(ex))) if len(errs) > 0:

'...metamodel.utils.expr_preprocessor.process_functions' imported but unused (F401)

# patches.extend(self.gen_mc_tests_patches()) # # Codegen Level # if "selection_dag_legalizer" not in skip: # patches.extend(self.gen_selection_dag_legalizer_patches()) - if ("riscv_gisel_legalizer" in only or len(only) == 0) and ("riscv_gisel_legalizer" not in skip or len(skip) == 0): + if ("riscv_gisel_legalizer" in only or len(only) == 0) and ( + "riscv_gisel_legalizer" not in skip or len(skip) == 0 + ): self.gen_riscv_gisel_legalizer_patch(verbose=verbose) # if "scalar_costs" not in skip: # patches.extend(self.gen_scalar_costs_patches()) # if "simd_costs" not in skip: # patches.extend(self.gen_simd_costs_patches())

'...metamodel.utils.expr_preprocessor.process_instructions' imported but unused (F401)

size += length assert size in [16, 32, 64, 128], f"Invalid size: {size}" if drop2 and keep2: ret = size not in drop2 and size in keep2 elif keep2: - ret = size in keep2 + ret = size in keep2 elif drop2: ret = size not in drop2 if not ret: return False if opcode is None: # not found (not a riscv insn?)

Local variable 'consts_node' is assigned to but never used (F841)

Local variable 'text' is assigned to but never used (F841)

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

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

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

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

Local variable 'formats' is assigned to but never used (F841)

Local variable 'formats' is assigned to but never used (F841)

F-string is missing placeholders (F541)

F-string is missing placeholders (F541)

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

Local variable 'patches' is assigned to but never used (F841)

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

Local variable 'size' is assigned to but never used (F841)

Whitespace before ':' (E203)

Local variable 'qualifiers' is assigned to but never used (F841)

Local variable 'storage' is assigned to but never used (F841)

Local variable 'qualifiers' is assigned to but never used (F841)

Local variable 'attributes' is assigned to but never used (F841)

Whitespace before ':' (E203)

'm2isar.M2ValueError' imported but unused (F401)

'm2isar.M2NameError' imported but unused (F401)

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

Local variable 'app_dir' is assigned to but never used (F841)

Syntax error in forward annotation 'dict[str arch.InstructionSet]' (F722)

Undefined name 'core_name' (F821)

Undefined name 'fn_def' (F821)

'os' imported but unused (F401)

'sys' imported but unused (F401)

're' imported but unused (F401)

'platform' imported but unused (F401)

'subprocess' imported but unused (F401)

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

'lit.llvm.subst.FindTool' imported but unused (F401)

'lit.llvm.subst.ToolSubst' imported but unused (F401)

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/.