RFR: 8278471: Remove unreached rules in AddNode::IdealIL [v3]

[Vladimir Kozlov]

On Mon, 13 Dec 2021 18:24:42 GMT, Zhiqiang Zang <duke at openjdk.java.net> wrote:

>> Reorder optimizations in addnode so special cases appear before general cases; otherwise the special cases would be never covered.
>> 
>> `(a - b) + (c - d)` subsumes both `(a - b) + (b - c)` and `(a - b) + (c - a)`. Therefore `(a - b) + (b - c)` and `(a - b) + (c - a)` have to be placed before `(a - b) + (c - d)` so that they can work.
>
> Zhiqiang Zang has updated the pull request incrementally with one additional commit since the last revision:
> 
>   remove unnecessary optimizations.

Before you integrate this, please, add IR framework test which checks that conversions are really happened. Especially ones you removed.

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

Changes requested by kvn (Reviewer).

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