[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

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: fa0ac2558eaf3860c377744e4fef71d6b730d358
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2019-10-18 (Fri, 18 Oct 2019)

  Changed paths:
    M llvm/lib/Transforms/Scalar/CorrelatedValuePropagation.cpp

  Log Message:
  [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

Tags: #llvm

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

llvm-svn: 375230

More information about the All-commits mailing list