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

[Paul Osmialowski via Phabricator via llvm-commits]

pawosm01 added a comment.

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?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D110642