Don't fail on missing llvm-mc

* Disable selftest if llvm-mc cannot be found.
* Issue warning in log.

Author: dop-amin

slothy/core/config.py

@@ -28,7 +28,7 @@
 """
 SLOTHY configuration
 """
-
+import shutil
 
 from copy import deepcopy
 
@@ -143,7 +143,12 @@ def selftest(self):
 
             This is so far implemented as a repeated randomized test -- nothing clever.
         """
-        return self._selftest
+        selftest_enabled = self._selftest
+        if shutil.which("llvm-mc") is None:
+            self.logger.warning("llvm-mc not found, disabling selftest.")
+            selftest_enabled = False
+
+        return selftest_enabled
 
     @property
     def selftest_iterations(self):
@@ -1294,11 +1299,12 @@ def rename_hint_orig_rename(self, val):
         def order_hint_orig_order(self, val):
             self._order_hint_orig_order = val
 
-    def __init__(self, Arch, Target):
+    def __init__(self, Arch, Target, logger):
         super().__init__()
 
         self._arch = Arch
         self._target = Target
+        self.logger = logger
 
         self._sw_pipelining = Config.SoftwarePipelining()
         self._constraints = Config.Constraints()

slothy/core/core.py

@@ -1606,8 +1606,10 @@ def __init__(
         self, Arch: any, Target: any, *, logger: any = None, config: any = None
     ):
         super().__init__()
-        self.config = config if config is not None else Config(Arch, Target)
         self.logger = logger if logger is not None else logging.getLogger("slothy")
+        self.config = (
+            config if config is not None else Config(Arch, Target, self.logger)
+        )
         self.logger.input = self.logger.getChild("input")
         self.logger.config = self.logger.getChild("config")
         self.logger.result = self.logger.getChild("result")

slothy/core/slothy.py

@@ -97,8 +97,6 @@ def _get_target(self):
     target = property(_get_target)
 
     def __init__(self, arch, target, logger=None):
-        self.config = Config(arch, target)
-
         # Configure default logging to stdout if no handlers are configured
         if logger is None:
             root_logger = logging.getLogger()
@@ -108,6 +106,8 @@ def __init__(self, arch, target, logger=None):
         else:
             self.logger = logger
 
+        self.config = Config(arch, target, logger=logger)
+
         # The source, once loaded, is represented as a list of strings
         self._source = None
         self._original_source = None