Code:
/ Dotnetfx_Vista_SP2 / Dotnetfx_Vista_SP2 / 8.0.50727.4016 / DEVDIV / depot / DevDiv / releases / whidbey / NetFxQFE / 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
- ScaleTransform.cs
- ContainerFilterService.cs
- AppPool.cs
- HttpCachePolicy.cs
- TrackBarRenderer.cs
- HtmlUtf8RawTextWriter.cs
- StrokeCollection2.cs
- InstanceDataCollection.cs
- Stream.cs
- DirectoryNotFoundException.cs
- DownloadProgressEventArgs.cs
- ValidatingPropertiesEventArgs.cs
- JoinQueryOperator.cs
- InputLanguageProfileNotifySink.cs
- MessageSmuggler.cs
- BuildManager.cs
- GestureRecognizer.cs
- Timer.cs
- HttpProfileGroupBase.cs
- BrowsableAttribute.cs
- WindowsClaimSet.cs
- XmlSchemaCompilationSettings.cs
- CalendarDesigner.cs
- SelectingProviderEventArgs.cs
- BitmapEffect.cs
- MetadataSource.cs
- SimpleApplicationHost.cs
- XmlWrappingReader.cs
- CryptoProvider.cs
- CriticalHandle.cs
- OdbcCommandBuilder.cs
- InternalResources.cs
- FixedDocumentSequencePaginator.cs
- EllipticalNodeOperations.cs
- AdornedElementPlaceholder.cs
- WorkflowValidationFailedException.cs
- TemplatePartAttribute.cs
- OrthographicCamera.cs
- ObjectTag.cs
- CodeAssignStatement.cs
- FormViewDeletedEventArgs.cs
- DNS.cs
- TypeDescriptor.cs
- ProgressBarRenderer.cs
- PathFigureCollectionConverter.cs
- XmlnsCompatibleWithAttribute.cs
- SingleObjectCollection.cs
- ToolboxControl.cs
- DataGridViewRowDividerDoubleClickEventArgs.cs
- ExtenderProvidedPropertyAttribute.cs
- XmlBinaryReader.cs
- ToolBar.cs
- AsymmetricKeyExchangeDeformatter.cs
- ChtmlTextWriter.cs
- ConstantProjectedSlot.cs
- WindowsFormsSectionHandler.cs
- SubqueryRules.cs
- DataSpaceManager.cs
- ByteFacetDescriptionElement.cs
- LoadRetryStrategyFactory.cs
- DesignerSelectionListAdapter.cs
- Sentence.cs
- ItemList.cs
- RotationValidation.cs
- HwndSource.cs
- DataSourceIDConverter.cs
- EncryptedKeyIdentifierClause.cs
- IgnoreSectionHandler.cs
- XmlQueryType.cs
- PeerPresenceInfo.cs
- AdjustableArrowCap.cs
- ProcessHost.cs
- CodeNamespaceImportCollection.cs
- ImageCreator.cs
- LocatorPartList.cs
- MimeTypeMapper.cs
- ChildTable.cs
- RoleManagerSection.cs
- FileDialog_Vista_Interop.cs
- SubclassTypeValidator.cs
- Highlights.cs
- SystemIPGlobalStatistics.cs
- DataServiceQuery.cs
- DbXmlEnabledProviderManifest.cs
- BoundPropertyEntry.cs
- updatecommandorderer.cs
- BitmapDownload.cs
- TextServicesDisplayAttribute.cs
- DeferrableContentConverter.cs
- HttpCacheVaryByContentEncodings.cs
- RSAPKCS1KeyExchangeFormatter.cs
- RelationshipDetailsCollection.cs
- FilteredDataSetHelper.cs
- StrongNameKeyPair.cs
- storepermission.cs
- EncodingInfo.cs
- SystemFonts.cs
- GradientStop.cs
- PartialCachingAttribute.cs
- EvidenceTypeDescriptor.cs