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.