Module BaseSSA::BaseSsa

INTERNAL: Do not use.

Provides a simple SSA implementation for local scope variables.

Predicates

getARead

Gets a read of the SSA definition for variable v at definition def. That is, a read that is guaranteed to read the value assigned at definition def.