RFR: 8295979: [IR Framework] Improve IR matching warning [v2]

[Vladimir Kozlov]

On Thu, 16 Feb 2023 15:14:56 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

>> The IR framework already warns that some rule was not applied. But it was not clear which ones were not applied.
>> 
>> I now say which one was not applied (eg `2 of 3`). I improved the wording, it was not always correct. And I also print the constraints, so that one can more quickly understand why it was not applied.
>> 
>> Given the numbers `x of N` one can easily deduce if there are still rules that were applied.
>> 
>> Examples:
>> 
>> 
>> [IREncodingPrinter] Disabling IR matching for rule 1 of 3 in testReductionAndLong: None of the flag constraints met (applyIfOr): SuperWordReductions, false, LoopMaxUnroll, <= 4
>> [IREncodingPrinter] Disabling IR matching for rule 3 of 3 in testReductionAndLong: Not all feature constraints are met (applyIfCPUFeatureAnd): sse4.1, true, avx2, false
>> [IREncodingPrinter] Disabling IR matching for rule 1 of 3 in testReductionOrLong: None of the flag constraints met (applyIfOr): SuperWordReductions, false, LoopMaxUnroll, <= 4
>> [IREncodingPrinter] Disabling IR matching for rule 3 of 3 in testReductionOrLong: Not all feature constraints are met (applyIfCPUFeatureAnd): sse4.1, true, avx2, false
>> 
>> [IREncodingPrinter] Disabling IR matching for rule 1 of 3 in testReductionMulLong: None of the flag constraints met (applyIfOr): SuperWordReductions, false, LoopMaxUnroll, <= 4
>> [IREncodingPrinter] Disabling IR matching for rule 2 of 3 in testReductionMulLong: None of the feature constraints met (applyIfCPUFeatureOr): avx512dq, true, sve, true
>> [IREncodingPrinter] Disabling IR matching for rule 3 of 3 in testReductionMulLong: Not all feature constraints are met (applyIfCPUFeatureAnd): sse4.1, true, avx2, false
>
> Emanuel Peter has updated the pull request incrementally with one additional commit since the last revision:
> 
>   copyright date

Good.

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

Marked as reviewed by kvn (Reviewer).

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