JIT Exception Handling

7 sections

100%

Section 1 Section 2 Section 3 Section 4 Section 04B Section 5 Section 6

Overview

Fix remaining LLVM codegen bugs exposed by the unified invoke/landingpad exception handling architecture (now fully implemented). The core architectural work (Sections 01-03) is complete: ori_panic uses _Unwind_RaiseException, JIT test wrappers use two-layer invoke/landingpad, InvokeIndirect terminators exist in ARC IR and LLVM emission, short-circuit &&/|| is branch-based, and the evaluator uses direct calls with did_panic(). The remaining work is fixing LLVM codegen bugs exposed by the expanded test coverage (Section 04) and running full verification (Section 05).

✓

Completed

7 sections

Section 1 Complete

Runtime Panic Path

ori_panic/ori_panic_cstr always use _Unwind_RaiseException; JIT test wrappers catch panics via landingpad

15/15 tasks

Section 2 Complete

ARC IR InvokeIndirect & Short-Circuit

Closure calls inside catch(expr:) use InvokeIndirect terminator; && and || use branch-based short-circuit lowering

25/25 tasks

Section 3 Complete

LLVM Emission & Test Wrappers

JIT test wrappers use invoke/landingpad catch-all; InvokeIndirect emits LLVM invoke; void-return Apply defines dst

14/14 tasks

Section 4 Complete

Exposed Bug Fixes

Fix LLVM codegen bugs exposed by the expanded JIT test coverage

56/56 tasks

Section 04B Complete

Polymorphic Lambda Monomorphization

Polymorphic lambda bodies compile through LLVM with concrete types — lambda-specific LCFails resolved

44/44 tasks

Section 5 Complete

Verification

Full test suite green, dual-execution parity verified, zero regressions

48/48 tasks

Section 6 Complete

LCFail Resolution — BUG-04-030/031/032/033

Reduce LLVM spec test LCFails from 2656 toward zero by fixing all known codegen root causes

135/135 tasks