llvm/test/MachineVerifier/test_g_ptrmask.mir

   1 # REQUIRES: aarch64-registered-target
   2 # RUN: not --crash llc -o - -mtriple=arm64 -run-pass=none -verify-machineinstrs %s 2>&1 | FileCheck %s
   3
   4 ---
   5 name:            test_ptr_mask
   6 tracksRegLiveness: true
   7 liveins:
   8 body:             |
   9   bb.0:
  10
  11     %0:_(p0) = G_IMPLICIT_DEF
  12     %1:_(p0) = G_IMPLICIT_DEF
  13     %2:_(s64) = G_IMPLICIT_DEF
  14
  15     ; CHECK:  Bad machine code: Type mismatch in generic instruction
  16     ; CHECK: Bad machine code: ptrmask result type must be a pointer
  17     %3:_(s64) = G_PTRMASK %0, %2
  18
  19     ; CHECK:  Bad machine code: Type mismatch in generic instruction
  20     %4:_(p0) = G_PTRMASK %2, %2
  21
  22     ; CHECK: Bad machine code: ptrmask mask type must be an integer
  23     %5:_(p0) = G_PTRMASK %0, %0
  24
  25     %6:_(<2 x p0>) = G_IMPLICIT_DEF
  26     %7:_(<2 x s64>) = G_IMPLICIT_DEF
  27
  28     ; CHECK: Bad machine code: Type mismatch in generic instruction
  29     ; CHECK: Bad machine code: ptrmask result type must be a pointer
  30     %8:_(<2 x s64>) = G_PTRMASK %6, %7
  31
  32     ; CHECK:  Bad machine code: Type mismatch in generic instruction
  33     %9:_(<2 x p0>) = G_PTRMASK %7, %7
  34
  35     ; CHECK: Bad machine code: Type mismatch in generic instruction
  36     ; CHECK: Bad machine code: ptrmask mask type must be an integer
  37     ; CHECK: Bad machine code: operand types must be all-vector or all-scalar
  38     %10:_(<2 x p0>) = G_PTRMASK %0, %0
  39
  40     ; CHECK: Bad machine code: Type mismatch in generic instruction
  41     %11:_(p0) = G_PTRMASK %6, %2
  42
  43     ; CHECK: Bad machine code: operand types must be all-vector or all-scalar
  44     %12:_(p0) = G_PTRMASK %0, %7
  45
  46     ; CHECK: Bad machine code: operand types must be all-vector or all-scalar
  47     %13:_(<2 x p0>) = G_PTRMASK %6, %2
  48
  49     %14:_(<4 x p0>) = G_IMPLICIT_DEF
  50
  51     ; CHECK: Bad machine code: operand types must preserve number of vector elements
  52     %15:_(<4 x p0>) = G_PTRMASK %14, %8
  53
  54 ...