diff options
Diffstat (limited to 'unratified/rv128_c')
| -rw-r--r-- | unratified/rv128_c | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/unratified/rv128_c b/unratified/rv128_c deleted file mode 100644 index 79cd532..0000000 --- a/unratified/rv128_c +++ /dev/null @@ -1,14 +0,0 @@ -# quadrant 0 -c.lq rd_p rs1_p c_uimm9lo c_uimm9hi 1..0=0 15..13=1 -$import rv64_c::c.ld -c.sq rs1_p rs2_p c_uimm9hi c_uimm9lo 1..0=0 15..13=5 -$import rv64_c::c.sd - -#quadrant 1 -$import rv64_c::c.addiw - -#quadrant 2 -c.lqsp rd_n0 c_uimm10sphi c_uimm10splo 1..0=2 15..13=1 -$import rv64_c::c.ldsp -c.sqsp c_rs2 c_uimm10sp_s 1..0=2 15..13=5 -$import rv64_c::c.sdsp |