Code:
/ Dotnetfx_Win7_3.5.1 / Dotnetfx_Win7_3.5.1 / 3.5.1 / DEVDIV / depot / DevDiv / releases / whidbey / NetFXspW7 / 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
- HostingEnvironment.cs
- CharUnicodeInfo.cs
- CapabilitiesRule.cs
- BackStopAuthenticationModule.cs
- XmlDataCollection.cs
- XsdDuration.cs
- SmiTypedGetterSetter.cs
- CurrentTimeZone.cs
- TypeDescriptionProvider.cs
- HttpBindingExtension.cs
- DaylightTime.cs
- ItemCollection.cs
- ConnectionStringsExpressionBuilder.cs
- FrameworkReadOnlyPropertyMetadata.cs
- DataGridSortCommandEventArgs.cs
- ProgressPage.cs
- ToolboxBitmapAttribute.cs
- RsaSecurityKey.cs
- ComponentDispatcherThread.cs
- TableProviderWrapper.cs
- PageBreakRecord.cs
- FlowDocumentPage.cs
- GraphicsContainer.cs
- CodeTypeReferenceCollection.cs
- LoadWorkflowByKeyAsyncResult.cs
- X509Utils.cs
- MessageBox.cs
- HorizontalAlignConverter.cs
- Pen.cs
- TextBoxView.cs
- DesignerOptionService.cs
- ObjectViewFactory.cs
- WindowsGraphics.cs
- HttpHeaderCollection.cs
- QueryableDataSourceView.cs
- FileChangesMonitor.cs
- ActivityExecutorOperation.cs
- XmlSchemaNotation.cs
- QueryableFilterRepeater.cs
- MachineKeySection.cs
- ProfessionalColors.cs
- XPathParser.cs
- CertificateManager.cs
- Wizard.cs
- AnyReturnReader.cs
- XmlUtf8RawTextWriter.cs
- CodeCastExpression.cs
- TcpTransportElement.cs
- StrokeCollectionDefaultValueFactory.cs
- ColumnBinding.cs
- Internal.cs
- Rfc2898DeriveBytes.cs
- PeerEndPoint.cs
- ConfigurationManagerHelper.cs
- DataGridViewImageColumn.cs
- ClockGroup.cs
- XmlValidatingReaderImpl.cs
- InkCanvasFeedbackAdorner.cs
- ACE.cs
- LicenseProviderAttribute.cs
- DiscoveryDocumentReference.cs
- ConstraintConverter.cs
- Point4D.cs
- FacetValueContainer.cs
- AddInAdapter.cs
- ClientSponsor.cs
- SqlTransaction.cs
- ReadOnlyDataSourceView.cs
- CompilerHelpers.cs
- ImportStoreException.cs
- Mappings.cs
- CapabilitiesState.cs
- NativeMethods.cs
- _Events.cs
- PropertyIdentifier.cs
- RuleSetBrowserDialog.cs
- XpsFontSerializationService.cs
- CfgSemanticTag.cs
- ReadOnlyAttribute.cs
- TrackingExtract.cs
- RightsManagementInformation.cs
- LateBoundBitmapDecoder.cs
- ValuePattern.cs
- BooleanToVisibilityConverter.cs
- ValidationErrorEventArgs.cs
- ThemeDirectoryCompiler.cs
- XmlComment.cs
- PolyLineSegment.cs
- AutomationProperty.cs
- COMException.cs
- XPathMessageFilter.cs
- SafeHandles.cs
- Column.cs
- GroupBoxAutomationPeer.cs
- MenuItem.cs
- SmuggledIUnknown.cs
- OleDbEnumerator.cs
- SingleConverter.cs
- RotationValidation.cs
- IteratorDescriptor.cs