[all-commits] [llvm/llvm-project] 7ed3e8: [Attributes] Determine attribute properties from T...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7ed3e87825b48747bc5e4fb6daa1f08b543c4ec9
      https://github.com/llvm/llvm-project/commit/7ed3e87825b48747bc5e4fb6daa1f08b543c4ec9
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2021-07-12 (Mon, 12 Jul 2021)

  Changed paths:
    M llvm/include/llvm/IR/Attributes.h
    M llvm/include/llvm/IR/Attributes.td
    M llvm/lib/IR/Attributes.cpp
    M llvm/lib/IR/Verifier.cpp
    M llvm/lib/Transforms/IPO/ForceFunctionAttrs.cpp
    M llvm/unittests/IR/VerifierTest.cpp
    M llvm/utils/TableGen/Attributes.cpp

  Log Message:
  -----------
  [Attributes] Determine attribute properties from TableGen data

Continuing from D105763, this allows placing certain properties
about attributes in the TableGen definition. In particular, we
store whether an attribute applies to fn/param/ret (or a combination
thereof). This information is used by the Verifier, as well as the
ForceFunctionAttrs pass. I also plan to use this in LLParser,
which also duplicates info on which attributes are valid where.

This keeps metadata about attributes in one place, and makes it
more likely that it stays in sync, rather than in various
functions spread across the codebase.

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