added option of explicitly mentioning k regs in DB (not simply gpr)

This commit is contained in:
JanLJL
2022-09-07 10:33:16 +02:00
parent 16cae13925
commit 8a3255daf0

View File

@@ -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