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
- SHA1CryptoServiceProvider.cs
- RuleElement.cs
- AttributeCollection.cs
- MemberMaps.cs
- MLangCodePageEncoding.cs
- Grant.cs
- HttpDictionary.cs
- LogRestartAreaEnumerator.cs
- CalendarBlackoutDatesCollection.cs
- DataListAutoFormat.cs
- Vars.cs
- XsdBuilder.cs
- GeneralTransform3D.cs
- WebPartVerb.cs
- SqlColumnizer.cs
- ConnectionPoolManager.cs
- TextServicesManager.cs
- Literal.cs
- StrokeNodeOperations2.cs
- cookie.cs
- Matrix3DValueSerializer.cs
- KeysConverter.cs
- SigningCredentials.cs
- Helpers.cs
- DataTemplateSelector.cs
- Utils.cs
- TableItemPattern.cs
- GridViewEditEventArgs.cs
- BlockUIContainer.cs
- SqlDuplicator.cs
- DbConnectionStringCommon.cs
- XmlNodeChangedEventManager.cs
- XmlSchemaGroupRef.cs
- MgmtConfigurationRecord.cs
- StandardBindingReliableSessionElement.cs
- ConfigurationPropertyAttribute.cs
- LayoutEngine.cs
- PropertyEntry.cs
- WebPartEditorOkVerb.cs
- Brush.cs
- DesignerActionUI.cs
- DataBoundControlHelper.cs
- BamlVersionHeader.cs
- KeyGesture.cs
- IDispatchConstantAttribute.cs
- ObjectViewQueryResultData.cs
- util.cs
- RootBuilder.cs
- TreeViewItem.cs
- DefaultValueTypeConverter.cs
- ByteStreamGeometryContext.cs
- Underline.cs
- SymLanguageVendor.cs
- FormsAuthenticationTicket.cs
- TextEditorCopyPaste.cs
- LayoutSettings.cs
- SiteMapHierarchicalDataSourceView.cs
- Message.cs
- CompatibleIComparer.cs
- Profiler.cs
- IdentityValidationException.cs
- CompareValidator.cs
- IsolatedStoragePermission.cs
- SoapDocumentServiceAttribute.cs
- ReturnEventArgs.cs
- ContextStaticAttribute.cs
- OleDbConnection.cs
- TransformValueSerializer.cs
- GridViewDeletedEventArgs.cs
- TrustDriver.cs
- Scene3D.cs
- ConnectionOrientedTransportElement.cs
- ProviderConnectionPointCollection.cs
- SystemWebCachingSectionGroup.cs
- BamlTreeNode.cs
- LayoutEvent.cs
- UiaCoreApi.cs
- MouseBinding.cs
- NamedPermissionSet.cs
- Point3DCollectionConverter.cs
- DataGridViewCellLinkedList.cs
- ErrorProvider.cs
- _NestedSingleAsyncResult.cs
- HelpProvider.cs
- TimeoutValidationAttribute.cs
- ObservableDictionary.cs
- HttpCapabilitiesEvaluator.cs
- IFlowDocumentViewer.cs
- RequestContext.cs
- _TimerThread.cs
- StoreItemCollection.Loader.cs
- UIntPtr.cs
- FixedPage.cs
- JoinSymbol.cs
- StylusPlugInCollection.cs
- _IPv4Address.cs
- XmlCompatibilityReader.cs
- SecUtil.cs
- MappingException.cs
- X509AsymmetricSecurityKey.cs