Question about mcontrol6.match and tdata2 about riscv-debug-spec

[pdonahue-ventana]

I think that maskmax6<=63 for the reasons you pose in the original question. Specifically, because M>0.

Imagine that we remove the M>0 requirement and say that maskmax6 is allowed to be 64. Then tdata2=0x7FFFFFFFFFFFFFFF is legal and that value will match on every single access. That doesn't seem useful. That's why the M>0 requirement was added. That M>0 requirement means that at least one bit must be compared so the maximum mask size cannot mask out all 64 bits (i.e. maskmax6 cannot be 64).

[pdonahue-ventana]

I don't think that maskmax6 is allowed to be greater than 63. If maskmax6=63 and tdata2 is programmed to have the largest allowed mask then we ignore the low 63 bits and compare the upper 1 bit. What would it mean to to have maskmax6=64 and the value 0x7FFFFFFFFFFFFFFF which ignores the low 64 bits and compares the upper 0 bits?

[micreven]

I don't think that maskmax6 is allowed to be greater than 63. If maskmax6=63 and tdata2 is programmed to have the largest allowed mask then we ignore the low 63 bits and compare the upper 1 bit. What would it mean to to have maskmax6=64 and the value 0x7FFFFFFFFFFFFFFF which ignores the low 64 bits and compares the upper 0 bits?

Hi Paul，

thanks for your explanation.
But I can't found any limitation description for maskmax6 on the SPEC.
Is it a implicit limitation ？（maskmax6 must <= 63)

thanks
Micreven

[micreven]

Got it.
Thanks