#include "circt/Dialect/Comb/CombOps.h"
#include "circt/Dialect/HW/HWOps.h"
#include "llvm/Support/KnownBits.h"

Include dependency graph for CombAnalysis.cpp:

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 KnownBits computeKnownBits	(	Value	v,
		unsigned	depth
	)

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.