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.

Synopsis

Declared in <llvm/Analysis/ValueTracking.h>

bool
MaskedValueIsZero(
    Value const* V,
    APInt const& Mask,
    SimplifyQuery const& SQ,
    unsigned int Depth = 0);

Description

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.

Return Value

True if V masked by Mask is known to be zero.

Parameters

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.

Created with MrDocs