================
@@ -2424,6 +2424,17 @@ X86TTIImpl::instCombineIntrinsic(InstCombiner &IC,
IntrinsicInst &II) const {
case Intrinsic::x86_avx512_mask_cmp_sd: {
// These intrinsics only demand the 0th element of their input vectors. If
// we can simplify the input based on that, do so now.
+ //
+ // NOTE: Only operands 0 and 1 (the scalar-as-vector FP inputs) may be
+ // touched here. For the mask.cmp.ss/sd intrinsics, operand 2 is the
+ // comparison predicate (0..31) and operand 4 is the SAE/embedded-rounding
+ // control; both encode semantics that a plain fcmp cannot represent
+ // (signaling-vs-quiet predicates and FP-exception suppression). Do NOT add
----------------
rohitaggarwal007 wrote:
@phoebewang, I have added the test cases in front-end for the fcmp check.
https://github.com/llvm/llvm-project/pull/202321
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
