CIRCT  18.0.0git
Namespaces | Macros | Functions
CombOps.h File Reference
#include "circt/Dialect/Comb/CombDialect.h"
#include "circt/Dialect/HW/HWTypes.h"
#include "circt/Support/LLVM.h"
#include "mlir/Bytecode/BytecodeOpInterface.h"
#include "mlir/IR/BuiltinOps.h"
#include "mlir/IR/OpImplementation.h"
#include "mlir/Interfaces/FunctionInterfaces.h"
#include "mlir/Interfaces/InferTypeOpInterface.h"
#include "mlir/Interfaces/SideEffectInterfaces.h"
#include "circt/Dialect/Comb/Comb.h.inc"
Include dependency graph for CombOps.h:

Go to the source code of this file.

Namespaces

 llvm
 
 mlir
 
 circt
 This file defines an intermediate representation for circuits acting as an abstraction for constraints defined over an SMT's solver context.
 
 circt::comb
 

Macros

#define GET_OP_CLASSES
 

Functions

KnownBits circt::comb::computeKnownBits (Value value)
 Compute "known bits" information about the specified value - the set of bits that are guaranteed to always be zero, and the set of bits that are guaranteed to always be one (these must be exclusive!). More...
 
Value circt::comb::createOrFoldSExt (Location loc, Value value, Type destTy, OpBuilder &builder)
 Create a sign extension operation from a value of integer type to an equal or larger integer type. More...
 
Value circt::comb::createOrFoldSExt (Value value, Type destTy, ImplicitLocOpBuilder &builder)
 
Value circt::comb::createOrFoldNot (Location loc, Value value, OpBuilder &builder, bool twoState=false)
 Create a `‘Not’' gate on a value. More...
 
Value circt::comb::createOrFoldNot (Value value, ImplicitLocOpBuilder &builder, bool twoState=false)
 

Macro Definition Documentation

◆ GET_OP_CLASSES

#define GET_OP_CLASSES

Definition at line 34 of file CombOps.h.