←back to thread

Compiling C to Safe Rust, Formalized

(arxiv.org)
278 points love2read | 3 comments | 20 Dec 24 23:30 UTC | HN request time: 0s | source
1. jtrueb ◴[21 Dec 24 01:14 UTC] No.42476729[source]▶
Interesting how higher optimization levels didn’t really help speed up rust in the O level comparison
replies(1): >>42476747 #
2. vlovich123 ◴[21 Dec 24 01:19 UTC] No.42476747[source]▶
As they say it’s likely that the code they’re outputting is pessimizing rustc’s ability. Namely it sounds like they’re inlining code as part of the conversion
replies(1): >>42476893 #
3. jtrueb ◴[21 Dec 24 01:54 UTC] No.42476893[source]▶
Yes, I’m just saying how it kicks in basically immediately (O1).