Hi, I‘m on vacation rencently. I will return in a few days and summit new patch with the test.
Regards, Demin ________________________________ 发件人: Jeff Law <jeffreya...@gmail.com> 发送时间: 星期一, 六月 10, 2024 9:49 下午 收件人: Robin Dapp <rdapp....@gmail.com>; Demin Han <demin....@starfivetech.com>; 钟居哲 <juzhe.zh...@rivai.ai>; gcc-patches <gcc-patches@gcc.gnu.org> 抄送: kito.cheng <kito.ch...@gmail.com>; Li, Pan2 <pan2...@intel.com> 主题: Re: [PATCH 1/5] RISC-V: Remove float vector eqne pattern On 6/10/24 1:33 AM, Robin Dapp wrote: >> But isn't canonicalization of EQ/NE safe, even for IEEE NaN and +-0.0? >> >> target = (a == b) ? x : y >> target = (a != b) ? y : x >> >> Are equivalent, even for IEEE IIRC. > > Yes, that should be fine. My concern was not that we do a > canonicalization but that we might not do it for some of the > vector cases. In particular when one of the operands is wrapped > in a vec_duplicate and we end up with it first rather than > second. > > My general feeling is that the patch is good but I wasn't entirely > sure about all cases (in particular in case we transform something > after expand). That's why I would have liked to see at least some > small test cases for it along with the patch (for the combinations > we don't test yet). Ah, OK. Demin, can you some additional test coverage, guided by Robin's concerns above? Thanks, jeff