Code:
/ Net / Net / 3.5.50727.3053 / DEVDIV / depot / DevDiv / releases / whidbey / netfxsp / 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
- ComponentDispatcherThread.cs
- TraceContextEventArgs.cs
- DesignOnlyAttribute.cs
- TimelineClockCollection.cs
- StylusPointDescription.cs
- XmlReader.cs
- _DomainName.cs
- StructuralCache.cs
- CompiledQueryCacheEntry.cs
- ProcessHost.cs
- EncodingNLS.cs
- ImmComposition.cs
- FileUtil.cs
- Comparer.cs
- DataGridView.cs
- followingsibling.cs
- RuntimeEnvironment.cs
- MemberCollection.cs
- Window.cs
- DbParameterCollection.cs
- RemoteWebConfigurationHostStream.cs
- PopupEventArgs.cs
- DefaultAuthorizationContext.cs
- DataTemplateKey.cs
- IPAddressCollection.cs
- DetailsViewDeleteEventArgs.cs
- XmlDataSource.cs
- TypeDescriptor.cs
- UseAttributeSetsAction.cs
- TableLayoutPanelBehavior.cs
- ScriptIgnoreAttribute.cs
- OrderingExpression.cs
- TextFormatter.cs
- BufferModesCollection.cs
- ObjectNotFoundException.cs
- ManifestResourceInfo.cs
- MimeMultiPart.cs
- SafeEventLogReadHandle.cs
- OracleException.cs
- TableLayoutPanelResizeGlyph.cs
- _ScatterGatherBuffers.cs
- LocalizationParserHooks.cs
- ParseNumbers.cs
- LabelLiteral.cs
- UnsafePeerToPeerMethods.cs
- HttpPostedFile.cs
- Random.cs
- DeferredTextReference.cs
- Merger.cs
- CustomError.cs
- PathParser.cs
- WindowsTreeView.cs
- HeaderedItemsControl.cs
- ParserOptions.cs
- ClientUtils.cs
- FixedSOMGroup.cs
- SiteMap.cs
- XPathDocumentBuilder.cs
- ColorPalette.cs
- RSAPKCS1KeyExchangeFormatter.cs
- BitmapEffectGeneralTransform.cs
- ConnectivityStatus.cs
- AutomationPropertyInfo.cs
- BaseCAMarshaler.cs
- FtpWebResponse.cs
- SqlRewriteScalarSubqueries.cs
- SqlMetaData.cs
- SettingsPropertyNotFoundException.cs
- MenuItem.cs
- Point4D.cs
- ContentElementCollection.cs
- SkinBuilder.cs
- TextShapeableCharacters.cs
- MultilineStringEditor.cs
- ConfigurationManagerInternalFactory.cs
- ValueSerializer.cs
- RichTextBox.cs
- XmlSchemaObjectCollection.cs
- EventLogger.cs
- ListViewSortEventArgs.cs
- XmlToDatasetMap.cs
- MenuItem.cs
- TextTreeTextNode.cs
- TextSegment.cs
- XmlSchemaComplexContent.cs
- SystemWebCachingSectionGroup.cs
- EntityTypeBase.cs
- TriState.cs
- EntityConnectionStringBuilder.cs
- ColorConverter.cs
- XmlSchemaProviderAttribute.cs
- SecurityElement.cs
- SchemaType.cs
- ServiceModelConfigurationElementCollection.cs
- ExpressionConverter.cs
- WebPartConnectionsEventArgs.cs
- UrlPath.cs
- ParentUndoUnit.cs
- SingleConverter.cs
- BezierSegment.cs