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); }