Expand description
Compiler passes (validation, optimization, etc.).
Re-exports§
pub use advanced_analysis::analyze_graph;pub use advanced_analysis::print_report;pub use advanced_analysis::quick_analyze;pub use advanced_analysis::AnalysisReport;pub use advanced_analysis::OptimizationRecommendation;pub use advanced_analysis::ParallelOpportunity;pub use advanced_analysis::RecommendationCategory;pub use contraction_opt::analyze_contraction_path;pub use contraction_opt::optimize_contractions;pub use contraction_opt::optimize_contractions_with_config;pub use contraction_opt::ContractionOptConfig;pub use contraction_opt::ContractionOptStats;pub use contraction_opt::ContractionPath;pub use contraction_opt::TensorShape;pub use cse::eliminate_common_subexpressions;pub use cse::CseResult;pub use dataflow::analyze_dataflow;pub use dataflow::analyze_dataflow_with_config;pub use dataflow::analyze_graph_dataflow;pub use dataflow::DataflowAnalysis;pub use dataflow::DataflowConfig;pub use dataflow::GraphDataflow;pub use diagnostics::diagnose_expression;pub use diagnostics::enhance_error;pub use diagnostics::Diagnostic;pub use diagnostics::DiagnosticBuilder;pub use diagnostics::DiagnosticLevel;pub use einsum_opt::optimize_einsum_graph;pub use einsum_opt::EinsumOptResult;pub use graph_opt_integration::apply_graph_optimizations;pub use graph_opt_integration::apply_pattern_optimizations;pub use graph_opt_integration::quick_optimize;pub use graph_opt_integration::recommend_optimizations;pub use graph_opt_integration::GraphOptConfig;pub use graph_opt_integration::GraphOptStats;pub use loop_fusion::estimate_fusion_benefit;pub use loop_fusion::fuse_loops;pub use loop_fusion::fuse_loops_with_config;pub use loop_fusion::LoopFusionConfig;pub use loop_fusion::LoopFusionStats;pub use metadata_propagation::attach_expr_metadata;pub use metadata_propagation::propagate_metadata;pub use metadata_propagation::MetadataBuilder;pub use metadata_propagation::MetadataCompilationResult;pub use post_compilation::post_compilation_passes;pub use post_compilation::quick_validate;pub use post_compilation::PostCompilationOptions;pub use post_compilation::PostCompilationResult;pub use reachability::analyze_dominance;pub use reachability::analyze_reachability;pub use reachability::DominanceAnalysis;pub use reachability::ReachabilityAnalysis;pub use scope_analysis::analyze_scopes;pub use scope_analysis::suggest_quantifiers;pub use scope_analysis::validate_scopes;pub use scope_analysis::ScopeAnalysisResult;pub use strategy_selection::recommend_strategy;pub use strategy_selection::ExpressionProfile;pub use strategy_selection::OptimizationGoal;pub use strategy_selection::StrategyRecommendation;pub use symbol_integration::build_signature_registry;pub use symbol_integration::export_domains;pub use symbol_integration::import_domains;pub use symbol_integration::sync_context_with_symbol_table;pub use type_checking::infer_types;pub use type_checking::TypeChecker;pub use validation::validate_arity;pub use validation::validate_expression;pub use validation::validate_expression_with_types;pub use validation::ValidationResult;
Modules§
- advanced_
analysis - Advanced graph analysis integration.
- contraction_
opt - Tensor contraction optimization pass.
- cse
- Common Subexpression Elimination (CSE) for TLExpr.
- dataflow
- Dataflow analysis for logical expressions and einsum graphs.
- diagnostics
- Enhanced error diagnostics and messaging.
- einsum_
opt - Einsum optimization passes.
- graph_
opt_ integration - Integration pass for IR-level graph optimizations.
- loop_
fusion - Loop fusion optimization pass.
- metadata_
propagation - Metadata propagation for provenance tracking and debugging.
- post_
compilation - Post-compilation validation and optimization passes.
- reachability
- Reachability and dominance analysis for einsum graphs.
- scope_
analysis - Variable scope analysis pass.
- strategy_
selection - Automatic strategy selection based on expression analysis.
- symbol_
integration - Integration with tensorlogic-adapters SymbolTable.
- type_
checking - Type checking pass using predicate signatures.
- validation
- Validation passes for TLExpr.