Module Implements::Gvn

INTERNAL: Do not use.

Provides an implementation of Global Value Numbering for types (see https://en.wikipedia.org/wiki/Global_value_numbering), where types are considered equal modulo identity conversions and method type parameters (at the same index).

Predicates

getGlobalValueNumber

Gets the global value number for a given type.

getTypeKind

Gets the type kind for type t, if any.

Classes

CompoundTypeKind

A type kind for a compound type.

GvnConstructedType

A global value number for a constructed type.

GvnType

A global value number for a type.