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/"
Include dependency graph for CombOps.h:

Go to the source code of this file.


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




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



Definition at line 34 of file CombOps.h.