Predicate Cached::getIRRepresentationOfOperand
Holds if the underlying IR has a suitable instruction to represent a value
that would otherwise need to be represented by a dedicated OperandNode value.
Such operands do not create new OperandNode values, but are
instead associated with the instruction returned by this predicate.
Import path
import semmle.code.cpp.ir.dataflow.internal.SsaInternalsCommon