441 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py2# RUN: llc -O0 -mtriple=aarch64 -run-pass=legalizer -verify-machineinstrs -global-isel-abort=0 %s -o - | FileCheck %s3# FIXME: Legalize s4_s32.4 5---6name: test_inserts_nonpow27body: |8 bb.0:9 liveins: $x0, $x1, $x210 11 12 ; CHECK-LABEL: name: test_inserts_nonpow213 ; CHECK: liveins: $x0, $x1, $x214 ; CHECK-NEXT: {{ $}}15 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $x316 ; CHECK-NEXT: $x0 = COPY [[COPY]](s64)17 ; CHECK-NEXT: RET_ReallyLR18 %0:_(s64) = COPY $x019 %1:_(s64) = COPY $x120 %2:_(s64) = COPY $x221 %3:_(s64) = COPY $x322 %4:_(s192) = G_MERGE_VALUES %0, %1, %223 %5:_(s192) = G_INSERT %4, %3, 024 %6:_(s64), %7:_(s64), %8:_(s64) = G_UNMERGE_VALUES %525 $x0 = COPY %626 RET_ReallyLR27...28---29name: test_inserts_s9630body: |31 bb.0:32 liveins: $x0, $x1, $x233 34 ; CHECK-LABEL: name: test_inserts_s9635 ; CHECK: liveins: $x0, $x1, $x236 ; CHECK-NEXT: {{ $}}37 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $x038 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY $x239 ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s32) = G_TRUNC [[COPY1]](s64)40 ; CHECK-NEXT: [[UV:%[0-9]+]]:_(s32), [[UV1:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[COPY]](s64)41 ; CHECK-NEXT: [[DEF:%[0-9]+]]:_(s32) = G_IMPLICIT_DEF42 ; CHECK-NEXT: [[MV:%[0-9]+]]:_(s64) = G_MERGE_VALUES [[UV]](s32), [[UV1]](s32)43 ; CHECK-NEXT: [[MV1:%[0-9]+]]:_(s64) = G_MERGE_VALUES [[TRUNC]](s32), [[DEF]](s32)44 ; CHECK-NEXT: $x0 = COPY [[MV]](s64)45 ; CHECK-NEXT: $x1 = COPY [[MV1]](s64)46 %0:_(s64) = COPY $x047 %1:_(s64) = COPY $x148 %2:_(s64) = COPY $x249 %3:_(s128) = G_MERGE_VALUES %0:_(s64), %1:_(s64)50 %4:_(s96) = G_TRUNC %3(s128)51 %5:_(s32) = G_TRUNC %2(s64)52 %6:_(s96) = G_INSERT %4, %5(s32), 6453 %7:_(s128) = G_ANYEXT %6(s96)54 %8:_(s64), %9:_(s64) = G_UNMERGE_VALUES %755 $x0 = COPY %856 $x1 = COPY %957...58---59name: test_inserts_s6560body: |61 bb.0:62 liveins: $x0, $x1, $x263 64 ; CHECK-LABEL: name: test_inserts_s6565 ; CHECK: liveins: $x0, $x1, $x266 ; CHECK-NEXT: {{ $}}67 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $x068 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY $x269 ; CHECK-NEXT: [[DEF:%[0-9]+]]:_(s32) = G_IMPLICIT_DEF70 ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 171 ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]72 ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s64) = G_CONSTANT i64 173 ; CHECK-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[AND]], [[C1]](s64)74 ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s32) = G_TRUNC [[COPY1]](s64)75 ; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s32) = G_AND [[TRUNC]], [[C]]76 ; CHECK-NEXT: [[OR:%[0-9]+]]:_(s32) = G_OR [[AND1]], [[SHL]]77 ; CHECK-NEXT: [[AND2:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]78 ; CHECK-NEXT: [[C2:%[0-9]+]]:_(s64) = G_CONSTANT i64 279 ; CHECK-NEXT: [[SHL1:%[0-9]+]]:_(s32) = G_SHL [[AND2]], [[C2]](s64)80 ; CHECK-NEXT: [[OR1:%[0-9]+]]:_(s32) = G_OR [[OR]], [[SHL1]]81 ; CHECK-NEXT: [[AND3:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]82 ; CHECK-NEXT: [[C3:%[0-9]+]]:_(s64) = G_CONSTANT i64 383 ; CHECK-NEXT: [[SHL2:%[0-9]+]]:_(s32) = G_SHL [[AND3]], [[C3]](s64)84 ; CHECK-NEXT: [[OR2:%[0-9]+]]:_(s32) = G_OR [[OR1]], [[SHL2]]85 ; CHECK-NEXT: [[AND4:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]86 ; CHECK-NEXT: [[C4:%[0-9]+]]:_(s64) = G_CONSTANT i64 487 ; CHECK-NEXT: [[SHL3:%[0-9]+]]:_(s32) = G_SHL [[AND4]], [[C4]](s64)88 ; CHECK-NEXT: [[OR3:%[0-9]+]]:_(s32) = G_OR [[OR2]], [[SHL3]]89 ; CHECK-NEXT: [[AND5:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]90 ; CHECK-NEXT: [[C5:%[0-9]+]]:_(s64) = G_CONSTANT i64 591 ; CHECK-NEXT: [[SHL4:%[0-9]+]]:_(s32) = G_SHL [[AND5]], [[C5]](s64)92 ; CHECK-NEXT: [[OR4:%[0-9]+]]:_(s32) = G_OR [[OR3]], [[SHL4]]93 ; CHECK-NEXT: [[AND6:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]94 ; CHECK-NEXT: [[C6:%[0-9]+]]:_(s64) = G_CONSTANT i64 695 ; CHECK-NEXT: [[SHL5:%[0-9]+]]:_(s32) = G_SHL [[AND6]], [[C6]](s64)96 ; CHECK-NEXT: [[OR5:%[0-9]+]]:_(s32) = G_OR [[OR4]], [[SHL5]]97 ; CHECK-NEXT: [[AND7:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]98 ; CHECK-NEXT: [[C7:%[0-9]+]]:_(s64) = G_CONSTANT i64 799 ; CHECK-NEXT: [[SHL6:%[0-9]+]]:_(s32) = G_SHL [[AND7]], [[C7]](s64)100 ; CHECK-NEXT: [[OR6:%[0-9]+]]:_(s32) = G_OR [[OR5]], [[SHL6]]101 ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s8) = G_TRUNC [[OR6]](s32)102 ; CHECK-NEXT: [[AND8:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]103 ; CHECK-NEXT: [[SHL7:%[0-9]+]]:_(s32) = G_SHL [[AND8]], [[C1]](s64)104 ; CHECK-NEXT: [[AND9:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]105 ; CHECK-NEXT: [[OR7:%[0-9]+]]:_(s32) = G_OR [[AND9]], [[SHL7]]106 ; CHECK-NEXT: [[AND10:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]107 ; CHECK-NEXT: [[SHL8:%[0-9]+]]:_(s32) = G_SHL [[AND10]], [[C2]](s64)108 ; CHECK-NEXT: [[OR8:%[0-9]+]]:_(s32) = G_OR [[OR7]], [[SHL8]]109 ; CHECK-NEXT: [[AND11:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]110 ; CHECK-NEXT: [[SHL9:%[0-9]+]]:_(s32) = G_SHL [[AND11]], [[C3]](s64)111 ; CHECK-NEXT: [[OR9:%[0-9]+]]:_(s32) = G_OR [[OR8]], [[SHL9]]112 ; CHECK-NEXT: [[AND12:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]113 ; CHECK-NEXT: [[SHL10:%[0-9]+]]:_(s32) = G_SHL [[AND12]], [[C4]](s64)114 ; CHECK-NEXT: [[OR10:%[0-9]+]]:_(s32) = G_OR [[OR9]], [[SHL10]]115 ; CHECK-NEXT: [[AND13:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]116 ; CHECK-NEXT: [[SHL11:%[0-9]+]]:_(s32) = G_SHL [[AND13]], [[C5]](s64)117 ; CHECK-NEXT: [[OR11:%[0-9]+]]:_(s32) = G_OR [[OR10]], [[SHL11]]118 ; CHECK-NEXT: [[AND14:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]119 ; CHECK-NEXT: [[SHL12:%[0-9]+]]:_(s32) = G_SHL [[AND14]], [[C6]](s64)120 ; CHECK-NEXT: [[OR12:%[0-9]+]]:_(s32) = G_OR [[OR11]], [[SHL12]]121 ; CHECK-NEXT: [[AND15:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]122 ; CHECK-NEXT: [[SHL13:%[0-9]+]]:_(s32) = G_SHL [[AND15]], [[C7]](s64)123 ; CHECK-NEXT: [[OR13:%[0-9]+]]:_(s32) = G_OR [[OR12]], [[SHL13]]124 ; CHECK-NEXT: [[TRUNC2:%[0-9]+]]:_(s8) = G_TRUNC [[OR13]](s32)125 ; CHECK-NEXT: [[AND16:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]126 ; CHECK-NEXT: [[SHL14:%[0-9]+]]:_(s32) = G_SHL [[AND16]], [[C1]](s64)127 ; CHECK-NEXT: [[AND17:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]128 ; CHECK-NEXT: [[OR14:%[0-9]+]]:_(s32) = G_OR [[AND17]], [[SHL14]]129 ; CHECK-NEXT: [[AND18:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]130 ; CHECK-NEXT: [[SHL15:%[0-9]+]]:_(s32) = G_SHL [[AND18]], [[C2]](s64)131 ; CHECK-NEXT: [[OR15:%[0-9]+]]:_(s32) = G_OR [[OR14]], [[SHL15]]132 ; CHECK-NEXT: [[AND19:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]133 ; CHECK-NEXT: [[SHL16:%[0-9]+]]:_(s32) = G_SHL [[AND19]], [[C3]](s64)134 ; CHECK-NEXT: [[OR16:%[0-9]+]]:_(s32) = G_OR [[OR15]], [[SHL16]]135 ; CHECK-NEXT: [[AND20:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]136 ; CHECK-NEXT: [[SHL17:%[0-9]+]]:_(s32) = G_SHL [[AND20]], [[C4]](s64)137 ; CHECK-NEXT: [[OR17:%[0-9]+]]:_(s32) = G_OR [[OR16]], [[SHL17]]138 ; CHECK-NEXT: [[AND21:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]139 ; CHECK-NEXT: [[SHL18:%[0-9]+]]:_(s32) = G_SHL [[AND21]], [[C5]](s64)140 ; CHECK-NEXT: [[OR18:%[0-9]+]]:_(s32) = G_OR [[OR17]], [[SHL18]]141 ; CHECK-NEXT: [[AND22:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]142 ; CHECK-NEXT: [[SHL19:%[0-9]+]]:_(s32) = G_SHL [[AND22]], [[C6]](s64)143 ; CHECK-NEXT: [[OR19:%[0-9]+]]:_(s32) = G_OR [[OR18]], [[SHL19]]144 ; CHECK-NEXT: [[AND23:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]145 ; CHECK-NEXT: [[SHL20:%[0-9]+]]:_(s32) = G_SHL [[AND23]], [[C7]](s64)146 ; CHECK-NEXT: [[OR20:%[0-9]+]]:_(s32) = G_OR [[OR19]], [[SHL20]]147 ; CHECK-NEXT: [[TRUNC3:%[0-9]+]]:_(s8) = G_TRUNC [[OR20]](s32)148 ; CHECK-NEXT: [[AND24:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]149 ; CHECK-NEXT: [[SHL21:%[0-9]+]]:_(s32) = G_SHL [[AND24]], [[C1]](s64)150 ; CHECK-NEXT: [[AND25:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]151 ; CHECK-NEXT: [[OR21:%[0-9]+]]:_(s32) = G_OR [[AND25]], [[SHL21]]152 ; CHECK-NEXT: [[AND26:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]153 ; CHECK-NEXT: [[SHL22:%[0-9]+]]:_(s32) = G_SHL [[AND26]], [[C2]](s64)154 ; CHECK-NEXT: [[OR22:%[0-9]+]]:_(s32) = G_OR [[OR21]], [[SHL22]]155 ; CHECK-NEXT: [[AND27:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]156 ; CHECK-NEXT: [[SHL23:%[0-9]+]]:_(s32) = G_SHL [[AND27]], [[C3]](s64)157 ; CHECK-NEXT: [[OR23:%[0-9]+]]:_(s32) = G_OR [[OR22]], [[SHL23]]158 ; CHECK-NEXT: [[AND28:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]159 ; CHECK-NEXT: [[SHL24:%[0-9]+]]:_(s32) = G_SHL [[AND28]], [[C4]](s64)160 ; CHECK-NEXT: [[OR24:%[0-9]+]]:_(s32) = G_OR [[OR23]], [[SHL24]]161 ; CHECK-NEXT: [[AND29:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]162 ; CHECK-NEXT: [[SHL25:%[0-9]+]]:_(s32) = G_SHL [[AND29]], [[C5]](s64)163 ; CHECK-NEXT: [[OR25:%[0-9]+]]:_(s32) = G_OR [[OR24]], [[SHL25]]164 ; CHECK-NEXT: [[AND30:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]165 ; CHECK-NEXT: [[SHL26:%[0-9]+]]:_(s32) = G_SHL [[AND30]], [[C6]](s64)166 ; CHECK-NEXT: [[OR26:%[0-9]+]]:_(s32) = G_OR [[OR25]], [[SHL26]]167 ; CHECK-NEXT: [[AND31:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]168 ; CHECK-NEXT: [[SHL27:%[0-9]+]]:_(s32) = G_SHL [[AND31]], [[C7]](s64)169 ; CHECK-NEXT: [[OR27:%[0-9]+]]:_(s32) = G_OR [[OR26]], [[SHL27]]170 ; CHECK-NEXT: [[TRUNC4:%[0-9]+]]:_(s8) = G_TRUNC [[OR27]](s32)171 ; CHECK-NEXT: [[AND32:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]172 ; CHECK-NEXT: [[SHL28:%[0-9]+]]:_(s32) = G_SHL [[AND32]], [[C1]](s64)173 ; CHECK-NEXT: [[AND33:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]174 ; CHECK-NEXT: [[OR28:%[0-9]+]]:_(s32) = G_OR [[AND33]], [[SHL28]]175 ; CHECK-NEXT: [[AND34:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]176 ; CHECK-NEXT: [[SHL29:%[0-9]+]]:_(s32) = G_SHL [[AND34]], [[C2]](s64)177 ; CHECK-NEXT: [[OR29:%[0-9]+]]:_(s32) = G_OR [[OR28]], [[SHL29]]178 ; CHECK-NEXT: [[AND35:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]179 ; CHECK-NEXT: [[SHL30:%[0-9]+]]:_(s32) = G_SHL [[AND35]], [[C3]](s64)180 ; CHECK-NEXT: [[OR30:%[0-9]+]]:_(s32) = G_OR [[OR29]], [[SHL30]]181 ; CHECK-NEXT: [[AND36:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]182 ; CHECK-NEXT: [[SHL31:%[0-9]+]]:_(s32) = G_SHL [[AND36]], [[C4]](s64)183 ; CHECK-NEXT: [[OR31:%[0-9]+]]:_(s32) = G_OR [[OR30]], [[SHL31]]184 ; CHECK-NEXT: [[AND37:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]185 ; CHECK-NEXT: [[SHL32:%[0-9]+]]:_(s32) = G_SHL [[AND37]], [[C5]](s64)186 ; CHECK-NEXT: [[OR32:%[0-9]+]]:_(s32) = G_OR [[OR31]], [[SHL32]]187 ; CHECK-NEXT: [[AND38:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]188 ; CHECK-NEXT: [[SHL33:%[0-9]+]]:_(s32) = G_SHL [[AND38]], [[C6]](s64)189 ; CHECK-NEXT: [[OR33:%[0-9]+]]:_(s32) = G_OR [[OR32]], [[SHL33]]190 ; CHECK-NEXT: [[AND39:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]191 ; CHECK-NEXT: [[SHL34:%[0-9]+]]:_(s32) = G_SHL [[AND39]], [[C7]](s64)192 ; CHECK-NEXT: [[OR34:%[0-9]+]]:_(s32) = G_OR [[OR33]], [[SHL34]]193 ; CHECK-NEXT: [[TRUNC5:%[0-9]+]]:_(s8) = G_TRUNC [[OR34]](s32)194 ; CHECK-NEXT: [[AND40:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]195 ; CHECK-NEXT: [[SHL35:%[0-9]+]]:_(s32) = G_SHL [[AND40]], [[C1]](s64)196 ; CHECK-NEXT: [[AND41:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]197 ; CHECK-NEXT: [[OR35:%[0-9]+]]:_(s32) = G_OR [[AND41]], [[SHL35]]198 ; CHECK-NEXT: [[AND42:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]199 ; CHECK-NEXT: [[SHL36:%[0-9]+]]:_(s32) = G_SHL [[AND42]], [[C2]](s64)200 ; CHECK-NEXT: [[OR36:%[0-9]+]]:_(s32) = G_OR [[OR35]], [[SHL36]]201 ; CHECK-NEXT: [[AND43:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]202 ; CHECK-NEXT: [[SHL37:%[0-9]+]]:_(s32) = G_SHL [[AND43]], [[C3]](s64)203 ; CHECK-NEXT: [[OR37:%[0-9]+]]:_(s32) = G_OR [[OR36]], [[SHL37]]204 ; CHECK-NEXT: [[AND44:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]205 ; CHECK-NEXT: [[SHL38:%[0-9]+]]:_(s32) = G_SHL [[AND44]], [[C4]](s64)206 ; CHECK-NEXT: [[OR38:%[0-9]+]]:_(s32) = G_OR [[OR37]], [[SHL38]]207 ; CHECK-NEXT: [[AND45:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]208 ; CHECK-NEXT: [[SHL39:%[0-9]+]]:_(s32) = G_SHL [[AND45]], [[C5]](s64)209 ; CHECK-NEXT: [[OR39:%[0-9]+]]:_(s32) = G_OR [[OR38]], [[SHL39]]210 ; CHECK-NEXT: [[AND46:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]211 ; CHECK-NEXT: [[SHL40:%[0-9]+]]:_(s32) = G_SHL [[AND46]], [[C6]](s64)212 ; CHECK-NEXT: [[OR40:%[0-9]+]]:_(s32) = G_OR [[OR39]], [[SHL40]]213 ; CHECK-NEXT: [[AND47:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]214 ; CHECK-NEXT: [[SHL41:%[0-9]+]]:_(s32) = G_SHL [[AND47]], [[C7]](s64)215 ; CHECK-NEXT: [[OR41:%[0-9]+]]:_(s32) = G_OR [[OR40]], [[SHL41]]216 ; CHECK-NEXT: [[TRUNC6:%[0-9]+]]:_(s8) = G_TRUNC [[OR41]](s32)217 ; CHECK-NEXT: [[AND48:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]218 ; CHECK-NEXT: [[SHL42:%[0-9]+]]:_(s32) = G_SHL [[AND48]], [[C1]](s64)219 ; CHECK-NEXT: [[AND49:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]220 ; CHECK-NEXT: [[OR42:%[0-9]+]]:_(s32) = G_OR [[AND49]], [[SHL42]]221 ; CHECK-NEXT: [[AND50:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]222 ; CHECK-NEXT: [[SHL43:%[0-9]+]]:_(s32) = G_SHL [[AND50]], [[C2]](s64)223 ; CHECK-NEXT: [[OR43:%[0-9]+]]:_(s32) = G_OR [[OR42]], [[SHL43]]224 ; CHECK-NEXT: [[AND51:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]225 ; CHECK-NEXT: [[SHL44:%[0-9]+]]:_(s32) = G_SHL [[AND51]], [[C3]](s64)226 ; CHECK-NEXT: [[OR44:%[0-9]+]]:_(s32) = G_OR [[OR43]], [[SHL44]]227 ; CHECK-NEXT: [[AND52:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]228 ; CHECK-NEXT: [[SHL45:%[0-9]+]]:_(s32) = G_SHL [[AND52]], [[C4]](s64)229 ; CHECK-NEXT: [[OR45:%[0-9]+]]:_(s32) = G_OR [[OR44]], [[SHL45]]230 ; CHECK-NEXT: [[AND53:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]231 ; CHECK-NEXT: [[SHL46:%[0-9]+]]:_(s32) = G_SHL [[AND53]], [[C5]](s64)232 ; CHECK-NEXT: [[OR46:%[0-9]+]]:_(s32) = G_OR [[OR45]], [[SHL46]]233 ; CHECK-NEXT: [[AND54:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]234 ; CHECK-NEXT: [[SHL47:%[0-9]+]]:_(s32) = G_SHL [[AND54]], [[C6]](s64)235 ; CHECK-NEXT: [[OR47:%[0-9]+]]:_(s32) = G_OR [[OR46]], [[SHL47]]236 ; CHECK-NEXT: [[AND55:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]237 ; CHECK-NEXT: [[SHL48:%[0-9]+]]:_(s32) = G_SHL [[AND55]], [[C7]](s64)238 ; CHECK-NEXT: [[OR48:%[0-9]+]]:_(s32) = G_OR [[OR47]], [[SHL48]]239 ; CHECK-NEXT: [[TRUNC7:%[0-9]+]]:_(s8) = G_TRUNC [[OR48]](s32)240 ; CHECK-NEXT: [[AND56:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]241 ; CHECK-NEXT: [[SHL49:%[0-9]+]]:_(s32) = G_SHL [[AND56]], [[C1]](s64)242 ; CHECK-NEXT: [[AND57:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]243 ; CHECK-NEXT: [[OR49:%[0-9]+]]:_(s32) = G_OR [[AND57]], [[SHL49]]244 ; CHECK-NEXT: [[AND58:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]245 ; CHECK-NEXT: [[SHL50:%[0-9]+]]:_(s32) = G_SHL [[AND58]], [[C2]](s64)246 ; CHECK-NEXT: [[OR50:%[0-9]+]]:_(s32) = G_OR [[OR49]], [[SHL50]]247 ; CHECK-NEXT: [[AND59:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]248 ; CHECK-NEXT: [[SHL51:%[0-9]+]]:_(s32) = G_SHL [[AND59]], [[C3]](s64)249 ; CHECK-NEXT: [[OR51:%[0-9]+]]:_(s32) = G_OR [[OR50]], [[SHL51]]250 ; CHECK-NEXT: [[AND60:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]251 ; CHECK-NEXT: [[SHL52:%[0-9]+]]:_(s32) = G_SHL [[AND60]], [[C4]](s64)252 ; CHECK-NEXT: [[OR52:%[0-9]+]]:_(s32) = G_OR [[OR51]], [[SHL52]]253 ; CHECK-NEXT: [[AND61:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]254 ; CHECK-NEXT: [[SHL53:%[0-9]+]]:_(s32) = G_SHL [[AND61]], [[C5]](s64)255 ; CHECK-NEXT: [[OR53:%[0-9]+]]:_(s32) = G_OR [[OR52]], [[SHL53]]256 ; CHECK-NEXT: [[AND62:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]257 ; CHECK-NEXT: [[SHL54:%[0-9]+]]:_(s32) = G_SHL [[AND62]], [[C6]](s64)258 ; CHECK-NEXT: [[OR54:%[0-9]+]]:_(s32) = G_OR [[OR53]], [[SHL54]]259 ; CHECK-NEXT: [[AND63:%[0-9]+]]:_(s32) = G_AND [[DEF]], [[C]]260 ; CHECK-NEXT: [[SHL55:%[0-9]+]]:_(s32) = G_SHL [[AND63]], [[C7]](s64)261 ; CHECK-NEXT: [[OR55:%[0-9]+]]:_(s32) = G_OR [[OR54]], [[SHL55]]262 ; CHECK-NEXT: [[TRUNC8:%[0-9]+]]:_(s8) = G_TRUNC [[OR55]](s32)263 ; CHECK-NEXT: [[MV:%[0-9]+]]:_(s64) = G_MERGE_VALUES [[TRUNC1]](s8), [[TRUNC2]](s8), [[TRUNC3]](s8), [[TRUNC4]](s8), [[TRUNC5]](s8), [[TRUNC6]](s8), [[TRUNC7]](s8), [[TRUNC8]](s8)264 ; CHECK-NEXT: $x0 = COPY [[COPY]](s64)265 ; CHECK-NEXT: $x1 = COPY [[MV]](s64)266 %0:_(s64) = COPY $x0267 %1:_(s64) = COPY $x1268 %2:_(s64) = COPY $x2269 %3:_(s128) = G_MERGE_VALUES %0:_(s64), %1:_(s64)270 %4:_(s65) = G_TRUNC %3(s128)271 %5:_(s1) = G_TRUNC %2(s64)272 %6:_(s65) = G_INSERT %4, %5(s1), 64273 %7:_(s128) = G_ANYEXT %6(s65)274 %8:_(s64), %9:_(s64) = G_UNMERGE_VALUES %7275 $x0 = COPY %8276 $x1 = COPY %9277...278---279name: s1_s32_legal280body: |281 bb.0:282 liveins: $w0, $w1283 ; CHECK-LABEL: name: s1_s32_legal284 ; CHECK: liveins: $w0, $w1285 ; CHECK-NEXT: {{ $}}286 ; CHECK-NEXT: %val1:_(s32) = COPY $w0287 ; CHECK-NEXT: %val2:_(s32) = COPY $w1288 ; CHECK-NEXT: %op:_(s1) = G_TRUNC %val2(s32)289 ; CHECK-NEXT: %ins:_(s32) = G_INSERT %val1, %op(s1), 0290 ; CHECK-NEXT: $w0 = COPY %ins(s32)291 ; CHECK-NEXT: RET_ReallyLR implicit $w0292 %val1:_(s32) = COPY $w0293 %val2:_(s32) = COPY $w1294 %op:_(s1) = G_TRUNC %val2295 %ins:_(s32) = G_INSERT %val1, %op(s1), 0296 $w0 = COPY %ins297 RET_ReallyLR implicit $w0298...299---300name: s8_s32_legal301body: |302 bb.0:303 liveins: $w0, $b0304 ; CHECK-LABEL: name: s8_s32_legal305 ; CHECK: liveins: $w0, $b0306 ; CHECK-NEXT: {{ $}}307 ; CHECK-NEXT: %val:_(s32) = COPY $w0308 ; CHECK-NEXT: %op:_(s8) = COPY $b0309 ; CHECK-NEXT: %ins:_(s32) = G_INSERT %val, %op(s8), 0310 ; CHECK-NEXT: $w0 = COPY %ins(s32)311 ; CHECK-NEXT: RET_ReallyLR implicit $w0312 %val:_(s32) = COPY $w0313 %op:_(s8) = COPY $b0314 %ins:_(s32) = G_INSERT %val, %op(s8), 0315 $w0 = COPY %ins316 RET_ReallyLR implicit $w0317...318---319name: s16_s32_legal320body: |321 bb.0:322 liveins: $w0, $h0323 ; CHECK-LABEL: name: s16_s32_legal324 ; CHECK: liveins: $w0, $h0325 ; CHECK-NEXT: {{ $}}326 ; CHECK-NEXT: %val:_(s32) = COPY $w0327 ; CHECK-NEXT: %op:_(s16) = COPY $h0328 ; CHECK-NEXT: %ins:_(s32) = G_INSERT %val, %op(s16), 0329 ; CHECK-NEXT: $w0 = COPY %ins(s32)330 ; CHECK-NEXT: RET_ReallyLR implicit $w0331 %val:_(s32) = COPY $w0332 %op:_(s16) = COPY $h0333 %ins:_(s32) = G_INSERT %val, %op(s16), 0334 $w0 = COPY %ins335 RET_ReallyLR implicit $w0336...337---338name: s32_s64_legal339body: |340 bb.0:341 liveins: $x0, $w0342 ; CHECK-LABEL: name: s32_s64_legal343 ; CHECK: liveins: $x0, $w0344 ; CHECK-NEXT: {{ $}}345 ; CHECK-NEXT: %val:_(s64) = COPY $x0346 ; CHECK-NEXT: %op:_(s32) = COPY $w0347 ; CHECK-NEXT: %ins:_(s64) = G_INSERT %val, %op(s32), 0348 ; CHECK-NEXT: $x0 = COPY %ins(s64)349 ; CHECK-NEXT: RET_ReallyLR implicit $x0350 %val:_(s64) = COPY $x0351 %op:_(s32) = COPY $w0352 %ins:_(s64) = G_INSERT %val, %op(s32), 0353 $x0 = COPY %ins354 RET_ReallyLR implicit $x0355...356---357name: s32_p0_legal358body: |359 bb.0:360 liveins: $x0, $w0361 ; CHECK-LABEL: name: s32_p0_legal362 ; CHECK: liveins: $x0, $w0363 ; CHECK-NEXT: {{ $}}364 ; CHECK-NEXT: %val:_(p0) = COPY $x0365 ; CHECK-NEXT: %op:_(s32) = COPY $w0366 ; CHECK-NEXT: %ins:_(p0) = G_INSERT %val, %op(s32), 0367 ; CHECK-NEXT: $x0 = COPY %ins(p0)368 ; CHECK-NEXT: RET_ReallyLR implicit $x0369 %val:_(p0) = COPY $x0370 %op:_(s32) = COPY $w0371 %ins:_(p0) = G_INSERT %val, %op(s32), 0372 $x0 = COPY %ins373 RET_ReallyLR implicit $x0374...375---376name: s32_s128377body: |378 bb.0:379 liveins: $q0, $w0380 ; CHECK-LABEL: name: s32_s128381 ; CHECK: liveins: $q0, $w0382 ; CHECK-NEXT: {{ $}}383 ; CHECK-NEXT: %val:_(s128) = COPY $q0384 ; CHECK-NEXT: %op:_(s32) = COPY $w0385 ; CHECK-NEXT: [[UV:%[0-9]+]]:_(s64), [[UV1:%[0-9]+]]:_(s64) = G_UNMERGE_VALUES %val(s128)386 ; CHECK-NEXT: [[INSERT:%[0-9]+]]:_(s64) = G_INSERT [[UV]], %op(s32), 0387 ; CHECK-NEXT: %ins:_(s128) = G_MERGE_VALUES [[INSERT]](s64), [[UV1]](s64)388 ; CHECK-NEXT: $q0 = COPY %ins(s128)389 ; CHECK-NEXT: RET_ReallyLR implicit $q0390 %val:_(s128) = COPY $q0391 %op:_(s32) = COPY $w0392 %ins:_(s128) = G_INSERT %val, %op(s32), 0393 $q0 = COPY %ins394 RET_ReallyLR implicit $q0395...396---397name: s1_s128398body: |399 bb.0:400 liveins: $q0, $w0401 ; CHECK-LABEL: name: s1_s128402 ; CHECK: liveins: $q0, $w0403 ; CHECK-NEXT: {{ $}}404 ; CHECK-NEXT: %val1:_(s128) = COPY $q0405 ; CHECK-NEXT: %val2:_(s32) = COPY $w1406 ; CHECK-NEXT: %op:_(s1) = G_TRUNC %val2(s32)407 ; CHECK-NEXT: [[UV:%[0-9]+]]:_(s64), [[UV1:%[0-9]+]]:_(s64) = G_UNMERGE_VALUES %val1(s128)408 ; CHECK-NEXT: [[INSERT:%[0-9]+]]:_(s64) = G_INSERT [[UV]], %op(s1), 0409 ; CHECK-NEXT: %ins:_(s128) = G_MERGE_VALUES [[INSERT]](s64), [[UV1]](s64)410 ; CHECK-NEXT: $q0 = COPY %ins(s128)411 ; CHECK-NEXT: RET_ReallyLR implicit $q0412 %val1:_(s128) = COPY $q0413 %val2:_(s32) = COPY $w1414 %op:_(s1) = G_TRUNC %val2415 %ins:_(s128) = G_INSERT %val1, %op(s1), 0416 $q0 = COPY %ins417 RET_ReallyLR implicit $q0418...419---420name: s4_s32421body: |422 bb.0:423 liveins: $w0, $w1424 ; FIXME: Can't legalize this right now?425 426 ; CHECK-LABEL: name: s4_s32427 ; CHECK: liveins: $w0, $w1428 ; CHECK-NEXT: {{ $}}429 ; CHECK-NEXT: %val1:_(s32) = COPY $w0430 ; CHECK-NEXT: %val2:_(s32) = COPY $w1431 ; CHECK-NEXT: %op:_(s4) = G_TRUNC %val2(s32)432 ; CHECK-NEXT: %ins:_(s32) = G_INSERT %val1, %op(s4), 0433 ; CHECK-NEXT: $w0 = COPY %ins(s32)434 ; CHECK-NEXT: RET_ReallyLR implicit $w0435 %val1:_(s32) = COPY $w0436 %val2:_(s32) = COPY $w1437 %op:_(s4) = G_TRUNC %val2438 %ins:_(s32) = G_INSERT %val1, %op(s4), 0439 $w0 = COPY %ins440 RET_ReallyLR implicit $w0441