Member predicate TranslatedCrementOperation::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)