On Thu, 5 Oct 2023 14:00:12 GMT, Aggelos Biboudis <abimpou...@openjdk.org> wrote:
>> Refactoring attempt No. 1 complete. I need to recheck the completeness of >> `checkUnconditionallyExact`. In a following commit. > > `checkUnconditionallyExact` and dominance for constants were adjusted > accordingly in > https://github.com/openjdk/jdk/pull/15638/commits/c041d208a6fc6beaf785e8a400815fb4a7d08e78 > 🎉 The new logic is much better and simpler to follow - thanks! ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/15638#discussion_r1348608306