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
- CodeTypeOfExpression.cs
- OlePropertyStructs.cs
- ToolBar.cs
- LinkLabelLinkClickedEvent.cs
- FlowNode.cs
- DesignerHelpers.cs
- HelpEvent.cs
- DirectionalLight.cs
- ContentFilePart.cs
- DesignerActionService.cs
- sitestring.cs
- WebUtil.cs
- Documentation.cs
- GridItemPattern.cs
- LinqDataSourceView.cs
- WinFormsSpinner.cs
- InputScopeNameConverter.cs
- DataChangedEventManager.cs
- RuleSettings.cs
- ExpressionBuilderCollection.cs
- GuidTagList.cs
- DataControlImageButton.cs
- TreeNodeBindingCollection.cs
- StrokeNodeOperations.cs
- XmlSchemaSimpleContent.cs
- ApplicationServicesHostFactory.cs
- Control.cs
- SdlChannelSink.cs
- SecureStringHasher.cs
- Html32TextWriter.cs
- Button.cs
- CompressStream.cs
- MenuItem.cs
- GeneralTransform.cs
- LockedActivityGlyph.cs
- Parameter.cs
- WeakReadOnlyCollection.cs
- ContravarianceAdapter.cs
- ArcSegment.cs
- ToolStripOverflowButton.cs
- ContextMenuAutomationPeer.cs
- SQLBytesStorage.cs
- SafeCryptoHandles.cs
- Decimal.cs
- NameValueFileSectionHandler.cs
- HwndStylusInputProvider.cs
- AutomationPropertyInfo.cs
- util.cs
- ImagingCache.cs
- TempFiles.cs
- WizardPanelChangingEventArgs.cs
- RubberbandSelector.cs
- RenderTargetBitmap.cs
- WebPartTransformerAttribute.cs
- SqlBooleanizer.cs
- CategoryGridEntry.cs
- StoreAnnotationsMap.cs
- MetadataItemEmitter.cs
- DataControlCommands.cs
- StatusBar.cs
- TextReader.cs
- HitTestWithGeometryDrawingContextWalker.cs
- FilteredSchemaElementLookUpTable.cs
- EditingCommands.cs
- Matrix3DStack.cs
- DataGridAutoFormat.cs
- OAVariantLib.cs
- HttpCapabilitiesBase.cs
- ReferentialConstraint.cs
- RichTextBoxAutomationPeer.cs
- SocketElement.cs
- ContainerFilterService.cs
- ISFTagAndGuidCache.cs
- XPathNavigatorKeyComparer.cs
- Executor.cs
- GB18030Encoding.cs
- Cloud.cs
- SettingsBindableAttribute.cs
- ConfigUtil.cs
- ExceptionUtil.cs
- HwndAppCommandInputProvider.cs
- IriParsingElement.cs
- VSWCFServiceContractGenerator.cs
- ComplexPropertyEntry.cs
- SqlNodeAnnotations.cs
- DialogResultConverter.cs
- DataGridViewSelectedCellCollection.cs
- SaveFileDialog.cs
- SudsWriter.cs
- PassportAuthenticationModule.cs
- BooleanAnimationBase.cs
- StringValidator.cs
- FormsIdentity.cs
- WindowsFormsHost.cs
- RegisteredDisposeScript.cs
- XsdDataContractImporter.cs
- CompilerScope.cs
- MexHttpsBindingElement.cs
- ImageSourceConverter.cs
- ClientUrlResolverWrapper.cs