diff options
| author | Julian Nagele <j.nagele@apple.com> | 2024-04-15 11:25:05 +0100 |
|---|---|---|
| committer | Florian Hahn <flo@fhahn.com> | 2024-04-15 11:25:06 +0100 |
| commit | 7dbba39e583a3fd64e7e6b947251c035e483f054 (patch) | |
| tree | 5444e7813addb740ada3420780a6ddc81aae5d30 /llvm/test/Transforms/InferAddressSpaces/AMDGPU | |
| parent | 5b95c9e0cad189cc609c31029f6bc3a89bc7b612 (diff) | |
Reapply "[TBAA] Add verifier for tbaa.struct metadata (#86709)"
This reverts commit b9cd48f96acdd07c627ccafbf4386a1f3dcd6c51.
-------------------------------------------------------------
Original commit message:
Adds logic to the IR verifier that checks whether !tbaa.struct nodes are
well-formed. That is, it checks that the operands of !tbaa.struct nodes
are in groups of three, that each group of three operands consists of
two integers and a valid tbaa node, and that the regions described by
the offset and size operands are non-overlapping.
PR: https://github.com/llvm/llvm-project/pull/86709
Diffstat (limited to 'llvm/test/Transforms/InferAddressSpaces/AMDGPU')
| -rw-r--r-- | llvm/test/Transforms/InferAddressSpaces/AMDGPU/mem-intrinsics.ll | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/llvm/test/Transforms/InferAddressSpaces/AMDGPU/mem-intrinsics.ll b/llvm/test/Transforms/InferAddressSpaces/AMDGPU/mem-intrinsics.ll index 50b0e7a0f547..2f264a2432fc 100644 --- a/llvm/test/Transforms/InferAddressSpaces/AMDGPU/mem-intrinsics.ll +++ b/llvm/test/Transforms/InferAddressSpaces/AMDGPU/mem-intrinsics.ll @@ -141,4 +141,4 @@ attributes #1 = { argmemonly nounwind } !5 = distinct !{!5, !"some domain"} !6 = !{!7} !7 = distinct !{!7, !5, !"some scope 2"} -!8 = !{i64 0, i64 8, null} +!8 = !{i64 0, i64 8, !0} |