replace extsxl tables with csv files

diff --git a/openpower/sv/svp64/extsxl.mdwn b/openpower/sv/svp64/extsxl.mdwn
index a9353bcbe149a4cb33319db85cc9c634bc184029..3c221ca4957d1ff368d89047af5e0a50c39e0fbd 100644 (file)
--- a/openpower/sv/svp64/extsxl.mdwn
+++ b/openpower/sv/svp64/extsxl.mdwn
@@ -24,44 +24,20 @@ says "this is the answer if you run this code on these values".
 They are also CSV files which the openpower-isa unit tests can
 run to confirm the implementation is correct.
 
-TODO value 1: e.g. 0xA000000090000A93
+0xA000000090000A93
+[[!table format=csv file="openpower/isafunctions/extsxl_0xA000000090000A93.csv"]]
 
-[[!table  data="""
-func | XLEN=64            | XLEN=32    | XLEN=16 | XLEN=8 |
-extsb| 0xffffffffffffff93 | 0xffffff93 | 0xff93  | 0x93  |
-extsh| 0x0000000000000A93 | 0x00000A93 | 0x0A93  | 0x93  |
-extsw| 0xffffffff90000A93 | 0x90000A93 | 0x0A93  | 0x93  |
-"""]]
-
-TODO value 2: e.g. 0x000000000000F074
-
-[[!table  data="""
-func | XLEN=64            | XLEN=32    | XLEN=16 | XLEN=8 |
-extsb| 0x0000000000000074 | 0x00000074 | 0x0074  | 0x74   |
-extsh| 0xFFFFFFFFFFFFF074 | 0xFFFFF074 | 0xF074  | 0x74   |
-extsw| 0x000000000000F074 | 0x0000F074 | 0xF074  | 0x74   |
-"""]]
+0x000000000000F074
+[[!table format=csv file="openpower/isafunctions/extsxl_0x000000000000F074.csv"]]
 
-TODO value 3: e.g. 0x0000000000000091
+0x0000000000000091
+[[!table format=csv file="openpower/isafunctions/extsxl_0x0000000000000091.csv"]]
 
-[[!table  data="""
-func | XLEN=64            | XLEN=32    | XLEN=16 | XLEN=8 |
-extsb| 0xFFFFFFFFFFFFFF91 | 0xFFFFFF91 | 0xFF91  | 0x91   |
-extsh| 0x0000000000000091 | 0x00000091 | 0x0091  | 0x91   |
-extsw| 0x0000000000000091 | 0x00000091 | 0x0091  | 0x91   |
-"""]]
-
-TODO value 3: e.g. 0x9999999999999999
+0x9999999999999999
 [[!table format=csv file="openpower/isafunctions/extsxl_0x9999999999999999.csv"]]
 
-TODO value 3: e.g. 0x1111111111111111
-
-[[!table  data="""
-func | XLEN=64            | XLEN=32    | XLEN=16 | XLEN=8 |
-extsb| 0x0000000000000011 | 0x00000011 | 0x0011  | 0x11   |
-extsh| 0x0000000000001111 | 0x00001111 | 0x1111  | 0x11   |
-extsw| 0x0000000011111111 | 0x11111111 | 0x1111  | 0x11   |
-"""]]
+0x1111111111111111
+[[!table format=csv file="openpower/isafunctions/extsxl_0x1111111111111111.csv"]]
 
 # Examples