Are we losing optimization on x86/arm due to mere existence of other hardware (l... | Hacker News

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

		celeritascelery on April 15, 2022 \| parent \| context \| favorite \| on: Pointers Are Complicated III, or: Pointer-integer ... Are we losing optimization on x86/arm due to mere existence of other hardware (like symbolics or CHERI) that handles things differently?

astrange on April 20, 2022 [–]

You don't lose the optimizations because of UB and aliasing rules letting them stay in, but the people who want to make C safer by simply defining all UB would lose you all these optimizations.

ARM already includes a small part of CHERI (pointer signing) and the rest is coming.

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