llvm/test/MachineVerifier/test_g_constant.mir

# RUN: not --crash llc -mtriple=aarch64 -run-pass=none -filetype=null %s 2>&1 | FileCheck %s
# REQUIRES: aarch64-registered-target

---
name: test_constant
body: |
  bb.0:
   ; CHECK: Bad machine code: Instruction cannot use a vector result type
   ; CHECK: Bad machine code: inconsistent constant size
    %0:_(<2 x s32>) = G_CONSTANT i32 0

    ; CHECK: Bad machine code: Too few operands
    %1:_(s32) = G_CONSTANT

    ; Not a cimm
    ; CHECK: Bad machine code:  G_CONSTANT operand must be cimm
    %2:_(s32) = G_CONSTANT 0

    ; Not a cimm
    ; CHECK: Bad machine code:  G_CONSTANT operand must be cimm
    %3:_(s32) = G_CONSTANT float 1.0

    ;  Size is bigger than result
    ; CHECK: Bad machine code: inconsistent constant size
    %4:_(s32) = G_CONSTANT i64 0

    ; Size is smaller than result
    ; CHECK: Bad machine code: inconsistent constant size
    %4:_(s32) = G_CONSTANT i16 0

    ; CHECK: Bad machine code: inconsistent constant size
    %5:_(p0) = G_CONSTANT i32 0

    ; CHECK: Bad machine code: inconsistent constant size
    %6:_(p0) = G_CONSTANT i128 0
...