Re: [PATCH v5 11/60] target/riscv: vector integer add-with-carry / subtract-with-borrow instructions

[LIU Zhiwei]

On 2020/3/14 14:16, Richard Henderson wrote:

On 3/13/20 10:58 PM, Richard Henderson wrote:

     C ? N + M <= N : N + M < N

Ho hum.  N + M + 1 <= N.
I'm sure you saw the typo...

You give the corner case and the very precise answer.

Thanks very much.

Zhiwei

r~