Skip to content

Commit 74992ab

Browse files
update tests with '-verify-machineinstrs'
1 parent 3b0540c commit 74992ab

29 files changed

+32
-32
lines changed

llvm/test/CodeGen/SPIRV/function/alloca-load-store.ll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
1+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
22

33
; CHECK-DAG: OpName %[[#BAR:]] "bar"
44
; CHECK-DAG: OpName %[[#FOO:]] "foo"

llvm/test/CodeGen/SPIRV/function/identity-function.ll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
1+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
22

33
; CHECK-DAG: OpName %[[#VALUE:]] "value"
44
; CHECK-DAG: OpName %[[#IDENTITY:]] "identity"

llvm/test/CodeGen/SPIRV/function/multiple-anonymous-functions.ll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s
1+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s
22

33
;; Types:
44
; CHECK-DAG: %[[#I32:]] = OpTypeInt 32

llvm/test/CodeGen/SPIRV/function/trivial-function-definition.ll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
1+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
22

33
;; Debug info:
44
; CHECK: OpName %[[#FOO:]] "foo"

llvm/test/CodeGen/SPIRV/function/trivial-function-with-attributes.ll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
1+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
22

33
;; FIXME: Are there any attributes that would make the IR invalid for SPIR-V?
44

llvm/test/CodeGen/SPIRV/function/trivial-function-with-call.ll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
1+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
22

33
;; Debug info:
44
; CHECK: OpName %[[#FOO:]] "foo"

llvm/test/CodeGen/SPIRV/image/sampler.ll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s
1+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s
22
; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}
33

44
; CHECK-DAG: %[[#i32:]] = OpTypeInt 32 0

llvm/test/CodeGen/SPIRV/instructions/atomic-ptr.ll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,8 @@
33
; of spirv-val in this case, because there is a difference of accepted return types
44
; between atomicrmw and OpAtomicExchange.
55

6-
; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s
7-
; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
6+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s
7+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
88

99
; CHECK-DAG: %[[#LongTy:]] = OpTypeInt 64 0
1010
; CHECK-DAG: %[[#PtrLongTy:]] = OpTypePointer CrossWorkgroup %[[#LongTy]]

llvm/test/CodeGen/SPIRV/instructions/atomic_acqrel.ll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
1+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
22
; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %}
33

44
; CHECK-DAG: OpName [[ADD:%.*]] "test_add"

llvm/test/CodeGen/SPIRV/instructions/atomic_seq.ll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
1+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
22
; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %}
33

44
; CHECK-DAG: OpName [[ADD:%.*]] "test_add"

llvm/test/CodeGen/SPIRV/instructions/call-complex-function.ll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
1+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
22

33
; CHECK-DAG: OpName [[FUN:%.+]] "fun"
44
; CHECK-DAG: OpName [[FOO:%.+]] "foo"

llvm/test/CodeGen/SPIRV/instructions/call-trivial-function.ll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
1+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
22

33
; CHECK-DAG: OpName [[VALUE:%.+]] "value"
44
; CHECK-DAG: OpName [[IDENTITY:%.+]] "identity"

llvm/test/CodeGen/SPIRV/instructions/fcmp.ll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
1+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
22

33
; CHECK-DAG: OpName [[UEQ:%.*]] "test_ueq"
44
; CHECK-DAG: OpName [[OEQ:%.*]] "test_oeq"

llvm/test/CodeGen/SPIRV/instructions/float-casts.ll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
1+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
22

33
; CHECK-DAG: OpName [[TRUNC32_16:%.*]] "f32tof16"
44
; CHECK-DAG: OpName [[EXT16_32:%.*]] "f16tof32"

llvm/test/CodeGen/SPIRV/instructions/float-fast-flags.ll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
1+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
22

33
; DISABLED-CHECK-DAG: OpName [[FNEG:%.+]] "scalar_fneg"
44
; CHECK-DAG: OpName [[FADD:%.+]] "test_fadd"

llvm/test/CodeGen/SPIRV/instructions/icmp.ll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
1+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
22

33
; CHECK-DAG: OpName [[EQ:%.*]] "test_eq"
44
; CHECK-DAG: OpName [[NE:%.*]] "test_ne"

llvm/test/CodeGen/SPIRV/instructions/intrinsics.ll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
; RUN: llc -O0 %s -mtriple=spirv32-unknown-unknown -o - | FileCheck %s
1+
; RUN: llc -verify-machineinstrs -O0 %s -mtriple=spirv32-unknown-unknown -o - | FileCheck %s
22

33
declare float @llvm.fabs.f32(float)
44
declare float @llvm.rint.f32(float)

llvm/test/CodeGen/SPIRV/instructions/nested-composites.ll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
1+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
22

33
; CHECK-DAG: OpName [[FOOBAR:%.+]] "foobar"
44
; CHECK-DAG: OpName [[PRODUCER:%.+]] "producer"

llvm/test/CodeGen/SPIRV/instructions/scalar-bitwise-operations.ll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
1+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
22

33
; CHECK-DAG: OpName [[SCALAR_SHL:%.+]] "scalar_shl"
44
; CHECK-DAG: OpName [[SCALAR_LSHR:%.+]] "scalar_lshr"

llvm/test/CodeGen/SPIRV/instructions/scalar-floating-point-arithmetic.ll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
1+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
22

33
; DISABLED-CHECK-DAG: OpName [[SCALAR_FNEG:%.+]] "scalar_fneg"
44
; CHECK-DAG: OpName [[SCALAR_FADD:%.+]] "scalar_fadd"

llvm/test/CodeGen/SPIRV/instructions/scalar-integer-arithmetic.ll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
1+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
22

33
; CHECK-DAG: OpName [[SCALAR_ADD:%.+]] "scalar_add"
44
; CHECK-DAG: OpName [[SCALAR_SUB:%.+]] "scalar_sub"

llvm/test/CodeGen/SPIRV/instructions/select-ptr-load.ll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
1-
; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV
1+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV
22
; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}
33

4-
; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV
4+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV
55
; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %}
66

77
; CHECK-SPIRV-DAG: %[[Float:.*]] = OpTypeFloat 32

llvm/test/CodeGen/SPIRV/instructions/select.ll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
1-
; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
1+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
22
; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %}
33

4-
; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s
4+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s
55
; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}
66

77
; CHECK-DAG: OpName [[SCALARi32:%.+]] "select_i32"

llvm/test/CodeGen/SPIRV/instructions/undef-nested-composite-store.ll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
1+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
22

33
; CHECK-DAG: %[[#I32:]] = OpTypeInt 32
44
; CHECK-DAG: %[[#I16:]] = OpTypeInt 16

llvm/test/CodeGen/SPIRV/instructions/undef-simple-composite-store.ll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
1+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
22

33
; CHECK-DAG: %[[#I32:]] = OpTypeInt 32
44
; CHECK-DAG: %[[#I16:]] = OpTypeInt 16

llvm/test/CodeGen/SPIRV/instructions/unreachable.ll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
1+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
22

33
; CHECK: OpUnreachable
44
define void @test_unreachable() {

llvm/test/CodeGen/SPIRV/instructions/vector-bitwise-operations.ll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
1+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
22

33
; CHECK-DAG: OpName [[VECTOR_SHL:%.+]] "vector_shl"
44
; CHECK-DAG: OpName [[VECTOR_LSHR:%.+]] "vector_lshr"

llvm/test/CodeGen/SPIRV/instructions/vector-floating-point-arithmetic.ll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
1+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
22

33
; CHECK-DAG: OpName [[VECTOR_FNEG:%.+]] "vector_fneg"
44
; CHECK-DAG: OpName [[VECTOR_FADD:%.+]] "vector_fadd"

llvm/test/CodeGen/SPIRV/instructions/vector-integer-arithmetic.ll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
1+
; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
22

33
; CHECK-DAG: OpName [[VECTOR_ADD:%.+]] "vector_add"
44
; CHECK-DAG: OpName [[VECTOR_SUB:%.+]] "vector_sub"

0 commit comments

Comments
 (0)