Possible clerical error in the "Operations" section of the UKSUBH instruction

[zhang-hairui]

Hi, may I ask if the first "if" block in the "Operations" section of the UKSUBH instruction on page 431 in RISC-V "P" extension proposal version 0.9.11-draft-20211209 is redundant, because the range of 17 bit signed numbers is [-2^16,2^16-1]. In other words, no matter what the values of a17 and b17 are, the first "if" condition will not be satisfied, so the first "if" block should be removed. The fact that the first "if" block still exists makes me think that the condition for the fourth line of the "Operations" section might be "u>" instead of "s>" , because when the judgment condition is "u>", the existence of the first "if" is meaningful. I am looking forward to your answer. Thank you very much!