From ddff8c501279355018a8a802b6c94ca5a1fd38fe Mon Sep 17 00:00:00 2001
From: JanLJL <jan.laukemann@fau.de>
Date: Wed, 7 Sep 2022 10:33:16 +0200
Subject: [PATCH] added option of explicitly mentioning k regs in DB (not
 simply gpr)

---
 osaca/semantics/hw_model.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/osaca/semantics/hw_model.py b/osaca/semantics/hw_model.py
index 440ca55..37337ec 100755
--- a/osaca/semantics/hw_model.py
+++ b/osaca/semantics/hw_model.py
@@ -690,6 +690,8 @@ class MachineModel(object):
                             return False
                 return True
         else:
+            if reg["name"].rstrip(string.digits).lower() == i_reg_name:
+                return True
             if i_reg_name == "gpr":
                 return True
         return False