Module Cached

Holds if the ChiPartialOperand only partially overlaps with the ChiTotalOperand. This means that the ChiPartialOperand will not override the entire memory associated with the ChiTotalOperand.

Holds if opcode is the opcode that specifies the operation performed by instr.

Holds if operand totally overlaps with its definition and consumes the bit range [startBitOffset, endBitOffset).

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.