3 ms·
Are we losing optimization on x86/arm due to mere existence of other hardware (like symbolics or CHERI) that handles things differently?
by celeritascelery 5y ago
Are we losing optimization on x86/arm due to mere existence of other hardware (like symbolics or CHERI) that handles things differently?
- astrange 4y agoYou 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.