isatables: introduce instruction database CSV

diff --git a/openpower/isatables/insndb.csv b/openpower/isatables/insndb.csv
new file mode 100644 (file)
index 0000000..8652101
--- /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 8dd1edd26cf52f673afe65406ed4d6263f770ae9..25076909cd6cd7a037b01e6d7a21a369b47e2000 100644 (file)
--- 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'):