SIL: add -Xllvm -sil-print-no-uses to not print use-list comments in textual SIL

Author: eeckstein

lib/SIL/IR/SILPrinter.cpp

@@ -81,6 +81,10 @@ llvm::cl::opt<bool>
 SILPrintTypes("sil-print-types", llvm::cl::init(false),
                    llvm::cl::desc("always print type annotations for instruction operands in SIL output"));
 
+llvm::cl::opt<bool>
+SILPrintNoUses("sil-print-no-uses", llvm::cl::init(false),
+                   llvm::cl::desc("omit use comments in SIL output"));
+
 llvm::cl::opt<bool> SILPrintGenericSpecializationInfo(
     "sil-print-generic-specialization-info", llvm::cl::init(false),
     llvm::cl::desc("Include generic specialization"
@@ -828,6 +832,9 @@ class SILPrinter : public SILInstructionVisitor<SILPrinter> {
   }
 
   void printBlockArgumentUses(const SILBasicBlock *BB) {
+    if (SILPrintNoUses)
+      return;
+
     if (BB->args_empty())
       return;
 
@@ -942,7 +949,7 @@ class SILPrinter : public SILInstructionVisitor<SILPrinter> {
     printBlockArguments(BB);
     *this << ":";
 
-    if (!BB->pred_empty()) {
+    if (!BB->pred_empty() && !SILPrintNoUses) {
       PrintState.OS.PadToColumn(50);
 
       *this << "// Preds:";
@@ -1032,6 +1039,9 @@ class SILPrinter : public SILInstructionVisitor<SILPrinter> {
   }
 
   void printUserList(ArrayRef<SILValue> values, SILNodePointer node) {
+    if (SILPrintNoUses)
+      return;
+
     // If the set of values is empty, we need to print the ID of
     // the instruction.  Otherwise, if none of the values has a use,
     // we don't need to do anything.

test/SIL/Parser/pure_mode.sil

@@ -0,0 +1,38 @@
+// RUN: %target-sil-opt %s | %target-sil-opt -sil-print-no-uses | %FileCheck %s
+
+sil_stage canonical
+
+import Builtin
+import Swift
+import SwiftShims
+
+sil_global hidden @$s3nix2ggSSvp : $String
+
+sil @main : $@convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 {
+[%1: noescape **]
+[global: read,write,copy,deinit_barrier]
+bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>):
+  alloc_global @$s3nix2ggSSvp
+  %3 = global_addr @$s3nix2ggSSvp : $*String
+  %4 = integer_literal $Builtin.Int64, 0
+  br bb1
+
+bb2:
+  // CHECK: struct $String (%{{[0-9]+}} : $_StringGuts)
+  %10 = struct $String (%9 : $_StringGuts)
+  // CHECK: store %{{[0-9]+}} to %{{[0-9]+$}}
+  store %10 to %3 : $*String
+  %12 = integer_literal $Builtin.Int32, 0
+  %13 = struct $Int32 (%12 : $Builtin.Int32)
+  return %13 : $Int32
+
+bb1:
+  %5 = integer_literal $Builtin.Int64, -2305843009213693952
+  // CHECK: struct $UInt64 (%{{[0-9]+}})
+  // CHECK-NOT: user:
+  %6 = struct $UInt64 (%4 : $Builtin.Int64)
+  %7 = value_to_bridge_object %5 : $Builtin.Int64
+  %8 = struct $_StringObject (%6 : $UInt64, %7 : $Builtin.BridgeObject)
+  %9 = struct $_StringGuts (%8 : $_StringObject)
+  br bb2
+}