diff options
Diffstat (limited to 'llvm/test/MachineVerifier/verify-selected.mir')
| -rw-r--r-- | llvm/test/MachineVerifier/verify-selected.mir | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/llvm/test/MachineVerifier/verify-selected.mir b/llvm/test/MachineVerifier/verify-selected.mir new file mode 100644 index 00000000000..a38f67ca6e6 --- /dev/null +++ b/llvm/test/MachineVerifier/verify-selected.mir @@ -0,0 +1,33 @@ +# RUN: not llc -verify-machineinstrs -run-pass none -o /dev/null %s 2>&1 | FileCheck %s +# REQUIRES: aarch64-registered-target + +--- | + + target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128" + target triple = "aarch64--" + define void @test() { ret void } + +... + +--- +name: test +regBankSelected: true +selected: true +registers: + - { id: 0, class: gpr64 } + - { id: 1, class: gpr64 } + - { id: 2, class: gpr } +body: | + bb.0: + liveins: $x0 + %0 = COPY $x0 + + ; CHECK: *** Bad machine code: Unexpected generic instruction in a Selected function *** + ; CHECK: instruction: %1:gpr64 = G_ADD + %1 = G_ADD %0, %0 + + ; CHECK: *** Bad machine code: Generic virtual register invalid in a Selected function *** + ; CHECK: instruction: %2:gpr(s64) = COPY + ; CHECK: operand 0: %2 + %2(s64) = COPY $x0 +... |
