From: Dmitry Selyutin <ghostmansd@gmail.com>
Date: Thu, 4 Aug 2022 20:52:30 +0000 (+0300)
Subject: isatables: introduce instruction database CSV
X-Git-Tag: sv_maxu_works-initial~146
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2ddb0e8d5f709067bebd3156e8686ca9ae27a2b0;p=openpower-isa.git

isatables: introduce instruction database CSV
---

diff --git a/openpower/isatables/insndb.csv b/openpower/isatables/insndb.csv
new file mode 100644
index 00000000..86521015
--- /dev/null
+++ b/openpower/isatables/insndb.csv
@@ -0,0 +1,12 @@
+path,opcode,bitsel,suffix,mode
+minor_19.csv,19,21:30,NONE,integer
+minor_30.csv,30,27:30,NONE,integer
+minor_31.csv,31,21:30,0b101,integer
+minor_58.csv,58,30:31,NONE,integer
+minor_62.csv,62,30:31,NONE,integer
+minor_22.csv,22,21:31,NONE,pattern
+minor_5.csv,5,21:31,NONE,pattern
+minor_63.csv,63,21:30,NONE,pattern
+minor_59.csv,59,21:30,NONE,pattern
+major.csv,0,0:5,NONE,integer
+extra.csv,0,0:31,NONE,pattern
diff --git a/src/openpower/sv/sv_analysis.py b/src/openpower/sv/sv_analysis.py
index 8dd1edd2..25076909 100644
--- a/src/openpower/sv/sv_analysis.py
+++ b/src/openpower/sv/sv_analysis.py
@@ -43,6 +43,8 @@ def glob_valid_csvs(root):
             return False
         if 'test' in fname:
             return False
+        if fname.endswith('insndb.csv'):
+            return False
         if fname.endswith('sprs.csv'):
             return False
         if fname.endswith('minor_19_valid.csv'):