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
- Grant.cs
- ReachSerializer.cs
- ClientSettingsSection.cs
- HttpRuntimeSection.cs
- FileReservationCollection.cs
- HighlightVisual.cs
- ContainerUIElement3D.cs
- OracleCommandSet.cs
- CodeSnippetCompileUnit.cs
- RepeatBehaviorConverter.cs
- XmlCollation.cs
- DPAPIProtectedConfigurationProvider.cs
- BindingListCollectionView.cs
- RadioButton.cs
- DocumentPaginator.cs
- DataServiceOperationContext.cs
- XmlTextReader.cs
- TypeDescriptionProvider.cs
- PerformanceCounterManager.cs
- ImageFormatConverter.cs
- ResourcesBuildProvider.cs
- WebDescriptionAttribute.cs
- EditorZoneDesigner.cs
- StaticSiteMapProvider.cs
- SocketPermission.cs
- DataPagerField.cs
- SignatureResourcePool.cs
- ResourcesBuildProvider.cs
- ArrayElementGridEntry.cs
- PermissionSetEnumerator.cs
- WebPartConnectionsCancelEventArgs.cs
- PointUtil.cs
- DataObject.cs
- PassportPrincipal.cs
- SafeRegistryHandle.cs
- ElementProxy.cs
- ElementAction.cs
- FolderBrowserDialog.cs
- TerminateSequenceResponse.cs
- OutputCacheProfileCollection.cs
- PointAnimationBase.cs
- XmlSerializerOperationFormatter.cs
- ConfigXmlDocument.cs
- RestrictedTransactionalPackage.cs
- MetadataItem.cs
- DataGridViewCell.cs
- IndentTextWriter.cs
- xmlfixedPageInfo.cs
- SerializableAttribute.cs
- dsa.cs
- WindowsStartMenu.cs
- Help.cs
- EventProviderClassic.cs
- TextSegment.cs
- TrackingStringDictionary.cs
- MarkupCompiler.cs
- TdsRecordBufferSetter.cs
- AutomationTextAttribute.cs
- DataViewSettingCollection.cs
- HttpGetProtocolReflector.cs
- AsyncCompletedEventArgs.cs
- HttpClientProtocol.cs
- TdsValueSetter.cs
- TextBlock.cs
- PeerService.cs
- BoundColumn.cs
- ComplexBindingPropertiesAttribute.cs
- DesigntimeLicenseContextSerializer.cs
- CriticalHandle.cs
- Graph.cs
- DataBindingCollectionConverter.cs
- selecteditemcollection.cs
- BinaryWriter.cs
- ListViewItemSelectionChangedEvent.cs
- InvokeBinder.cs
- TracedNativeMethods.cs
- WebScriptServiceHostFactory.cs
- RequestQueryProcessor.cs
- ListControlBuilder.cs
- PixelShader.cs
- ColumnCollection.cs
- WorkflowElementDialog.cs
- FigureHelper.cs
- RangeBaseAutomationPeer.cs
- HebrewCalendar.cs
- FlagsAttribute.cs
- Compiler.cs
- SessionStateSection.cs
- InstanceNotReadyException.cs
- ValidationErrorInfo.cs
- Marshal.cs
- ObjectCloneHelper.cs
- Int16AnimationUsingKeyFrames.cs
- ShapeTypeface.cs
- RadioButtonRenderer.cs
- WebPartConnectionsCancelVerb.cs
- ContentValidator.cs
- LinkConverter.cs
- ListBoxItem.cs
- IIS7UserPrincipal.cs