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
- DropDownList.cs
- XamlFilter.cs
- _HTTPDateParse.cs
- Stopwatch.cs
- GlyphTypeface.cs
- DataObjectPastingEventArgs.cs
- ResXResourceSet.cs
- PageParser.cs
- Comparer.cs
- CommentEmitter.cs
- DataObjectPastingEventArgs.cs
- HttpStreamFormatter.cs
- Formatter.cs
- ZoomPercentageConverter.cs
- Int32EqualityComparer.cs
- EntityDataSourceColumn.cs
- OleDbInfoMessageEvent.cs
- SqlUserDefinedAggregateAttribute.cs
- Faults.cs
- addressfiltermode.cs
- CodeIdentifiers.cs
- Misc.cs
- PersonalizationProvider.cs
- SkinBuilder.cs
- SqlConnectionManager.cs
- DbTransaction.cs
- ListBox.cs
- IPGlobalProperties.cs
- FrugalMap.cs
- AppManager.cs
- ExpressionWriter.cs
- XslTransform.cs
- HandlerFactoryCache.cs
- CustomTypeDescriptor.cs
- OleDbErrorCollection.cs
- OpenFileDialog.cs
- _ConnectionGroup.cs
- _ProxyChain.cs
- CompilerState.cs
- HotSpot.cs
- SqlDataSourceConfigureSelectPanel.cs
- Transform3D.cs
- _DisconnectOverlappedAsyncResult.cs
- ItemChangedEventArgs.cs
- Button.cs
- TypefaceMap.cs
- VoiceInfo.cs
- Rotation3DAnimationBase.cs
- _ReceiveMessageOverlappedAsyncResult.cs
- FragmentNavigationEventArgs.cs
- oledbmetadatacollectionnames.cs
- DataGridViewComboBoxCell.cs
- UnionExpr.cs
- MSG.cs
- ParserContext.cs
- IsolatedStorageFile.cs
- DependencyObjectType.cs
- CustomErrorCollection.cs
- DragCompletedEventArgs.cs
- Propagator.JoinPropagator.JoinPredicateVisitor.cs
- PackWebRequest.cs
- ListParagraph.cs
- IsolatedStoragePermission.cs
- ContextTokenTypeConverter.cs
- ClientData.cs
- ScrollProperties.cs
- TabControl.cs
- KeyGestureConverter.cs
- SingleAnimationBase.cs
- TabControlCancelEvent.cs
- ResourceReader.cs
- XmlSortKeyAccumulator.cs
- PassportAuthentication.cs
- StringValidator.cs
- AspNetPartialTrustHelpers.cs
- DelegatingTypeDescriptionProvider.cs
- ToolStripPanelSelectionGlyph.cs
- SignalGate.cs
- DataGridRowHeaderAutomationPeer.cs
- ClientConfigurationSystem.cs
- PersonalizableTypeEntry.cs
- CanExecuteRoutedEventArgs.cs
- HtmlEmptyTagControlBuilder.cs
- ComNativeDescriptor.cs
- ServiceObjectContainer.cs
- ValueTypeIndexerReference.cs
- SqlDataSourceQueryConverter.cs
- TemplateBamlRecordReader.cs
- CodeTryCatchFinallyStatement.cs
- ServiceContractAttribute.cs
- SecurityPermission.cs
- ZipPackage.cs
- HasCopySemanticsAttribute.cs
- ScriptReferenceBase.cs
- XamlDesignerSerializationManager.cs
- RemotingException.cs
- HMACSHA256.cs
- ResourceReader.cs
- ProviderConnectionPoint.cs
- DataPagerField.cs