prog.From = a[0]
			vsew := p.getSpecial(prog, op, &a[1])
			vlmul := p.getSpecial(prog, op, &a[2])
			vtail := p.getSpecial(prog, op, &a[3])
			vmask := p.getSpecial(prog, op, &a[4])
			if err := arch.RISCV64ValidateVectorType(vsew, vlmul, vtail, vmask); err != nil {
				p.errorf("invalid vtype: %v", err)
			}
			prog.AddRestSourceArgs([]obj.Addr{a[1], a[2], a[3], a[4]})
			prog.To = a[5]
			break
		}
		fallthrough