FIRRTLInstanceInfo.h

Go to the documentation of this file.

//===- FIRRTLInstanceInfo.h - Instance info analysis ------------*- C++ -*-===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
//
// This file defines the InstanceInfo analysis.  This is an analysis that
// depends on the InstanceGraph analysis, but provides additional information
// about FIRRTL operations.  This is useful if you find yourself needing to
// selectively iterate over parts of the design.
//
//===----------------------------------------------------------------------===//
 
#ifndef CIRCT_DIALECT_FIRRTL_FIRRTLINSTANCEINFO_H
#define CIRCT_DIALECT_FIRRTL_FIRRTLINSTANCEINFO_H
 
#include "circt/Dialect/FIRRTL/FIRRTLOps.h"
#include "circt/Support/LLVM.h"
#include "mlir/Pass/AnalysisManager.h"
 
namespace circt {
namespace firrtl {
 
class InstanceInfo {
 
public:
  explicit InstanceInfo(Operation *op, mlir::AnalysisManager &am);
 
  /// Return true if an instance op should be considered "under a layer" for the
  /// purposes of metadata emission and other analyses. This includes instances
  /// that are:
  /// - Under a LayerBlockOp
  /// - Under an sv::IfDefOp
  /// - Marked with getLowerToBind()
  /// - Marked with getDoNotPrint()
  static bool isInstanceUnderLayer(InstanceOp inst);
 
  /// A lattice value to record the value of a property.
  class LatticeValue {
 
  public:
    enum Kind {
      // Indicates that we have no information about this property.  Properties
      // start in this state and then are changed to Constant or Mixed.
      Unknown = 0,
 
      // Indicates that the property has a true or false value.
      Constant,
 
      // Indicates that the property was found to be both true and false.
      Mixed
    };
 
  private:
    /// Whether or not the property holds.
    Kind kind = Kind::Unknown;
 
    /// The value of the property if `kind` is `Constant`.
    bool value = false;
 
  public:
    /// Return true if the kind is Unknown.
    bool isUnknown() const;
 
    /// Return true if the kind is Constant.
    bool isConstant() const;
 
    /// Return true if the kind is Mixed.
    bool isMixed() const;
 
    /// Return the value.  This should only be used if the kind is Constant.
    bool getConstant() const;
 
    /// Set this LatticeValue to a constant.
    void markConstant(bool constant);
 
    /// Set this LatticeValue to mixed.
    void markMixed();
 
    /// Merge attributes from another LatticeValue into this one.
    void mergeIn(LatticeValue that);
 
    /// Merge a constant value into this one.
    void mergeIn(bool value);
 
    /// Invert the lattice value.
    LatticeValue operator!();
  };
 
  /// Information about a circuit
  struct CircuitAttributes {
    /// The design-under-test if one is defined.
    igraph::ModuleOpInterface dut;
 
    /// The design-under-test if one is defined or the top module.
    igraph::ModuleOpInterface effectiveDut;
  };
 
  /// Information about a module
  struct ModuleAttributes {
    /// Indicates if this module is instantiated under the design-under-test.
    InstanceInfo::LatticeValue underDut;
 
    /// Indicates if this module is instantiated under a layer.
    InstanceInfo::LatticeValue underLayer;
 
    /// Indicates if this module is instantiated in the design.  The "design" is
    /// defined as being under the design-under-test, excluding verification
    /// code (e.g., layers).
    InstanceInfo::LatticeValue inDesign;
 
    /// Indicates if this modules is instantiated in the effective design.  The
    /// "effective design" is defined as the design-under-test (DUT), excluding
    /// verification code (e.g., layers).  If a DUT is specified, then this is
    /// the same as `inDesign`.  However, if there is no DUT, then every module
    /// is deemed to be in the design except those which are explicitly
    /// verification code.
    InstanceInfo::LatticeValue inEffectiveDesign;
 
    /// Indicates if this module is instantiated within (or transitively within)
    /// an instance choice operation.
    InstanceInfo::LatticeValue inInstanceChoice;
  };
 
  //===--------------------------------------------------------------------===//
  // Circuit Attribute Queries
  //===--------------------------------------------------------------------===//
 
  /// Return true if this circuit has a design-under-test.
  bool hasDut();
 
  /// Return the design-under-test if one is defined for the circuit, otherwise
  /// return null.
  igraph::ModuleOpInterface getDut();
 
  /// Return the "effective" design-under-test.  This will be the
  /// design-under-test if one is defined.  Otherwise, this will be the root
  /// node of the instance graph.
  igraph::ModuleOpInterface getEffectiveDut();
 
  //===--------------------------------------------------------------------===//
  // Module Attribute Queries
  //===--------------------------------------------------------------------===//
 
  /// Return true if this module is the design-under-test.
  bool isDut(igraph::ModuleOpInterface op);
 
  /// Return true if this module is the design-under-test and the circuit has a
  /// design-under-test.  If the circuit has no design-under-test, then return
  /// true if this is the top module.
  bool isEffectiveDut(igraph::ModuleOpInterface op);
 
  /// Return true if at least one instance of this module is under (or
  /// transitively under) the design-under-test.  This is true if the module is
  /// the design-under-test.
  bool anyInstanceUnderDut(igraph::ModuleOpInterface op);
 
  /// Return true if all instances of this module are under (or transitively
  /// under) the design-under-test.  This is true if the module is the
  /// design-under-test.
  bool allInstancesUnderDut(igraph::ModuleOpInterface op);
 
  /// Return true if at least one instance is under (or transitively under) the
  /// effective design-under-test.  This is true if the module is the effective
  /// design-under-test.
  bool anyInstanceUnderEffectiveDut(igraph::ModuleOpInterface op);
 
  /// Return true if all instances are under (or transitively under) the
  /// effective design-under-test.  This is true if the module is the effective
  /// design-under-test.
  bool allInstancesUnderEffectiveDut(igraph::ModuleOpInterface op);
 
  /// Return true if at least one instance of this module is under (or
  /// transitively under) a layer.
  bool anyInstanceUnderLayer(igraph::ModuleOpInterface op);
 
  /// Return true if all instances of this module are under (or transitively
  /// under) layer blocks.
  bool allInstancesUnderLayer(igraph::ModuleOpInterface op);
 
  /// Return true if any instance of this module is within (or transitively
  /// within) the design.
  bool anyInstanceInDesign(igraph::ModuleOpInterface op);
 
  /// Return true if all instances of this module are within (or transitively
  /// withiin) the design.
  bool allInstancesInDesign(igraph::ModuleOpInterface op);
 
  /// Return true if any instance of this module is within (or transitively
  /// within) the effective design
  bool anyInstanceInEffectiveDesign(igraph::ModuleOpInterface op);
 
  /// Return true if all instances of this module are within (or transitively
  /// withiin) the effective design.
  bool allInstancesInEffectiveDesign(igraph::ModuleOpInterface op);
 
  /// Return true if any instance of this module is within (or transitively
  /// within) an instance choice.
  /// Note: allInstancesInInstanceChoice is intentionally not provided because
  /// that property is relative to the public module.
  bool anyInstanceInInstanceChoice(igraph::ModuleOpInterface op);
 
private:
  /// Stores circuit-level attributes.
  CircuitAttributes circuitAttributes = {/*dut=*/nullptr,
                                         /*effectiveDut=*/nullptr};
 
  /// Internal mapping of operations to module attributes.
  DenseMap<Operation *, ModuleAttributes> moduleAttributes;
 
  /// Return the module attributes associated with a module.
  const ModuleAttributes &getModuleAttributes(igraph::ModuleOpInterface op);
};
 
#ifndef NDEBUG
inline llvm::raw_ostream &operator<<(llvm::raw_ostream &os,
                                     const InstanceInfo::LatticeValue &value) {
  if (value.isUnknown())
    return os << "unknown";
  if (value.isConstant())
    return os << "constant<" << (value.getConstant() ? "true" : "false") << ">";
  return os << "mixed";
}
#endif
 
} // namespace firrtl
} // namespace circt
 
#endif // CIRCT_DIALECT_FIRRTL_FIRRTLINSTANCEINFO_H