BE-227: HashQL: Implement call graph analysis for MIR

[indietyp]

Add call graph analysis for MIR

🌟 What is the purpose of this PR?

This PR adds a call graph analysis pass for MIR that tracks function call relationships between definitions. The call graph can be used for call site enumeration, reachability analysis, and optimization decisions.

🔍 What does this change?

• Adds CallGraph to represent function call relationships between DefIds
• Implements CallGraphAnalysis pass to populate the graph from MIR bodies
• Adds CallKind enum to distinguish between direct function calls, filter functions, and other references
• Adds id field to Body struct to track the definition ID of each body
• Implements Display for Location and GraphReadLocation to improve debugging
• Includes comprehensive tests with snapshots to verify call graph construction

Pre-Merge Checklist 🚀

🚢 Has this modified a publishable library?

This PR:

• does not modify any publishable blocks or libraries, or modifications do not need publishing

📜 Does this require a change to the docs?

The changes in this PR:

• are internal and do not require a docs change

🕸️ Does this require a change to the Turbo Graph?

The changes in this PR:

• do not affect the execution graph

🛡 What tests cover this?

• Comprehensive unit tests for various call patterns:
  • Direct function calls
  • Function arguments containing DefIds
  • Multiple calls from the same body
  • Call chains across multiple bodies
  • Recursive calls
  • Indirect calls via locals

[cursor]

PR Summary

Introduces inter-procedural MIR call graph construction and supporting infrastructure.

• New CallGraph, CallKind (Apply/Filter/Opaque), and CallGraphAnalysis pass to record DefId→DefId edges during MIR visitation
• Body now carries id: DefId; reify assigns it via push_with, and visitors skip visiting this field
• Display impls for Location and GraphReadLocation improve readable edge annotations (e.g., bb0:1)
• Public re-exports in pass/analysis/mod.rs; builder sets placeholder id for constructed bodies
• Comprehensive snapshot tests covering direct/indirect calls, arguments with DefIds, chains, recursion

^{Written by Cursor Bugbot for commit 3fcfaaf. This will update automatically on new commits. Configure here.}

[indietyp]

• BE-273: HashQL: Profile and benchmark MIR interpreter #8251
• BE-272: HashQL: Add numeric addition and subtraction operators to MIR #8250
• BE-257: HashQL: Implement MIR interpreter with runtime value representation #8245
• BE-271: HashQL: Implement PostInline pass #8240
• BE-269: HashQL: Move PreInline out into Canonicalization pass #8239
• BE-268: HashQL: Rename PreInlining to PreInline for consistency #8238
• BE-270: HashQL: Optimize empty tuples to unit constants in MIR #8237
• BE-197: Implement MIR inline pass for HashQL #8236
• BE-267: Use bump scopes instead of full resets across transformation passes #8234
• BE-266: HashQL: Implement PreInlining pass for MIR optimization #8233
• BE-265: HashQL: Make CopyPropagation aware of local re-assignments #8231
• BE-264: HashQL: Rename SROA to ForwardSubstitution for better semantic clarity #8230
• BE-263: HashQL: add body! macro for declarative MIR construction in tests #8229
• BE-261: HashQL: Implement Administrative Reduction pass for MIR #8227
• BE-262: HashQL: Do not intern empty slices #8223
• BE-260: HashQL: Switch to bump allocator with scoping support #8218
• BE-259: HashQL: Add benchmarks for type system operations #8216
• BE-227: HashQL: Implement call graph analysis for MIR #8214 👈 (View in Graphite)
• BE-258: HashQL: Add Changed enum to track MIR transformation pass modifications #8210
• BE-255: HashQL: Implement Copy Propagation (CP) pass for MIR #8207
• BE-231: HashQL: Add InstSimplify pass for MIR instruction simplification and constant folding #8206
• BE-254: Add CodSpeed benchmarking for HashQL MIR transformation passes #8204
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

[augmentcode]

🤖 Augment PR Summary

Summary: Adds an inter-procedural call graph analysis pass for HashQL MIR to track cross-definition references and call sites.

Changes:

• Introduce CallGraph (backed by LinkedGraph) keyed by DefId nodes and CallKind-annotated edges.
• Add CallGraphAnalysis visitor pass that walks MIR bodies and records Apply, graph-read Filter, and Opaque references.
• Extend Body with id: DefId and plumb assignment through lowering via push_with.
• Implement Display for Location and GraphReadLocation to improve debugging / snapshots.
• Expose call graph analysis from pass::analysis.
• Add snapshot-based unit tests covering direct calls, call chains, recursion, argument references, and indirect calls via locals.

Technical Notes: Direct call edges are only emitted when the callee is syntactically a DefId (indirect calls via locals are treated as Opaque until later lowering/SROA removes most indirections).

_{🤖 Was this summary useful? React with 👍 or 👎}

[augmentcode]

Review completed. 1 suggestions posted.

Comment augment review to trigger a new review at any time.

[codecov]

Codecov Report

❌ Patch coverage is 91.42157% with 35 lines in your changes missing coverage. Please review.
✅ Project coverage is 59.37%. Comparing base (86f263f) to head (c70394b).
⚠️ Report is 2 commits behind head on main.

Files with missing lines	Patch %	Lines
...ocal/hashql/mir/src/pass/analysis/callgraph/mod.rs	73.91%	18 Missing ⚠️
libs/@local/hashql/mir/src/pass/mod.rs	23.07%	10 Missing ⚠️
...ibs/@local/hashql/mir/src/body/terminator/graph.rs	0.00%	6 Missing ⚠️
libs/@local/hashql/mir/src/visit/mut.rs	50.00%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #8214      +/-   ##
==========================================
+ Coverage   59.26%   59.37%   +0.10%     
==========================================
  Files        1191     1195       +4     
  Lines      113436   113796     +360     
  Branches     4982     4986       +4     
==========================================
+ Hits        67232    67570     +338     
- Misses      45428    45450      +22     
  Partials      776      776              

Flag	Coverage Δ
rust.hashql-compiletest	46.65% <ø> (ø)
rust.hashql-mir	88.51% <91.42%> (+0.21%)	⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

[codspeed-hq]

CodSpeed Performance Report

Merging this PR will not alter performance

_{Comparing bm/be-227-hashql-implement-call-graph (3fcfaaf) with main (abd5ba1)¹}

Summary

✅ 14 untouched benchmarks
🗄️ 3 archived benchmarks run²

Footnotes

1. No successful run was found on main (3813e7e) during the generation of this report, so abd5ba1 was used instead as the comparison base. There might be some changes unrelated to this pull request in this report. ↩

2. 3 benchmarks were run, but are now archived. If they were deleted in another branch, consider rebasing to remove them from the report. Instead if they were added back, click here to restore them. ↩

[vercel]

The latest updates on your projects. Learn more about Vercel for GitHub.

2 Skipped Deployments

Project	Deployment	Review	Updated (UTC)
ds-theme	Ignored	Preview	Jan 16, 2026 10:39am
hashdotdesign	Ignored	Preview	Jan 16, 2026 10:39am

[indietyp]

Merge activity

• Jan 16, 12:45 PM UTC: A user started a stack merge that includes this pull request via Graphite.