[all-commits] [llvm/llvm-project] 8700f2: [Verifier] Verify scoped noalias metadata

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 8700f2bd36bb9b7d7075ed4dac0aef92b9489237
      https://github.com/llvm/llvm-project/commit/8700f2bd36bb9b7d7075ed4dac0aef92b9489237
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2021-09-20 (Mon, 20 Sep 2021)

  Changed paths:
    M llvm/lib/IR/Verifier.cpp
    A llvm/test/Verifier/alias-scope-metadata.ll

  Log Message:
  -----------
  [Verifier] Verify scoped noalias metadata

Verify that !noalias, !alias.scope and llvm.experimental.noalias.scope
arguments have the format specified in
https://llvm.org/docs/LangRef.html#noalias-and-alias-scope-metadata.
I've fixed up a lot of broken metadata used by tests in advance.
Especially using a scope instead of the expected scope list is a
commonly made mistake.

Differential Revision: https://reviews.llvm.org/D110026