llvm/test/MachineVerifier/test_g_fconstant.mir

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

---
name: test_fconstant
body: |
  bb.0:
    ; CHECK: Bad machine code: Instruction cannot use a vector result type
    %0:_(<2 x s32>) = G_FCONSTANT float 0.0

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

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

    ; Not a cimm
    ; CHECK: Bad machine code:  G_FCONSTANT operand must be fpimm
    %3:_(s32) = G_FCONSTANT i32 0

   ;  Size is bigger than result
   ; CHECK: Bad machine code: inconsistent constant size
    %4:_(s32) = G_FCONSTANT double 1.0

    ; Size is smaller than result
    ; CHECK: Bad machine code: inconsistent constant size
    %4:_(s32) = G_FCONSTANT half 1.0
...