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}"

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

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

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)

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()))

@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

"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...")

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?)

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

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

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

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

Expected 2 blank lines, found 1 (E302)

Too many blank lines (3) (E303)

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

'tkinter as tk' imported but unused (F401)

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

'anytree.RenderTree' imported but unused (F401)

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)

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)

Expected 2 blank lines, found 1 (E302)

Expected 2 blank lines, found 1 (E302)

Expected 2 blank lines, found 1 (E302)

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

Expected 2 blank lines, found 1 (E302)

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

'm2isar.flatten' imported but unused (F401)

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

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

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

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