RFR: 8307084: C2: Vectorized drain loop is not executed for some small trip counts [v2]

[Fei Gao]

On Mon, 8 Sep 2025 09:55:07 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

>> So you could actually make the type more precise than `Node*` :)
>
> Or do we have to somehow support `long` loops too here? then we could just make it an `AddNode*`.

I would keep it as `Node*`  and rename it to `new_trip_cnt`, since it is a `PhiNode` when creating a `vectorized drain` loop, but an `AddNode` when creating a `post` loop. Does that make sense?

-------------

PR Review Comment: https://git.openjdk.org/jdk/pull/22629#discussion_r2510983987