Optimize C Code

Make a measured C hot path cheaper without changing observable behavior. Each change applies one reference card to a cost that a profile attributes, is checked by an equivalence oracle under sanitizers, and is kept only if the metric the card names improves: allocator calls, OS write calls, an instruction pattern in -S output, an optimization record, or a timing interval. The cards record where clang already does the rewrite (copy and zero loops, read-only strlen), so read the card before applying a construct; a hand-written change there is noise.

Workflow