llvm/test/MachineVerifier/test_g_isnan.mir

   1 # REQUIRES: aarch64-registered-target
   2 # RUN: not --crash llc -verify-machineinstrs -mtriple aarch64 -run-pass none -o /dev/null %s 2>&1 | FileCheck %s
   3
   4 name:            test
   5 body: |
   6   bb.0:
   7    liveins: $x0
   8    %s64:_(s64) = COPY $x0
   9    %v4s16:_(<4 x s16>) = COPY $x0
  10
  11    ; CHECK: *** Bad machine code: Destination must be a 1-bit scalar or vector of 1-bit elements ***
  12    ; CHECK: instruction: %isnan1:_(s64) = G_ISNAN %s64:_(s64)
  13    %isnan1:_(s64) = G_ISNAN %s64
  14
  15    ; CHECK: *** Bad machine code: operand types must be all-vector or all-scalar ***
  16    ; CHECK: instruction: %isnan2:_(<2 x s1>) = G_ISNAN %s64:_(s64)
  17    %isnan2:_(<2 x s1>) = G_ISNAN %s64
  18
  19    ; CHECK: *** Bad machine code: operand types must preserve number of vector elements ***
  20    ; CHECK: instruction: %isnan3:_(<2 x s1>) = G_ISNAN %v4s16:_(<4 x s16>)
  21    %isnan3:_(<2 x s1>) = G_ISNAN %v4s16
  22
  23    ; CHECK: *** Bad machine code: operand types must be all-vector or all-scalar ***
  24    ; CHECK: instruction: %isnan4:_(s1) = G_ISNAN %v4s16:_(<4 x s16>)
  25    %isnan4:_(s1) = G_ISNAN %v4s16
  26
  27    ; CHECK: *** Bad machine code: Destination must be a 1-bit scalar or vector of 1-bit elements ***
  28    ; CHECK: instruction: %isnan5:_(p0) = G_ISNAN %s64:_(s64)
  29    %isnan5:_(p0) = G_ISNAN %s64
  30
  31    ; CHECK: *** Bad machine code: Destination must be a 1-bit scalar or vector of 1-bit elements ***
  32    ; CHECK: instruction: %isnan6:_(<4 x p0>) = G_ISNAN %v4s16:_(<4 x s16>)
  33    %isnan6:_(<4 x p0>) = G_ISNAN %v4s16