From: Luke Kenneth Casson Leighton Date: Wed, 26 Jun 2019 11:09:30 +0000 (+0100) Subject: no need for duplicate encoding X-Git-Tag: convert-csv-opcode-to-binary~4396 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9f87e61d12e8960e1daecefb9c95a60841c4083f;p=libreriscv.git no need for duplicate encoding --- diff --git a/simple_v_extension/specification/sv.setvl.mdwn b/simple_v_extension/specification/sv.setvl.mdwn index 3446156f8..5e93d6df8 100644 --- a/simple_v_extension/specification/sv.setvl.mdwn +++ b/simple_v_extension/specification/sv.setvl.mdwn @@ -46,8 +46,8 @@ instructions (brownfield encodings). | vsetvli | 2 | vl = VLMAX immed , if (!rd) rf[rd]=rd | | vsetvli | 3 | TBD | | vsetvli | 4 | TBD | -| vsetvl | 5 | vl = min(rf[rs1], VLMAX), if (!rd) rf[rd]=rd | -| vsetvl | 6 | vl = VLMAX immed , if (!rd) rf[rd]=rd | +| vsetvl | 5 | TBD | +| vsetvl | 6 | TBD | | vsetvl | 7 | TBD | | vsetvl | 8 | TBD |