Return true if 'V & Mask' is known to be zero. We use this predicate to simplify operations downstream. Mask is known to be zero for bits that V cannot have.
Declared in <llvm/Analysis/ValueTracking.h>
bool
MaskedValueIsZero(
Value const* V,
APInt const& Mask,
SimplifyQuery const& SQ,
unsigned int Depth = 0);This function is defined on values with integer type, values with pointer type, and vectors of integers. In the case where V is a vector, the mask, known zero, and known one values are the same width as the vector element, and the bit is set only if it is true for all of the elements in the vector.
True if V masked by Mask is known to be zero.
| Name | Description |
|---|---|
| V | Value being masked. |
| Mask | Bits of V that must be proven zero. |
| SQ | Simplify query providing context for the analysis. |
| Depth | Current recursion depth for this query. |