CIRCT  19.0.0git
circt::Solver::Circuit Member List

This is the complete list of members for circt::Solver::Circuit, including all inherited members.

addConstant(mlir::Value result, const mlir::APInt &value)circt::Solver::Circuit
addInput(mlir::Value)circt::Solver::Circuit
addInstance(llvm::StringRef instanceName, circt::hw::HWModuleOp op, mlir::OperandRange arguments, mlir::ResultRange results)circt::Solver::Circuit
addOutput(mlir::Value)circt::Solver::Circuit
allocateConstant(mlir::Value opResult, const mlir::APInt &opValue)circt::Solver::Circuitprivate
assignmentscirct::Solver::Circuitprivate
boolToBv(const z3::expr &condition)circt::Solver::Circuitprivate
bvToBool(const z3::expr &condition)circt::Solver::Circuitprivate
Circuit(llvm::Twine name, Solver &solver)circt::Solver::Circuitinline
constrainResult(mlir::Value &result, z3::expr &expr)circt::Solver::Circuitprivate
exprTablecirct::Solver::Circuitprivate
fetchOrAllocateExpr(mlir::Value value)circt::Solver::Circuitprivate
getInputs()circt::Solver::Circuit
getOutputs()circt::Solver::Circuit
inputscirct::Solver::Circuitprivate
namecirct::Solver::Circuitprivate
outputscirct::Solver::Circuitprivate
performAdd(mlir::Value result, mlir::OperandRange operands)circt::Solver::Circuit
performAnd(mlir::Value result, mlir::OperandRange operands)circt::Solver::Circuit
performConcat(mlir::Value result, mlir::OperandRange operands)circt::Solver::Circuit
performDivS(mlir::Value result, mlir::Value lhs, mlir::Value rhs)circt::Solver::Circuit
performDivU(mlir::Value result, mlir::Value lhs, mlir::Value rhs)circt::Solver::Circuit
performExtract(mlir::Value result, mlir::Value input, uint32_t lowBit)circt::Solver::Circuit
performICmp(mlir::Value result, circt::comb::ICmpPredicate predicate, mlir::Value lhs, mlir::Value rhs)circt::Solver::Circuit
performModS(mlir::Value result, mlir::Value lhs, mlir::Value rhs)circt::Solver::Circuit
performModU(mlir::Value result, mlir::Value lhs, mlir::Value rhs)circt::Solver::Circuit
performMul(mlir::Value result, mlir::OperandRange operands)circt::Solver::Circuit
performMux(mlir::Value result, mlir::Value cond, mlir::Value trueValue, mlir::Value falseValue)circt::Solver::Circuit
performOr(mlir::Value result, mlir::OperandRange operands)circt::Solver::Circuit
performParity(mlir::Value result, mlir::Value input)circt::Solver::Circuit
performReplicate(mlir::Value result, mlir::Value input)circt::Solver::Circuit
performShl(mlir::Value result, mlir::Value lhs, mlir::Value rhs)circt::Solver::Circuit
performShrS(mlir::Value result, mlir::Value lhs, mlir::Value rhs)circt::Solver::Circuit
performShrU(mlir::Value result, mlir::Value lhs, mlir::Value rhs)circt::Solver::Circuit
performSub(mlir::Value result, mlir::OperandRange operands)circt::Solver::Circuit
performXor(mlir::Value result, mlir::OperandRange operands)circt::Solver::Circuit
solvercirct::Solver::Circuitprivate
variadicOperation(mlir::Value result, mlir::OperandRange operands, llvm::function_ref< z3::expr(const z3::expr &, const z3::expr &)> operation)circt::Solver::Circuitprivate