projects / libreriscv.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 0994b26)
add marked old -Form onto sv analysis
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sat, 28 Nov 2020 14:41:29 +0000 (14:41 +0000)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sat, 28 Nov 2020 14:41:36 +0000 (14:41 +0000)
openpower/opcode_regs_deduped.mdwn patch | blob | history
openpower/sv_analysis.py patch | blob | history

diff --git a/openpower/opcode_regs_deduped.mdwn b/openpower/opcode_regs_deduped.mdwn
index 9939aa1f9d210b405a133b4adcc949483c2f3e57..fd6182666c5129392139a6c3734f3a9083607f2d 100644 (file)
--- a/openpower/opcode_regs_deduped.mdwn
+++ b/openpower/opcode_regs_deduped.mdwn
@@ -77,7 +77,7 @@ OTHER | 2 | 1 | 1 | 1 | | 2R-1W-CRio |
 OTHER | 3 | 1 | 1 | 1 | | 3R-1W-CRio |
 """]]
 
-## LDST-1R-1W-imm 
+## LDST-1R-1W-imm (I)
 
 [[!table  data="""
 CSV | opcode | asm | form|
@@ -89,7 +89,7 @@ minor_58.csv | 0 | ld | DS-Form|
 minor_58.csv | 2 | lwa | DS-Form|
 """]]
 
-## LDST-1R-2W-imm 
+## LDST-1R-2W-imm (I)
 
 [[!table  data="""
 CSV | opcode | asm | form|
@@ -100,7 +100,7 @@ major.csv | 43 | lhau | D-Form|
 minor_58.csv | 1 | ldu | DS-Form|
 """]]
 
-## LDST-2R-imm 
+## LDST-2R-imm (S)
 
 [[!table  data="""
 CSV | opcode | asm | form|
@@ -110,7 +110,7 @@ major.csv | 44 | sth | D-Form|
 minor_62.csv | 0 | std | DS-Form|
 """]]
 
-## LDST-2R-1W 
+## LDST-2R-1W (-)
 
 [[!table  data="""
 CSV | opcode | asm | form|
@@ -133,7 +133,7 @@ minor_31.csv | 0b1101010101 | lbzcix | X-Form|
 minor_31.csv | 0b1101110101 | ldcix | X-Form|
 """]]
 
-## LDST-2R-1W-imm 
+## LDST-2R-1W-imm (S)
 
 [[!table  data="""
 CSV | opcode | asm | form|
@@ -143,7 +143,7 @@ major.csv | 45 | sthu | D-Form|
 minor_62.csv | 1 | stdu | DS-Form|
 """]]
 
-## LDST-2R-2W 
+## LDST-2R-2W (-)
 
 [[!table  data="""
 CSV | opcode | asm | form|
@@ -155,7 +155,7 @@ minor_31.csv | 0b0101110101 | lwaux | X-Form|
 minor_31.csv | 0b0101110111 | lhaux | X-Form|
 """]]
 
-## LDST-3R 
+## LDST-3R (-)
 
 [[!table  data="""
 CSV | opcode | asm | form|
@@ -174,7 +174,7 @@ minor_31.csv | 0b1111010101 | stbcix | X-Form|
 minor_31.csv | 0b1111110101 | stdcix | X-Form|
 """]]
 
-## LDST-3R-CRo 
+## LDST-3R-CRo (-)
 
 [[!table  data="""
 CSV | opcode | asm | form|
@@ -182,7 +182,7 @@ minor_31.csv | 0b0011010111 | stbx | X-Form|
 minor_31.csv | 0b1010110110 | stbcx | X-Form|
 """]]
 
-## LDST-3R-1W 
+## LDST-3R-1W (-)
 
 [[!table  data="""
 CSV | opcode | asm | form|
@@ -192,7 +192,7 @@ minor_31.csv | 0b0011110111 | stbux | X-Form|
 minor_31.csv | 0b0110110111 | sthux | X-Form|
 """]]
 
-##  
+##  (-)
 
 [[!table  data="""
 CSV | opcode | asm | form|
@@ -213,14 +213,14 @@ minor_31.csv | 0b1001010110 | sync | X-Form|
 minor_31.csv | 0b1111010110 | icbi | X-Form|
 """]]
 
-## imm 
+## imm (-)
 
 [[!table  data="""
 CSV | opcode | asm | form|
 major.csv | 18 | b | I-Form|
 """]]
 
-## CRi 
+## CRi (-)
 
 [[!table  data="""
 CSV | opcode | asm | form|
@@ -229,14 +229,14 @@ minor_19.csv | 0b1000010000 | bcctr | XL-Form|
 minor_19.csv | 0b1000110000 | bctar | XL-Form|
 """]]
 
-## CRi 
+## CRi (-)
 
 [[!table  data="""
 CSV | opcode | asm | form|
 major.csv | 16 | bc | B-Form|
 """]]
 
-## CRio 
+## CRio (R)
 
 [[!table  data="""
 CSV | opcode | asm | form|
@@ -257,7 +257,7 @@ minor_63l.csv | 0b011000010 | 2/6=mtfsb0 | -Form|
 minor_63l.csv | 0b011000100 | 4/6=mtfsfi | -Form|
 """]]
 
-## 1W 
+## 1W (-)
 
 [[!table  data="""
 CSV | opcode | asm | form|
@@ -266,7 +266,7 @@ minor_31.csv | 0b0001010011 | mfmsr | X-Form|
 minor_31.csv | 0b0101010011 | mfspr | XFX-Form|
 """]]
 
-## 1W-CRi 
+## 1W-CRi (-)
 
 [[!table  data="""
 CSV | opcode | asm | form|
@@ -274,7 +274,7 @@ minor_31.csv | 0b0000010011 | mfcr/mfocrf | XFX-Form|
 minor_31.csv | 0b0010000000 | setb | VX-Form|
 """]]
 
-## 1R 
+## 1R (-)
 
 [[!table  data="""
 CSV | opcode | asm | form|
@@ -285,7 +285,7 @@ minor_31.csv | 0b0100110010 | tlbie | X-Form|
 minor_31.csv | 0b0111010011 | mtspr | XFX-Form|
 """]]
 
-## 1R-imm 
+## 1R-imm (-)
 
 [[!table  data="""
 CSV | opcode | asm | form|
@@ -293,7 +293,7 @@ major.csv | 2 | tdi | D-Form|
 major.csv | 3 | twi | D-Form|
 """]]
 
-## 1R-CRo 
+## 1R-CRo (-)
 
 [[!table  data="""
 CSV | opcode | asm | form|
@@ -301,7 +301,7 @@ major.csv | 10 | cmpli | D-Form|
 major.csv | 11 | cmpi | D-Form|
 """]]
 
-## 1R-CRio 
+## 1R-CRio (-)
 
 [[!table  data="""
 CSV | opcode | asm | form|
@@ -311,7 +311,7 @@ minor_63l.csv | 0b000000101 | 5/0=ftsqrt | -Form|
 minor_63l.csv | 0b011110110 | 22/7=mtfsf | -Form|
 """]]
 
-## 1R-1W 
+## 1R-1W (R)
 
 [[!table  data="""
 CSV | opcode | asm | form|
@@ -324,7 +324,7 @@ minor_31.csv | 0b0111111010 | popcntd | X-Form|
 minor_31.csv | 0b1001101000 | nego | XO-Form|
 """]]
 
-## 1R-1W-imm 
+## 1R-1W-imm (I)
 
 [[!table  data="""
 CSV | opcode | asm | form|
@@ -338,7 +338,7 @@ major.csv | 27 | xoris | D-Form|
 major.csv | 8 | subfic | D-Form|
 """]]
 
-## 1R-1W-CRo 
+## 1R-1W-CRo (R)
 
 [[!table  data="""
 CSV | opcode | asm | form|
@@ -355,7 +355,7 @@ minor_31.csv | 0b1110111010 | extsb | X-Form|
 minor_31.csv | 0b1111011010 | extsw | X-Form|
 """]]
 
-## 1R-1W-CRo 
+## 1R-1W-CRo (R)
 
 [[!table  data="""
 CSV | opcode | asm | form|
@@ -381,7 +381,7 @@ minor_31.csv | 0b1101111010 | extswsli | XS-Form|
 minor_31.csv | 0b1101111011 | extswsli | XS-Form|
 """]]
 
-## 1R-1W-CRio 
+## 1R-1W-CRio (R)
 
 [[!table  data="""
 CSV | opcode | asm | form|
@@ -414,7 +414,7 @@ minor_63l.csv | 0b111111001 | 25/15=fctidz | -Form|
 minor_63l.csv | 0b111111101 | 29/15=fctiduz | -Form|
 """]]
 
-## 2R 
+## 2R (-)
 
 [[!table  data="""
 CSV | opcode | asm | form|
@@ -423,7 +423,7 @@ minor_31.csv | 0b0001000100 | td | X-Form|
 minor_31.csv | 0b1111110110 | dcbz | X-Form|
 """]]
 
-## 2R-CRo 
+## 2R-CRo (R)
 
 [[!table  data="""
 CSV | opcode | asm | form|
@@ -433,7 +433,7 @@ minor_31.csv | 0b0011000000 | cmprb | X-Form|
 minor_31.csv | 0b0011100000 | cmpeqb | X-Form|
 """]]
 
-## 2R-CRio 
+## 2R-CRio (R)
 
 [[!table  data="""
 CSV | opcode | asm | form|
@@ -442,7 +442,7 @@ minor_63l.csv | 0b000000001 | 1/0=fcmpo | -Form|
 minor_63l.csv | 0b000000100 | 4/0=ftdiv | -Form|
 """]]
 
-## 2R-1W 
+## 2R-1W (R)
 
 [[!table  data="""
 CSV | opcode | asm | form|
@@ -454,7 +454,7 @@ minor_31.csv | 0b1100001001 | modsd | X-Form|
 minor_31.csv | 0b1100001011 | modsw | X-Form|
 """]]
 
-## 2R-1W-CRo 
+## 2R-1W-CRo (R)
 
 [[!table  data="""
 CSV | opcode | asm | form|
@@ -517,7 +517,7 @@ minor_31.csv | 0b1111101001 | divdo | XO-Form|
 minor_31.csv | 0b1111101011 | divwo | XO-Form|
 """]]
 
-## 2R-1W-CRo 
+## 2R-1W-CRo (R)
 
 [[!table  data="""
 CSV | opcode | asm | form|
@@ -526,7 +526,7 @@ minor_30.csv | 0b0110 | rldimi | MD-Form|
 minor_30.csv | 0b0111 | rldimi | MD-Form|
 """]]
 
-## 2R-1W-CRi 
+## 2R-1W-CRi (R)
 
 [[!table  data="""
 CSV | opcode | asm | form|
@@ -564,7 +564,7 @@ minor_31.csv | 0b1111001111 | isel | A-Form|
 minor_31.csv | 0b1111101111 | isel | A-Form|
 """]]
 
-## 2R-1W-CRio 
+## 2R-1W-CRio (R)
 
 [[!table  data="""
 CSV | opcode | asm | form|
@@ -581,7 +581,7 @@ minor_63l.csv | 0b011011110 | 30/6=fmrgew | -Form|
 minor_63l.csv | 0b100000000 | 0/8=fcpsgn | -Form|
 """]]
 
-## 3R-1W-CRio 
+## 3R-1W-CRio (FR4)
 
 [[!table  data="""
 CSV | opcode | asm | form|
diff --git a/openpower/sv_analysis.py b/openpower/sv_analysis.py
index fe4744250735940cdecbd6c72193ed4e617534ac..8f7cfc44be53ef75f10b5a35263f4139974c0630 100644 (file)
--- a/openpower/sv_analysis.py
+++ b/openpower/sv_analysis.py
@@ -227,7 +227,8 @@ def process_csvs():
 
     for key in primarykeys:
         name = keyname(dictkeys[key])
-        print ("## %s " % name)
+        value = mapsto.get(name, "-")
+        print ("## %s (%s)" % (name, value))
         print ('')
         print ('[[!table  data="""')
         print (tformat(['CSV', 'opcode', 'asm', 'form']))
http://libre-riscv.org ikiwiki