From f8b9c73105ebbae7ace9df13c0476662cb204397 Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Mon, 4 Oct 2021 22:53:10 +0100 Subject: [PATCH] replace extsxl tables with csv files --- openpower/sv/svp64/extsxl.mdwn | 42 ++++++++-------------------------- 1 file changed, 9 insertions(+), 33 deletions(-) diff --git a/openpower/sv/svp64/extsxl.mdwn b/openpower/sv/svp64/extsxl.mdwn index a9353bcbe..3c221ca49 100644 --- 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 -- 2.30.2