Restore for loop condition. It is a simple pattern match.

Decompiler.csproj

@@ -66,6 +66,7 @@
     <Compile Include="src\Transforms\Ast\RemoveDeadLabels.cs" />
     <Compile Include="src\Transforms\Ast\RemoveEmptyElseBody.cs" />
     <Compile Include="src\Transforms\Ast\RemoveGotos.cs" />
+    <Compile Include="src\Transforms\Ast\RestoreLoop.cs" />
     <Compile Include="src\Transforms\Ast\SimplifyTypeReferences.cs" />
     <Compile Include="src\Util.cs" />
     <EmbeddedResource Include="src\MainForm.resx">

src/AstBuilder.cs

@@ -28,6 +28,8 @@ namespace Decompiler
 			astCompileUnit.AcceptVisitor(new Transforms.Ast.RemoveDeadLabels(), null);
 			astCompileUnit.AcceptVisitor(new Transforms.Ast.SimplifyTypeReferences(), null);
 			astCompileUnit.AcceptVisitor(new Transforms.Ast.RemoveEmptyElseBody(), null);
+			astCompileUnit.AcceptVisitor(new Transforms.Ast.RestoreLoop(), null);
+			astCompileUnit.AcceptVisitor(new Transforms.Ast.RemoveDeadLabels(), null);
 
 			
 			astCompileUnit.AcceptVisitor(csOutVisitor, null);

src/AstMetodBodyBuilder.cs

@@ -86,11 +86,11 @@ namespace Decompiler
 			} else if (node is Loop) {
 				Ast.MyBlockStatement blockStatement = new Ast.MyBlockStatement();
 				blockStatement.Children.AddRange(TransformNodes(node.Childs));
-				yield return new Ast.DoLoopStatement(
-					new Ast.PrimitiveExpression(true, true.ToString()),
-					blockStatement,
-					ConditionType.While,
-					ConditionPosition.Start
+				yield return new Ast.ForStatement(
+					null,
+					null,
+					null,
+					blockStatement
 				);
 			} else if (node is Block) {
 				foreach(Ast.INode inode in TransformNodes(node.Childs)) {

src/Transforms/Ast/RemoveGotos.cs

@@ -13,13 +13,20 @@ namespace Decompiler.Transforms.Ast
 			
 			// Remove redundant jump at the end of block
 			INode lastStmt = blockStatement.Children[blockStatement.Children.Count - 1];
-			// End of loop
+			// End of while loop
 			if (lastStmt is ContinueStatement && 
 			    blockStatement.Parent is DoLoopStatement)
 			{
 				blockStatement.Children.Remove(lastStmt);
 				return null;
 			}
+			// End of for loop
+			if (lastStmt is ContinueStatement && 
+			    blockStatement.Parent is ForStatement)
+			{
+				blockStatement.Children.Remove(lastStmt);
+				return null;
+			}
 			// End of method
 			if (lastStmt is ReturnStatement && 
 			    blockStatement.Parent is MethodDeclaration &&

src/Transforms/Ast/RestoreLoop.cs

@@ -0,0 +1,38 @@
+using System;
+
+using Ast = ICSharpCode.NRefactory.Ast;
+using ICSharpCode.NRefactory.Ast;
+using ICSharpCode.NRefactory.Visitors;
+
+namespace Decompiler.Transforms.Ast
+{
+	public class RestoreLoop: AbstractAstTransformer
+	{
+		public override object VisitForStatement(ForStatement forStatement, object data)
+		{
+			base.VisitForStatement(forStatement, data);
+			
+			if (forStatement.Condition.IsNull &&
+				forStatement.EmbeddedStatement.Children.Count >= 3)
+			{
+				IfElseStatement  condition = forStatement.EmbeddedStatement.Children[0] as IfElseStatement;
+				BreakStatement   breakStmt = forStatement.EmbeddedStatement.Children[1] as BreakStatement;
+				MyLabelStatement label     = forStatement.EmbeddedStatement.Children[2] as MyLabelStatement;
+				if (condition != null &&
+				    breakStmt != null &&
+				    label != null &&
+				    condition.TrueStatement.Count == 1)
+				{
+					MyGotoStatement gotoStmt = condition.TrueStatement[0] as MyGotoStatement;
+					if (gotoStmt != null && gotoStmt.NodeLabel == label.NodeLabel) {
+						forStatement.EmbeddedStatement.Children.RemoveAt(0);
+						forStatement.EmbeddedStatement.Children.RemoveAt(0);
+						gotoStmt.NodeLabel.ReferenceCount--;
+						forStatement.Condition = condition.Condition;
+					}
+				}
+			}
+			return null;
+		}
+	}
+}