[llvm] [AArch64][SVE] Teach compiler to use information that there are no ac… (PR #68698)

via llvm-commits llvm-commits at lists.llvm.org
Fri Oct 13 04:00:40 PDT 2023


================
@@ -1169,6 +1169,8 @@ instCombineSVEVectorFuseMulAddSub(InstCombiner &IC, IntrinsicInst &II,
     AddendOp = II.getOperand(2);
     Mul = II.getOperand(1);
   }
+  if (match(P, m_ZeroInt()))
----------------
CarolineConcatto wrote:

Are we sure that this is going have the llvm intrinsic as [llvm-ir-instrinsinc]_u?
Because only for **_u** llvm-ir intrinsics that the compiler can make sure this can return undefined values.
I agree with Paul and maybe here is not the best place to do this check.


https://github.com/llvm/llvm-project/pull/68698


More information about the llvm-commits mailing list