The Rust people did, it then became a discussion about sufficiently smart compil... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

fulafel on Feb 27, 2017 | parent | context | favorite | on: The “high-level CPU” challenge (2008)

The Rust people did, it then became a discussion about sufficiently smart compilers.

I'd imagine from a compiler engineering standpoint, it't pretty hard to make this performance neutral. It makes all the artichmetic loops into non-leaf nodes in the call graph and so has second order effects in optimization passes.

hinkley on Feb 27, 2017 [–]

If your parameters have known ranges you could elide a lot of checks.

You're not going to overflow multiplying an 8 bit number times a 16 bit number, for instance.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact