[cfe-dev] Vectorizer and buffer overlaps

[Renato Golin]

On 2 May 2014 12:04, Nicola Gigante <nicola.gigante at gmail.com> wrote:
> How can I inform the compiler that I know the buffer won’t overlap?

As Philip said, restrict should do the trick.


> Inputs arrays are copied (unrealistic code)... Why does it check for overlaps?

The types are different but they're not obviously different
(templates, lists of things), so it might just be that TBAA is not
recognizing them as different types.

Have a look at the IR, search for TBAA metadata, you may find some clues.


> So how do I inform the compiler that it doesn’t need che memcheck block?

In this case, the compiler should pick it up. While it doesn't, you
may try restrict on them, too.

Have a look at the Bugzilla, if there isn't anything obviously
reported for this problem, feel free to fill a new one.

Thanks,
--renato