public void Write(HighFileBuilder fileBuilder, HighRegionBuilder regionBuilder, BinaryWriter writer) { if (m_reg.IsConstant) { writer.Write(true); m_reg.WriteConstant(fileBuilder, regionBuilder, writer); } else { writer.Write(false); writer.Write(regionBuilder.FindPredecessorSsaIndex(m_predecessor.Value, m_reg)); } }