Class Operand

A source operand of an Instruction. The operand represents a value consumed by the instruction.

Import path

import semmle.code.cpp.ir.implementation.raw.Operand

Direct supertypes

Known direct subtypes

    Predicates

    getAnyDef

    Gets the Instruction whose result is the value of the operand. Unlike getDef, this also has a result when isDefinitionInexact holds, which means that the resulting instruction may only partially or potentially be the value of this operand.

    getDef

    Gets the Instruction whose result is the value of the operand. Unlike getAnyDef, this also has no result when isDefinitionInexact holds, which means that the resulting instruction must always be exactly the be the value of this operand.

    getDefinitionInstruction

    DEPRECATED: use getAnyDef or getDef. The exact replacement for this predicate is getAnyDef, but most uses of this predicate should probably be replaced with getDef.

    getDefinitionOverlap

    Gets the overlap relationship between the operand’s definition and its use.

    getDumpLabel

    Gets a prefix to use when dumping the operand in an operand list.

    getDumpSortOrder

    Get the order in which the operand should be sorted in the operand list.

    getDumpString

    Gets a string describing this operand, suitable for display in IR dumps. This consists of the result ID of the instruction consumed by the operand, plus a label identifying the operand kind.

    getEnclosingIRFunction
    getIRType

    Gets the language-neutral type of the value consumed by this operand. This is usually the same as the result type of the definition instruction consumed by this operand. For register operands, this is always the case. For some memory operands, the operand type may be different from the definition type, such as in the case of a partial read or a read from a pointer that has been cast to a different type.

    getLanguageType

    Gets the type of the value consumed by this operand. This is usually the same as the result type of the definition instruction consumed by this operand. For register operands, this is always the case. For some memory operands, the operand type may be different from the definition type, such as in the case of a partial read or a read from a pointer that has been cast to a different type.

    getLocation
    getSize

    Gets the size of the value consumed by this operand, in bytes. If the operand does not have a known constant size, this predicate does not hold.

    getType

    Gets the type of the value consumed by this operand. This is usually the same as the result type of the definition instruction consumed by this operand. For register operands, this is always the case. For some memory operands, the operand type may be different from the definition type, such as in the case of a partial read or a read from a pointer that has been cast to a different type.

    getUse

    Gets the Instruction that consumes this operand.

    getUseInstruction

    DEPRECATED: renamed to getUse.

    isDefinitionInexact

    Holds if the result of the definition instruction does not exactly overlap this use.

    isGLValue

    Holds if the value consumed by this operand is a glvalue. If this holds, the value of the operand represents the address of a location, and the type of the location is given by getType(). If this does not hold, the value of the operand represents a value whose type is given by getType().

    toString