Module IRConstruction
Import path
import semmle.code.cpp.ir.implementation.raw.internal.IRConstructionImports
| CachedForDebugging | |
| IR | Provides classes that describe the Intermediate Representation (IR) of the program. |
Predicates
| chiOnlyPartiallyUpdatesLocation | |
| getAnUninitializedGroupVariable | |
| 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 |
| hasConflatedMemoryResult | |
| hasIncompleteSsa | |
| hasInstruction | |
| hasModeledMemoryResult | |
| hasUnreachedInstruction | |
| isInCycle | Holds if |
Modules
| 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. |