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

    <tr>
        <th>Summary</th>
        <td>
            Split VPlanTransforms::addExplicitVectorLength into variable step transformation and header mask optimisation
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            backend:RISC-V,
            vectorizers
      </td>
    </tr>

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

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

<pre>
    The transform that converts recipes into EVL recipes currently does two things:

1) It converts the vector loop region from having a fixed step of VF, to a variable step of EVL
2) It converts recipes which use the header mask to VP intrinsic based recipes

(1) changes the behaviour of the loop, whereas (2) is an optimisation to remove the need to compute a mask.

In theory we can just run (1) and still have a correct loop, because the header masks will make sure we don't execute trapping lanes etc, and we could move the (2) to VPlanTransforms::optimize.
Unfortunately we can't do this today because we somewhat conflate the two.

The main example that comes to mind is when we replace all uses of VF with EVL. When we replace it for `VPWidenIntOrFpInductionRecipe`/`VPWidenPointerInductionRecipe`/`VPScalarIVSteps`, this is for (1).

However, we also replace the VF operand in `VPVectorEndPointerRecipe`. This leaves the plan in an incorrect state until we convert `VPWidenLoadRecipe` to `VPWidenLoadEVLRecipe`, because the address is shifted in a way that requires the header mask to be removed.

A plan of action to untangle this could be:

- Adjust the `VPVectorEndPointerRecipe` VF operand alongside each load/store instead of globally
- Currently we transform all widened load/store/reduction recipes to EVL recipes. Change this to only transform them if they match the header mask
- Move the EVL recipe transformations into `VPTransforms::optimize`. Requires moving `transformRecipestoEVLRecipes` into `tryToBuildVPlanWithVPRecipes`
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJx8VU1v4zgM_TXKhWjgKM3XIYdOt8EW6GKLaTc90xYTaypLXomOm_n1C8kfTYqZBYoGkCXy8fHxEUPQR0u0FYtvQkrTvJPZrISUYvHHBBsund_2h5PcqfP2tSRgjzYcnK-AS2QonD2R5wCeCl1TAG3ZwcP-aTwoGu_JsjmDchSAWwdcansMYn4nsvg3E3IDjxexuCQ4UcHOg3GuBk9H7SwcvKugxJO2R0A46A9SEJhqcAfY74S8B3aAcEKvMTc0fnvYP4nsTn7NMgBsS12U0ARKeUtCRR4qDO8x3P45VuS1DbqAHAOp4V2HXch1gl-UaI_UQc8pgnSNj8njQSwiwmtL8oQBhFwnNDoAWnA160oH5FgjO_BUuVMHxhKpeFS4qm6YABOuaZf60cY7zp-hJSjQwo8mMPjGwgAKbSRIGxNZi68L5z0VPALKqcBfFB6gjY8qfCcIjaeYQDkr5IqBPqiIUNhjXcdOGLQUgLiIAWPGiMY1RsFYxlBv4tOgfR00lDQwv-sY-EmxsH_swXluLDKZobKUWCXdBGCn8DwibwmCq6jttXgwyF1Obl3PU1RthdoCfWBVGxqEW8V2Oai0VbETbUk2hvNUGywI0JgoitCpC1rNZVTSFN6-XNQMB-dBLLP985tWZB8t_-139aNVTRGb-j0JRiwzIXeft56dtkz-97deCjToH_cvTHVI5_cdAzp0Cbsu91X-6Vo6kU8yi-CDGwFGOvY7cDX52B9tO6z7NGEPVvVIRgBTeI1pDOGpV3Rt0MZ36f8gosCR68ayNl3P01xd8PDkUI1BI9XXnx72Txc1X4sRlfIUUqmh1AemBBuhxXPXPk__Ntr38L7MbE79DKmem7uuAHcALIYpayyjPSY16NALNqfRk27gTqV5Svr9X7ouuUXj7DFoRUBYlGAcKiF3gZ0n0DYwoYowjsblaMw5JbofDbK9tNeovzZyReoqjpA7T71mRg-79twp3Cc7GgYGnDXnK-emCnTypjNUyEX5lcYE7K9hfj9DfwZJdtXbfeLnd0OdBPV9aFflkn2LZTZG6ogM7EZBRLWPkdmfX923RhuVvONNc7l__rw3Udu52sw3OKHtbLW4Xazn2fx2Um5xQassz-mwyDarhVoW8w0d1rfZOstzJTGf6K3M5CJbZ6vZcpbN59PlMl9nmVou8xltVkqJ24wq1GZqzKmaOn-c6BAa2s4WcnE7mxjMyYR-eeZYvJNVYn73_fHl_mYft6i8F1J2e0z_JB_6zeq3Md5N3hyDuM2MDhw-M7BmQ9uX2mj-tVeiUg8ftdGF5k6RT2SPXHZ0Xa--614lb76clMu9M2m82ZbMdcoid0LujprLJp8WrhJyF_H1Pze1dz-oYCF3iY4g5K5n5LSV_wUAAP__iDndig">