Module IRConstruction

Import path

import semmle.code.cpp.ir.implementation.raw.internal.IRConstruction

CachedForDebugging
IR	Provides classes that describe the Intermediate Representation (IR) of the program.

chiOnlyPartiallyUpdatesLocation
getInstructionAst
getInstructionBackEdgeSuccessor
getInstructionEnclosingIRFunction
getInstructionOpcode
getInstructionOperandType
getInstructionResultIRType
getInstructionResultType
getInstructionSuccessor
getInstructionTag
getInstructionTranslatedElement
getMemoryOperandDefinition
getPhiInstructionBlockStart
getPrimaryInstructionForSideEffect
getRegisterOperandDefinition
getUsedInterval	Holds if the operand totally overlaps with its definition and consumes the bit range `[startBitOffset, endBitOffset)`.
hasConflatedMemoryResult
hasInstruction
hasModeledMemoryResult
hasUnreachedInstruction
isInCycle	Holds if `instr` is part of a cycle in the operand graph that doesn’t go through a phi instruction and therefore should be impossible.

Raw	Provides the portion of the parameterized IR interface that is used to construct the initial “raw” stage of the IR. The other stages of the IR do not expose these predicates.