> On 16 Sep 2024, at 18:28, Richard Sandiford <richard.sandif...@arm.com> wrote: > > External email: Use caution opening links or attachments > > > Jennifer Schmitz <jschm...@nvidia.com> writes: >> From 287073b46e3eb9e7786f95c1d4bd90208db51f75 Mon Sep 17 00:00:00 2001 >> From: Jennifer Schmitz <jschm...@nvidia.com> >> Date: Mon, 2 Sep 2024 06:46:57 -0700 >> Subject: [PATCH] SVE intrinsics: Fold svdiv with all-zero operands to zero >> vector >> >> This patch folds svdiv where one of the operands is all-zeros to a zero >> vector, if one of the following conditions holds: >> - the dividend is all zeros or >> - the divisor is all zeros, and the predicate is ptrue or the predication >> is _x or _z. >> This case was not covered by the recent patch that implemented constant >> folding, because that covered only cases where both operands are >> constant vectors. Here, the operation is folded as soon as one of the >> operands >> is a constant zero vector. >> Folding of divison by 0 to return 0 is in accordance with >> the semantics of sdiv and udiv. >> >> The patch was bootstrapped and regtested on aarch64-linux-gnu, no regression. >> OK for mainline? >> >> Signed-off-by: Jennifer Schmitz <jschm...@nvidia.com> >> >> gcc/ >> * config/aarch64/aarch64-sve-builtins-base.cc (svdiv_impl::fold): >> Add folding of all-zero operands to zero vector. >> >> gcc/testsuite/ >> * gcc.target/aarch64/sve/fold_div_zero.c: New test. >> * gcc.target/aarch64/sve/const_fold_div_1.c: Adjust expected >> outcome. > > OK, thanks. > > Richard Thank you, I committed the patch with e311dd13a9adbc51d56971cba06e1ff15a4256d2. Best, Jennifer
smime.p7s
Description: S/MIME cryptographic signature
