[all-commits] [llvm/llvm-project] fa0ac2: [NFC][CVP] Count all the no-wraps we proved
Roman Lebedev via All-commits
all-commits at lists.llvm.org
Fri Oct 18 06:19:09 PDT 2019
Author: Roman Lebedev <lebedev.ri at gmail.com>
Date: 2019-10-18 (Fri, 18 Oct 2019)
[NFC][CVP] Count all the no-wraps we proved
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
Differential Revision: https://reviews.llvm.org/D68740
More information about the All-commits