RFR: 8303466: C2: failed: malformed control flow. Limit type made precise with MaxL/MinL [v4]

[Jasmine Karthikeyan]

On Tue, 11 Apr 2023 07:36:58 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

> However, if that does not work, I think it now also fails to remove the repeated ConvI2L / ConvL2I. We would have to add more IGVN optimizations to fold things more.

I think you're running into an issue where some nodes created by counted loop expansion aren't properly passed onto the IGVN worklist- I found the same thing while trying to investigate some strange code generation from small loops. If you make that follow-up RFE I would be happy to attach the cases that I found as well.

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

PR Comment: https://git.openjdk.org/jdk/pull/13269#issuecomment-1503969139