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
- MsmqVerifier.cs
- WebBrowserEvent.cs
- HttpCacheVaryByContentEncodings.cs
- Constraint.cs
- Input.cs
- RegexReplacement.cs
- FixedStringLookup.cs
- ProcessHostServerConfig.cs
- StrokeNodeOperations.cs
- ProxyWebPartConnectionCollection.cs
- ConstrainedDataObject.cs
- PageWrapper.cs
- ObfuscateAssemblyAttribute.cs
- PerspectiveCamera.cs
- IsolationInterop.cs
- ProcessProtocolHandler.cs
- DomainUpDown.cs
- Icon.cs
- CodePageEncoding.cs
- GridViewColumnCollectionChangedEventArgs.cs
- ResourceAssociationType.cs
- NestedContainer.cs
- SByte.cs
- AuthenticatingEventArgs.cs
- ScriptingProfileServiceSection.cs
- XmlEnumAttribute.cs
- RuntimeArgumentHandle.cs
- SimpleMailWebEventProvider.cs
- BitArray.cs
- EventLogPermissionAttribute.cs
- WebPartVerbCollection.cs
- DesignerVerb.cs
- XmlSchemaProviderAttribute.cs
- NamespaceMapping.cs
- DefaultCommandConverter.cs
- DataGridViewCellValueEventArgs.cs
- FrameworkElement.cs
- RuntimeArgumentHandle.cs
- SamlAssertionKeyIdentifierClause.cs
- prompt.cs
- RenderDataDrawingContext.cs
- DataBoundControlHelper.cs
- WebContext.cs
- ProviderException.cs
- RijndaelCryptoServiceProvider.cs
- GroupBox.cs
- AsymmetricSignatureFormatter.cs
- SemanticResultKey.cs
- PrinterSettings.cs
- Compiler.cs
- LocatorGroup.cs
- UserNamePasswordValidationMode.cs
- OpenFileDialog.cs
- DivideByZeroException.cs
- ConfigXmlAttribute.cs
- URLMembershipCondition.cs
- NetworkStream.cs
- DocumentApplicationJournalEntry.cs
- SerializationObjectManager.cs
- ButtonBaseAdapter.cs
- XPathException.cs
- GridViewCommandEventArgs.cs
- FastEncoder.cs
- ScriptRef.cs
- FtpWebRequest.cs
- CrossAppDomainChannel.cs
- _ListenerRequestStream.cs
- ClientApiGenerator.cs
- CheckoutException.cs
- TcpTransportSecurity.cs
- DataGridViewRowPostPaintEventArgs.cs
- WindowsImpersonationContext.cs
- DrawingGroup.cs
- SerializationSectionGroup.cs
- Main.cs
- ContourSegment.cs
- DependentTransaction.cs
- MediaPlayer.cs
- DataServiceQuery.cs
- EqualityComparer.cs
- EntityDataSourceContainerNameConverter.cs
- NativeWindow.cs
- DeclarativeCatalogPart.cs
- ValidationResult.cs
- VsPropertyGrid.cs
- DataGridViewCellCollection.cs
- EncoderBestFitFallback.cs
- TableCell.cs
- CDSsyncETWBCLProvider.cs
- XmlDictionaryWriter.cs
- ByteKeyFrameCollection.cs
- DataServiceClientException.cs
- InputScopeAttribute.cs
- MD5.cs
- LocalizedNameDescriptionPair.cs
- ErrorHandler.cs
- StaticFileHandler.cs
- HostingEnvironment.cs
- Html32TextWriter.cs
- SafeRightsManagementSessionHandle.cs