283 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py2# RUN: llc -mtriple=amdgcn -mcpu=gfx900 -verify-machineinstrs -run-pass="amdgpu-regbankselect,amdgpu-regbanklegalize" -o - %s | FileCheck %s3 4---5name: ashr_s32_ss6legalized: true7 8body: |9 bb.0:10 liveins: $sgpr0, $sgpr111 ; CHECK-LABEL: name: ashr_s32_ss12 ; CHECK: liveins: $sgpr0, $sgpr113 ; CHECK-NEXT: {{ $}}14 ; CHECK-NEXT: [[COPY:%[0-9]+]]:sgpr(s32) = COPY $sgpr015 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:sgpr(s32) = COPY $sgpr116 ; CHECK-NEXT: [[ASHR:%[0-9]+]]:sgpr(s32) = G_ASHR [[COPY]], [[COPY1]](s32)17 ; CHECK-NEXT: S_ENDPGM 0, implicit [[ASHR]](s32)18 %0:_(s32) = COPY $sgpr019 %1:_(s32) = COPY $sgpr120 %2:_(s32) = G_ASHR %0, %121 S_ENDPGM 0, implicit %222...23 24---25name: ashr_s32_sv26legalized: true27 28body: |29 bb.0:30 liveins: $sgpr0, $vgpr031 ; CHECK-LABEL: name: ashr_s32_sv32 ; CHECK: liveins: $sgpr0, $vgpr033 ; CHECK-NEXT: {{ $}}34 ; CHECK-NEXT: [[COPY:%[0-9]+]]:sgpr(s32) = COPY $sgpr035 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:vgpr(s32) = COPY $vgpr036 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:vgpr(s32) = COPY [[COPY]](s32)37 ; CHECK-NEXT: [[ASHR:%[0-9]+]]:vgpr(s32) = G_ASHR [[COPY2]], [[COPY1]](s32)38 ; CHECK-NEXT: S_ENDPGM 0, implicit [[ASHR]](s32)39 %0:_(s32) = COPY $sgpr040 %1:_(s32) = COPY $vgpr041 %2:_(s32) = G_ASHR %0, %142 S_ENDPGM 0, implicit %243...44 45---46name: ashr_s32_vs47legalized: true48 49body: |50 bb.0:51 liveins: $sgpr0, $vgpr052 ; CHECK-LABEL: name: ashr_s32_vs53 ; CHECK: liveins: $sgpr0, $vgpr054 ; CHECK-NEXT: {{ $}}55 ; CHECK-NEXT: [[COPY:%[0-9]+]]:vgpr(s32) = COPY $vgpr056 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:sgpr(s32) = COPY $sgpr057 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:vgpr(s32) = COPY [[COPY1]](s32)58 ; CHECK-NEXT: [[ASHR:%[0-9]+]]:vgpr(s32) = G_ASHR [[COPY]], [[COPY2]](s32)59 ; CHECK-NEXT: S_ENDPGM 0, implicit [[ASHR]](s32)60 %0:_(s32) = COPY $vgpr061 %1:_(s32) = COPY $sgpr062 %2:_(s32) = G_ASHR %0, %163 S_ENDPGM 0, implicit %264...65 66---67name: ashr_s32_vv68legalized: true69 70body: |71 bb.0:72 liveins: $vgpr0, $vgpr173 ; CHECK-LABEL: name: ashr_s32_vv74 ; CHECK: liveins: $vgpr0, $vgpr175 ; CHECK-NEXT: {{ $}}76 ; CHECK-NEXT: [[COPY:%[0-9]+]]:vgpr(s32) = COPY $vgpr077 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:vgpr(s32) = COPY $vgpr178 ; CHECK-NEXT: [[ASHR:%[0-9]+]]:vgpr(s32) = G_ASHR [[COPY]], [[COPY1]](s32)79 ; CHECK-NEXT: S_ENDPGM 0, implicit [[ASHR]](s32)80 %0:_(s32) = COPY $vgpr081 %1:_(s32) = COPY $vgpr182 %2:_(s32) = G_ASHR %0, %183 S_ENDPGM 0, implicit %284...85 86---87name: ashr_s16_ss88legalized: true89 90body: |91 bb.0:92 liveins: $sgpr0, $sgpr193 ; CHECK-LABEL: name: ashr_s16_ss94 ; CHECK: liveins: $sgpr0, $sgpr195 ; CHECK-NEXT: {{ $}}96 ; CHECK-NEXT: [[COPY:%[0-9]+]]:sgpr(s32) = COPY $sgpr097 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:sgpr(s32) = COPY $sgpr198 ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:sgpr(s16) = G_TRUNC [[COPY]](s32)99 ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:sgpr(s16) = G_TRUNC [[COPY1]](s32)100 ; CHECK-NEXT: [[SEXT:%[0-9]+]]:sgpr(s32) = G_SEXT [[TRUNC]](s16)101 ; CHECK-NEXT: [[ZEXT:%[0-9]+]]:sgpr(s32) = G_ZEXT [[TRUNC1]](s16)102 ; CHECK-NEXT: [[ASHR:%[0-9]+]]:sgpr(s32) = G_ASHR [[SEXT]], [[ZEXT]](s32)103 ; CHECK-NEXT: [[TRUNC2:%[0-9]+]]:sgpr(s16) = G_TRUNC [[ASHR]](s32)104 ; CHECK-NEXT: S_ENDPGM 0, implicit [[TRUNC2]](s16)105 %0:_(s32) = COPY $sgpr0106 %1:_(s32) = COPY $sgpr1107 %2:_(s16) = G_TRUNC %0108 %3:_(s16) = G_TRUNC %1109 %4:_(s16) = G_ASHR %2, %3110 S_ENDPGM 0, implicit %4111...112 113---114name: ashr_s16_sv115legalized: true116 117body: |118 bb.0:119 liveins: $sgpr0, $vgpr0120 121 ; CHECK-LABEL: name: ashr_s16_sv122 ; CHECK: liveins: $sgpr0, $vgpr0123 ; CHECK-NEXT: {{ $}}124 ; CHECK-NEXT: [[COPY:%[0-9]+]]:sgpr(s32) = COPY $sgpr0125 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:vgpr(s32) = COPY $vgpr0126 ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:sgpr(s16) = G_TRUNC [[COPY]](s32)127 ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:vgpr(s16) = G_TRUNC [[COPY1]](s32)128 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:vgpr(s16) = COPY [[TRUNC]](s16)129 ; CHECK-NEXT: [[ASHR:%[0-9]+]]:vgpr(s16) = G_ASHR [[COPY2]], [[TRUNC1]](s16)130 ; CHECK-NEXT: S_ENDPGM 0, implicit [[ASHR]](s16)131 %0:_(s32) = COPY $sgpr0132 %1:_(s32) = COPY $vgpr0133 %2:_(s16) = G_TRUNC %0134 %3:_(s16) = G_TRUNC %1135 %4:_(s16) = G_ASHR %2, %3136 S_ENDPGM 0, implicit %4137...138 139---140name: ashr_s16_vs141legalized: true142 143body: |144 bb.0:145 liveins: $sgpr0, $vgpr0146 ; CHECK-LABEL: name: ashr_s16_vs147 ; CHECK: liveins: $sgpr0, $vgpr0148 ; CHECK-NEXT: {{ $}}149 ; CHECK-NEXT: [[COPY:%[0-9]+]]:vgpr(s32) = COPY $vgpr0150 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:sgpr(s32) = COPY $sgpr0151 ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:vgpr(s16) = G_TRUNC [[COPY]](s32)152 ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:sgpr(s16) = G_TRUNC [[COPY1]](s32)153 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:vgpr(s16) = COPY [[TRUNC1]](s16)154 ; CHECK-NEXT: [[ASHR:%[0-9]+]]:vgpr(s16) = G_ASHR [[TRUNC]], [[COPY2]](s16)155 ; CHECK-NEXT: S_ENDPGM 0, implicit [[ASHR]](s16)156 %0:_(s32) = COPY $vgpr0157 %1:_(s32) = COPY $sgpr0158 %2:_(s16) = G_TRUNC %0159 %3:_(s16) = G_TRUNC %1160 %4:_(s16) = G_ASHR %2, %3161 S_ENDPGM 0, implicit %4162 163...164 165---166name: ashr_s16_vv167legalized: true168 169body: |170 bb.0:171 liveins: $vgpr0, $vgpr1172 ; CHECK-LABEL: name: ashr_s16_vv173 ; CHECK: liveins: $vgpr0, $vgpr1174 ; CHECK-NEXT: {{ $}}175 ; CHECK-NEXT: [[COPY:%[0-9]+]]:vgpr(s32) = COPY $vgpr0176 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:vgpr(s32) = COPY $vgpr1177 ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:vgpr(s16) = G_TRUNC [[COPY]](s32)178 ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:vgpr(s16) = G_TRUNC [[COPY1]](s32)179 ; CHECK-NEXT: [[ASHR:%[0-9]+]]:vgpr(s16) = G_ASHR [[TRUNC]], [[TRUNC1]](s16)180 ; CHECK-NEXT: S_ENDPGM 0, implicit [[ASHR]](s16)181 %0:_(s32) = COPY $vgpr0182 %1:_(s32) = COPY $vgpr1183 %2:_(s16) = G_TRUNC %0184 %3:_(s16) = G_TRUNC %1185 %4:_(s16) = G_ASHR %2, %3186 S_ENDPGM 0, implicit %4187 188...189 190---191name: ashr_v2s16_ss192legalized: true193 194body: |195 bb.0:196 liveins: $sgpr0, $sgpr1197 ; CHECK-LABEL: name: ashr_v2s16_ss198 ; CHECK: liveins: $sgpr0, $sgpr1199 ; CHECK-NEXT: {{ $}}200 ; CHECK-NEXT: [[COPY:%[0-9]+]]:sgpr(<2 x s16>) = COPY $sgpr0201 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:sgpr(<2 x s16>) = COPY $sgpr1202 ; CHECK-NEXT: [[BITCAST:%[0-9]+]]:sgpr(s32) = G_BITCAST [[COPY]](<2 x s16>)203 ; CHECK-NEXT: [[SEXT_INREG:%[0-9]+]]:sgpr(s32) = G_SEXT_INREG [[BITCAST]], 16204 ; CHECK-NEXT: [[C:%[0-9]+]]:sgpr(s32) = G_CONSTANT i32 16205 ; CHECK-NEXT: [[ASHR:%[0-9]+]]:sgpr(s32) = G_ASHR [[BITCAST]], [[C]](s32)206 ; CHECK-NEXT: [[BITCAST1:%[0-9]+]]:sgpr(s32) = G_BITCAST [[COPY1]](<2 x s16>)207 ; CHECK-NEXT: [[SEXT_INREG1:%[0-9]+]]:sgpr(s32) = G_SEXT_INREG [[BITCAST1]], 16208 ; CHECK-NEXT: [[ASHR1:%[0-9]+]]:sgpr(s32) = G_ASHR [[BITCAST1]], [[C]](s32)209 ; CHECK-NEXT: [[ASHR2:%[0-9]+]]:sgpr(s32) = G_ASHR [[SEXT_INREG]], [[SEXT_INREG1]](s32)210 ; CHECK-NEXT: [[ASHR3:%[0-9]+]]:sgpr(s32) = G_ASHR [[ASHR]], [[ASHR1]](s32)211 ; CHECK-NEXT: [[BUILD_VECTOR_TRUNC:%[0-9]+]]:sgpr(<2 x s16>) = G_BUILD_VECTOR_TRUNC [[ASHR2]](s32), [[ASHR3]](s32)212 ; CHECK-NEXT: S_ENDPGM 0, implicit [[BUILD_VECTOR_TRUNC]](<2 x s16>)213 %0:_(<2 x s16>) = COPY $sgpr0214 %1:_(<2 x s16>) = COPY $sgpr1215 %2:_(<2 x s16>) = G_ASHR %0, %1216 S_ENDPGM 0, implicit %2217 218...219 220---221name: ashr_v2s16_sv222legalized: true223 224body: |225 bb.0:226 liveins: $sgpr0, $vgpr0227 ; CHECK-LABEL: name: ashr_v2s16_sv228 ; CHECK: liveins: $sgpr0, $vgpr0229 ; CHECK-NEXT: {{ $}}230 ; CHECK-NEXT: [[COPY:%[0-9]+]]:sgpr(<2 x s16>) = COPY $sgpr0231 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:vgpr(<2 x s16>) = COPY $vgpr0232 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:vgpr(<2 x s16>) = COPY [[COPY]](<2 x s16>)233 ; CHECK-NEXT: [[ASHR:%[0-9]+]]:vgpr(<2 x s16>) = G_ASHR [[COPY2]], [[COPY1]](<2 x s16>)234 ; CHECK-NEXT: S_ENDPGM 0, implicit [[ASHR]](<2 x s16>)235 %0:_(<2 x s16>) = COPY $sgpr0236 %1:_(<2 x s16>) = COPY $vgpr0237 %2:_(<2 x s16>) = G_ASHR %0, %1238 S_ENDPGM 0, implicit %2239...240 241---242name: ashr_v2s16_vs243legalized: true244 245body: |246 bb.0:247 liveins: $sgpr0, $vgpr0248 ; CHECK-LABEL: name: ashr_v2s16_vs249 ; CHECK: liveins: $sgpr0, $vgpr0250 ; CHECK-NEXT: {{ $}}251 ; CHECK-NEXT: [[COPY:%[0-9]+]]:vgpr(<2 x s16>) = COPY $vgpr0252 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:sgpr(<2 x s16>) = COPY $sgpr0253 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:vgpr(<2 x s16>) = COPY [[COPY1]](<2 x s16>)254 ; CHECK-NEXT: [[ASHR:%[0-9]+]]:vgpr(<2 x s16>) = G_ASHR [[COPY]], [[COPY2]](<2 x s16>)255 ; CHECK-NEXT: S_ENDPGM 0, implicit [[ASHR]](<2 x s16>)256 %0:_(<2 x s16>) = COPY $vgpr0257 %1:_(<2 x s16>) = COPY $sgpr0258 %2:_(<2 x s16>) = G_ASHR %0, %1259 S_ENDPGM 0, implicit %2260 261...262 263---264name: ashr_v2s16_vv265legalized: true266 267body: |268 bb.0:269 liveins: $vgpr0, $vgpr1270 ; CHECK-LABEL: name: ashr_v2s16_vv271 ; CHECK: liveins: $vgpr0, $vgpr1272 ; CHECK-NEXT: {{ $}}273 ; CHECK-NEXT: [[COPY:%[0-9]+]]:vgpr(<2 x s16>) = COPY $vgpr0274 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:vgpr(<2 x s16>) = COPY $vgpr1275 ; CHECK-NEXT: [[ASHR:%[0-9]+]]:vgpr(<2 x s16>) = G_ASHR [[COPY]], [[COPY1]](<2 x s16>)276 ; CHECK-NEXT: S_ENDPGM 0, implicit [[ASHR]](<2 x s16>)277 %0:_(<2 x s16>) = COPY $vgpr0278 %1:_(<2 x s16>) = COPY $vgpr1279 %2:_(<2 x s16>) = G_ASHR %0, %1280 S_ENDPGM 0, implicit %2281 282...283