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
- RemoteWebConfigurationHost.cs
- WindowsListViewGroupHelper.cs
- TableRowCollection.cs
- NetNamedPipeBinding.cs
- DataListCommandEventArgs.cs
- DataGridViewCellPaintingEventArgs.cs
- OracleRowUpdatedEventArgs.cs
- GatewayDefinition.cs
- WebBrowserDesigner.cs
- SqlRewriteScalarSubqueries.cs
- SqlVisitor.cs
- ValidationErrorCollection.cs
- MimePart.cs
- Setter.cs
- OSFeature.cs
- HttpWebRequest.cs
- ReadOnlyDictionary.cs
- FloatUtil.cs
- FormsAuthenticationModule.cs
- DataSysAttribute.cs
- ModuleBuilderData.cs
- CollectionsUtil.cs
- Transform3DCollection.cs
- _ConnectStream.cs
- CodeComment.cs
- WsdlParser.cs
- ServiceModelReg.cs
- ToolStripDropDownButton.cs
- FormView.cs
- User.cs
- SizeConverter.cs
- PlatformCulture.cs
- EntitySqlQueryBuilder.cs
- CatchBlock.cs
- ColorIndependentAnimationStorage.cs
- AsnEncodedData.cs
- DataBindingList.cs
- CharacterMetricsDictionary.cs
- EncryptedXml.cs
- ProfileSettingsCollection.cs
- UseLicense.cs
- CollectionViewGroupRoot.cs
- CapacityStreamGeometryContext.cs
- JsonByteArrayDataContract.cs
- RSAPKCS1KeyExchangeDeformatter.cs
- CallTemplateAction.cs
- UInt64Converter.cs
- CanExecuteRoutedEventArgs.cs
- XmlSchemaIdentityConstraint.cs
- SqlDependencyListener.cs
- SafeNativeMethods.cs
- PaginationProgressEventArgs.cs
- SmtpAuthenticationManager.cs
- SmtpSection.cs
- TextContainerHelper.cs
- TemplatedMailWebEventProvider.cs
- CacheAxisQuery.cs
- hresults.cs
- DateTimeStorage.cs
- SqlParameterCollection.cs
- Metafile.cs
- TextParagraphCache.cs
- EmptyCollection.cs
- SqlCacheDependencyDatabaseCollection.cs
- StyleCollection.cs
- SqlUserDefinedAggregateAttribute.cs
- TreeNodeBindingCollection.cs
- ConnectorMovedEventArgs.cs
- CustomExpressionEventArgs.cs
- SelfIssuedAuthRSACryptoProvider.cs
- AvtEvent.cs
- DynamicPropertyHolder.cs
- TTSEngineProxy.cs
- DataGridViewRowCollection.cs
- SerializationException.cs
- PathHelper.cs
- ControlSerializer.cs
- Size3D.cs
- KeyTime.cs
- _PooledStream.cs
- BuildManager.cs
- MimeMapping.cs
- CoreSwitches.cs
- IDataContractSurrogate.cs
- PersistenceTypeAttribute.cs
- OverflowException.cs
- updatecommandorderer.cs
- ValidationErrorEventArgs.cs
- Exceptions.cs
- DataGridCell.cs
- AppDomainFactory.cs
- rsa.cs
- SafeTimerHandle.cs
- EraserBehavior.cs
- MetadataPropertyvalue.cs
- XhtmlBasicPanelAdapter.cs
- EndpointAddressMessageFilterTable.cs
- AsyncOperationLifetimeManager.cs
- MediaContextNotificationWindow.cs
- XmlILIndex.cs