aboutsummaryrefslogtreecommitdiff
path: root/llvm/test/MachineVerifier/test_copy_physregs_x86.mir
blob: a239379a34e62113d0072d069a8c678c87812f7d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
# RUN: not --crash llc -mtriple=x86_64 -run-pass=none -verify-machineinstrs -o /dev/null %s 2>&1 | FileCheck %s -implicit-check-not="Bad machine code"
# REQUIRES: x86-registered-target

# These copies have mismatched type sizes that are allowed because the
# register class is defined to directly include the narrower type.
---
name:            test_valid_copies
tracksRegLiveness: true
body:             |
  bb.0:
    liveins: $xmm0, $xmm1, $xmm2, $xmm3, $xmm4
    %0:_(s32) = COPY $xmm0
    %1:_(s64) = COPY $xmm1
    %2:_(s128) = COPY $xmm2
    %3:_(<4 x s32>) = COPY $xmm3
    %4:_(<2 x s64>) = COPY $xmm4
    $xmm0 = COPY %0
    $xmm1 = COPY %1
    $xmm2 = COPY %2
    $xmm3 = COPY %3
    $xmm4 = COPY %4
...

---
name:            test_invalid_copies
tracksRegLiveness: true
body:             |
  bb.0:
    liveins: $xmm0, $xmm1, $xmm2, $xmm3

    ; CHECK: *** Bad machine code: Copy Instruction is illegal with mismatching sizes ***
    ; CHECK: - instruction: %0:_(s16) = COPY $xmm0
    %0:_(s16) = COPY $xmm0

    ; CHECK: *** Bad machine code: Copy Instruction is illegal with mismatching sizes ***
    ; CHECK: - instruction: %1:_(<4 x s16>) = COPY $xmm1
    %1:_(<4 x s16>) = COPY $xmm1

    ; CHECK: *** Bad machine code: Copy Instruction is illegal with mismatching sizes ***
    ; CHECK: - instruction: %2:_(s256) = COPY $xmm2
    %2:_(s256) = COPY $xmm2

    ; CHECK: *** Bad machine code: Copy Instruction is illegal with mismatching sizes ***
    ; CHECK: - instruction: %3:_(<8 x s32>) = COPY $xmm3
    %3:_(<8 x s32>) = COPY $xmm3

    ; CHECK: *** Bad machine code: Copy Instruction is illegal with mismatching sizes ***
    ; CHECK: - instruction: $xmm0 = COPY %0:_(s16)
    $xmm0 = COPY %0

    ; CHECK: *** Bad machine code: Copy Instruction is illegal with mismatching sizes ***
    ; CHECK: - instruction: $xmm1 = COPY %1:_(<4 x s16>)
    $xmm1 = COPY %1

    ; CHECK: *** Bad machine code: Copy Instruction is illegal with mismatching sizes ***
    ; CHECK: - instruction: $xmm2 = COPY %2:_(s256)
    $xmm2 = COPY %2

    ; CHECK: *** Bad machine code: Copy Instruction is illegal with mismatching sizes ***
    ; CHECK: - instruction: $xmm3 = COPY %3:_(<8 x s32>)
    $xmm3 = COPY %3
...