RFR: 8271203: C2: assert(iff->Opcode() == Op_If || iff->Opcode() == Op_CountedLoopEnd || iff->Opcode() == Op_RangeCheck) failed: Check this code when new subtype is added [v3]

[Yi Yang]

On Fri, 13 Aug 2021 13:04:52 GMT, Christian Hagedorn <chagedorn at openjdk.org> wrote:

> > Well, the above CFG is corresponding to the last step(before beautify loops, loop.xml.log ) before crash. I haven't learned about loopopts in C2 yet, it looks like B9 and B19-22 are refer to the same loop(do{...} while ((i2 -= 2) > 0); ), the above CFG looks like:
> 
> They probably appear to be very similar on first sight but are not. You can check the `-XX:+TraceLoopOpts` output to see what's going on with your loops. Maybe the loop was already unswitched once and now you have 2 very similar looking loops that correspond to the loop `do{...} while ((i2 -= 2) > 0); )` in the Java code. In general, there is not always a 1:1 relation between a loop in Java code and `LoopNode(s)` in the IR. For example, you could also be dealing with pre/main/post loops for a single Java loop which look very similar.

Make sense. TraceLoopOpts may tell me everything about what happens. I’m curious about loop optimizations, this is a good start point to explore them:P

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

PR: https://git.openjdk.java.net/jdk/pull/4920