[PATCH] D129208: [MachineVerifier] Try harder to verify LiveIntervals

[Jay Foad via Phabricator via llvm-commits]

foad updated this revision to Diff 524752.
foad added a comment.
Herald added a subscriber: pengfei.

Update checks in statepoint-cmp-sunk-past-statepoint.ll


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D129208/new/

https://reviews.llvm.org/D129208

Files:
  llvm/lib/CodeGen/MachineVerifier.cpp
  llvm/test/CodeGen/X86/statepoint-cmp-sunk-past-statepoint.ll


Index: llvm/test/CodeGen/X86/statepoint-cmp-sunk-past-statepoint.ll
===================================================================
--- llvm/test/CodeGen/X86/statepoint-cmp-sunk-past-statepoint.ll
+++ llvm/test/CodeGen/X86/statepoint-cmp-sunk-past-statepoint.ll
@@ -62,8 +62,8 @@
 ; CHECK:      bb.5
 ; CHECK:        %3:gr64 = COPY %10
 ; CHECK-LV:     %4:gr64 = COPY killed %10
-; CHECK-LV:     %4:gr64 = nuw ADD64ri32 %4, 8, implicit-def dead $eflags
-; CHECK-LIS:    %4:gr64 = LEA64r %10, 1, $noreg, 8, $noreg
+; CHECK-LIS:    %4:gr64 = COPY %10
+; CHECK:        %4:gr64 = nuw ADD64ri32 %4, 8, implicit-def dead $eflags
 ; CHECK:        TEST64rr killed %1, %1, implicit-def $eflags
 ; CHECK:        JCC_1 %bb.1, 5, implicit killed $eflags
 ; CHECK:        JMP_1 %bb.6
Index: llvm/lib/CodeGen/MachineVerifier.cpp
===================================================================
--- llvm/lib/CodeGen/MachineVerifier.cpp
+++ llvm/lib/CodeGen/MachineVerifier.cpp
@@ -297,6 +297,7 @@
       AU.addUsedIfAvailable<LiveStacks>();
       AU.addUsedIfAvailable<LiveVariables>();
       AU.addUsedIfAvailable<SlotIndexes>();
+      AU.addUsedIfAvailable<LiveIntervals>();
       AU.setPreservesAll();
       MachineFunctionPass::getAnalysisUsage(AU);
     }


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D129208.524752.patch
Type: text/x-patch
Size: 1258 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230523/a74dabf6/attachment.bin>