Not all C compilers handle even correct uses of `restrict` properly. For about t... | Hacker News

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

		Arnavion on March 4, 2021 \| parent \| context \| favorite \| on: Accidentally quadratic: When Python is faster than... Not all C compilers handle even correct uses of `restrict` properly. For about three years, Rust has been unable to use the LLVM equivalent of `restrict` when downleveling its references, because it keeps finding LLVM miscompilation bugs around it. These LLVM bugs don't get noticed with C because C programs rarely use `restrict` as pervasively as a downleveled Rust program ends up doing.

cozzyd on March 4, 2021 [–]

I wonder if these same LLVM issues affect LLVM fortran attempts?

johncolanduoni on March 4, 2021 | [–]

I feel like they would have to, if they were to produce a remotely competitive compiler. That's why I'm hoping NVidia's Flang[1] efforts will lead to this aspect of LLVM being cleaned up.

[1]: https://github.com/flang-compiler/flang

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