[CodeGen] Add machine verification to a couple of tests
authorJay Foad <jay.foad@amd.com>
Tue, 4 Apr 2023 16:01:12 +0000 (17:01 +0100)
committerJay Foad <jay.foad@amd.com>
Tue, 4 Apr 2023 16:17:57 +0000 (17:17 +0100)
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.

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

index 1341b95..270abee 100644 (file)
@@ -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()
 
index d798889..54cd304 100644 (file)
@@ -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