Ori EH Personality

6 sections

78%
Section 1 C Personality Function Section 2 Codegen Integration Section 3 Ori Exception Raise Section 3 Verification Section 4 Native Exception Catch Section 5 Verification
Overview

Complete Ori-owned exception handling on Itanium EH platforms end-to-end: emit @ori_eh_personality in LLVM IR, raise exceptions via _Unwind_RaiseException (not Rust panic_any) for AOT Itanium paths, and free caught exception objects correctly.

○

In Progress

1 sections
Section 1 In Progress

C Personality Function

ori_eh_personality exists in libori_rt.a and correctly handles cleanup + catch-all landing pads

23/24 tasks
○

Planned

1 sections
Section 3 Not Started

Verification

Full test suite green, Ori-generated LLVM IR references only ori_eh_personality, no behavioral regressions

0/30 tasks
✓

Completed

4 sections
Section 2 Complete

Codegen Integration

All Itanium LLVM IR emitted by Ori references @ori_eh_personality, with consistent runtime declarations, EH model selection, and JIT symbol mapping

17/17 tasks
Section 3 Complete

Ori Exception Raise

On Itanium AOT paths, ori_panic/ori_panic_cstr raise Ori exceptions via _Unwind_RaiseException instead of std::panic::panic_any

20/20 tasks
Section 4 Complete

Native Exception Catch

catch(expr:) frees caught Ori exceptions on Itanium paths, and ori_try_call remains a clearly scoped SEH compatibility mechanism

14/14 tasks
Section 5 Complete

Verification

Prove end-to-end correctness for personality selection, exception raise/catch lifecycle, and platform-scoped behavior without regressions

38/38 tasks