[MIParser] Set RegClassOrRegBank during instruction parsing
[llvm-complete.git] / test / CodeGen / AArch64 / GlobalISel / legalize-sext-zext-128.mir
blob6d4c9698f26b6801139efe1e5f8c36008e00fd40
1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
2 # RUN: llc -march=aarch64 -run-pass=legalizer -verify-machineinstrs %s -o - | FileCheck %s
3 ---
4 name:            narrow_sext_s128
5 tracksRegLiveness: true
6 body:             |
7   bb.1:
8     liveins: $x0, $x1
10     ; CHECK-LABEL: name: narrow_sext_s128
11     ; CHECK: liveins: $x0, $x1
12     ; CHECK: [[COPY:%[0-9]+]]:_(s64) = COPY $x0
13     ; CHECK: [[COPY1:%[0-9]+]]:_(p0) = COPY $x1
14     ; CHECK: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 63
15     ; CHECK: [[ASHR:%[0-9]+]]:_(s64) = G_ASHR [[COPY]], [[C]](s64)
16     ; CHECK: [[MV:%[0-9]+]]:_(s128) = G_MERGE_VALUES [[COPY]](s64), [[ASHR]](s64)
17     ; CHECK: G_STORE [[MV]](s128), [[COPY1]](p0) :: (store 16)
18     ; CHECK: RET_ReallyLR
19     %0:_(s64) = COPY $x0
20     %1:_(p0) = COPY $x1
21     %2:_(s128) = G_SEXT %0(s64)
22     G_STORE %2(s128), %1(p0) :: (store 16)
23     RET_ReallyLR
25 ...
26 ---
27 name:            narrow_zext_s128
28 tracksRegLiveness: true
29 body:             |
30   bb.1:
31     liveins: $x0, $x1
33     ; CHECK-LABEL: name: narrow_zext_s128
34     ; CHECK: liveins: $x0, $x1
35     ; CHECK: [[COPY:%[0-9]+]]:_(s64) = COPY $x0
36     ; CHECK: [[COPY1:%[0-9]+]]:_(p0) = COPY $x1
37     ; CHECK: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 0
38     ; CHECK: [[MV:%[0-9]+]]:_(s128) = G_MERGE_VALUES [[COPY]](s64), [[C]](s64)
39     ; CHECK: G_STORE [[MV]](s128), [[COPY1]](p0) :: (store 16)
40     ; CHECK: RET_ReallyLR
41     %0:_(s64) = COPY $x0
42     %1:_(p0) = COPY $x1
43     %2:_(s128) = G_ZEXT %0(s64)
44     G_STORE %2(s128), %1(p0) :: (store 16)
45     RET_ReallyLR
47 ...
48 ---
49 name:            narrow_zext_s128_from_s32
50 tracksRegLiveness: true
51 body:             |
52   bb.1:
53     liveins: $w0, $x1
55     ; CHECK-LABEL: name: narrow_zext_s128_from_s32
56     ; CHECK: liveins: $w0, $x1
57     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
58     ; CHECK: [[COPY1:%[0-9]+]]:_(p0) = COPY $x1
59     ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
60     ; CHECK: [[MV:%[0-9]+]]:_(s128) = G_MERGE_VALUES [[COPY]](s32), [[C]](s32), [[C]](s32), [[C]](s32)
61     ; CHECK: G_STORE [[MV]](s128), [[COPY1]](p0) :: (store 16)
62     ; CHECK: RET_ReallyLR
63     %0:_(s32) = COPY $w0
64     %1:_(p0) = COPY $x1
65     %2:_(s128) = G_ZEXT %0(s32)
66     G_STORE %2(s128), %1(p0) :: (store 16)
67     RET_ReallyLR
69 ...
70 ---
71 name:            narrow_zext_s192
72 tracksRegLiveness: true
73 body:             |
74   bb.1:
75     liveins: $x0, $x1
77     ; CHECK-LABEL: name: narrow_zext_s192
78     ; CHECK: liveins: $x0, $x1
79     ; CHECK: [[COPY:%[0-9]+]]:_(s64) = COPY $x0
80     ; CHECK: [[COPY1:%[0-9]+]]:_(p0) = COPY $x1
81     ; CHECK: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 0
82     ; CHECK: [[MV:%[0-9]+]]:_(s192) = G_MERGE_VALUES [[COPY]](s64), [[C]](s64), [[C]](s64)
83     ; CHECK: [[UV:%[0-9]+]]:_(s64), [[UV1:%[0-9]+]]:_(s64), [[UV2:%[0-9]+]]:_(s64) = G_UNMERGE_VALUES [[MV]](s192)
84     ; CHECK: G_STORE [[UV]](s64), [[COPY1]](p0) :: (store 8)
85     ; CHECK: RET_ReallyLR
86     %0:_(s64) = COPY $x0
87     %1:_(p0) = COPY $x1
88     %2:_(s192) = G_ZEXT %0(s64)
89     %3:_(s64), %4:_(s64), %5:_(s64) = G_UNMERGE_VALUES %2(s192)
90     G_STORE %3, %1(p0) :: (store 8)
91     RET_ReallyLR
93 ...