[llvm] 5864256 - [Hexagon] Add machine verification to some tests

[Jay Foad via llvm-commits]

Author: Jay Foad
Date: 2023-07-30T12:07:34+01:00
New Revision: 58642565ec6b583976f23ef7ba4cf45e9ffc209b

URL: https://github.com/llvm/llvm-project/commit/58642565ec6b583976f23ef7ba4cf45e9ffc209b
DIFF: https://github.com/llvm/llvm-project/commit/58642565ec6b583976f23ef7ba4cf45e9ffc209b.diff

LOG: [Hexagon] Add machine verification to some tests

This is to help catch problems in D156552 that only showed up in an
expensive checks build.

Added: 
    

Modified: 
    llvm/test/CodeGen/Hexagon/autohvx/int-to-fp.ll
    llvm/test/CodeGen/Hexagon/autohvx/qmul-chop.ll
    llvm/test/CodeGen/Hexagon/swp-sigma.ll
    llvm/test/CodeGen/Hexagon/v6-spill1.ll
    llvm/test/CodeGen/Hexagon/v60-vecpred-spill.ll
    llvm/test/CodeGen/Hexagon/vector-sint-to-fp.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/CodeGen/Hexagon/autohvx/int-to-fp.ll b/llvm/test/CodeGen/Hexagon/autohvx/int-to-fp.ll
index 369e9a958b44d9..4c651ae4740538 100644
--- a/llvm/test/CodeGen/Hexagon/autohvx/int-to-fp.ll
+++ b/llvm/test/CodeGen/Hexagon/autohvx/int-to-fp.ll
@@ -1,5 +1,5 @@
 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
-; RUN: llc -march=hexagon -hexagon-hvx-widen=32 < %s | FileCheck %s
+; RUN: llc -march=hexagon -hexagon-hvx-widen=32 < %s -verify-machineinstrs | FileCheck %s
 
 target datalayout = "e-m:e-p:32:32:32-a:0-n16:32-i64:64:64-i32:32:32-i16:16:16-i1:8:8-f32:32:32-f64:64:64-v32:32:32-v64:64:64-v512:512:512-v1024:1024:1024-v2048:2048:2048"
 target triple = "hexagon"

diff  --git a/llvm/test/CodeGen/Hexagon/autohvx/qmul-chop.ll b/llvm/test/CodeGen/Hexagon/autohvx/qmul-chop.ll
index 4ee22ae907936c..29f418f022974f 100644
--- a/llvm/test/CodeGen/Hexagon/autohvx/qmul-chop.ll
+++ b/llvm/test/CodeGen/Hexagon/autohvx/qmul-chop.ll
@@ -1,4 +1,4 @@
-; RUN: llc -march=hexagon < %s | FileCheck %s
+; RUN: llc -march=hexagon < %s -verify-machineinstrs | FileCheck %s
 
 ; Check that the code is not scalarized: check that no scalar multiplication
 ; are generated.

diff  --git a/llvm/test/CodeGen/Hexagon/swp-sigma.ll b/llvm/test/CodeGen/Hexagon/swp-sigma.ll
index f4e0b0fac29c15..ce0e2b435efb1f 100644
--- a/llvm/test/CodeGen/Hexagon/swp-sigma.ll
+++ b/llvm/test/CodeGen/Hexagon/swp-sigma.ll
@@ -1,4 +1,4 @@
-; RUN: llc -march=hexagon -O2 < %s -pipeliner-experimental-cg=true | FileCheck %s
+; RUN: llc -march=hexagon -O2 < %s -pipeliner-experimental-cg=true -verify-machineinstrs | FileCheck %s
 
 ; We do not pipeline sigma yet, but the non-pipelined version
 ; with good scheduling is pretty fast. The compiler generates

diff  --git a/llvm/test/CodeGen/Hexagon/v6-spill1.ll b/llvm/test/CodeGen/Hexagon/v6-spill1.ll
index 78de91a01b46fb..57ac69683c7db7 100644
--- a/llvm/test/CodeGen/Hexagon/v6-spill1.ll
+++ b/llvm/test/CodeGen/Hexagon/v6-spill1.ll
@@ -1,4 +1,4 @@
-; RUN: llc -march=hexagon -O2 -pipeliner-max-mii=10 < %s | FileCheck %s
+; RUN: llc -march=hexagon -O2 -pipeliner-max-mii=10 < %s -verify-machineinstrs | FileCheck %s
 ; CHECK-NOT: vmemu
 
 ; Function Attrs: nounwind

diff  --git a/llvm/test/CodeGen/Hexagon/v60-vecpred-spill.ll b/llvm/test/CodeGen/Hexagon/v60-vecpred-spill.ll
index ba388b89410fb7..a0dfba5509f9ee 100644
--- a/llvm/test/CodeGen/Hexagon/v60-vecpred-spill.ll
+++ b/llvm/test/CodeGen/Hexagon/v60-vecpred-spill.ll
@@ -1,4 +1,4 @@
-; RUN: llc -march=hexagon -O2 < %s | FileCheck %s
+; RUN: llc -march=hexagon -O2 < %s -verify-machineinstrs | FileCheck %s
 ; CHECK-NOT: vmem(r30+#-1){{ *} = v{{[0-9]+}}
 ; CHECK-NOT: v{{[0-9]+}} = vmem(r30+#-1)
 ; CHECK: v{{[0-9]+}} = vmux

diff  --git a/llvm/test/CodeGen/Hexagon/vector-sint-to-fp.ll b/llvm/test/CodeGen/Hexagon/vector-sint-to-fp.ll
index ad676f13539815..576b0d3e2dbbb7 100644
--- a/llvm/test/CodeGen/Hexagon/vector-sint-to-fp.ll
+++ b/llvm/test/CodeGen/Hexagon/vector-sint-to-fp.ll
@@ -1,4 +1,4 @@
-; RUN: llc -march=hexagon < %s | FileCheck %s
+; RUN: llc -march=hexagon < %s -verify-machineinstrs | FileCheck %s
 
 ; Test that code is generated for the vector sint_to_fp node.