[llvm] 988d84a - [CodeGen] Add machine verification to a couple of tests

[Jay Foad via llvm-commits]

Author: Jay Foad
Date: 2023-04-04T17:17:57+01:00
New Revision: 988d84a5fc12c7808553786ae8f45ec15e1a811c

URL: https://github.com/llvm/llvm-project/commit/988d84a5fc12c7808553786ae8f45ec15e1a811c
DIFF: https://github.com/llvm/llvm-project/commit/988d84a5fc12c7808553786ae8f45ec15e1a811c.diff

LOG: [CodeGen] Add machine verification to a couple of tests

This helps to provoke a couple of errors when I apply D129208 that would
otherwise only show up in an LLVM_ENABLE_EXPENSIVE_CHECKS build.

Added: 
    

Modified: 
    llvm/test/CodeGen/AArch64/regcoal-physreg.mir
    llvm/test/CodeGen/AMDGPU/subreg-intervals.mir

Removed: 
    


################################################################################
diff  --git a/llvm/test/CodeGen/AArch64/regcoal-physreg.mir b/llvm/test/CodeGen/AArch64/regcoal-physreg.mir
index 1341b9551663c..270abeec822c0 100644
--- a/llvm/test/CodeGen/AArch64/regcoal-physreg.mir
+++ b/llvm/test/CodeGen/AArch64/regcoal-physreg.mir
@@ -1,4 +1,4 @@
-# RUN: llc -mtriple=aarch64-apple-ios -run-pass=simple-register-coalescing %s -o - | FileCheck %s
+# RUN: llc -mtriple=aarch64-apple-ios -run-pass=simple-register-coalescing -verify-machineinstrs %s -o - | FileCheck %s
 --- |
   declare void @f2()
 

diff  --git a/llvm/test/CodeGen/AMDGPU/subreg-intervals.mir b/llvm/test/CodeGen/AMDGPU/subreg-intervals.mir
index d7988894f73b9..54cd304ba01a4 100644
--- a/llvm/test/CodeGen/AMDGPU/subreg-intervals.mir
+++ b/llvm/test/CodeGen/AMDGPU/subreg-intervals.mir
@@ -1,4 +1,4 @@
-# RUN: llc -march=amdgcn -run-pass liveintervals -debug-only=regalloc -o /dev/null %s 2>&1 | FileCheck %s
+# RUN: llc -march=amdgcn -run-pass liveintervals -debug-only=regalloc -verify-machineinstrs -o /dev/null %s 2>&1 | FileCheck %s
 # REQUIRES: asserts
 
 # CHECK: INTERVALS