<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/86164>86164</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            FMF on fcmps
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            missed-optimization
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          tschuett
      </td>
    </tr>
</table>

<pre>
    I looked at this line:
https://github.com/llvm/llvm-project/blob/d9c4c312d81b4a2059d0ca2bb454c3452e52042e/llvm/lib/Transforms/InstCombine/InstCombineVectorOps.cpp#L490
It does not pass the flags from the matched compare to the newly created. According to the langref fcmps have FMF.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUkcFunToQhp_GbKwge2w4hwWL3BshRWrUTdW9sQdwazDyDKnSp68gitouu7J-W_71zXyOKM4bYi-a_0TzVLmDl1x6Jr8cyFyNObz1zzLl_B2DdCx5iSRT3FCYR6GehHpcmHc6EwwChjnycoy1z6uAIaXXj-NhL_kbehYwjCmPAobQeeuNhnDXo3Wgmi4o72AcbWO9sQ1gA8oC_tETz39fittoymUlAcPzRvx_XscT6K_0FT3n8nmn2u-7APPJduqd95llyEhyyyx3RyR5QTklN5OcSl6vuDr2Cwbp87q7gpLzdb3hj_QmfUHHGGr56H0uIW7zx3ty21xwkpNfd5KLe0U5vAx1FXoTOtO5Cnt901pZ29y6auknDSZo64MzbdMgtGbSDXposR3BtbaKPSiwyoDWd9WZru5uN7gH15pJqUmbSViFq4upPldU5zJXkejA_t7q1lbJjZjocguwRiIMD3nnuMafjmPeBMApvfSXofGYSViVIjH97uPICfvhZZB5ex-sOkrq_9n6xXUqu9B-BQAA__9oXszM">