[MIParser] Set RegClassOrRegBank during instruction parsing
[llvm-complete.git] / test / CodeGen / AArch64 / GlobalISel / select-trunc.mir
blob1b82d965d8c43f490ecea2d2bedf2d4cdf9b5214
1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
2 # RUN: llc -mtriple=aarch64-- -run-pass=instruction-select -verify-machineinstrs %s -o - | FileCheck %s
4 --- |
5   target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
7   define void @trunc_s32_s64() { ret void }
8   define void @trunc_s8_s64() { ret void }
9   define void @trunc_s1_s32() { ret void }
10   define void @trunc_s64_s128() { ret void }
11   define void @trunc_s32_s128() { ret void }
12 ...
14 ---
15 name:            trunc_s32_s64
16 legalized:       true
17 regBankSelected: true
19 registers:
20   - { id: 0, class: gpr }
21   - { id: 1, class: gpr }
23 body:             |
24   bb.0:
25     liveins: $x0
27     ; CHECK-LABEL: name: trunc_s32_s64
28     ; CHECK: [[COPY:%[0-9]+]]:gpr64sp = COPY $x0
29     ; CHECK: [[COPY1:%[0-9]+]]:gpr32sp = COPY [[COPY]].sub_32
30     ; CHECK: $w0 = COPY [[COPY1]]
31     %0(s64) = COPY $x0
32     %1(s32) = G_TRUNC %0
33     $w0 = COPY %1(s32)
34 ...
36 ---
37 name:            trunc_s8_s64
38 legalized:       true
39 regBankSelected: true
41 registers:
42   - { id: 0, class: gpr }
43   - { id: 1, class: gpr }
45 body:             |
46   bb.0:
47     liveins: $x0
49     ; CHECK-LABEL: name: trunc_s8_s64
50     ; CHECK: [[COPY:%[0-9]+]]:gpr64 = COPY $x0
51     ; CHECK: [[COPY1:%[0-9]+]]:gpr32 = COPY [[COPY]].sub_32
52     ; CHECK: [[COPY2:%[0-9]+]]:gpr32all = COPY [[COPY1]]
53     ; CHECK: $w0 = COPY [[COPY2]]
54     %0(s64) = COPY $x0
55     %1(s8) = G_TRUNC %0
56     %2:gpr(s32) = G_ANYEXT %1
57     $w0 = COPY %2(s32)
58 ...
60 ---
61 name:            trunc_s1_s32
62 legalized:       true
63 regBankSelected: true
65 registers:
66   - { id: 0, class: gpr }
67   - { id: 1, class: gpr }
69 body:             |
70   bb.0:
71     liveins: $w0
73     ; CHECK-LABEL: name: trunc_s1_s32
74     ; CHECK: [[COPY:%[0-9]+]]:gpr32 = COPY $w0
75     ; CHECK: [[COPY1:%[0-9]+]]:gpr32all = COPY [[COPY]]
76     ; CHECK: $w0 = COPY [[COPY1]]
77     %0(s32) = COPY $w0
78     %1(s1) = G_TRUNC %0
79     %2:gpr(s32) = G_ANYEXT %1
80     $w0 = COPY %2(s32)
81 ...
83 ---
84 name:            trunc_s64_s128
85 legalized:       true
86 regBankSelected: true
87 registers:
88   - { id: 0, class: fpr }
89   - { id: 1, class: fpr }
91 body:             |
92   bb.0:
93     liveins: $q0
95     ; CHECK-LABEL: name: trunc_s64_s128
96     ; CHECK: [[COPY:%[0-9]+]]:fpr128 = COPY $q0
97     ; CHECK: [[COPY1:%[0-9]+]]:fpr64 = COPY [[COPY]].dsub
98     ; CHECK: $x0 = COPY [[COPY1]]
99     %0(s128) = COPY $q0
100     %1(s64) = G_TRUNC %0
101     $x0 = COPY %1(s64)
105 name:            trunc_s32_s128
106 legalized:       true
107 regBankSelected: true
108 registers:
109   - { id: 0, class: fpr }
110   - { id: 1, class: fpr }
112 body:             |
113   bb.0:
114     liveins: $q0
116     ; CHECK-LABEL: name: trunc_s32_s128
117     ; CHECK: [[COPY:%[0-9]+]]:fpr128 = COPY $q0
118     ; CHECK: [[COPY1:%[0-9]+]]:fpr32 = COPY [[COPY]].ssub
119     ; CHECK: $w0 = COPY [[COPY1]]
120     %0(s128) = COPY $q0
121     %1(s32) = G_TRUNC %0
122     $w0 = COPY %1(s32)