RFR: 8238812: assert(false) failed: bad AD file [v3]

[Rahul Raghavan]

On Tue, 9 Mar 2021 11:20:28 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote:

>> Rahul Raghavan has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   8238812: assert(false) failed: bad AD file
>
> After quickly discussing this with @rwestrel, it turned out that you need to set `CastIINode::_carry_dependency` to prevent the `CastIINode` with `TypeInt::INT` from being eliminated and re-introducing ([JDK-6675699](https://bugs.openjdk.java.net/browse/JDK-6675699)).

Thanks for the comments @TobiHartmann , @rwestrel .

Please note now revised fix to add a `_carry_dependeny` argument to `constrained_convI2L` and set it to true for the `CastII` introduced by `lookupswitch`.
(found no issues with reported java_fuzzer cases / unit tests and 
tier & pre-integration tests in progress)

Also created followup enhancement task - JDK-8263252.
Please let me know if missed anything.

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

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