test/MachineVerifier/verify-selected.mir

   1 # RUN: not llc -verify-machineinstrs -run-pass none -o /dev/null %s 2>&1 | FileCheck %s
   2 # REQUIRES: aarch64-registered-target
   3
   4 --- |
   5
   6   target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
   7   target triple = "aarch64--"
   8   define void @test() { ret void }
   9
  10 ...
  11
  12 ---
  13 name:            test
  14 regBankSelected: true
  15 selected: true
  16 registers:
  17   - { id: 0, class: gpr64 }
  18   - { id: 1, class: gpr64 }
  19   - { id: 2, class: gpr }
  20 body: |
  21   bb.0:
  22    liveins: $x0
  23    %0 = COPY $x0
  24
  25    ; CHECK: *** Bad machine code: Unexpected generic instruction in a Selected function ***
  26    ; CHECK: instruction: %1:gpr64 = G_ADD
  27    %1 = G_ADD %0, %0
  28
  29    ; CHECK: *** Bad machine code: Generic virtual register invalid in a Selected function ***
  30    ; CHECK: instruction: %2:gpr(s64) = COPY
  31    ; CHECK: operand 0: %2
  32    %2(s64) = COPY $x0
  33 ...