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
)