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
- NavigationProperty.cs
- DataGridRowEventArgs.cs
- CacheForPrimitiveTypes.cs
- XmlStringTable.cs
- RecordManager.cs
- PlatformCulture.cs
- SerializableTypeCodeDomSerializer.cs
- dsa.cs
- XmlIncludeAttribute.cs
- TemplateEditingService.cs
- PageThemeParser.cs
- shaperfactory.cs
- WebPartMenuStyle.cs
- DiscoveryClientOutputChannel.cs
- MetroSerializationManager.cs
- CommandField.cs
- TrackingProfileSerializer.cs
- RestClientProxyHandler.cs
- Wizard.cs
- Dictionary.cs
- FormsAuthenticationEventArgs.cs
- SignedXml.cs
- CollectionBuilder.cs
- SkinBuilder.cs
- PointAnimationBase.cs
- OleDbRowUpdatedEvent.cs
- NativeMethods.cs
- ObjectDataSourceEventArgs.cs
- PipelineModuleStepContainer.cs
- XmlHelper.cs
- TemplateContent.cs
- WindowsTokenRoleProvider.cs
- _ConnectStream.cs
- StorageEntitySetMapping.cs
- latinshape.cs
- ContextDataSourceContextData.cs
- Command.cs
- util.cs
- StringSorter.cs
- ImageSourceTypeConverter.cs
- IPipelineRuntime.cs
- CssTextWriter.cs
- BamlLocalizationDictionary.cs
- EntityDataSourceEntitySetNameItem.cs
- DecoderNLS.cs
- UpdateManifestForBrowserApplication.cs
- UnsafeNativeMethods.cs
- GridItemProviderWrapper.cs
- PageSettings.cs
- TrimSurroundingWhitespaceAttribute.cs
- CustomPopupPlacement.cs
- XmlElementList.cs
- _TimerThread.cs
- SoapWriter.cs
- GenerateDerivedKeyRequest.cs
- DbFunctionCommandTree.cs
- StrongNameUtility.cs
- RSAPKCS1SignatureFormatter.cs
- MultipartContentParser.cs
- TcpServerChannel.cs
- WorkflowItemsPresenter.cs
- BaseTreeIterator.cs
- HttpTransportSecurityElement.cs
- TransformConverter.cs
- assemblycache.cs
- ConvertersCollection.cs
- SqlTypeConverter.cs
- BypassElement.cs
- Assert.cs
- PathFigureCollectionValueSerializer.cs
- WebPartExportVerb.cs
- QuaternionAnimationBase.cs
- MessageVersion.cs
- ResourceLoader.cs
- QilNode.cs
- NetworkInformationException.cs
- RegisteredScript.cs
- ResourceType.cs
- ArrayElementGridEntry.cs
- PeerNameRecordCollection.cs
- OrCondition.cs
- AttributeAction.cs
- MetadataArtifactLoaderXmlReaderWrapper.cs
- MethodAccessException.cs
- UnmanagedHandle.cs
- CombinedTcpChannel.cs
- EntityDesignerUtils.cs
- InputLanguageManager.cs
- ParseHttpDate.cs
- Quad.cs
- Pkcs7Signer.cs
- GridViewUpdatedEventArgs.cs
- Timer.cs
- ItemCollection.cs
- WindowsRichEdit.cs
- ViewManager.cs
- DataGridViewColumnConverter.cs
- WizardStepBase.cs
- ResourceDescriptionAttribute.cs
- _emptywebproxy.cs