tree 84a24a774ab941110e8d51a95c404847d5da958b
parent 3e5185e268379d97349da0f246ab8b3f88841e08
author Roman Lebedev <lebedev.ri@gmail.com> 1571404816 +0000
committer Roman Lebedev <lebedev.ri@gmail.com> 1571404816 +0000

[NFC][CVP] Count all the no-wraps we proved

Summary:
It looks like this is the only missing statistic in the CVP pass.
Since we prove NSW and NUW separately i'd think we should count them separately too.

Reviewers: nikic, spatel, reames

Reviewed By: spatel

Subscribers: hiraditya, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D68740

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@375230 91177308-0d34-0410-b5e6-96231b3b80d8