hg: jdk/sandbox: 4 new changesets

[chris.hegarty at oracle.com]

Changeset: 9611fbb00efd
Author:    chagedorn
Date:      2020-02-13 15:06 +0100
URL:       https://hg.openjdk.java.net/jdk/sandbox/rev/9611fbb00efd

8238178: CTW: C1 compilation fails with assert(sux->loop_depth() != block->loop_depth() || sux->loop_index() == block->loop_index() || loop_through_xhandler) failed: Loop index has to be same
Summary: Fix verification of C1 IR involving xhandlers in one-time executed loops on the non-exceptional path.
Reviewed-by: thartmann, neliasso

! src/hotspot/share/c1/c1_RangeCheckElimination.cpp
! src/hotspot/share/c1/c1_RangeCheckElimination.hpp
+ test/hotspot/jtreg/compiler/c1/RangeCheckVerificationOfIR.java

Changeset: fb5425bcf04d
Author:    chagedorn
Date:      2020-02-13 15:07 +0100
URL:       https://hg.openjdk.java.net/jdk/sandbox/rev/fb5425bcf04d

8237945: CTW: C2 compilation fails with assert(just_allocated_object(alloc_ctl) == ptr) failed: most recent allo
Summary: Removing too strong assertion about array allocation in LibraryCallKit::tightly_coupled_allocation().
Reviewed-by: thartmann, neliasso

! src/hotspot/share/opto/library_call.cpp
+ test/hotspot/jtreg/compiler/arraycopy/TestTightlyCoupledAllocationAssert.java

Changeset: cd78b249e6a4
Author:    chagedorn
Date:      2020-02-13 15:07 +0100
URL:       https://hg.openjdk.java.net/jdk/sandbox/rev/cd78b249e6a4

8238756: C2: assert(((n) == __null || !VerifyIterativeGVN || !((n)->is_dead()))) failed: can not use dead node
Summary: Fix -XX:+VerifyIterativeGVN due to a dead node and add some basic flag testing.
Reviewed-by: roland, neliasso

! src/hotspot/share/opto/loopopts.cpp
+ test/hotspot/jtreg/compiler/c2/TestVerifyIterativeGVN.java
+ test/hotspot/jtreg/compiler/loopopts/TestMoveStoreAfterLoopVerifyIterativeGVN.java

Changeset: cf6409153216
Author:    chagedorn
Date:      2020-02-13 15:08 +0100
URL:       https://hg.openjdk.java.net/jdk/sandbox/rev/cf6409153216

8238811: C2: assert(i >= req() || i == 0 || is_Region() || is_Phi()) with -XX:+VerifyGraphEdges
Summary: Fix -XX:+VerifyGraphEdges by additionally handling ArrayCopyNodes and UnlockNodes and add some basic flag testing.
Reviewed-by: roland, neliasso

! src/hotspot/share/opto/node.cpp
+ test/hotspot/jtreg/compiler/c2/TestVerifyGraphEdges.java