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.SSAConstruction
predicate
getInstructionOpcode
(
Opcode
opcode
,
Instruction
instr
)