Add the missing viota.m constraint that vd can not overlap vs2.

riscvarchive / riscv-binutils-gdb

RISC-V backports for binutils-gdb. Development is done upstream at the FSF.

GNU General Public License v2.0

147 stars 233 forks source link

Add the missing viota.m constraint that vd can not overlap vs2. #205

Closed Nelson1225 closed 4 years ago

Nelson1225 commented 4 years ago

I misunderstanding the description of spec, and miss the one of constraint check for viota.m. This is probably my fault. I have checked the behavior of spike, and make sure that Vd can not overlap both Vs2 and Vm.