Code:
/ 4.0 / 4.0 / DEVDIV_TFS / Dev10 / Releases / RTMRel / ndp / fx / src / XmlUtils / System / Xml / Xsl / IlGen / TailCallAnalyzer.cs / 1305376 / 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
- FormsAuthenticationCredentials.cs
- EventBuilder.cs
- KeyedCollection.cs
- WindowsStartMenu.cs
- AnnotationAdorner.cs
- ScopedKnownTypes.cs
- RangeValidator.cs
- PerformanceCounterPermissionEntryCollection.cs
- TCPClient.cs
- ObjectDataSourceMethodEventArgs.cs
- WebPartZoneBase.cs
- ConfigPathUtility.cs
- FragmentQueryProcessor.cs
- EntityWithKeyStrategy.cs
- Scanner.cs
- CodeCatchClause.cs
- DBCommandBuilder.cs
- OracleSqlParser.cs
- Config.cs
- Encoder.cs
- OletxDependentTransaction.cs
- Binding.cs
- PublisherMembershipCondition.cs
- GuidConverter.cs
- OleDbDataReader.cs
- ClientSettings.cs
- TextBox.cs
- initElementDictionary.cs
- FreezableCollection.cs
- X509Chain.cs
- ResourcesGenerator.cs
- ComponentDispatcher.cs
- Command.cs
- ServiceDesigner.cs
- CompatibleIComparer.cs
- HtmlInputHidden.cs
- VirtualizingStackPanel.cs
- TraceUtils.cs
- DataServiceKeyAttribute.cs
- Point.cs
- _NetRes.cs
- BackStopAuthenticationModule.cs
- EntityContainerEmitter.cs
- DataColumnChangeEvent.cs
- ContentElement.cs
- ScrollBar.cs
- RequestQueue.cs
- XmlValueConverter.cs
- ReadOnlyHierarchicalDataSourceView.cs
- CodeObject.cs
- PackUriHelper.cs
- XmlQueryContext.cs
- assemblycache.cs
- XsltOutput.cs
- SqlFormatter.cs
- TextCharacters.cs
- JsonDeserializer.cs
- WithParamAction.cs
- ToolStripSeparatorRenderEventArgs.cs
- XPathPatternBuilder.cs
- TypedTableBaseExtensions.cs
- XmlSchemaAll.cs
- SchemaCollectionCompiler.cs
- DocumentReference.cs
- DataGridCellEditEndingEventArgs.cs
- ColorConvertedBitmap.cs
- BuildManagerHost.cs
- EventSinkActivityDesigner.cs
- WindowsToolbar.cs
- DispatcherObject.cs
- ChannelCacheDefaults.cs
- FixedTextContainer.cs
- RoleManagerEventArgs.cs
- Help.cs
- TimeIntervalCollection.cs
- DrawItemEvent.cs
- WebDescriptionAttribute.cs
- KeyboardEventArgs.cs
- ToolZone.cs
- VBIdentifierDesigner.xaml.cs
- MD5.cs
- AssemblyName.cs
- GacUtil.cs
- StringAttributeCollection.cs
- StrokeCollectionConverter.cs
- BindingWorker.cs
- ComponentDispatcher.cs
- ProfilePropertyMetadata.cs
- DataDocumentXPathNavigator.cs
- HitTestDrawingContextWalker.cs
- TraceContextRecord.cs
- EntityException.cs
- ContextMenuStrip.cs
- RawStylusSystemGestureInputReport.cs
- ByteStorage.cs
- VisualBrush.cs
- SqlInternalConnectionSmi.cs
- IPGlobalProperties.cs
- OracleConnection.cs
- HtmlControl.cs