242fbc36bac88120af00ec43db3979fb5168e6ee - llvm-project/llvm

commit	242fbc36bac88120af00ec43db3979fb5168e6ee	[log] [tgz]
author	Nick Lewycky <nick@wasmer.io>	Wed Mar 24 16:13:29 2021 -0700
committer	Copybara-Service <copybara-worker@google.com>	Fri Apr 16 13:13:35 2021 -0700
tree	adf4c1ea549b0eb4b1251400b2cabca34a7b740c
parent	b24ef13f5e1ddb56be8e7a2f5b77c1139cc8d92e [diff]

Verify the LLVMContext that an Attribute belongs to.

Attributes don't know their parent Context, adding this would make Attribute larger. Instead, we add hasParentContext that answers whether this Attribute belongs to a particular LLVMContext by checking for itself inside the context's FoldingSet. Same with AttributeSet and AttributeList. The Verifier checks them with the Module context.

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

GitOrigin-RevId: 244d9d6e41db71e76eeb55e56d84f658b3f56681

include/llvm/IR/Attributes.h[diff]
lib/IR/Attributes.cpp[diff]
lib/IR/Verifier.cpp[diff]
unittests/IR/AttributesTest.cpp[diff]
unittests/IR/VerifierTest.cpp[diff]

5 files changed

tree: adf4c1ea549b0eb4b1251400b2cabca34a7b740c