AOT Codegen Performance

2 sections

Section 1 Overflow Check Elision Section 2 String Indexing Codegen
Overview

Close the benchmark gaps between Ori AOT and Rust by (1) eliminating provably-unnecessary overflow checks — reducing from 19 to ≤8 for equivalent code, achieving parity with rustc -C overflow-checks=yes — and (2) fixing the string indexing codegen crash so s[i] works in AOT mode.

○

Planned

2 sections
Section 1 Not Started

Overflow Check Elision

Reduce unnecessary overflow checks from 19 to ≤8 for the compute benchmark, matching Rust with -C overflow-checks=yes

0/0 tasks
Section 2 Not Started

String Indexing Codegen

Implement s[i] string indexing in AOT mode — add TypeInfo::Str handler in apply_protocols.rs and ori_str_index runtime function

0/0 tasks