RFR: 8360561: PhaseIdealLoop::create_new_if_for_predicate hits "must be a uct if pattern" assert

[Manuel Hässig]

On Mon, 4 Aug 2025 15:51:52 GMT, Quan Anh Mai <qamai at openjdk.org> wrote:

>> test/hotspot/jtreg/compiler/igvn/CmpDisjointButNonOrderedRangesLong.java line 42:
>> 
>>> 40: 
>>> 41:     public static void main(String[] strArr) {
>>> 42:         TestFramework.runWithFlags("-Xcomp", "-XX:CompileCommand=compileonly,compiler.igvn.CmpDisjointButNonOrderedRangesLong::test");
>> 
>> Supplying `-Xcomp` will skip IR-verification:
>> 
>> https://github.com/openjdk/jdk/blob/fc4755535d61c2fd4d9a2c9a673da148f742f035/test/hotspot/jtreg/compiler/lib/ir_framework/README.md?plain=1#L136-L141
>> 
>> You can emulate `-Xcomp` behavior with `@Warmup(0)`.
>
> No, only supplying `Xcomp` to the parent process (the one running the `main`) disables IR verification. You can supply whatever flag to the child process and the IR verification still applies. You can see this in all Valhalla tests.

Good to know. Thank you for clearing that up for me.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/26504#discussion_r2253619901