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

Introduces numeric addition and subtraction across the MIR and interpreter with mixed-type support and optimizations.

• Adds BinOp::Add/Sub and symbols; interpreter implements +/- for Int↔Int, Num↔Num, and mixed Int↔Num (overflow-aware via Numeric)
• Enables constant folding and simplifications in inst_simplify for +/- (identity, cancellation), skipping on overflow; adds UI snapshots
• Moves Int from body/constant to interpret/value and re-exports; updates imports and usages throughout
• Updates builder/docs: Num type in body!, const_int now i128, operand builder accepts i128
• Expands interpreter/unit tests for integer, float, mixed arithmetic and type-mismatch cases

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

[indietyp]

• BE-303: HashQL: Split MIR basic blocks by target support #8354
• BE-364: Rework symbol representation for speed and size #8343
• BE-360: HashQL: Rework compiletest UI #8340
• BE-302: HashQL: Statement cost analysis for execution target placement #8339
• BE-317: HashQL: Implement TraversalExtraction pass #8331
• BE-315: HashQL: Add GraphReadFilter source variant to MIR #8323
• BE-301: HashQL: Implement size estimation analysis for MIR #8278
• 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.

[augmentcode]

🤖 Augment PR Summary

Summary: Adds + / - as first-class binary operations in HashQL MIR and wires them through execution and optimization.

Changes:

• Introduce `BinOp::Add` and `BinOp::Sub` and add operator string/symbol mappings.
• Interpreter: evaluate `+`/`-` for `Int`, `Num`, and mixed `Int`↔`Num` operands with type-mismatch diagnostics.
• Refactor integer handling: move `Int` into `interpret::value` and update constant/builder APIs to use `i128`.
• Implement `Add`/`Sub` for `Int` and `Num` (including integer overflow behavior) and update imports across MIR/reify/visitor code.
• Inst-simplify pass: add constant folding and algebraic identities for `+`/`-`; add unit + UI snapshot coverage.
• Docs: extend MIR builder guide with the `Num` primitive type.

Technical Notes: Constant folding uses checked_add/checked_sub to avoid folding overflow cases; overflow behavior is handled at runtime.

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

[augmentcode]

Review completed. 2 suggestions posted.

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

[graphite-app]

Merge activity

• Jan 19, 2:49 PM UTC: Graphite rebased this pull request, because this pull request is set to merge when ready.