Clarification on cv.clipr signedness

[realqhc]

That is a fair point. I raised this issue with the hw group and we should have soon an update that clarifies this. I think that having bit 31 zero (so rs2 being positive) is a requirement for correctness of the operation. In that case we'd need a check on the operand value. I agree with separating this patch into two for now: intrinsics support and codegen.

Originally posted by @PaoloS02 in llvm/llvm-project#78138 (comment)

Does cv.clipr require bit 31 being zero to function correctly? or it automatically treats the bit 31 as zero even if it is 1 (e.g. it performs abs before actual operation)?

[pascalgouedo]

I am working on it since last week.
Same pb than 1a58c7b#commitcomment-138230716

I have an RTL update (masking MSB directly in HW) for that to definitively resolve the pb for everyone.
Need to fully verify it before changing User Manual clipr/clipur description and pushing it.

[pascalgouedo]

Corrected with PR #971