Member predicate TranslatedCall::hasInstruction

Holds if this element generates an instruction with opcode opcode and result type resultType. tag must be unique for each instruction generated from the same AST node (not just from the same TranslatedElement). If the instruction does not return a result, resultType should be VoidType.

predicate hasInstruction(Opcode opcode, InstructionTag tag, CppType resultType)