[PATCH] D68740: [NFC][CVP] Count all the no-wraps we prooved

Roman Lebedev via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Wed Oct 9 15:35:38 PDT 2019


lebedev.ri created this revision.
lebedev.ri added reviewers: nikic, spatel, dberlin.
lebedev.ri added a project: LLVM.
Herald added a subscriber: hiraditya.

I'm not sure if i'm going overboard with this..
It looks like this is the only missing statistic in the CVP pass.
Since we proove NSW and NUW separately i'd think we should count them separately too.

test-suite:

| correlated-value-propagation.NumAddNSW    | 4381  |
| correlated-value-propagation.NumAddNUW    | 6532  |
| correlated-value-propagation.NumMulNUW    | 4     |
| correlated-value-propagation.NumNSW       | 5099  |
| correlated-value-propagation.NumNUW       | 8570  |
| correlated-value-propagation.NumNW        | 13669 |
| correlated-value-propagation.NumOverflows | 4     |
| correlated-value-propagation.NumSubNSW    | 718   |
| correlated-value-propagation.NumSubNUW    | 2034  |


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D68740

Files:
  llvm/lib/Transforms/Scalar/CorrelatedValuePropagation.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D68740.224191.patch
Type: text/x-patch
Size: 4793 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20191009/4df54951/attachment.bin>


More information about the llvm-commits mailing list