From: Luke Kenneth Casson Leighton Date: Wed, 26 Jun 2019 08:33:46 +0000 (+0100) Subject: add pseudocode to setvl X-Git-Tag: convert-csv-opcode-to-binary~4399 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=71359ea5aa2c315937fce61b65244a2486eda1c2;p=libreriscv.git add pseudocode to setvl --- diff --git a/simple_v_extension/specification/sv.setvl.mdwn b/simple_v_extension/specification/sv.setvl.mdwn index a14a4d840..50bc5ed77 100644 --- a/simple_v_extension/specification/sv.setvl.mdwn +++ b/simple_v_extension/specification/sv.setvl.mdwn @@ -42,12 +42,12 @@ instructions (brownfield encodings). | name | variant# - | purpose | |---------|------------|------------------------------------------------| -| vsetvli | 1 | TBD | -| vsetvli | 2 | TBD | +| vsetvli | 1 | vl = min(rf[rs1], VLMAX), if (!rd) rf[rd]=rd | +| vsetvli | 2 | vl = VLMAX immed , if (!rd) rf[rd]=rd | | vsetvli | 3 | TBD | | vsetvli | 4 | TBD | -| vsetvl | 5 | TBD | -| vsetvl | 6 | TBD | +| vsetvl | 5 | vl = min(rf[rs1], VLMAX), if (!rd) rf[rd]=rd | +| vsetvl | 6 | vl = VLMAX immed , if (!rd) rf[rd]=rd | | vsetvl | 7 | TBD | | vsetvl | 8 | TBD |