[lworld] RFR: 8349068: [lworld] C2 compilation fails with "not enough operands for reexecution"

[Quan Anh Mai]

Hi,

The issue here is that `GraphKit::make_runtime_call` is often used to execute a bytecode. As a result, it expects that it may deoptimize and thus need to reexecute the current bytecode in the interpreter. This is the intention of the `assert`, to verify that we are having enough operands for reexecution of the bytecode. However, in the failing case, `GraphKit::make_runtime_call` is not used to execute the bytecode, but to handle the exceptions thrown by that bytecode. In this case, the bytecode itself has finished executing and must not be reexecuted, we can see that in `Parse::catch_inline_exceptions`:

    // Oops, need to call into the VM to resolve the klasses at runtime.
    // Note:  This call must not deoptimize, since it is not a real at this bci!
    kill_dead_locals();

    make_runtime_call(RC_NO_LEAF | RC_MUST_THROW,
                      OptoRuntime::rethrow_Type(),
                      OptoRuntime::rethrow_stub(),
                      nullptr, nullptr,
                      ex_node);

As a result, reexecution is impossible and we don't need to worry about the operand stack, I propose removing the `assert` as it seems to be the cleanest fix.

The reason this only fails on `lworld` is because here the execution of `aastore` involves a static Java call, resulting in a potential exception that needs catching.

Please share your thoughts, thanks a lot.

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

Commit messages:
 - Remove assert

Changes: https://git.openjdk.org/valhalla/pull/1363/files
  Webrev: https://webrevs.openjdk.org/?repo=valhalla&pr=1363&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8349068
  Stats: 1 line in 1 file changed: 0 ins; 1 del; 0 mod
  Patch: https://git.openjdk.org/valhalla/pull/1363.diff
  Fetch: git fetch https://git.openjdk.org/valhalla.git pull/1363/head:pull/1363

PR: https://git.openjdk.org/valhalla/pull/1363