Predicate Cached::getInstructionOpcode
Holds if opcode is the opcode that specifies the operation performed by instr.
The parameters are ordered such that they produce a clean join (with no need for reordering)
in the characteristic predicates of the Instruction subclasses.
Import path
import semmle.code.cpp.ir.implementation.aliased_ssa.internal.SSAConstructionpredicate getInstructionOpcode(Opcode opcode, Instruction instr)