RFR: JDK-8277139 Improve code readability in PredecessorValidator (c1_IR.cpp) [v3]

[Christian Hagedorn]

On Wed, 24 Nov 2021 16:17:34 GMT, Ludvig Janiuk <duke at openjdk.java.net> wrote:

>> Refactor PredecessorValidator, more or less applying the following:
>> 
>> declare variables where used
>> redeclare instead of reuse variables
>> move assert to a more logical place
>> remove unused length variable
>> inline variables where senseful
>> split loops
>> extract methods
>> 
>> this is done in preparation for work on optimizing IR::verify. IR::verify calls PredecessorValidator. If the work of PredecessorValidator is made clearer, it will be easier to reason about where IR::verify doesn't need to be called (or where a subset of it would suffice).
>
> Ludvig Janiuk has updated the pull request incrementally with two additional commits since the last revision:
> 
>  - last one now
>  - more asterisks ;)

Marked as reviewed by chagedorn (Reviewer).

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

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