コード例 #1
0
ファイル: codegen.cs プロジェクト: retahc/old-code
        internal override void Walk(EmitContext ec)
        {
            if (ec.Resolving)
            {
                cond.Walk(ec);
                body.Walk(ec);
            }

            if (ec.Emitting)
            {
                Label end_label   = ec.DefineLabel();
                Label start_label = ec.DefineLabel();

                ec.MarkLabel(start_label);
                cond.Walk(ec);

                if (this is RNUntil)
                {
                    ec.EmitBranchIfTrue(end_label);
                }
                else
                {
                    ec.EmitBranchIfFalse(end_label);
                }

                body.Walk(ec);
                // TODO return value in local
                ec.EmitDiscard();
                ec.EmitBranch(start_label);

                ec.MarkLabel(end_label);

                ec.EmitNull();
            }
        }
コード例 #2
0
ファイル: codegen.cs プロジェクト: retahc/old-code
        internal override void Walk(EmitContext ec)
        {
            if (ec.Resolving)
            {
                cond.Walk(ec);
                body.Walk(ec);
                if (nd_else != null)
                {
                    nd_else.Walk(ec);
                }
            }
            if (ec.Emitting)
            {
                Label else_label = ec.DefineLabel();
                Label end_label  = ec.DefineLabel();

                cond.Walk(ec);
                ec.EmitBranchIfFalse(else_label);

                // TODO rearrange the body and else clause in this case
                if (body != null)
                {
                    body.Walk(ec);
                    ec.EmitDiscard();
                }

                if (nd_else != null)
                {
                    ec.EmitBranch(end_label);
                }

                ec.MarkLabel(else_label);

                if (nd_else != null)
                {
                    nd_else.Walk(ec);
                    ec.EmitDiscard();
                }

                ec.MarkLabel(end_label);

                ec.EmitNull();
            }
        }
コード例 #3
0
ファイル: codegen.cs プロジェクト: retahc/old-code
 internal override void Walk(EmitContext ec)
 {
     // Linear scan of linked list for O(1) stack space
     for (RNode n = this; n != null;)
     {
         if (n is RNBlock)
         {
             RNode current = n.head;
             current.Walk(ec);
             n = n.next;
             if (ec.Emitting && n != null)
             {
                 // Discard previous result, block returns last value generated
                 ec.EmitDiscard();
             }
         }
         else
         {
             throw new NotSupportedException("bug: not supported block tail: " + n.GetType().Name);
         }
     }
 }
コード例 #4
0
ファイル: codegen.cs プロジェクト: emtees/old-code
        internal override void Walk(EmitContext ec)
        {
            if(ec.Resolving) {
                cond.Walk(ec);
                body.Walk(ec);
            }
            
            if(ec.Emitting) {
                Label end_label = ec.DefineLabel();
                Label start_label = ec.DefineLabel();
                
                ec.MarkLabel(start_label);
                cond.Walk(ec);

                if(this is RNUntil)
                    ec.EmitBranchIfTrue(end_label);
                else
                    ec.EmitBranchIfFalse(end_label);

                body.Walk(ec);
                // TODO return value in local
                ec.EmitDiscard();
                ec.EmitBranch(start_label);

                ec.MarkLabel(end_label);
                
                ec.EmitNull();
            }
        }
コード例 #5
0
ファイル: codegen.cs プロジェクト: emtees/old-code
 internal override void Walk(EmitContext ec)
 {
     // Linear scan of linked list for O(1) stack space
     for(RNode n = this; n != null; ) {
         if(n is RNBlock) {
             RNode current = n.head;
             current.Walk(ec);
             n = n.next;
             if(ec.Emitting && n != null) {
                 // Discard previous result, block returns last value generated    
                 ec.EmitDiscard();
             }
         } else {
             throw new NotSupportedException("bug: not supported block tail: " + n.GetType().Name);
         }
         
     }
 }
コード例 #6
0
ファイル: codegen.cs プロジェクト: emtees/old-code
        internal override void Walk(EmitContext ec)
        {
            if(ec.Resolving) {
                cond.Walk(ec);
                body.Walk(ec);
                if(nd_else != null)
                    nd_else.Walk(ec);
            }
            if(ec.Emitting) {
                Label else_label = ec.DefineLabel();
                Label end_label = ec.DefineLabel();
                
                cond.Walk(ec);
                ec.EmitBranchIfFalse(else_label);

                // TODO rearrange the body and else clause in this case
                if(body != null) {
                    body.Walk(ec);
                    ec.EmitDiscard();
                }
                
                if(nd_else != null) {
                    ec.EmitBranch(end_label);
                }
                    
                ec.MarkLabel(else_label);

                if(nd_else != null) {
                    nd_else.Walk(ec);
                    ec.EmitDiscard();
                }

                ec.MarkLabel(end_label);

                ec.EmitNull();
            }
        }