diff options
| author | Alasdair Armstrong <alasdair.armstrong@cl.cam.ac.uk> | 2024-09-20 19:19:06 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-09-20 19:19:06 +0100 |
| commit | fd1be4b5777c0eb96d925cba6e8765a6277f3de3 (patch) | |
| tree | fb9a08a1b068f183e2ae83a88ec44a291298cf44 | |
| parent | 6dd64644405a7c387c98bb1482dc2bfcba0b3899 (diff) | |
| download | sail-riscv-fd1be4b5777c0eb96d925cba6e8765a6277f3de3.zip sail-riscv-fd1be4b5777c0eb96d925cba6e8765a6277f3de3.tar.gz sail-riscv-fd1be4b5777c0eb96d925cba6e8765a6277f3de3.tar.bz2 | |
Vector: Remove some unused result variables
There are some vector instructions that use `init_masked_result_cmp`
but do not use the returned result variable, so just discard it rather
than create a new variable.
| -rwxr-xr-x | model/riscv_insts_vext_mask.sail | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/model/riscv_insts_vext_mask.sail b/model/riscv_insts_vext_mask.sail index 432ac81..4bc6f31 100755 --- a/model/riscv_insts_vext_mask.sail +++ b/model/riscv_insts_vext_mask.sail @@ -98,8 +98,7 @@ function clause execute(VCPOP_M(vm, vs2, rd)) = { let vm_val : vector('n, dec, bool) = read_vmask(num_elem, vm, 0b00000); let vs2_val : vector('n, dec, bool) = read_vmask(num_elem, 0b0, vs2); - let (initial_result, mask) = init_masked_result_cmp(num_elem, SEW, 0, vs2_val, vm_val); - var result = initial_result; + let (_, mask) = init_masked_result_cmp(num_elem, SEW, 0, vs2_val, vm_val); var count : nat = 0; foreach (i from 0 to (num_elem - 1)) { @@ -133,8 +132,7 @@ function clause execute(VFIRST_M(vm, vs2, rd)) = { let vm_val : vector('n, dec, bool) = read_vmask(num_elem, vm, 0b00000); let vs2_val : vector('n, dec, bool) = read_vmask(num_elem, 0b0, vs2); - let (initial_result, mask) = init_masked_result_cmp(num_elem, SEW, 0, vs2_val, vm_val); - var result = initial_result; + let (_, mask) = init_masked_result_cmp(num_elem, SEW, 0, vs2_val, vm_val); var index : int = -1; foreach (i from 0 to (num_elem - 1)) { |