[PATCH] D141140: [Assignment Tracking] Do not verify against an empty metadata address operand
Orlando Cazalet-Hyams via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Fri Jan 6 08:19:37 PST 2023
Orlando created this revision.
Orlando added reviewers: StephenTozer, scott.linder, jryans.
Orlando added a project: debug-info.
Herald added a subscriber: hiraditya.
Herald added a project: All.
Orlando requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.
This copies existing behaviour other debug intrinsics to `dbg.assign`s.
https://reviews.llvm.org/D141140
Files:
llvm/lib/IR/Verifier.cpp
llvm/test/DebugInfo/Generic/assignment-tracking/parse-and-verify/verify.ll
Index: llvm/test/DebugInfo/Generic/assignment-tracking/parse-and-verify/verify.ll
===================================================================
--- llvm/test/DebugInfo/Generic/assignment-tracking/parse-and-verify/verify.ll
+++ llvm/test/DebugInfo/Generic/assignment-tracking/parse-and-verify/verify.ll
@@ -31,6 +31,9 @@
call void @llvm.dbg.assign(metadata !14, metadata !10, metadata !DIExpression(), metadata !2, metadata ptr undef, metadata !DIExpression()), !dbg !13
; CHECK: invalid llvm.dbg.assign intrinsic address
call void @llvm.dbg.assign(metadata !14, metadata !10, metadata !DIExpression(), metadata !14, metadata !3, metadata !DIExpression()), !dbg !13
+ ;; Empty metadata debug operands are allowed.
+ ; CHECK-NOT: invalid llvm.dbg.assign
+ call void @llvm.dbg.assign(metadata !14, metadata !10, metadata !DIExpression(), metadata !14, metadata !2, metadata !DIExpression()), !dbg !13
; CHECK: invalid llvm.dbg.assign intrinsic address expression
call void @llvm.dbg.assign(metadata !14, metadata !10, metadata !DIExpression(), metadata !14, metadata ptr undef, metadata !2), !dbg !13
ret void
Index: llvm/lib/IR/Verifier.cpp
===================================================================
--- llvm/lib/IR/Verifier.cpp
+++ llvm/lib/IR/Verifier.cpp
@@ -6061,9 +6061,12 @@
CheckDI(isa<DIAssignID>(DAI->getRawAssignID()),
"invalid llvm.dbg.assign intrinsic DIAssignID", &DII,
DAI->getRawAssignID());
- CheckDI(isa<ValueAsMetadata>(DAI->getRawAddress()),
- "invalid llvm.dbg.assign intrinsic address)", &DII,
- DAI->getRawAddress());
+ const auto *RawAddr = DAI->getRawAddress();
+ CheckDI(
+ isa<ValueAsMetadata>(RawAddr) ||
+ (isa<MDNode>(RawAddr) && !cast<MDNode>(RawAddr)->getNumOperands()),
+ "invalid llvm.dbg.assign intrinsic address", &DII,
+ DAI->getRawAddress());
CheckDI(isa<DIExpression>(DAI->getRawAddressExpression()),
"invalid llvm.dbg.assign intrinsic address expression", &DII,
DAI->getRawAddressExpression());
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D141140.486891.patch
Type: text/x-patch
Size: 2093 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230106/2c8f08b3/attachment.bin>
More information about the llvm-commits
mailing list