Comment on Beating the L1 cache with value speculationparentComments−syockit5yThe compiler deduces that even though the statement `node = next` is inside an `if`, it is more general, so it removes both `node++` and the `if`.−alfiedotwtf5yOh?! So it will aim to generalise even when the semantics aren't 1:1? Mind blown.Thanks for that.
Comments
The compiler deduces that even though the statement `node = next` is inside an `if`, it is more general, so it removes both `node++` and the `if`.
Oh?! So it will aim to generalise even when the semantics aren't 1:1? Mind blown.
Thanks for that.