test/MachineVerifier/test_g_constant.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_constant
   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    ; CHECK: Bad machine code: inconsistent constant size
  15     %0:_(<2 x s32>) = G_CONSTANT i32 0
  16
  17     ; CHECK: Bad machine code: Too few operands
  18     %1:_(s32) = G_CONSTANT
  19
  20     ; Not a cimm
  21     ; CHECK: Bad machine code:  G_CONSTANT operand must be cimm
  22     %2:_(s32) = G_CONSTANT 0
  23
  24     ; Not a cimm
  25     ; CHECK: Bad machine code:  G_CONSTANT operand must be cimm
  26     %3:_(s32) = G_CONSTANT float 1.0
  27
  28     ;  Size is bigger than result
  29     ; CHECK: Bad machine code: inconsistent constant size
  30     %4:_(s32) = G_CONSTANT i64 0
  31
  32     ; Size is smaller than result
  33     ; CHECK: Bad machine code: inconsistent constant size
  34     %4:_(s32) = G_CONSTANT i16 0
  35
  36     ; CHECK: Bad machine code: inconsistent constant size
  37     %5:_(p0) = G_CONSTANT i32 0
  38
  39     ; CHECK: Bad machine code: inconsistent constant size
  40     %6:_(p0) = G_CONSTANT i128 0
  41
  42 ...