mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Giacomo Vercesi
6fc6d38228
Python 3.14 will deprecate `argparse.FileType` [1]. This is due to a variety of factors, one of which is that the class leaks file descriptors when used. Remove all usages in the codebase and instead use a wrapper function for `open`. [1] https://docs.python.org/3.14/library/argparse.html#argparse.FileType
107 lines
3.7 KiB
Python
107 lines
3.7 KiB
Python
#
|
|
# This file is distributed under the MIT License. See LICENSE.md for details.
|
|
#
|
|
|
|
import sys
|
|
|
|
import yaml
|
|
|
|
from revng.internal.cli.commands_registry import Command, CommandsRegistry, Options
|
|
from revng.internal.cli.revng import run_revng_command
|
|
from revng.internal.cli.support import file_wrapper, temporary_file_gen
|
|
|
|
|
|
class HardPurgeCommand(Command):
|
|
def __init__(self):
|
|
super().__init__(
|
|
("model", "hard-purge"),
|
|
"Purge all the functions from original model that does not exist in "
|
|
"the reference model.",
|
|
)
|
|
|
|
def register_arguments(self, parser):
|
|
parser.add_argument("reference_model_path", help="The reference model in form of YAML.")
|
|
parser.add_argument(
|
|
"original_model_path", nargs="?", help="The original model in form of YAML."
|
|
)
|
|
parser.add_argument(
|
|
"-o",
|
|
dest="purged_model_path",
|
|
nargs="?",
|
|
default="/dev/stdout",
|
|
help="The pruned model in form of YAML.",
|
|
)
|
|
|
|
def log(self, message):
|
|
if self.verbose:
|
|
sys.stderr.write(message + "\n")
|
|
|
|
def run(self, options: Options):
|
|
args = options.parsed_args
|
|
self.verbose = args.verbose
|
|
|
|
functions_to_preserve = set()
|
|
|
|
# Collect functions to be preserved.
|
|
with open(args.reference_model_path, "rb") as reference_model_file:
|
|
self.log("Loading the reference model...")
|
|
reference_model = yaml.load(reference_model_file, Loader=yaml.SafeLoader)
|
|
|
|
if "Functions" in reference_model:
|
|
for function in reference_model["Functions"]:
|
|
function_name = function["Name"]
|
|
self.log(" Function to be preserved: " + function_name)
|
|
functions_to_preserve.add(function_name)
|
|
|
|
if "ImportedDynamicFunctions" in reference_model:
|
|
for dynamic_function in reference_model["ImportedDynamicFunctions"]:
|
|
function_name = dynamic_function["Name"]
|
|
self.log(" Dynamic function to be preserved: " + function_name)
|
|
functions_to_preserve.add(function_name)
|
|
|
|
# Remove the functions.
|
|
self.log("Removing functions from original mode...")
|
|
patched_model = {}
|
|
with file_wrapper(args.original_model_path, "r") as patched_file:
|
|
patched_model = yaml.load(patched_file, Loader=yaml.SafeLoader)
|
|
|
|
# Delete functions.
|
|
patched_model["Functions"] = [
|
|
f for f in patched_model["Functions"] if f.get("Name", "") in functions_to_preserve
|
|
]
|
|
|
|
# Delete dynamic functions.
|
|
patched_model["ImportedDynamicFunctions"] = [
|
|
f
|
|
for f in patched_model["ImportedDynamicFunctions"]
|
|
if f["Name"] in functions_to_preserve
|
|
]
|
|
|
|
temporary_file = temporary_file_gen("revng-hard-purge-", options)
|
|
with temporary_file(suffix=".yml") as model_file:
|
|
model_file.write("---\n")
|
|
yaml.dump(patched_model, stream=model_file)
|
|
model_file.write("...\n")
|
|
model_file.flush()
|
|
|
|
# Optimize the model by purging all unreachable types from any Function.
|
|
result = run_revng_command(
|
|
[
|
|
"model",
|
|
"opt",
|
|
"-purge-unreachable-types",
|
|
model_file.name,
|
|
"-o",
|
|
args.purged_model_path,
|
|
],
|
|
options,
|
|
)
|
|
|
|
return result
|
|
|
|
return 0
|
|
|
|
|
|
def setup(commands_registry: CommandsRegistry):
|
|
commands_registry.register_command(HardPurgeCommand())
|