llvm-project

1
#RUN: not --crash llc -mtriple=aarch64 -o /dev/null -run-pass=none -verify-machineinstrs %s 2>&1 | FileCheck %s
2
# REQUIRES: 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
...
36