#include "circt/Dialect/Comb/CombOps.h"#include "circt/Dialect/HW/HWOps.h"#include "llvm/Support/KnownBits.h"
Include dependency graph for CombAnalysis.cpp:
Go to the source code of this file.
Functions | |
| static KnownBits | computeKnownBits (Value v, unsigned depth) |
| Given an integer SSA value, check to see if we know anything about the result of the computation. More... | |
Function Documentation
◆ computeKnownBits()
|
static |
Given an integer SSA value, check to see if we know anything about the result of the computation.
For example, we know that "and with a constant" always returns zeros for the zero bits in a constant.
Expression trees can be very large, so we need ot make sure to cap our recursion, this is controlled by depth.
Definition at line 22 of file CombAnalysis.cpp.
References circt::comb::computeKnownBits(), and width.
Referenced by circt::comb::computeKnownBits().
