test/MachineVerifier/test_g_fconstant.mir

   1 #RUN: not llc -march=aarch64 -o /dev/null -run-pass=none -verify-machineinstrs %s 2>&1 | FileCheck %s
   2 # REQUIRES: global-isel, aarch64-registered-target
   3
   4 ---
   5 name:            test_fconstant
   6 legalized:       true
   7 regBankSelected: false
   8 selected:        false
   9 tracksRegLiveness: true
  10 liveins:
  11 body:             |
  12   bb.0:
  13     ; CHECK: Bad machine code: Instruction cannot use a vector result type
  14     %0:_(<2 x s32>) = G_FCONSTANT float 0.0
  15
  16     ; CHECK: Bad machine code: Too few operands
  17     %1:_(s32) = G_FCONSTANT
  18
  19     ; Not a cimm
  20     ; CHECK: Bad machine code:  G_FCONSTANT operand must be fpimm
  21     %2:_(s32) = G_FCONSTANT 0
  22
  23     ; Not a cimm
  24     ; CHECK: Bad machine code:  G_FCONSTANT operand must be fpimm
  25     %3:_(s32) = G_FCONSTANT i32 0
  26
  27    ;  Size is bigger than result
  28    ; CHECK: Bad machine code: inconsistent constant size
  29     %4:_(s32) = G_FCONSTANT double 1.0
  30
  31     ; Size is smaller than result
  32     ; CHECK: Bad machine code: inconsistent constant size
  33     %4:_(s32) = G_FCONSTANT half 1.0
  34
  35 ...