[PATCH] D81558: [NewPM] Introduce PreserveCFG check

[Yevgeny Rouban via Phabricator via llvm-commits]

yrouban added a comment.

I see no impact on CPU time with the following timed runs (both with and without assertions):
$ time opt -O3 FILE.bc --disable-output -verify-cfg-preserved=VCP

LLVM_ENABLE_ASSERTIONS=ON:

| FILE        | verify-cfg-preserved | Run 1 [s] | Run 2 [s] | Run 3 [s] | Run 4 [s] | Run 5 [s] | Avg     | Std/Avg % | DeltaAvg% |
| ----------- | -------------------- | --------- | --------- | --------- | --------- | --------- | ------- | --------- | --------- |
| llvm-as.bc  | false                | 549.010   | 544.270   | 550.010   | 547.620   | 547.360   | 547.654 | 0.40      |
|             | true                 | 548.640   | 547.670   | 547.690   | 548.900   | 548.680   | 548.316 | 0.11      | 0.12      |
| sqlite3.bc  | false                | 58.120    | 58.180    | 58.210    | 58.130    | 58.190    | 58.166  | 0.07      |
|             | true                 | 58.230    | 58.120    | 58.130    | 58.240    | 58.210    | 58.186  | 0.10      | 0.03      |
| wasm-as.bc  | false                | 168.880   | 169.490   | 168.610   | 169.770   | 168.150   | 168.980 | 0.39      |
|             | true                 | 168.660   | 169.730   | 169.360   | 169.620   | 168.500   | 169.174 | 0.33      | 0.11      |
| wasm-opt.bc | false                | 181.860   | 180.550   | 181.340   | 180.790   | 181.910   | 181.290 | 0.34      |
|             | true                 | 181.240   | 181.620   | 181.180   | 181.780   | 180.640   | 181.292 | 0.24      | 0.00      |
|

LLVM_ENABLE_ASSERTIONS=OFF:

| FILE        | verify-cfg-preserved | Run 1 [s] | Run 2 [s] | Run 3 [s] | Run 4 [s] | Run 5 [s] | Avg     | Std/Avg % | DeltaAvg% |
| ----------- | -------------------- | --------- | --------- | --------- | --------- | --------- | ------- | --------- | --------- |
| llvm-as.bc  | false                | 408.650   | 408.730   | 410.100   | 406.650   | 410.110   | 408.848 | 0.35      |
|             | true                 | 408.980   | 408.260   | 408.410   | 409.180   | 408.600   | 408.686 | 0.09      | -0.04     |
| sqlite3.bc  | false                | 39.720    | 39.770    | 39.790    | 39.720    | 39.780    | 39.756  | 0.08      |
|             | true                 | 39.690    | 39.730    | 39.740    | 39.760    | 39.750    | 39.734  | 0.07      | -0.06     |
| wasm-as.bc  | false                | 117.270   | 117.460   | 117.450   | 117.410   | 117.250   | 117.368 | 0.09      |
|             | true                 | 117.640   | 117.100   | 117.400   | 117.210   | 117.310   | 117.332 | 0.18      | -0.03     |
| wasm-opt.bc | false                | 125.900   | 126.030   | 125.910   | 126.020   | 126.180   | 126.008 | 0.09      |
|             | true                 | 125.940   | 125.930   | 126.100   | 125.980   | 125.920   | 125.974 | 0.06      | -0.03     |
|




CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D81558/new/

https://reviews.llvm.org/D81558