RFR: 8359344: C2: Malformed control flow after intrinsic bailout [v2]

[Tobias Hartmann]

On Tue, 8 Jul 2025 13:42:14 GMT, Marc Chevalier <mchevalier at openjdk.org> wrote:

>> test/hotspot/jtreg/compiler/lib/ir_framework/IRNode.java line 104:
>> 
>>> 102:     public static final String START = "(\\d+(\\s){2}(";
>>> 103:     public static final String MID = ".*)+(\\s){2}===.*";
>>> 104:     public static final String END = ")";
>> 
>> I don't like exposing these outside the IR framework but then again I don't really have an idea on how to check the "graph should not have both nodes" invariant. Maybe we should extend the `counts` annotation to support something like `@IR(counts = {IRNode.CallStaticJava, IRNode.OpaqueNotNull, "<= 1"} [...]`?
>
> As discussed, I now have a JBS issue about this, and I factored the duplicated regex into a single final String with name and comment.

Thanks, that looks good!

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

PR Review Comment: https://git.openjdk.org/jdk/pull/25936#discussion_r2192804630