public override void Write(Formatter w)
{
w.WriteKeyword("br");
w.Write(' ');
if (Cond != null)
{
Type.Write(w);
w.Write(' ');
Cond.Write(w);
w.Write(", ");
w.WriteKeyword("label");
w.Write(' ');
IfTrue.Write(w);
w.Write(", ");
w.WriteKeyword("label");
w.Write(' ');
IfFalse.Write(w);
}
else
{
w.WriteKeyword("label");
w.Write(' ');
IfTrue.Write(w);
}
}
public override void Write(Formatter w)
{
w.WriteKeyword("switch");
w.Write(' ');
Type.Write(w);
w.Write(' ');
Value.Write(w);
w.Write(", ");
w.WriteKeyword("label");
w.Write(' ');
Default.Write(w);
w.WriteLine(" [");
foreach (var dest in Destinations)
{
w.Indent();
dest.Item1.Write(w);
w.Write(' ');
dest.Item2.Write(w);
w.Write(", ");
w.WriteKeyword("label");
w.Write(' ');
dest.Item3.Write(w);
w.WriteLine();
}
w.Write("]");
}
public override void Write(Formatter w)
{
Name.Write(w);
w.Write(" = ");
w.WriteKeyword("type");
w.Write(" ");
if (Opaque)
{
w.WriteKeyword("opaque");
}
else
{
Type.Write(w);
}
}
public override void Write(Formatter w)
{
Result.Write(w);
w.Write(" = ");
w.Write(Operator.ToString());
w.Write(" ");
if (NoUnsignedWrap)
{
w.WriteKeyword("nuw");
w.Write(' ');
}
if (NoSignedWrap)
{
w.WriteKeyword("nsw");
w.Write(' ');
}
Type.Write(w);
w.Write(" ");
Left.Write(w);
w.Write(", ");
Right.Write(w);
}
public override void Write(Formatter w)
{
TypeName.Write(w);
}
