[ARM] More MVE compare vector splat combines for ANDs
[llvm-complete.git] / test / CodeGen / AArch64 / copyprop.mir
blobe23002c569070cba213cea1aa150bbb95fdb49b1
1 # RUN: llc -mtriple=aarch64-linux-gnu -run-pass machine-cp -o - %s | FileCheck %s
2 # Tests for MachineCopyPropagation copy forwarding.
3 ---
4 # Simple forwarding.
5 # CHECK-LABEL: name: test1
6 # CHECK: $x0 = SUBXri $x0, 1, 0
7 name:            test1
8 tracksRegLiveness: true
9 body: |
10   bb.0:
11     liveins: $x0
12     renamable $x1 = COPY $x0
13     $x0 = SUBXri renamable $x1, 1, 0
14 ...
15 ---
16 # Don't forward if not renamable.
17 # CHECK-LABEL: name: test2
18 # CHECK: $x0 = SUBXri $x1, 1, 0
19 name:            test2
20 tracksRegLiveness: true
21 body: |
22   bb.0:
23     liveins: $x0
24     $x1 = COPY $x0
25     $x0 = SUBXri $x1, 1, 0
26 ...
27 ---
28 # Don't forward reserved non-constant reg values.
29 # CHECK-LABEL: name: test4
30 # CHECK: $x0 = SUBXri renamable $x1, 1, 0
31 name:            test4
32 tracksRegLiveness: true
33 body: |
34   bb.0:
35     liveins: $x0
36     $sp = SUBXri $sp, 16, 0
37     renamable $x1 = COPY $sp
38     $x0 = SUBXri renamable $x1, 1, 0
39     $sp = ADDXri $sp, 16, 0
40 ...
41 ---
42 # Don't violate opcode constraints when forwarding.
43 # CHECK-LABEL: name: test5
44 # CHECK: $x0 = SUBXri renamable $x1, 1, 0
45 name:            test5
46 tracksRegLiveness: true
47 body: |
48   bb.0:
49     liveins: $x0
50     renamable $x1 = COPY $xzr
51     $x0 = SUBXri renamable $x1, 1, 0
52 ...
53 ---
54 # Test cross-class COPY forwarding.
55 # CHECK-LABEL: name: test6
56 # CHECK: $x2 = COPY $x0
57 name:            test6
58 tracksRegLiveness: true
59 body: |
60   bb.0:
61     liveins: $x0
62     renamable $d1 = COPY $x0
63     $x2 = COPY renamable $d1
64     RET_ReallyLR implicit $x2
65 ...
66 ---
67 # Don't forward if there are overlapping implicit operands.
68 # CHECK-LABEL: name: test7
69 # CHECK: $w0 = SUBWri killed renamable $w1, 1, 0
70 name:            test7
71 tracksRegLiveness: true
72 body: |
73   bb.0:
74     liveins: $w0
75     renamable $w1 = COPY $w0
76     $w0 = SUBWri killed renamable $w1, 1, 0, implicit killed $x1
77 ...
78 ---
79 # Check that kill flags are cleared.
80 # CHECK-LABEL: name: test8
81 # CHECK: $x2 = ADDXri $x0, 1, 0
82 # CHECK: $x0 = SUBXri $x0, 1, 0
83 name:            test8
84 tracksRegLiveness: true
85 body: |
86   bb.0:
87     liveins: $x0
88     renamable $x1 = COPY $x0
89     $x2 = ADDXri killed $x0, 1, 0
90     $x0 = SUBXri renamable $x1, 1, 0
91 ...
92 ---
93 # Don't forward if value is clobbered.
94 # CHECK-LABEL: name: test9
95 # CHECK: $x2 = SUBXri renamable $x1, 1, 0
96 name:            test9
97 tracksRegLiveness: true
98 body: |
99   bb.0:
100     liveins: $x0
101     renamable $x1 = COPY $x0
102     $x0 = ADDXri $x0, 1, 0
103     $x2 = SUBXri renamable $x1, 1, 0