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

[indietyp]

🌟 What is the purpose of this PR?

Add support for addition and subtraction operations in HashQL MIR

🔍 What does this change?

• Adds Add and Sub binary operations to the MIR
• Implements addition and subtraction for integers and floating-point numbers
• Supports mixed-type operations (int + float, float + int)
• Adds constant folding and optimization for addition and subtraction
• Updates the MIR builder guide to include the Num type
• Moves Int type from constant module to interpret/value module for better organization

🛡 What tests cover this?

• Added unit tests for integer addition and subtraction
• Added tests for floating-point addition and subtraction
• Added tests for mixed-type operations
• Added tests for constant folding and optimization
• Added tests for edge cases like overflow handling

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:

• require changes to docs which are made as part of this PR

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

The changes in this PR:

• do not affect the execution graph

[cursor]

PR Summary

Adds arithmetic to MIR and aligns types/builders for broader numeric support.

• Introduces BinOp::Add/Sub; implements evaluation for Int, Num, and mixed operands in the interpreter via new Int/Num Add/Sub impls
• Moves Int from body::constant to interpret::value; updates imports across interpreter, visitors, reifier
• Builder changes: const_int now takes i128; OperandBuilder builds i128; body! macro/type mapping gains Num
• Instruction simplify pass: adds constant folding for +/- (checked to avoid overflow) and algebraic identities (e.g., x+0=>x, x-0=>x, 0-x=>-x, x-x=>0)
• Docs: builder guide updated (adds Num, lists +/-)
• Tests: new runtime and pass tests for ints/floats/mixed ops, overflow non-folding, and type-mismatch diagnostics; snapshot updates included

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

[indietyp]

Warning

This pull request is not mergeable via GitHub because a downstack PR is open. Once all requirements are satisfied, merge this PR as a stack on Graphite.
Learn more

• BE-273: HashQL: Profile and benchmark MIR interpreter #8251
• BE-272: HashQL: Add numeric addition and subtraction operators to MIR #8250 👈 (View in Graphite)
• 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
• 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.

[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 17, 2026 5:56pm
hashdotdesign	Ignored	Preview	Jan 17, 2026 5:56pm