BE-231: HashQL: Add InstSimplify pass for MIR instruction simplification and constant folding #8206

indietyp · 2025-12-21T18:33:33Z

🌟 What is the purpose of this PR?

This PR adds a new MIR transformation pass called InstSimplify that performs algebraic simplifications and constant folding on MIR instructions. The pass optimizes code by replacing complex expressions with simpler equivalents when operands are constants or satisfy algebraic identities.

🔍 What does this change?

Adds a new InstSimplify pass that performs three categories of simplifications:
- Constant folding (e.g., const 2 + const 3 → const 5)
- Algebraic identities (e.g., x && true → x, x == true → x)
- Identical operand patterns (e.g., x & x → x, x == x → true)
Implements block parameter propagation to enable constant propagation across block boundaries
Adds comprehensive test suite with unit tests and integration tests
Integrates the pass into the MIR compilation pipeline
Adds support for TryCloneIn for IdVec to enable efficient cloning

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?

Unit tests for each simplification pattern
Integration tests for the pass as a whole
Tests for block parameter propagation and constant forwarding

cursor · 2025-12-21T18:33:39Z

PR Summary

Adds a new optimization stage and integrates it across tooling.

New transform::InstSimplify pass: constant folding, boolean/bitwise identities, identical-operand simplifications; propagates constants via block params
Integrated into compile pipeline: CFG -> SROA -> InstSimplify -> DSE; mir_pass_transform_dse now runs via InstSimplify; new compiletest suite registered
Benchmarks updated: new inst_simplify group and included in pipeline runs
Core/MIR tweaks: IdVec implements TryCloneIn; BasicBlocks::Predecessors iterator now Clone; Place::type_id signature simplified; TerminatorKind::is_effectful; DBE now invalidates CFG on truncate
Extensive tests: unit/UI tests for InstSimplify patterns and propagation; adjusted DSE outputs (e.g., folded constants)

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

indietyp · 2025-12-21T18:33:52Z

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

codecov · 2025-12-21T18:38:50Z

Codecov Report

❌ Patch coverage is 81.86620% with 103 lines in your changes missing coverage. Please review.
✅ Project coverage is 59.15%. Comparing base (1892655) to head (ee58159).
⚠️ Report is 1 commits behind head on main.

Files with missing lines	Patch %	Lines
...hashql/mir/src/pass/transform/inst_simplify/mod.rs	64.20%	81 Missing and 16 partials ⚠️
libs/@local/hashql/core/src/id/vec.rs	0.00%	6 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #8206      +/-   ##
==========================================
+ Coverage   59.01%   59.15%   +0.13%     
==========================================
  Files        1187     1189       +2     
  Lines      112497   113061     +564     
  Branches     4939     4972      +33     
==========================================
+ Hits        66394    66878     +484     
- Misses      45345    45409      +64     
- Partials      758      774      +16

Flag	Coverage Δ
apps.hash-ai-worker-ts	`1.40% <ø> (ø)`
apps.hash-api	`0.00% <ø> (ø)`
local.hash-graph-sdk	`10.88% <ø> (ø)`
local.hash-isomorphic-utils	`0.00% <ø> (ø)`
rust.hash-graph-api	`2.89% <ø> (ø)`
rust.hashql-ast	`87.25% <ø> (ø)`
rust.hashql-compiletest	`46.65% <ø> (ø)`
rust.hashql-core	`82.30% <0.00%> (-0.03%)`	⬇️
rust.hashql-eval	`68.54% <ø> (ø)`
rust.hashql-hir	`89.10% <ø> (ø)`
rust.hashql-mir	`88.09% <82.74%> (-0.10%)`	⬇️
rust.hashql-syntax-jexpr	`94.05% <ø> (ø)`

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 · 2025-12-21T18:39:52Z

CodSpeed Performance Report

Merging this PR will degrade performance by 10.61%

_{Comparing bm/be-231-hashql-peephole-optimization (ee58159) with main (1892655)}

Summary

❌ 2 (👁 2) regressed benchmarks
✅ 8 untouched benchmarks
🆕 4 new benchmarks
🗄️ 3 archived benchmarks run¹

Performance Changes

	Benchmark	`BASE`	`HEAD`	Efficiency
👁	`diamond`	44.1 µs	49.4 µs	-10.61%
🆕	`linear`	N/A	9.6 µs	N/A
🆕	`diamond`	N/A	11.5 µs	N/A
👁	`complex`	60.4 µs	67.4 µs	-10.37%
🆕	`complex`	N/A	17.3 µs	N/A
🆕	`foldable`	N/A	9 µs	N/A

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 · 2026-01-15T13:31:46Z

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 15, 2026 1:32pm
hashdotdesign	Ignored	Preview	Jan 15, 2026 1:32pm

github-actions · 2026-01-15T14:41:55Z

Benchmark results

@rust/hash-graph-benches – Integrations

policy_resolution_large

Function	Value	Mean	Flame graphs
resolve_policies_for_actor	user: empty, selectivity: high, policies: 2002	$$24.4 \mathrm{ms} \pm 126 \mathrm{μs}\left({\color{lightgreen}-36.311 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: empty, selectivity: low, policies: 1	$$2.69 \mathrm{ms} \pm 12.9 \mathrm{μs}\left({\color{gray}-2.425 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: empty, selectivity: medium, policies: 1001	$$11.4 \mathrm{ms} \pm 65.8 \mathrm{μs}\left({\color{gray}1.32 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: seeded, selectivity: high, policies: 3314	$$37.5 \mathrm{ms} \pm 305 \mathrm{μs}\left({\color{gray}0.874 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: seeded, selectivity: low, policies: 1	$$11.4 \mathrm{ms} \pm 67.6 \mathrm{μs}\left({\color{gray}0.522 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: seeded, selectivity: medium, policies: 1526	$$20.6 \mathrm{ms} \pm 130 \mathrm{μs}\left({\color{gray}0.643 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: system, selectivity: high, policies: 2078	$$25.3 \mathrm{ms} \pm 134 \mathrm{μs}\left({\color{lightgreen}-39.055 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: system, selectivity: low, policies: 1	$$3.04 \mathrm{ms} \pm 14.6 \mathrm{μs}\left({\color{lightgreen}-84.304 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: system, selectivity: medium, policies: 1033	$$10.4 \mathrm{ms} \pm 65.6 \mathrm{μs}\left({\color{lightgreen}-64.658 \mathrm{\%}}\right) $$	Flame Graph

policy_resolution_medium

Function	Value	Mean	Flame graphs
resolve_policies_for_actor	user: empty, selectivity: high, policies: 102	$$3.05 \mathrm{ms} \pm 22.8 \mathrm{μs}\left({\color{gray}0.255 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: empty, selectivity: low, policies: 1	$$2.34 \mathrm{ms} \pm 14.2 \mathrm{μs}\left({\color{gray}1.65 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: empty, selectivity: medium, policies: 51	$$2.62 \mathrm{ms} \pm 12.0 \mathrm{μs}\left({\color{gray}0.490 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: seeded, selectivity: high, policies: 269	$$4.30 \mathrm{ms} \pm 31.4 \mathrm{μs}\left({\color{gray}0.936 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: seeded, selectivity: low, policies: 1	$$2.84 \mathrm{ms} \pm 18.1 \mathrm{μs}\left({\color{gray}1.41 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: seeded, selectivity: medium, policies: 107	$$3.28 \mathrm{ms} \pm 15.4 \mathrm{μs}\left({\color{gray}-0.669 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: system, selectivity: high, policies: 133	$$3.61 \mathrm{ms} \pm 17.9 \mathrm{μs}\left({\color{gray}4.61 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: system, selectivity: low, policies: 1	$$2.73 \mathrm{ms} \pm 12.7 \mathrm{μs}\left({\color{gray}1.29 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: system, selectivity: medium, policies: 63	$$3.19 \mathrm{ms} \pm 16.6 \mathrm{μs}\left({\color{gray}-2.067 \mathrm{\%}}\right) $$	Flame Graph

policy_resolution_none

Function	Value	Mean	Flame graphs
resolve_policies_for_actor	user: empty, selectivity: high, policies: 2	$$2.05 \mathrm{ms} \pm 12.0 \mathrm{μs}\left({\color{red}5.73 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: empty, selectivity: low, policies: 1	$$1.96 \mathrm{ms} \pm 8.07 \mathrm{μs}\left({\color{gray}3.14 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: empty, selectivity: medium, policies: 1	$$2.00 \mathrm{ms} \pm 8.62 \mathrm{μs}\left({\color{gray}0.999 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: system, selectivity: high, policies: 8	$$2.27 \mathrm{ms} \pm 10.1 \mathrm{μs}\left({\color{red}5.75 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: system, selectivity: low, policies: 1	$$2.10 \mathrm{ms} \pm 9.08 \mathrm{μs}\left({\color{gray}1.49 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: system, selectivity: medium, policies: 3	$$2.27 \mathrm{ms} \pm 11.7 \mathrm{μs}\left({\color{gray}2.63 \mathrm{\%}}\right) $$	Flame Graph

policy_resolution_small

Function	Value	Mean	Flame graphs
resolve_policies_for_actor	user: empty, selectivity: high, policies: 52	$$2.39 \mathrm{ms} \pm 13.0 \mathrm{μs}\left({\color{gray}4.33 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: empty, selectivity: low, policies: 1	$$2.10 \mathrm{ms} \pm 10.7 \mathrm{μs}\left({\color{red}6.22 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: empty, selectivity: medium, policies: 25	$$2.24 \mathrm{ms} \pm 8.73 \mathrm{μs}\left({\color{red}6.55 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: seeded, selectivity: high, policies: 94	$$2.67 \mathrm{ms} \pm 15.0 \mathrm{μs}\left({\color{red}5.73 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: seeded, selectivity: low, policies: 1	$$2.32 \mathrm{ms} \pm 13.4 \mathrm{μs}\left({\color{red}7.29 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: seeded, selectivity: medium, policies: 26	$$2.49 \mathrm{ms} \pm 14.5 \mathrm{μs}\left({\color{red}6.55 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: system, selectivity: high, policies: 66	$$2.57 \mathrm{ms} \pm 13.7 \mathrm{μs}\left({\color{gray}3.91 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: system, selectivity: low, policies: 1	$$2.27 \mathrm{ms} \pm 9.75 \mathrm{μs}\left({\color{red}5.39 \mathrm{\%}}\right) $$	Flame Graph
resolve_policies_for_actor	user: system, selectivity: medium, policies: 29	$$2.47 \mathrm{ms} \pm 14.4 \mathrm{μs}\left({\color{red}6.20 \mathrm{\%}}\right) $$	Flame Graph

read_scaling_complete

Function	Value	Mean	Flame graphs
entity_by_id;one_depth	1 entities	$$33.4 \mathrm{ms} \pm 127 \mathrm{μs}\left({\color{gray}0.786 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id;one_depth	10 entities	$$72.2 \mathrm{ms} \pm 300 \mathrm{μs}\left({\color{gray}1.02 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id;one_depth	25 entities	$$37.6 \mathrm{ms} \pm 174 \mathrm{μs}\left({\color{gray}3.68 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id;one_depth	5 entities	$$41.3 \mathrm{ms} \pm 183 \mathrm{μs}\left({\color{gray}2.56 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id;one_depth	50 entities	$$46.7 \mathrm{ms} \pm 162 \mathrm{μs}\left({\color{gray}-0.730 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id;two_depth	1 entities	$$35.7 \mathrm{ms} \pm 175 \mathrm{μs}\left({\color{gray}3.86 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id;two_depth	10 entities	$$416 \mathrm{ms} \pm 946 \mathrm{μs}\left({\color{gray}-0.442 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id;two_depth	25 entities	$$83.5 \mathrm{ms} \pm 400 \mathrm{μs}\left({\color{gray}1.61 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id;two_depth	5 entities	$$85.5 \mathrm{ms} \pm 321 \mathrm{μs}\left({\color{gray}1.97 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id;two_depth	50 entities	$$276 \mathrm{ms} \pm 643 \mathrm{μs}\left({\color{red}11.5 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id;zero_depth	1 entities	$$12.2 \mathrm{ms} \pm 37.0 \mathrm{μs}\left({\color{gray}-2.435 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id;zero_depth	10 entities	$$12.9 \mathrm{ms} \pm 59.0 \mathrm{μs}\left({\color{gray}2.83 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id;zero_depth	25 entities	$$13.0 \mathrm{ms} \pm 64.6 \mathrm{μs}\left({\color{gray}3.88 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id;zero_depth	5 entities	$$12.6 \mathrm{ms} \pm 59.7 \mathrm{μs}\left({\color{gray}0.579 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id;zero_depth	50 entities	$$15.8 \mathrm{ms} \pm 72.0 \mathrm{μs}\left({\color{red}5.39 \mathrm{\%}}\right) $$	Flame Graph

read_scaling_linkless

Function	Value	Mean	Flame graphs
entity_by_id	1 entities	$$12.4 \mathrm{ms} \pm 41.1 \mathrm{μs}\left({\color{gray}1.99 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id	10 entities	$$12.8 \mathrm{ms} \pm 69.9 \mathrm{μs}\left({\color{gray}4.85 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id	100 entities	$$12.6 \mathrm{ms} \pm 53.8 \mathrm{μs}\left({\color{gray}3.55 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id	1000 entities	$$13.4 \mathrm{ms} \pm 61.6 \mathrm{μs}\left({\color{gray}1.92 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id	10000 entities	$$20.5 \mathrm{ms} \pm 165 \mathrm{μs}\left({\color{gray}-0.838 \mathrm{\%}}\right) $$	Flame Graph

representative_read_entity

Function	Value	Mean	Flame graphs
entity_by_id	entity type ID: `https://blockprotocol.org/@alice/types/entity-type/block/v/1`	$$27.8 \mathrm{ms} \pm 283 \mathrm{μs}\left({\color{gray}2.60 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id	entity type ID: `https://blockprotocol.org/@alice/types/entity-type/book/v/1`	$$29.1 \mathrm{ms} \pm 306 \mathrm{μs}\left({\color{red}6.77 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id	entity type ID: `https://blockprotocol.org/@alice/types/entity-type/building/v/1`	$$26.4 \mathrm{ms} \pm 260 \mathrm{μs}\left({\color{gray}-1.917 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id	entity type ID: `https://blockprotocol.org/@alice/types/entity-type/organization/v/1`	$$27.7 \mathrm{ms} \pm 310 \mathrm{μs}\left({\color{gray}4.90 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id	entity type ID: `https://blockprotocol.org/@alice/types/entity-type/page/v/2`	$$27.3 \mathrm{ms} \pm 264 \mathrm{μs}\left({\color{gray}-1.419 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id	entity type ID: `https://blockprotocol.org/@alice/types/entity-type/person/v/1`	$$27.7 \mathrm{ms} \pm 311 \mathrm{μs}\left({\color{gray}0.225 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id	entity type ID: `https://blockprotocol.org/@alice/types/entity-type/playlist/v/1`	$$26.5 \mathrm{ms} \pm 241 \mathrm{μs}\left({\color{gray}-2.124 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id	entity type ID: `https://blockprotocol.org/@alice/types/entity-type/song/v/1`	$$26.9 \mathrm{ms} \pm 265 \mathrm{μs}\left({\color{gray}-3.060 \mathrm{\%}}\right) $$	Flame Graph
entity_by_id	entity type ID: `https://blockprotocol.org/@alice/types/entity-type/uk-address/v/1`	$$26.9 \mathrm{ms} \pm 314 \mathrm{μs}\left({\color{lightgreen}-5.298 \mathrm{\%}}\right) $$	Flame Graph

representative_read_entity_type

Function	Value	Mean	Flame graphs
get_entity_type_by_id	Account ID: `bf5a9ef5-dc3b-43cf-a291-6210c0321eba`	$$6.62 \mathrm{ms} \pm 31.2 \mathrm{μs}\left({\color{gray}0.812 \mathrm{\%}}\right) $$	Flame Graph

representative_read_multiple_entities

Function	Value	Mean	Flame graphs
entity_by_property	traversal_paths=0	0	$$44.3 \mathrm{ms} \pm 228 \mathrm{μs}\left({\color{gray}4.90 \mathrm{\%}}\right) $$
entity_by_property	traversal_paths=255	1,resolve_depths=inherit:1;values:255;properties:255;links:127;link_dests:126;type:true	$$82.9 \mathrm{ms} \pm 384 \mathrm{μs}\left({\color{gray}-0.617 \mathrm{\%}}\right) $$
entity_by_property	traversal_paths=2	1,resolve_depths=inherit:0;values:0;properties:0;links:0;link_dests:0;type:false	$$49.4 \mathrm{ms} \pm 244 \mathrm{μs}\left({\color{gray}3.01 \mathrm{\%}}\right) $$
entity_by_property	traversal_paths=2	1,resolve_depths=inherit:0;values:0;properties:0;links:1;link_dests:0;type:true	$$56.2 \mathrm{ms} \pm 369 \mathrm{μs}\left({\color{gray}1.86 \mathrm{\%}}\right) $$
entity_by_property	traversal_paths=2	1,resolve_depths=inherit:0;values:0;properties:2;links:1;link_dests:0;type:true	$$62.9 \mathrm{ms} \pm 285 \mathrm{μs}\left({\color{gray}1.88 \mathrm{\%}}\right) $$
entity_by_property	traversal_paths=2	1,resolve_depths=inherit:0;values:2;properties:2;links:1;link_dests:0;type:true	$$67.3 \mathrm{ms} \pm 326 \mathrm{μs}\left({\color{gray}0.369 \mathrm{\%}}\right) $$
link_by_source_by_property	traversal_paths=0	0	$$46.6 \mathrm{ms} \pm 219 \mathrm{μs}\left({\color{gray}0.333 \mathrm{\%}}\right) $$
link_by_source_by_property	traversal_paths=255	1,resolve_depths=inherit:1;values:255;properties:255;links:127;link_dests:126;type:true	$$69.0 \mathrm{ms} \pm 326 \mathrm{μs}\left({\color{gray}0.088 \mathrm{\%}}\right) $$
link_by_source_by_property	traversal_paths=2	1,resolve_depths=inherit:0;values:0;properties:0;links:0;link_dests:0;type:false	$$52.2 \mathrm{ms} \pm 342 \mathrm{μs}\left({\color{gray}0.522 \mathrm{\%}}\right) $$
link_by_source_by_property	traversal_paths=2	1,resolve_depths=inherit:0;values:0;properties:0;links:1;link_dests:0;type:true	$$58.4 \mathrm{ms} \pm 288 \mathrm{μs}\left({\color{gray}0.070 \mathrm{\%}}\right) $$
link_by_source_by_property	traversal_paths=2	1,resolve_depths=inherit:0;values:0;properties:2;links:1;link_dests:0;type:true	$$60.5 \mathrm{ms} \pm 363 \mathrm{μs}\left({\color{gray}1.27 \mathrm{\%}}\right) $$
link_by_source_by_property	traversal_paths=2	1,resolve_depths=inherit:0;values:2;properties:2;links:1;link_dests:0;type:true	$$60.9 \mathrm{ms} \pm 303 \mathrm{μs}\left({\color{gray}1.37 \mathrm{\%}}\right) $$

scenarios

Function	Value	Mean	Flame graphs
full_test	query-limited	$$119 \mathrm{ms} \pm 366 \mathrm{μs}\left({\color{gray}-3.923 \mathrm{\%}}\right) $$	Flame Graph
full_test	query-unlimited	$$114 \mathrm{ms} \pm 459 \mathrm{μs}\left({\color{lightgreen}-5.754 \mathrm{\%}}\right) $$	Flame Graph
linked_queries	query-limited	$$35.9 \mathrm{ms} \pm 181 \mathrm{μs}\left({\color{gray}0.995 \mathrm{\%}}\right) $$	Flame Graph
linked_queries	query-unlimited	$$508 \mathrm{ms} \pm 831 \mathrm{μs}\left({\color{gray}-2.951 \mathrm{\%}}\right) $$	Flame Graph

indietyp added 11 commits December 18, 2025 16:17

feat: create file

03362e1

fix: doctests

c243944

chore: reorder

5e20ea6

feat: checkpoint

c47f824

fix: run in reverse postorder

7861120

feat: place simplify

ab2ae6a

feat: propagate across edges

16944b5

chore: docs

1dc363a

chore: docs

88f51b4

chore: docs

5add958

feat: tests

17232cc

vercel bot temporarily deployed to Preview – petrinaut December 21, 2025 18:33 Inactive

graphite-app bot assigned indietyp Dec 21, 2025

github-actions bot added area/libs Relates to first-party libraries/crates/packages (area) type/eng > backend Owned by the @backend team area/tests New or updated tests labels Dec 21, 2025

indietyp mentioned this pull request Dec 21, 2025

BE-254: Add CodSpeed benchmarking for HashQL MIR transformation passes #8204

Merged

3 tasks

vercel bot deployed to Preview – hash December 21, 2025 18:41 View deployment

fix: format

11cb8a8

vercel bot temporarily deployed to Preview – petrinaut December 21, 2025 18:43 Inactive

graphite-app bot requested review from a team December 21, 2025 19:03

chore: benchmarks

34267b0

vercel bot temporarily deployed to Preview – petrinaut December 21, 2025 19:16 Inactive

chore: snapshots

ee58159

vercel bot temporarily deployed to Preview – petrinaut December 21, 2025 21:32 Inactive

indietyp force-pushed the bm/be-231-hashql-peephole-optimization branch from 08246f0 to 7b8639a Compare December 28, 2025 11:17

vercel bot deployed to Preview – petrinaut December 28, 2025 11:23 View deployment

vercel bot deployed to Preview – hash December 28, 2025 11:31 View deployment

indietyp changed the title ~~BE-231: Add InstSimplify pass for MIR instruction simplification and constant folding~~ BE-231: HashQL: Add InstSimplify pass for MIR instruction simplification and constant folding Dec 28, 2025

This was referenced Jan 8, 2026

BE-257: HashQL: Implement MIR interpreter with runtime value representation #8245

Open

BE-272: HashQL: Add numeric addition and subtraction operators to MIR #8250

Open

BE-273: HashQL: Profile and benchmark MIR interpreter #8251

Open

Base automatically changed from bm/be-254-experiment-around-with-codspeed to main January 15, 2026 10:47

graphite-app bot requested a review from a team January 15, 2026 10:48

TimDiekmann approved these changes Jan 15, 2026

View reviewed changes

indietyp force-pushed the bm/be-231-hashql-peephole-optimization branch from 7b8639a to ee58159 Compare January 15, 2026 13:31

vercel bot deployed to Preview – petrinaut January 15, 2026 13:36 View deployment

vercel bot deployed to Preview – hash January 15, 2026 13:40 View deployment

indietyp added this pull request to the merge queue Jan 15, 2026

Merged via the queue into main with commit 372e9a1 Jan 15, 2026
94 checks passed

indietyp deleted the bm/be-231-hashql-peephole-optimization branch January 15, 2026 14:05

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

BE-231: HashQL: Add InstSimplify pass for MIR instruction simplification and constant folding #8206

BE-231: HashQL: Add InstSimplify pass for MIR instruction simplification and constant folding #8206

Uh oh!

indietyp commented Dec 21, 2025

Uh oh!

cursor bot commented Dec 21, 2025 •

edited

Loading

Uh oh!

indietyp commented Dec 21, 2025 •

edited

Loading

Uh oh!

codecov bot commented Dec 21, 2025 •

edited

Loading

Uh oh!

codspeed-hq bot commented Dec 21, 2025 •

edited

Loading

Uh oh!

vercel bot commented Jan 15, 2026 •

edited

Loading

Uh oh!

Uh oh!

github-actions bot commented Jan 15, 2026

@rust/hash-graph-benches – Integrations

policy_resolution_large

policy_resolution_medium

policy_resolution_none

policy_resolution_small

read_scaling_complete

read_scaling_linkless

representative_read_entity

representative_read_entity_type

representative_read_multiple_entities

scenarios

Uh oh!

Reviewers

Assignees

Labels

Milestone

Development

Uh oh!

3 participants

BE-231: HashQL: Add InstSimplify pass for MIR instruction simplification and constant folding #8206

BE-231: HashQL: Add InstSimplify pass for MIR instruction simplification and constant folding #8206

Uh oh!

Conversation

indietyp commented Dec 21, 2025

🌟 What is the purpose of this PR?

🔍 What does this change?

Pre-Merge Checklist 🚀

🚢 Has this modified a publishable library?

📜 Does this require a change to the docs?

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

🛡 What tests cover this?

Uh oh!

cursor bot commented Dec 21, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

PR Summary

Uh oh!

indietyp commented Dec 21, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

codecov bot commented Dec 21, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Codecov Report

Uh oh!

codspeed-hq bot commented Dec 21, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

CodSpeed Performance Report

Merging this PR will degrade performance by 10.61%

Summary

Performance Changes

Footnotes

Uh oh!

vercel bot commented Jan 15, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

Uh oh!

github-actions bot commented Jan 15, 2026

Benchmark results

@rust/hash-graph-benches – Integrations

policy_resolution_large

policy_resolution_medium

policy_resolution_none

policy_resolution_small

read_scaling_complete

read_scaling_linkless

representative_read_entity

representative_read_entity_type

representative_read_multiple_entities

scenarios

Uh oh!

Reviewers

Assignees

Labels

Milestone

Development

Uh oh!

3 participants

cursor bot commented Dec 21, 2025 •

edited

Loading

indietyp commented Dec 21, 2025 •

edited

Loading

codecov bot commented Dec 21, 2025 •

edited

Loading

codspeed-hq bot commented Dec 21, 2025 •

edited

Loading

vercel bot commented Jan 15, 2026 •

edited

Loading