RFR: 8260407: cmp != __null && cmp->Opcode() == Op_CmpL failure with -XX:StressLongCountedLoop=200000000 in lucene

[Tobias Hartmann]

On Tue, 26 Jan 2021 15:14:27 GMT, Roland Westrelin <roland at openjdk.org> wrote:

> Long counted loops are transformed in 3 steps:
> 
> 1- LongCountedLoopNode/LongCountedLoopEndNode are created (similar to
> int counted loops)
> 
> 2- a loop nest is built from the
> LongCountedLoopNode/LongCountedLoopEndNode with an inner loop with a
> int iv
> 
> 3- the inner loop is transformed to a CountedLoop
> 
> Between 1- and 2-, the LongCountedLoopEndNode is transformed by split
> if because a dominated if uses the same condition. Fix simplys applies
> existing check for CountedLoopEndNode to LongCountedLoopEndNode.

Looks good to me.

test/hotspot/jtreg/compiler/longcountedloops/TestLongCountedLoopSplitIf.java line 2:

> 1: /*
> 2:  * Copyright (c) 2020, Red Hat, Inc. All rights reserved.

Copyright should be 2021.

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

Marked as reviewed by thartmann (Reviewer).

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