[PATCH] D78933: [analyzer] RangeConstraintManager optimizations in comparison expressions

Thu Jun 11 05:27:00 PDT 2020

ASDenysPetrov added a comment.

@vsavchenko I've compiled some performance stats using //csa-testbench//. The result are within the margin of error.

| Project    | Before  | After   | Delta  |
| libWebM    | 0:00:32 | 0:00:34 | 6,25%  |
| Memcached  | 0:00:25 | 0:00:26 | 4,00%  |
| OpenSSL    | 0:05:03 | 0:04:56 | -2,31% |
| PostgreSQL | 0:09:55 | 0:09:24 | -5,21% |
| protobuf   | 0:07:07 | 0:06:53 | -3,28% |
| Redis      | 0:02:50 | 0:02:59 | 5,29%  |
| SQLite     | 0:08:24 | 0:08:48 | 4,76%  |
| TinyXML2   | 0:00:15 | 0:00:18 | 20,00% |
| TMUX       | 0:01:20 | 0:01:30 | 12,50% |
| twin       | 0:00:54 | 0:00:57 | 5,56%  |
| Vim        | 0:03:36 | 0:03:46 | 4,63%  |
| Xerces     | 0:04:41 | 0:05:01 | 7,12%  |
| TOTAL      | 0:45:02 | 0:45:32 | 1,11%  |

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

https://reviews.llvm.org/D78933