[llvm] r342170 - [DCE] Add DebugCounter support

[George Burgess IV via llvm-commits]

Author: gbiv
Date: Thu Sep 13 13:29:50 2018
New Revision: 342170

URL: http://llvm.org/viewvc/llvm-project?rev=342170&view=rev
Log:
[DCE] Add DebugCounter support

Patch by Zhizhou Yang!

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

Added:
    llvm/trunk/test/Other/debugcounter-dce.ll
Modified:
    llvm/trunk/lib/Transforms/Scalar/DCE.cpp

Modified: llvm/trunk/lib/Transforms/Scalar/DCE.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/Scalar/DCE.cpp?rev=342170&r1=342169&r2=342170&view=diff
==============================================================================
--- llvm/trunk/lib/Transforms/Scalar/DCE.cpp (original)
+++ llvm/trunk/lib/Transforms/Scalar/DCE.cpp Thu Sep 13 13:29:50 2018
@@ -24,6 +24,7 @@
 #include "llvm/IR/InstIterator.h"
 #include "llvm/IR/Instruction.h"
 #include "llvm/Pass.h"
+#include "llvm/Support/DebugCounter.h"
 #include "llvm/Transforms/Scalar.h"
 using namespace llvm;
 
@@ -31,6 +32,8 @@ using namespace llvm;
 
 STATISTIC(DIEEliminated, "Number of insts removed by DIE pass");
 STATISTIC(DCEEliminated, "Number of insts removed");
+DEBUG_COUNTER(DCECounter, "dce-transform",
+              "Controls which instructions are eliminated");
 
 namespace {
   //===--------------------------------------------------------------------===//
@@ -50,6 +53,8 @@ namespace {
       for (BasicBlock::iterator DI = BB.begin(); DI != BB.end(); ) {
         Instruction *Inst = &*DI++;
         if (isInstructionTriviallyDead(Inst, TLI)) {
+          if (!DebugCounter::shouldExecute(DCECounter))
+            continue;
           salvageDebugInfo(*Inst);
           Inst->eraseFromParent();
           Changed = true;
@@ -77,6 +82,9 @@ static bool DCEInstruction(Instruction *
                            SmallSetVector<Instruction *, 16> &WorkList,
                            const TargetLibraryInfo *TLI) {
   if (isInstructionTriviallyDead(I, TLI)) {
+    if (!DebugCounter::shouldExecute(DCECounter))
+      return false;
+
     salvageDebugInfo(*I);
 
     // Null out all of the instruction's operands to see if any operand becomes

Added: llvm/trunk/test/Other/debugcounter-dce.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Other/debugcounter-dce.ll?rev=342170&view=auto
==============================================================================
--- llvm/trunk/test/Other/debugcounter-dce.ll (added)
+++ llvm/trunk/test/Other/debugcounter-dce.ll Thu Sep 13 13:29:50 2018
@@ -0,0 +1,20 @@
+; REQUIRES: asserts
+; RUN: opt -dce -S -debug-counter=dce-transform-skip=1,dce-transform-count=2  < %s | FileCheck %s
+;; Test that, with debug counters on, we will skip the first DCE opportunity, perform next 2,
+;; and ignore all the others left.
+
+; CHECK-LABEL: @test
+; CHECK-NEXT: %add1 = add i32 1, 2
+; CHECK-NEXT: %sub1 = sub i32 %add1, 1
+; CHECK-NEXT: %add2 = add i32 1, 2
+; CHECK-NEXT: %add3 = add i32 1, 2
+; CHECK-NEXT: ret void
+define void @test() {
+  %add1 = add i32 1, 2
+  %sub1 = sub i32 %add1, 1
+  %add2 = add i32 1, 2
+  %sub2 = sub i32 %add2, 1
+  %add3 = add i32 1, 2
+  %sub3 = sub i32 %add3, 1
+  ret void
+}