4 ms·
AIUI Oleg's complaint is more about the compiler removing redexes or moving them about, rather than not duplicating them.
by tome 11y ago
AIUI Oleg's complaint is more about the compiler removing redexes or moving them about, rather than not duplicating them.
- ky3 11y agoRedexes are elided for 2 reasons: 1. Redundant calculation: the result of the redex isn't used. Get rid of it. 2. The same redex occurs elsewhere. Reuse the result of that instead. Stay DRY. Oleg has no problems with 1. Oleg has a beef with 2 because in HPC, the time-space tradeoff runs counter to ordinary intuition.