llvm-project

1
#RUN: not --crash llc -o - -mtriple=arm64 -global-isel -run-pass=none -verify-machineinstrs %s 2>&1 | FileCheck %s
2
# REQUIRES: aarch64-registered-target
3

4
---
5
name:            test_fcmp
6
legalized:       true
7
regBankSelected: false
8
selected:        false
9
tracksRegLiveness: true
10
liveins:
11
body:             |
12
  bb.0:
13

14
    %0:_(s32) = G_FCONSTANT float 0.0
15
    %1:_(s32) = G_FCONSTANT float 1.0
16

17
   ; Vector result, scalar source
18
   ; CHECK: Bad machine code: Generic vector icmp/fcmp must preserve number of lanes
19
    %2:_(<2 x s1>) = G_FCMP floatpred(oeq), %0, %1
20

21
    ; Scalar result, vector source
22
    ; CHECK: Bad machine code: Generic vector icmp/fcmp must preserve number of lanes
23
    %3:_(<2 x s32>) = G_IMPLICIT_DEF
24
    %4:_(<2 x s32>) = G_IMPLICIT_DEF
25
    %5:_(s1) = G_FCMP floatpred(oeq), %3, %4
26

27
    ; mismatched fixed element count
28
    ; CHECK: Bad machine code: Generic vector icmp/fcmp must preserve number of
29
    %6:_(<2 x s32>) = G_IMPLICIT_DEF
30
    %7:_(<2 x s32>) = G_IMPLICIT_DEF
31
    %8:_(<4 x s1>) = G_FCMP floatpred(oeq), %6, %7
32

33
    ; mismatched scalable element count
34
    ; CHECK: Bad machine code: Generic vector icmp/fcmp must preserve number of
35
    %9:_(<vscale x 2 x s32>) = G_IMPLICIT_DEF
36
    %10:_(<vscale x 2 x s32>) = G_IMPLICIT_DEF
37
    %11:_(<vscale x 4 x s1>) = G_FCMP floatpred(oeq), %9, %10
38

39
    ; mismatched scalar element type
40
    ; CHECK: *** Bad machine code: Type mismatch in generic instruction ***
41
    %12:_(s32) = G_FCONSTANT float 0.0
42
    %13:_(s64) = G_FCONSTANT float 1.0
43
    %14:_(s1) = G_FCMP floatpred(oeq), %12, %13
44

45
...
46