When talking about SSA, there is often an implicit assumption that
this qualifies a CFG-based program representation.
However, SSA can equally well qualify PDG-based representations
and data-dependency representations such as the VDG and
gated SSA form are implicitly in SSA form.

This talk introduces the Value State Dependence Graph (VSDG),
justifies it, and explores how a compiler can map this into
other SSA or non-SSA forms.

In particular, we explore issues and capabilities of a compiler based around
conversions from VSDG via PDG to CFG.