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
- HttpInputStream.cs
- InvalidFilterCriteriaException.cs
- UnsafeNativeMethods.cs
- userdatakeys.cs
- MailMessage.cs
- safemediahandle.cs
- ProjectedWrapper.cs
- RelOps.cs
- NotifyInputEventArgs.cs
- SystemUnicastIPAddressInformation.cs
- XmlUrlResolver.cs
- ValidatedControlConverter.cs
- StorageEntityTypeMapping.cs
- mediapermission.cs
- EdmSchemaError.cs
- SHA1Managed.cs
- Timeline.cs
- AutomationElementCollection.cs
- List.cs
- WebPartConnectionsConfigureVerb.cs
- EditCommandColumn.cs
- SchemaCollectionCompiler.cs
- RIPEMD160Managed.cs
- WriteableBitmap.cs
- Point3DConverter.cs
- EntityViewGenerator.cs
- MenuRenderer.cs
- UnsafeNetInfoNativeMethods.cs
- EmissiveMaterial.cs
- TransportDefaults.cs
- EmbossBitmapEffect.cs
- WindowsUserNameSecurityTokenAuthenticator.cs
- ContainerParagraph.cs
- TracingConnectionInitiator.cs
- ComponentRenameEvent.cs
- SrgsSemanticInterpretationTag.cs
- TypeSystemProvider.cs
- Button.cs
- ProtocolsConfiguration.cs
- Point3DAnimationBase.cs
- XmlUtil.cs
- Logging.cs
- RepeaterCommandEventArgs.cs
- DebugViewWriter.cs
- ProxyWebPart.cs
- InteropAutomationProvider.cs
- DockAndAnchorLayout.cs
- DataObjectCopyingEventArgs.cs
- WmlPhoneCallAdapter.cs
- EntityTypeEmitter.cs
- DataFormat.cs
- MetadataHelper.cs
- KeyValueConfigurationElement.cs
- LongMinMaxAggregationOperator.cs
- EventData.cs
- FontConverter.cs
- XmlDomTextWriter.cs
- SqlStatistics.cs
- IBuiltInEvidence.cs
- DetailsViewUpdatedEventArgs.cs
- PcmConverter.cs
- figurelengthconverter.cs
- TableHeaderCell.cs
- NamespaceEmitter.cs
- ContextInformation.cs
- XmlNode.cs
- ConnectionPoint.cs
- TryExpression.cs
- TextFindEngine.cs
- CodeGeneratorOptions.cs
- _LazyAsyncResult.cs
- ToolStripItemClickedEventArgs.cs
- ThreadAttributes.cs
- AgileSafeNativeMemoryHandle.cs
- ConnectionConsumerAttribute.cs
- StdRegProviderWrapper.cs
- ToolStripItemImageRenderEventArgs.cs
- FontSource.cs
- SetIterators.cs
- PeerNeighborManager.cs
- MetadataUtil.cs
- CommandTreeTypeHelper.cs
- QilUnary.cs
- EventLog.cs
- Journaling.cs
- Int32KeyFrameCollection.cs
- PauseStoryboard.cs
- ExtenderProvidedPropertyAttribute.cs
- DocumentPage.cs
- SourceFilter.cs
- MessageBodyMemberAttribute.cs
- ToolStripDropDownClosingEventArgs.cs
- formatter.cs
- CodeBlockBuilder.cs
- NoResizeSelectionBorderGlyph.cs
- ExpressionUtilities.cs
- TextParaClient.cs
- TabControlCancelEvent.cs
- MimeTypeMapper.cs
- CanonicalXml.cs