Code:
/ Dotnetfx_Win7_3.5.1 / Dotnetfx_Win7_3.5.1 / 3.5.1 / DEVDIV / depot / DevDiv / releases / whidbey / NetFXspW7 / ndp / fx / src / XmlUtils / System / Xml / Xsl / IlGen / TailCallAnalyzer.cs / 1 / TailCallAnalyzer.cs
//------------------------------------------------------------------------------ //// Copyright (c) Microsoft Corporation. All rights reserved. // //[....] //----------------------------------------------------------------------------- using System; using System.Diagnostics; using System.Xml.Xsl.Qil; namespace System.Xml.Xsl.IlGen { ////// This analyzer walks each function in the graph and annotates Invoke nodes which can /// be compiled using the IL .tailcall instruction. This instruction will discard the /// current stack frame before calling the new function. /// internal static class TailCallAnalyzer { ////// Perform tail-call analysis on the functions in the specified QilExpression. /// public static void Analyze(QilExpression qil) { foreach (QilFunction ndFunc in qil.FunctionList) { // Only analyze functions which are pushed to the writer, since otherwise code // is generated after the call instruction in order to process cached results if (XmlILConstructInfo.Read(ndFunc).ConstructMethod == XmlILConstructMethod.Writer) AnalyzeDefinition(ndFunc.Definition); } } ////// Recursively analyze the definition of a function. /// private static void AnalyzeDefinition(QilNode nd) { Debug.Assert(XmlILConstructInfo.Read(nd).PushToWriterLast, "Only need to analyze expressions which will be compiled in push mode."); switch (nd.NodeType) { case QilNodeType.Invoke: // Invoke node can either be compiled as IteratorThenWriter, or Writer. // Since IteratorThenWriter involves caching the results of the function call // and iterating over them, .tailcall cannot be used if (XmlILConstructInfo.Read(nd).ConstructMethod == XmlILConstructMethod.Writer) OptimizerPatterns.Write(nd).AddPattern(OptimizerPatternName.TailCall); break; case QilNodeType.Loop: { // Recursively analyze Loop return value QilLoop ndLoop = (QilLoop) nd; if (ndLoop.Variable.NodeType == QilNodeType.Let || !ndLoop.Variable.Binding.XmlType.MaybeMany) AnalyzeDefinition(ndLoop.Body); break; } case QilNodeType.Sequence: { // Recursively analyze last expression in Sequence QilList ndSeq = (QilList) nd; if (ndSeq.Count > 0) AnalyzeDefinition(ndSeq[ndSeq.Count - 1]); break; } case QilNodeType.Choice: { // Recursively analyze Choice branches QilChoice ndChoice = (QilChoice) nd; for (int i = 0; i < ndChoice.Branches.Count; i++) AnalyzeDefinition(ndChoice.Branches[i]); break; } case QilNodeType.Conditional: { // Recursively analyze Conditional branches QilTernary ndCond = (QilTernary) nd; AnalyzeDefinition(ndCond.Center); AnalyzeDefinition(ndCond.Right); break; } case QilNodeType.Nop: AnalyzeDefinition(((QilUnary) nd).Child); break; } } } } // File provided for Reference Use Only by Microsoft Corporation (c) 2007. //------------------------------------------------------------------------------ //// Copyright (c) Microsoft Corporation. All rights reserved. // //[....] //----------------------------------------------------------------------------- using System; using System.Diagnostics; using System.Xml.Xsl.Qil; namespace System.Xml.Xsl.IlGen { ////// This analyzer walks each function in the graph and annotates Invoke nodes which can /// be compiled using the IL .tailcall instruction. This instruction will discard the /// current stack frame before calling the new function. /// internal static class TailCallAnalyzer { ////// Perform tail-call analysis on the functions in the specified QilExpression. /// public static void Analyze(QilExpression qil) { foreach (QilFunction ndFunc in qil.FunctionList) { // Only analyze functions which are pushed to the writer, since otherwise code // is generated after the call instruction in order to process cached results if (XmlILConstructInfo.Read(ndFunc).ConstructMethod == XmlILConstructMethod.Writer) AnalyzeDefinition(ndFunc.Definition); } } ////// Recursively analyze the definition of a function. /// private static void AnalyzeDefinition(QilNode nd) { Debug.Assert(XmlILConstructInfo.Read(nd).PushToWriterLast, "Only need to analyze expressions which will be compiled in push mode."); switch (nd.NodeType) { case QilNodeType.Invoke: // Invoke node can either be compiled as IteratorThenWriter, or Writer. // Since IteratorThenWriter involves caching the results of the function call // and iterating over them, .tailcall cannot be used if (XmlILConstructInfo.Read(nd).ConstructMethod == XmlILConstructMethod.Writer) OptimizerPatterns.Write(nd).AddPattern(OptimizerPatternName.TailCall); break; case QilNodeType.Loop: { // Recursively analyze Loop return value QilLoop ndLoop = (QilLoop) nd; if (ndLoop.Variable.NodeType == QilNodeType.Let || !ndLoop.Variable.Binding.XmlType.MaybeMany) AnalyzeDefinition(ndLoop.Body); break; } case QilNodeType.Sequence: { // Recursively analyze last expression in Sequence QilList ndSeq = (QilList) nd; if (ndSeq.Count > 0) AnalyzeDefinition(ndSeq[ndSeq.Count - 1]); break; } case QilNodeType.Choice: { // Recursively analyze Choice branches QilChoice ndChoice = (QilChoice) nd; for (int i = 0; i < ndChoice.Branches.Count; i++) AnalyzeDefinition(ndChoice.Branches[i]); break; } case QilNodeType.Conditional: { // Recursively analyze Conditional branches QilTernary ndCond = (QilTernary) nd; AnalyzeDefinition(ndCond.Center); AnalyzeDefinition(ndCond.Right); break; } case QilNodeType.Nop: AnalyzeDefinition(((QilUnary) nd).Child); break; } } } } // File provided for Reference Use Only by Microsoft Corporation (c) 2007.
Link Menu
This book is available now!
Buy at Amazon US or
Buy at Amazon UK
- ToolStripGrip.cs
- ProgressBarRenderer.cs
- TypeExtensions.cs
- BufferedGraphicsContext.cs
- DesignUtil.cs
- ContainerActivationHelper.cs
- TreeNodeClickEventArgs.cs
- WebProxyScriptElement.cs
- PageBuildProvider.cs
- StructuredType.cs
- PermissionListSet.cs
- Attributes.cs
- FileSystemEventArgs.cs
- ContextQuery.cs
- OLEDB_Enum.cs
- MenuCommand.cs
- MetabaseReader.cs
- SyndicationSerializer.cs
- XmlUtilWriter.cs
- ExpressionVisitor.cs
- RequestStatusBarUpdateEventArgs.cs
- FixedDocumentSequencePaginator.cs
- SafeCryptHandles.cs
- SoapProtocolImporter.cs
- ACE.cs
- PauseStoryboard.cs
- FilteredDataSetHelper.cs
- WCFModelStrings.Designer.cs
- HighlightVisual.cs
- ScriptModule.cs
- TextRangeBase.cs
- MenuItemBindingCollection.cs
- ElementAction.cs
- DecoderReplacementFallback.cs
- shaperfactory.cs
- ExpressionContext.cs
- ApplicationServiceHelper.cs
- ControlAdapter.cs
- HtmlToClrEventProxy.cs
- srgsitem.cs
- FormatConvertedBitmap.cs
- SiteMapDataSource.cs
- PEFileEvidenceFactory.cs
- QueryTask.cs
- MimeMapping.cs
- entityreference_tresulttype.cs
- DocumentViewerConstants.cs
- DataGridViewComponentPropertyGridSite.cs
- BitmapFrame.cs
- SqlVisitor.cs
- CompilationUtil.cs
- ThreadAttributes.cs
- Geometry.cs
- LineVisual.cs
- DeviceContexts.cs
- Marshal.cs
- PixelShader.cs
- WebRequestModuleElementCollection.cs
- UsernameTokenFactoryCredential.cs
- ActivityDesignerResources.cs
- DataGridViewTextBoxEditingControl.cs
- SimpleWebHandlerParser.cs
- CompilerLocalReference.cs
- TableLayoutStyle.cs
- PackageController.cs
- Color.cs
- StorageComplexTypeMapping.cs
- InputBinding.cs
- PreviewPageInfo.cs
- ExpressionLink.cs
- DbParameterCollectionHelper.cs
- BamlResourceSerializer.cs
- OutArgument.cs
- TypeElement.cs
- DBCommand.cs
- CallbackValidatorAttribute.cs
- BufferBuilder.cs
- FilterFactory.cs
- LocalizableResourceBuilder.cs
- ButtonDesigner.cs
- PopupControlService.cs
- GroupByQueryOperator.cs
- GroupLabel.cs
- PointCollection.cs
- TraceEventCache.cs
- XmlSchemaCollection.cs
- MaterializeFromAtom.cs
- SocketManager.cs
- RenderTargetBitmap.cs
- PiiTraceSource.cs
- HashCodeCombiner.cs
- TextEffect.cs
- XPathConvert.cs
- NCryptSafeHandles.cs
- FormsAuthenticationCredentials.cs
- DeflateEmulationStream.cs
- StickyNote.cs
- BinaryWriter.cs
- InternalConfigSettingsFactory.cs
- HMACSHA512.cs