[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
      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

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

llvm-svn: 375230




More information about the All-commits mailing list