Re: [PATCH v2 05/11] aarch64: Use UNSPEC_SBCS for subtract-with-borrow + output flags

2020-04-09 Thread Richard Henderson
On 4/9/20 2:52 PM, Segher Boessenkool wrote: > Hi! > > On Thu, Apr 02, 2020 at 11:53:47AM -0700, Richard Henderson wrote: >> The rtl description of signed/unsigned overflow from subtract >> was fine, as far as it goes -- we have CC_Cmode and CC_Vmode >> that indicate that only those particular bit

Re: [PATCH v2 05/11] aarch64: Use UNSPEC_SBCS for subtract-with-borrow + output flags

2020-04-09 Thread Segher Boessenkool
Hi! On Thu, Apr 02, 2020 at 11:53:47AM -0700, Richard Henderson wrote: > The rtl description of signed/unsigned overflow from subtract > was fine, as far as it goes -- we have CC_Cmode and CC_Vmode > that indicate that only those particular bits are valid. > > However, it's not clear how to exten

[PATCH v2 05/11] aarch64: Use UNSPEC_SBCS for subtract-with-borrow + output flags

2020-04-02 Thread Richard Henderson via Gcc-patches
The rtl description of signed/unsigned overflow from subtract was fine, as far as it goes -- we have CC_Cmode and CC_Vmode that indicate that only those particular bits are valid. However, it's not clear how to extend that description to handle signed comparison, where N == V (GE) N != V (LT) are