Hi Jim: > I think it is reasonable to start a discussion in riscv-isa-manual, to > try to get an official answer for what is valid and how to interpret > it, instead of just making up our own rules.
Agree, issue[1] created on riscv-isa-manual. [1] https://github.com/riscv/riscv-isa-manual/issues/533