Code:
/ Net / Net / 3.5.50727.3053 / DEVDIV / depot / DevDiv / releases / whidbey / netfxsp / 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
- DatatypeImplementation.cs
- Predicate.cs
- HttpVersion.cs
- XmlnsPrefixAttribute.cs
- ObjectConverter.cs
- BufferedGraphicsManager.cs
- MouseActionValueSerializer.cs
- TypeLoadException.cs
- XmlHierarchicalEnumerable.cs
- HyperLinkStyle.cs
- TCEAdapterGenerator.cs
- METAHEADER.cs
- ButtonBaseAdapter.cs
- FtpCachePolicyElement.cs
- CqlLexer.cs
- Stack.cs
- ApplicationGesture.cs
- CroppedBitmap.cs
- NotifyParentPropertyAttribute.cs
- DrawingContextDrawingContextWalker.cs
- RuleInfoComparer.cs
- EventPrivateKey.cs
- FaultContractAttribute.cs
- EncryptedHeaderXml.cs
- X509ChainPolicy.cs
- LocalValueEnumerator.cs
- X509Certificate2Collection.cs
- ApplicationTrust.cs
- Int32Converter.cs
- MeasureItemEvent.cs
- Symbol.cs
- NavigationProperty.cs
- FileRegion.cs
- EventLogPermissionAttribute.cs
- QuaternionIndependentAnimationStorage.cs
- Control.cs
- DefaultEvaluationContext.cs
- SchemaName.cs
- LiteralControl.cs
- IsolatedStorage.cs
- String.cs
- HWStack.cs
- ContextProperty.cs
- Vertex.cs
- UnsupportedPolicyOptionsException.cs
- WebControlToolBoxItem.cs
- MergePropertyDescriptor.cs
- PixelShader.cs
- _UriSyntax.cs
- MachineSettingsSection.cs
- StateDesigner.TransitionInfo.cs
- TaskScheduler.cs
- DecoderFallbackWithFailureFlag.cs
- DashStyle.cs
- XmlQueryType.cs
- BindMarkupExtensionSerializer.cs
- DisplayNameAttribute.cs
- SqlUDTStorage.cs
- ComponentManagerBroker.cs
- ObjectSecurity.cs
- SmiGettersStream.cs
- OracleConnection.cs
- __Error.cs
- GeneralTransform2DTo3DTo2D.cs
- SizeConverter.cs
- DefaultParameterValueAttribute.cs
- ListMarkerLine.cs
- OAVariantLib.cs
- QilReplaceVisitor.cs
- SchemaElementDecl.cs
- ToolStripScrollButton.cs
- AssemblyName.cs
- ParagraphVisual.cs
- ComPlusTypeLoader.cs
- shaperfactory.cs
- DataServiceClientException.cs
- WebPartActionVerb.cs
- ObjectToken.cs
- PageCodeDomTreeGenerator.cs
- CacheModeConverter.cs
- RegexNode.cs
- Persist.cs
- SqlAliasesReferenced.cs
- SaveWorkflowAsyncResult.cs
- BamlLocalizableResource.cs
- Completion.cs
- CacheMemory.cs
- StateBag.cs
- Geometry.cs
- Application.cs
- BooleanSwitch.cs
- QilReplaceVisitor.cs
- RequestCacheEntry.cs
- LinqToSqlWrapper.cs
- ServiceOperation.cs
- XmlQueryStaticData.cs
- BaseValidatorDesigner.cs
- ZipIOExtraFieldElement.cs
- TreeNodeBindingCollection.cs
- ReferenceConverter.cs