[PATCH] D110026: [Verifier] Verify scoped noalias metadata

[Nikita Popov via Phabricator via llvm-commits]

nikic added a subscriber: Meinersbur.
nikic added a comment.

@Meinersbur I partially fixed the alias metadata generated by polly in https://github.com/llvm/llvm-project/commit/53720f74e4e32fe11a1688282f7d09dc1828b83a. However, another fix for the "second level" metadata is needed. This code is doing something very odd in https://github.com/llvm/llvm-project/blob/53720f74e4e32fe11a1688282f7d09dc1828b83a/polly/lib/CodeGen/IRBuilder.cpp#L207 where it apparently creates an alias scope with another alias scope used as a domain. It wasn't obvious to me what the right way to adjust this code is.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D110026