3 ms·
> It's interesting work but I really wonder if it's desirable Aliasing pointers ruing performance of array/pointer access optimizations. https://en.wikipedia.o
by FrozenVoid 8y ago
> It's interesting work but I really wonder if it's desirable
Aliasing pointers ruing performance of array/pointer access optimizations.
https://en.wikipedia.org/wiki/Restrict https://en.wikipedia.org/wiki/Restrict
- simias 8y agoI'm aware of restrict and the problem it solves but that does that say about TFA? Are you proposing that restrict should be deprecated in favor of the mechanism proposed by the parent? The example in the paper linked is specifically a situation where the compiler does not normally catch the aliasing between two pointers which is the opposite of the problem "restrict" solves (i.e. a situation where the compiler emits code that assumes that two pointers can alias when in fact they do not).