RFR: 8289943: Simplify some object allocation merges [v6]

[Vladimir Kozlov]

On Fri, 2 Sep 2022 00:34:49 GMT, Cesar Soares <duke at openjdk.org> wrote:

>> Allocations in `testPollutedPolymorphic()` are removed because both classes have the same `Shape` class which have all fields. Would be interesting if `l` field is declared only in both subclasses.
>
> @vnkozlov - Thank you for clarifying that. I've been playing with lifting the restriction and I actually found a corner case:
> 
> 
> public static Class test(boolean c1, boolean c2, boolean c3, int x, int y, int w, int z) {
>     Animal s = new Dog(x, y, z);
> 
>     if (c1) {
>         s = new Cat("Fisker");
>     }
> 
>     Unloaded u = new Unloaded(); // assumes this is converted to a uncommon_trap(unloaded, reinterpret)
> 
>     return s.getClass();
> }
> 
> 
> It seems that when merging allocations of different subtypes I'll need to add a special `Phi` node merging the `Klass` of the input allocations and assign the output of that `Phi` to `SafepointScalarReplacedNode`. If I don't do that, the method above will return Animal.class instead of `Dog.class` or `Cat.class`. I'm wondering if I'll actually have to do the same for the Header/Mark word of the input allocations.

@JohnTortugo Yes, you would need to construct Phi when you replace RAM with `SafePointScalarObjectNode`. Hmm, may be you would need to construct Phi in other cases too (getClass intrinsic).

Add cases when class is loaded from argument for allocation: `Unsafe.allocateInstance()` and `Object.clone()` to test class Load instead of simple constant on some paths of such Phi.

Why you need Phi for mark word? For identity check (hashCode/identityHashCode intrinsics)?

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

PR: https://git.openjdk.org/jdk/pull/9073