search for: groupfrom

...ant group must load/store the same value- the behaviour of a load or store marked !invariant.group from/to pointers not belonging to any invariant group (e.g. obtained from llvm.strip.invariant.group) is undefined- constructors may assume the this pointer passed to them belongs to a fresh invariant groupFrom those rules one easily gets: - llvm.strip.invariant.group is a pure function, i.e. its value depends only on its argument. Its llvm attributes include at least: readnone speculatable nounwind. Its results must alias its argument.- llvm.launder.invariant.group is not a pure function: it creates a fr...

...store the same value- the behaviour of a load or store marked > !invariant.group from/to pointers not belonging to any invariant group > (e.g. obtained from llvm.strip.invariant.group) is undefined- constructors > may assume the this pointer passed to them belongs to a fresh invariant > groupFrom those rules one easily gets: - llvm.strip.invariant.group is a > pure function, i.e. its value depends only on its argument. Its llvm > attributes include at least: readnone speculatable nounwind. Its results > must alias its argument.- llvm.launder.invariant.group is not a pure > funct...

> On Mar 19, 2018, at 7:27 PM, Piotr Padlewski via cfe-dev <cfe-dev at lists.llvm.org> wrote: > > Hi folks, > > here is a link to the proposal that we've been working on lately: > https://docs.google.com/document/d/16GVtCpzK8sIHNc2qZz6RN8amICNBtvjWUod2SujZVEo/edit?usp=sharing