TODO value 1: e.g. 0xA000000090000A93
[[!table data="""
-func |pcode | XLEN=64 | XLEN=32 | XLEN=16 | XLEN=8 |
-extsb|RA <- EXTSX(RS, 8) | example | example | example | example |
-extsh|RA <- EXTSX(RS, 16)| example | example | example | example |
-extsw|RA <- EXTSX(RS, 32)| example | example | example | example |
+func | XLEN=64 | XLEN=32 | XLEN=16 | XLEN=8 |
+extsb| example | example | example | example |
+extsh| example | example | example | example |
+extsw| example | example | example | example |
"""]]
TODO value 2: e.g. 0x000000000000F074
[[!table data="""
-func |pcode | XLEN=64 | XLEN=32 | XLEN=16 | XLEN=8 |
-extsb|RA <- EXTSX(RS, 8) | example | example | example | example |
-extsh|RA <- EXTSX(RS, 16)| example | example | example | example |
-extsw|RA <- EXTSX(RS, 32)| example | example | example | example |
+func | XLEN=64 | XLEN=32 | XLEN=16 | XLEN=8 |
+extsb| example | example | example | example |
+extsh| example | example | example | example |
+extsw| example | example | example | example |
"""]]
+
TODO value 3: e.g. 0x0000000000000091
[[!table data="""
-func |pcode | XLEN=64 | XLEN=32 | XLEN=16 | XLEN=8 |
-extsb|RA <- EXTSX(RS, 8) | example | example | example | example |
-extsh|RA <- EXTSX(RS, 16)| example | example | example | example |
-extsw|RA <- EXTSX(RS, 32)| example | example | example | example |
+func | XLEN=64 | XLEN=32 | XLEN=16 | XLEN=8 |
+extsb| example | example | example | example |
+extsh| example | example | example | example |
+extsw| example | example | example | example |
"""]]
+
# Examples
for xlen in (8, 16, 32, 64):