[PATCH] D110642: Add ability to detect no-alias between different fields of the same structure

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

In D110642#3030411 <https://reviews.llvm.org/D110642#3030411>, @pawosm01 wrote:

> I do realize that this patch isn't the best solution for this problem, but I wonder what it would be. Maybe LICM (where the decision whether to hoist is made) should rely on something more than BasicAA, but which pass should do such analysis and basing on what criteria?

The correct solution for this is implemented in D109746 <https://reviews.llvm.org/D109746>, but still needs to be combined with additional range information encoded by the frontend and/or stronger range analysis.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D110642/new/

https://reviews.llvm.org/D110642