[PATCH] D91576: [MemCpyOpt] Bail on call slot optimization if it merges alias scopes

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

I don't get this fix. Adding extra scopes to `alias.scope` should always be conservatively correct. I think there may be some confusion here due to the malformed noalias metadata you're using.



================
Comment at: llvm/test/Transforms/MemCpyOpt/callslot_badaa.ll:34
+!0 = !{!0}
+!1 = !{!1}
----------------
This alias.scope metadata looks corrupt. alias.scope accepts a list of scopes. I don't see any scopes or domains here.


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

https://reviews.llvm.org/D91576