RFR: JDK-8258603 c1 IR::verify is expensive [v5]

[Christian Hagedorn]

On Mon, 3 Jan 2022 09:03:42 GMT, Ludvig Janiuk <duke at openjdk.java.net> wrote:

> ```
> ./build/optimized/images/jdk/bin/java -XX:+PrintCFG -version
> CFG after parsing
> B1 [0, 0] -> B2
> B2 (S) [0, 0] -> B0 pred: B1
> B0 (SV) [0, 0] pred: B2
> 
> CFG after optimizations
> B1 [0, 0] -> B2
> B2 (S) [0, 0] -> B0 pred: B1
> B0 (SV) [0, 0] pred: B2
> 
> CFG after null check elimination
> B1 [0, 0] -> B2
> B2 (S) [0, 0] -> B0 dom B1 pred: B1
> B0 (SV) [0, 0] dom B2 pred: B2
> 
> CFG before code generation
> B1 [0, 0] -> B2
> B2 (S) [0, 0] -> B0 dom B1 pred: B1
> B0 (SV) [0, 0] dom B2 pred: B2
> openjdk version "19-internal" 2022-09-20
> OpenJDK Runtime Environment (build 19-internal+0-adhoc.opjaniuk.jdk)
> OpenJDK 64-Bit Server VM (build 19-internal+0-adhoc.opjaniuk.jdk, mixed mode, sharing)
> ```
> 
> Is this as it should be?

Yes, that looks good. It accepts the non-product flag `PrintCFG`

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

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