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.

This adds Chi nodes to the instruction successor relation; if an instruction has a Chi node, that node is its successor in the new successor relation, and the Chi node’s successors are the new instructions generated from the successors of the old instruction.

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.