Module Instruction::InstructionSanity

Predicates

duplicateOperand

Holds if instruction instr has multiple operands with tag tag.

instructionWithoutSuccessor

Holds if an instruction, other than ExitFunction, has no successors.

instructionWithoutUniqueBlock

Holds if instruction instr is not in exactly one block.

missingOperand

Holds if instruction instr is missing an expected operand with tag tag.

missingPhiOperand

Holds if Phi instruction instr is missing an operand corresponding to the predecessor block pred.

operandAcrossFunctions

Holds if operand operand consumes a value that was defined in a different function.

unexpectedOperand

Holds if instruction instr has an unexpected operand with tag tag.

unnecessaryPhiInstruction

Holds if a Phi instruction is present in a block with fewer than two predecessors.