CodeQL library for C/C++
Search

Module ValueNumbering

Import path

import semmle.code.cpp.ir.implementation.aliased_ssa.gvn.ValueNumbering

Predicates

valueNumber

Gets the value number assigned to instr, if any. Returns at most one result.

valueNumberOfOperand

Gets the value number assigned to the exact definition of op, if any. Returns at most one result.

Classes

ValueNumber

The value number assigned to a particular set of instructions that produce equivalent results.