add extsxl csv files
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 4 Oct 2021 21:50:36 +0000 (22:50 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 4 Oct 2021 21:50:36 +0000 (22:50 +0100)
openpower/isafunctions/extsxl_0x0000000000000091.csv [new file with mode: 0644]
openpower/isafunctions/extsxl_0x000000000000F074.csv [new file with mode: 0644]
openpower/isafunctions/extsxl_0x1111111111111111.csv [new file with mode: 0644]
openpower/isafunctions/extsxl_0xA000000090000A93.csv [new file with mode: 0644]

diff --git a/openpower/isafunctions/extsxl_0x0000000000000091.csv b/openpower/isafunctions/extsxl_0x0000000000000091.csv
new file mode 100644 (file)
index 0000000..c15f488
--- /dev/null
@@ -0,0 +1,3 @@
+extsb, 0xFFFFFFFFFFFFFF91 , 0xFFFFFF91 , 0xFF91  , 0x91   
+extsh, 0x0000000000000091 , 0x00000091 , 0x0091  , 0x91   
+extsw, 0x0000000000000091 , 0x00000091 , 0x0091  , 0x91   
diff --git a/openpower/isafunctions/extsxl_0x000000000000F074.csv b/openpower/isafunctions/extsxl_0x000000000000F074.csv
new file mode 100644 (file)
index 0000000..a73cebc
--- /dev/null
@@ -0,0 +1,3 @@
+extsb, 0x0000000000000074 , 0x00000074 , 0x0074  , 0x74   
+extsh, 0xFFFFFFFFFFFFF074 , 0xFFFFF074 , 0xF074  , 0x74   
+extsw, 0x000000000000F074 , 0x0000F074 , 0xF074  , 0x74   
diff --git a/openpower/isafunctions/extsxl_0x1111111111111111.csv b/openpower/isafunctions/extsxl_0x1111111111111111.csv
new file mode 100644 (file)
index 0000000..a04b8d2
--- /dev/null
@@ -0,0 +1,4 @@
+func , XLEN=64            , XLEN=32    , XLEN=16 , XLEN=8 
+extsb, 0x0000000000000011 , 0x00000011 , 0x0011  , 0x11   
+extsh, 0x0000000000001111 , 0x00001111 , 0x1111  , 0x11   
+extsw, 0x0000000011111111 , 0x11111111 , 0x1111  , 0x11   
diff --git a/openpower/isafunctions/extsxl_0xA000000090000A93.csv b/openpower/isafunctions/extsxl_0xA000000090000A93.csv
new file mode 100644 (file)
index 0000000..3b0401a
--- /dev/null
@@ -0,0 +1,5 @@
+func , XLEN=64            , XLEN=32    , XLEN=16 , XLEN=8 
+extsb, 0xffffffffffffff93 , 0xffffff93 , 0xff93  , 0x93  
+extsh, 0x0000000000000A93 , 0x00000A93 , 0x0A93  , 0x93  
+extsw, 0xffffffff90000A93 , 0x90000A93 , 0x0A93  , 0x93  
+