xref: /llvm-project/llvm/test/MachineVerifier/test_g_memcpy.mir (revision d20190e68413634b87f0f9426312a0e9d8456d18) 
1#RUN: not --crash llc -o - -mtriple=arm64 -run-pass=none -verify-machineinstrs %s 2>&1 | FileCheck %s
2# REQUIRES: aarch64-registered-target
3---
4name:            test_memcpy
5legalized:       true
6regBankSelected: false
7selected:        false
8tracksRegLiveness: true
9liveins:
10body:             |
11  bb.0:
12
13    %0:_(p0) = G_CONSTANT i64 0
14    %1:_(p0) = G_CONSTANT i64 4
15    %2:_(s64) = G_CONSTANT i64 4
16
17    ; CHECK: *** Bad machine code: memcpy/memmove must have 2 memory operands ***
18    G_MEMCPY %0, %1, %2, 0
19
20    ; CHECK: *** Bad machine code: memcpy/memmove must have 2 memory operands ***
21    G_MEMCPY %0, %1, %2, 0 :: (load (s32))
22
23    ; CHECK: *** Bad machine code: memcpy/memmove must have 2 memory operands ***
24    G_MEMCPY %0, %1, %2, 0 :: (store (s32))
25
26    ; CHECK: *** Bad machine code: wrong memory operand types ***
27    G_MEMCPY %0, %1, %2, 0 :: (load (s32)), (store (s32))
28
29    ; CHECK: *** Bad machine code: inconsistent memory operand sizes ***
30    G_MEMCPY %0, %1, %2, 0 :: (store (s64)), (load (s32))
31
32    ; CHECK: *** Bad machine code: inconsistent memory operand sizes ***
33    G_MEMCPY %0, %1, %2, 0 :: (store unknown-size), (load (s32))
34
35    ; CHECK: *** Bad machine code: inconsistent memory operand sizes ***
36    G_MEMCPY %0, %1, %2, 0 :: (store (s64)), (load unknown-size)
37
38    ; CHECK: *** Bad machine code: inconsistent store address space ***
39    G_MEMCPY %0, %1, %2, 0 :: (store (s32), addrspace 1), (load (s32))
40
41    ; CHECK: *** Bad machine code: inconsistent load address space ***
42    G_MEMCPY %0, %1, %2, 0 :: (store (s32)), (load (s32), addrspace 1)
43
44    ; CHECK: *** Bad machine code: memory instruction operand must be a pointer ***
45    G_MEMCPY %2, %0, %2, 0 :: (store (s32)), (load (s32))
46
47    ; CHECK: *** Bad machine code: memory instruction operand must be a pointer ***
48    G_MEMCPY %0, %2, %2, 0 :: (store (s32)), (load (s32))
49
50    ; CHECK: *** Bad machine code: 'tail' flag (operand 3) must be an immediate 0 or 1 ***
51    G_MEMCPY %0, %0, %2, %0 :: (store 4), (load 4)
52
53    ; CHECK: *** Bad machine code: 'tail' flag (operand 3) must be an immediate 0 or 1 ***
54    G_MEMCPY %0, %0, %2, 2 :: (store 4), (load 4)
55...
56