void Edge::dump(PrintStream& out) const { if (useKind() != UntypedUse) { if (needsCheck()) out.print("Check:"); out.print(useKind(), ":"); } if (doesKill()) out.print("Kill:"); out.print(node()); }
void Edge::dump(PrintStream& out) const { if (!isProved()) out.print("Check:"); out.print(useKind(), ":"); if (DFG::doesKill(killStatusUnchecked())) out.print("Kill:"); out.print(node()); }