search for: pesimize

...A. Hal, what are the things that you dislike about the emitting barriers everywhere for unions? It only seems to be very heavy, but I am pretty sure we can get to the point where we will be able to delete barriers when we can, and teach optimizations and analysis how to skip them, so they will not pesimize any code. *TL;DR * different groups works for devirtualization, but it is seem to not be a general way to go with "invariant" things. Piotr > > > > >> However, I don't immediately see a way in which the C++ object model >> would require us to track multipl...

...me wonder if there's a way without the barriers. Thanks again, Hal > It only seems to be very heavy, but I am pretty sure we can get to the > point where we will be able to > delete barriers when we can, and teach optimizations and analysis how > to skip them, so they will not pesimize any code. > > > *TL;DR * > different groups works for devirtualization, but it is seem to not be > a general way to go with "invariant" things. > > Piotr > > >> >> >> However, I don't immediately see a way in which the C++ >>...

2017-01-26 3:28 GMT+01:00 Richard Smith <richard at metafoo.co.uk>: > On 25 January 2017 at 15:03, Hal Finkel via cfe-dev < > cfe-dev at lists.llvm.org> wrote: > >> Hi Piotr, >> >> I think makes sense. Modulo bitcasts, the invariant is identified by a >> particular pointer SSA value. Given that you can't sensibly have two >> nonequivalent