502 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py2# RUN: llc -mtriple=riscv32 -mattr=+m,+v -run-pass=regbankselect \3# RUN: -disable-gisel-legality-check -simplify-mir -verify-machineinstrs %s \4# RUN: -o - | FileCheck %s5# RUN: llc -mtriple=riscv64 -mattr=+m,+v -run-pass=regbankselect \6# RUN: -disable-gisel-legality-check -simplify-mir -verify-machineinstrs %s \7# RUN: -o - | FileCheck %s8 9---10name: icmp_nxv1i111legalized: true12tracksRegLiveness: true13body: |14 bb.0.entry:15 ; CHECK-LABEL: name: icmp_nxv1i116 ; CHECK: [[DEF:%[0-9]+]]:vrb(<vscale x 1 x s1>) = G_IMPLICIT_DEF17 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vrb(<vscale x 1 x s1>) = G_ICMP intpred(sgt), [[DEF]](<vscale x 1 x s1>), [[DEF]]18 ; CHECK-NEXT: $v8 = COPY [[ICMP]](<vscale x 1 x s1>)19 ; CHECK-NEXT: PseudoRET implicit $v820 %0:_(<vscale x 1 x s1>) = G_IMPLICIT_DEF21 %1:_(<vscale x 1 x s1>) = G_ICMP intpred(sgt), %0(<vscale x 1 x s1>), %022 $v8 = COPY %1(<vscale x 1 x s1>)23 PseudoRET implicit $v824 25...26---27name: icmp_nxv2i128legalized: true29tracksRegLiveness: true30body: |31 bb.0.entry:32 ; CHECK-LABEL: name: icmp_nxv2i133 ; CHECK: [[DEF:%[0-9]+]]:vrb(<vscale x 2 x s1>) = G_IMPLICIT_DEF34 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vrb(<vscale x 2 x s1>) = G_ICMP intpred(sgt), [[DEF]](<vscale x 2 x s1>), [[DEF]]35 ; CHECK-NEXT: $v8 = COPY [[ICMP]](<vscale x 2 x s1>)36 ; CHECK-NEXT: PseudoRET implicit $v837 %0:_(<vscale x 2 x s1>) = G_IMPLICIT_DEF38 %1:_(<vscale x 2 x s1>) = G_ICMP intpred(sgt), %0(<vscale x 2 x s1>), %039 $v8 = COPY %1(<vscale x 2 x s1>)40 PseudoRET implicit $v841 42...43---44name: icmp_nxv4i145legalized: true46tracksRegLiveness: true47body: |48 bb.0.entry:49 ; CHECK-LABEL: name: icmp_nxv4i150 ; CHECK: [[DEF:%[0-9]+]]:vrb(<vscale x 4 x s1>) = G_IMPLICIT_DEF51 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vrb(<vscale x 4 x s1>) = G_ICMP intpred(sgt), [[DEF]](<vscale x 4 x s1>), [[DEF]]52 ; CHECK-NEXT: $v8 = COPY [[ICMP]](<vscale x 4 x s1>)53 ; CHECK-NEXT: PseudoRET implicit $v854 %0:_(<vscale x 4 x s1>) = G_IMPLICIT_DEF55 %1:_(<vscale x 4 x s1>) = G_ICMP intpred(sgt), %0(<vscale x 4 x s1>), %056 $v8 = COPY %1(<vscale x 4 x s1>)57 PseudoRET implicit $v858 59...60---61name: icmp_nxv8i162legalized: true63tracksRegLiveness: true64body: |65 bb.0.entry:66 ; CHECK-LABEL: name: icmp_nxv8i167 ; CHECK: [[DEF:%[0-9]+]]:vrb(<vscale x 8 x s1>) = G_IMPLICIT_DEF68 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vrb(<vscale x 8 x s1>) = G_ICMP intpred(sgt), [[DEF]](<vscale x 8 x s1>), [[DEF]]69 ; CHECK-NEXT: $v8 = COPY [[ICMP]](<vscale x 8 x s1>)70 ; CHECK-NEXT: PseudoRET implicit $v871 %0:_(<vscale x 8 x s1>) = G_IMPLICIT_DEF72 %1:_(<vscale x 8 x s1>) = G_ICMP intpred(sgt), %0(<vscale x 8 x s1>), %073 $v8 = COPY %1(<vscale x 8 x s1>)74 PseudoRET implicit $v875 76...77---78name: icmp_nxv16i179legalized: true80tracksRegLiveness: true81body: |82 bb.0.entry:83 ; CHECK-LABEL: name: icmp_nxv16i184 ; CHECK: [[DEF:%[0-9]+]]:vrb(<vscale x 16 x s1>) = G_IMPLICIT_DEF85 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vrb(<vscale x 16 x s1>) = G_ICMP intpred(sgt), [[DEF]](<vscale x 16 x s1>), [[DEF]]86 ; CHECK-NEXT: $v8 = COPY [[ICMP]](<vscale x 16 x s1>)87 ; CHECK-NEXT: PseudoRET implicit $v888 %0:_(<vscale x 16 x s1>) = G_IMPLICIT_DEF89 %1:_(<vscale x 16 x s1>) = G_ICMP intpred(sgt), %0(<vscale x 16 x s1>), %090 $v8 = COPY %1(<vscale x 16 x s1>)91 PseudoRET implicit $v892 93...94---95name: icmp_nxv32i196legalized: true97tracksRegLiveness: true98body: |99 bb.0.entry:100 ; CHECK-LABEL: name: icmp_nxv32i1101 ; CHECK: [[DEF:%[0-9]+]]:vrb(<vscale x 32 x s1>) = G_IMPLICIT_DEF102 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vrb(<vscale x 32 x s1>) = G_ICMP intpred(sgt), [[DEF]](<vscale x 32 x s1>), [[DEF]]103 ; CHECK-NEXT: $v8 = COPY [[ICMP]](<vscale x 32 x s1>)104 ; CHECK-NEXT: PseudoRET implicit $v8105 %0:_(<vscale x 32 x s1>) = G_IMPLICIT_DEF106 %1:_(<vscale x 32 x s1>) = G_ICMP intpred(sgt), %0(<vscale x 32 x s1>), %0107 $v8 = COPY %1(<vscale x 32 x s1>)108 PseudoRET implicit $v8109 110...111---112name: icmp_nxv64i1113legalized: true114tracksRegLiveness: true115body: |116 bb.0.entry:117 ; CHECK-LABEL: name: icmp_nxv64i1118 ; CHECK: [[DEF:%[0-9]+]]:vrb(<vscale x 64 x s1>) = G_IMPLICIT_DEF119 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vrb(<vscale x 64 x s1>) = G_ICMP intpred(sgt), [[DEF]](<vscale x 64 x s1>), [[DEF]]120 ; CHECK-NEXT: $v8 = COPY [[ICMP]](<vscale x 64 x s1>)121 ; CHECK-NEXT: PseudoRET implicit $v8122 %0:_(<vscale x 64 x s1>) = G_IMPLICIT_DEF123 %1:_(<vscale x 64 x s1>) = G_ICMP intpred(sgt), %0(<vscale x 64 x s1>), %0124 $v8 = COPY %1(<vscale x 64 x s1>)125 PseudoRET implicit $v8126 127...128---129name: icmp_nxv1i8130legalized: true131tracksRegLiveness: true132body: |133 bb.0.entry:134 ; CHECK-LABEL: name: icmp_nxv1i8135 ; CHECK: [[DEF:%[0-9]+]]:vrb(<vscale x 1 x s8>) = G_IMPLICIT_DEF136 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vrb(<vscale x 1 x s1>) = G_ICMP intpred(sgt), [[DEF]](<vscale x 1 x s8>), [[DEF]]137 ; CHECK-NEXT: $v8 = COPY [[ICMP]](<vscale x 1 x s1>)138 ; CHECK-NEXT: PseudoRET implicit $v8139 %0:_(<vscale x 1 x s8>) = G_IMPLICIT_DEF140 %1:_(<vscale x 1 x s1>) = G_ICMP intpred(sgt), %0(<vscale x 1 x s8>), %0141 $v8 = COPY %1(<vscale x 1 x s1>)142 PseudoRET implicit $v8143 144...145---146name: icmp_nxv2i8147legalized: true148tracksRegLiveness: true149body: |150 bb.0.entry:151 ; CHECK-LABEL: name: icmp_nxv2i8152 ; CHECK: [[DEF:%[0-9]+]]:vrb(<vscale x 2 x s8>) = G_IMPLICIT_DEF153 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vrb(<vscale x 2 x s1>) = G_ICMP intpred(sgt), [[DEF]](<vscale x 2 x s8>), [[DEF]]154 ; CHECK-NEXT: $v8 = COPY [[ICMP]](<vscale x 2 x s1>)155 ; CHECK-NEXT: PseudoRET implicit $v8156 %0:_(<vscale x 2 x s8>) = G_IMPLICIT_DEF157 %1:_(<vscale x 2 x s1>) = G_ICMP intpred(sgt), %0(<vscale x 2 x s8>), %0158 $v8 = COPY %1(<vscale x 2 x s1>)159 PseudoRET implicit $v8160 161...162---163name: icmp_nxv4i8164legalized: true165tracksRegLiveness: true166body: |167 bb.0.entry:168 ; CHECK-LABEL: name: icmp_nxv4i8169 ; CHECK: [[DEF:%[0-9]+]]:vrb(<vscale x 4 x s8>) = G_IMPLICIT_DEF170 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vrb(<vscale x 4 x s1>) = G_ICMP intpred(sgt), [[DEF]](<vscale x 4 x s8>), [[DEF]]171 ; CHECK-NEXT: $v8 = COPY [[ICMP]](<vscale x 4 x s1>)172 ; CHECK-NEXT: PseudoRET implicit $v8173 %0:_(<vscale x 4 x s8>) = G_IMPLICIT_DEF174 %1:_(<vscale x 4 x s1>) = G_ICMP intpred(sgt), %0(<vscale x 4 x s8>), %0175 $v8 = COPY %1(<vscale x 4 x s1>)176 PseudoRET implicit $v8177 178...179---180name: icmp_nxv8i8181legalized: true182tracksRegLiveness: true183body: |184 bb.0.entry:185 ; CHECK-LABEL: name: icmp_nxv8i8186 ; CHECK: [[DEF:%[0-9]+]]:vrb(<vscale x 8 x s8>) = G_IMPLICIT_DEF187 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vrb(<vscale x 8 x s1>) = G_ICMP intpred(sgt), [[DEF]](<vscale x 8 x s8>), [[DEF]]188 ; CHECK-NEXT: $v8 = COPY [[ICMP]](<vscale x 8 x s1>)189 ; CHECK-NEXT: PseudoRET implicit $v8190 %0:_(<vscale x 8 x s8>) = G_IMPLICIT_DEF191 %1:_(<vscale x 8 x s1>) = G_ICMP intpred(sgt), %0(<vscale x 8 x s8>), %0192 $v8 = COPY %1(<vscale x 8 x s1>)193 PseudoRET implicit $v8194 195...196---197name: icmp_nxv16i8198legalized: true199tracksRegLiveness: true200body: |201 bb.0.entry:202 ; CHECK-LABEL: name: icmp_nxv16i8203 ; CHECK: [[DEF:%[0-9]+]]:vrb(<vscale x 16 x s8>) = G_IMPLICIT_DEF204 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vrb(<vscale x 16 x s1>) = G_ICMP intpred(sgt), [[DEF]](<vscale x 16 x s8>), [[DEF]]205 ; CHECK-NEXT: $v8 = COPY [[ICMP]](<vscale x 16 x s1>)206 ; CHECK-NEXT: PseudoRET implicit $v8207 %0:_(<vscale x 16 x s8>) = G_IMPLICIT_DEF208 %1:_(<vscale x 16 x s1>) = G_ICMP intpred(sgt), %0(<vscale x 16 x s8>), %0209 $v8 = COPY %1(<vscale x 16 x s1>)210 PseudoRET implicit $v8211 212...213---214name: icmp_nxv32i8215legalized: true216tracksRegLiveness: true217body: |218 bb.0.entry:219 ; CHECK-LABEL: name: icmp_nxv32i8220 ; CHECK: [[DEF:%[0-9]+]]:vrb(<vscale x 32 x s8>) = G_IMPLICIT_DEF221 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vrb(<vscale x 32 x s1>) = G_ICMP intpred(sgt), [[DEF]](<vscale x 32 x s8>), [[DEF]]222 ; CHECK-NEXT: $v8 = COPY [[ICMP]](<vscale x 32 x s1>)223 ; CHECK-NEXT: PseudoRET implicit $v8224 %0:_(<vscale x 32 x s8>) = G_IMPLICIT_DEF225 %1:_(<vscale x 32 x s1>) = G_ICMP intpred(sgt), %0(<vscale x 32 x s8>), %0226 $v8 = COPY %1(<vscale x 32 x s1>)227 PseudoRET implicit $v8228 229...230---231name: icmp_nxv64i8232legalized: true233tracksRegLiveness: true234body: |235 bb.0.entry:236 ; CHECK-LABEL: name: icmp_nxv64i8237 ; CHECK: [[DEF:%[0-9]+]]:vrb(<vscale x 64 x s8>) = G_IMPLICIT_DEF238 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vrb(<vscale x 64 x s1>) = G_ICMP intpred(sgt), [[DEF]](<vscale x 64 x s8>), [[DEF]]239 ; CHECK-NEXT: $v8 = COPY [[ICMP]](<vscale x 64 x s1>)240 ; CHECK-NEXT: PseudoRET implicit $v8241 %0:_(<vscale x 64 x s8>) = G_IMPLICIT_DEF242 %1:_(<vscale x 64 x s1>) = G_ICMP intpred(sgt), %0(<vscale x 64 x s8>), %0243 $v8 = COPY %1(<vscale x 64 x s1>)244 PseudoRET implicit $v8245 246...247---248name: icmp_nxv1i16249legalized: true250tracksRegLiveness: true251body: |252 bb.0.entry:253 ; CHECK-LABEL: name: icmp_nxv1i16254 ; CHECK: [[DEF:%[0-9]+]]:vrb(<vscale x 1 x s16>) = G_IMPLICIT_DEF255 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vrb(<vscale x 1 x s1>) = G_ICMP intpred(sgt), [[DEF]](<vscale x 1 x s16>), [[DEF]]256 ; CHECK-NEXT: $v8 = COPY [[ICMP]](<vscale x 1 x s1>)257 ; CHECK-NEXT: PseudoRET implicit $v8258 %0:_(<vscale x 1 x s16>) = G_IMPLICIT_DEF259 %1:_(<vscale x 1 x s1>) = G_ICMP intpred(sgt), %0(<vscale x 1 x s16>), %0260 $v8 = COPY %1(<vscale x 1 x s1>)261 PseudoRET implicit $v8262 263...264---265name: icmp_nxv2i16266legalized: true267tracksRegLiveness: true268body: |269 bb.0.entry:270 ; CHECK-LABEL: name: icmp_nxv2i16271 ; CHECK: [[DEF:%[0-9]+]]:vrb(<vscale x 2 x s16>) = G_IMPLICIT_DEF272 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vrb(<vscale x 2 x s1>) = G_ICMP intpred(sgt), [[DEF]](<vscale x 2 x s16>), [[DEF]]273 ; CHECK-NEXT: $v8 = COPY [[ICMP]](<vscale x 2 x s1>)274 ; CHECK-NEXT: PseudoRET implicit $v8275 %0:_(<vscale x 2 x s16>) = G_IMPLICIT_DEF276 %1:_(<vscale x 2 x s1>) = G_ICMP intpred(sgt), %0(<vscale x 2 x s16>), %0277 $v8 = COPY %1(<vscale x 2 x s1>)278 PseudoRET implicit $v8279 280...281---282name: icmp_nxv4i16283legalized: true284tracksRegLiveness: true285body: |286 bb.0.entry:287 ; CHECK-LABEL: name: icmp_nxv4i16288 ; CHECK: [[DEF:%[0-9]+]]:vrb(<vscale x 4 x s16>) = G_IMPLICIT_DEF289 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vrb(<vscale x 4 x s1>) = G_ICMP intpred(sgt), [[DEF]](<vscale x 4 x s16>), [[DEF]]290 ; CHECK-NEXT: $v8 = COPY [[ICMP]](<vscale x 4 x s1>)291 ; CHECK-NEXT: PseudoRET implicit $v8292 %0:_(<vscale x 4 x s16>) = G_IMPLICIT_DEF293 %1:_(<vscale x 4 x s1>) = G_ICMP intpred(sgt), %0(<vscale x 4 x s16>), %0294 $v8 = COPY %1(<vscale x 4 x s1>)295 PseudoRET implicit $v8296 297...298---299name: icmp_nxv8i16300legalized: true301tracksRegLiveness: true302body: |303 bb.0.entry:304 ; CHECK-LABEL: name: icmp_nxv8i16305 ; CHECK: [[DEF:%[0-9]+]]:vrb(<vscale x 8 x s16>) = G_IMPLICIT_DEF306 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vrb(<vscale x 8 x s1>) = G_ICMP intpred(sgt), [[DEF]](<vscale x 8 x s16>), [[DEF]]307 ; CHECK-NEXT: $v8 = COPY [[ICMP]](<vscale x 8 x s1>)308 ; CHECK-NEXT: PseudoRET implicit $v8309 %0:_(<vscale x 8 x s16>) = G_IMPLICIT_DEF310 %1:_(<vscale x 8 x s1>) = G_ICMP intpred(sgt), %0(<vscale x 8 x s16>), %0311 $v8 = COPY %1(<vscale x 8 x s1>)312 PseudoRET implicit $v8313 314...315---316name: icmp_nxv16i16317legalized: true318tracksRegLiveness: true319body: |320 bb.0.entry:321 ; CHECK-LABEL: name: icmp_nxv16i16322 ; CHECK: [[DEF:%[0-9]+]]:vrb(<vscale x 16 x s16>) = G_IMPLICIT_DEF323 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vrb(<vscale x 16 x s1>) = G_ICMP intpred(sgt), [[DEF]](<vscale x 16 x s16>), [[DEF]]324 ; CHECK-NEXT: $v8 = COPY [[ICMP]](<vscale x 16 x s1>)325 ; CHECK-NEXT: PseudoRET implicit $v8326 %0:_(<vscale x 16 x s16>) = G_IMPLICIT_DEF327 %1:_(<vscale x 16 x s1>) = G_ICMP intpred(sgt), %0(<vscale x 16 x s16>), %0328 $v8 = COPY %1(<vscale x 16 x s1>)329 PseudoRET implicit $v8330 331...332---333name: icmp_nxv32i16334legalized: true335tracksRegLiveness: true336body: |337 bb.0.entry:338 ; CHECK-LABEL: name: icmp_nxv32i16339 ; CHECK: [[DEF:%[0-9]+]]:vrb(<vscale x 32 x s16>) = G_IMPLICIT_DEF340 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vrb(<vscale x 32 x s1>) = G_ICMP intpred(sgt), [[DEF]](<vscale x 32 x s16>), [[DEF]]341 ; CHECK-NEXT: $v8 = COPY [[ICMP]](<vscale x 32 x s1>)342 ; CHECK-NEXT: PseudoRET implicit $v8343 %0:_(<vscale x 32 x s16>) = G_IMPLICIT_DEF344 %1:_(<vscale x 32 x s1>) = G_ICMP intpred(sgt), %0(<vscale x 32 x s16>), %0345 $v8 = COPY %1(<vscale x 32 x s1>)346 PseudoRET implicit $v8347 348...349---350name: icmp_nxv1i32351legalized: true352tracksRegLiveness: true353body: |354 bb.0.entry:355 ; CHECK-LABEL: name: icmp_nxv1i32356 ; CHECK: [[DEF:%[0-9]+]]:vrb(<vscale x 1 x s32>) = G_IMPLICIT_DEF357 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vrb(<vscale x 1 x s1>) = G_ICMP intpred(sgt), [[DEF]](<vscale x 1 x s32>), [[DEF]]358 ; CHECK-NEXT: $v8 = COPY [[ICMP]](<vscale x 1 x s1>)359 ; CHECK-NEXT: PseudoRET implicit $v8360 %0:_(<vscale x 1 x s32>) = G_IMPLICIT_DEF361 %1:_(<vscale x 1 x s1>) = G_ICMP intpred(sgt), %0(<vscale x 1 x s32>), %0362 $v8 = COPY %1(<vscale x 1 x s1>)363 PseudoRET implicit $v8364 365...366---367name: icmp_nxv2i32368legalized: true369tracksRegLiveness: true370body: |371 bb.0.entry:372 ; CHECK-LABEL: name: icmp_nxv2i32373 ; CHECK: [[DEF:%[0-9]+]]:vrb(<vscale x 2 x s32>) = G_IMPLICIT_DEF374 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vrb(<vscale x 2 x s1>) = G_ICMP intpred(sgt), [[DEF]](<vscale x 2 x s32>), [[DEF]]375 ; CHECK-NEXT: $v8 = COPY [[ICMP]](<vscale x 2 x s1>)376 ; CHECK-NEXT: PseudoRET implicit $v8377 %0:_(<vscale x 2 x s32>) = G_IMPLICIT_DEF378 %1:_(<vscale x 2 x s1>) = G_ICMP intpred(sgt), %0(<vscale x 2 x s32>), %0379 $v8 = COPY %1(<vscale x 2 x s1>)380 PseudoRET implicit $v8381 382...383---384name: icmp_nxv4i32385legalized: true386tracksRegLiveness: true387body: |388 bb.0.entry:389 ; CHECK-LABEL: name: icmp_nxv4i32390 ; CHECK: [[DEF:%[0-9]+]]:vrb(<vscale x 4 x s32>) = G_IMPLICIT_DEF391 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vrb(<vscale x 4 x s1>) = G_ICMP intpred(sgt), [[DEF]](<vscale x 4 x s32>), [[DEF]]392 ; CHECK-NEXT: $v8 = COPY [[ICMP]](<vscale x 4 x s1>)393 ; CHECK-NEXT: PseudoRET implicit $v8394 %0:_(<vscale x 4 x s32>) = G_IMPLICIT_DEF395 %1:_(<vscale x 4 x s1>) = G_ICMP intpred(sgt), %0(<vscale x 4 x s32>), %0396 $v8 = COPY %1(<vscale x 4 x s1>)397 PseudoRET implicit $v8398 399...400---401name: icmp_nxv8i32402legalized: true403tracksRegLiveness: true404body: |405 bb.0.entry:406 ; CHECK-LABEL: name: icmp_nxv8i32407 ; CHECK: [[DEF:%[0-9]+]]:vrb(<vscale x 8 x s32>) = G_IMPLICIT_DEF408 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vrb(<vscale x 8 x s1>) = G_ICMP intpred(sgt), [[DEF]](<vscale x 8 x s32>), [[DEF]]409 ; CHECK-NEXT: $v8 = COPY [[ICMP]](<vscale x 8 x s1>)410 ; CHECK-NEXT: PseudoRET implicit $v8411 %0:_(<vscale x 8 x s32>) = G_IMPLICIT_DEF412 %1:_(<vscale x 8 x s1>) = G_ICMP intpred(sgt), %0(<vscale x 8 x s32>), %0413 $v8 = COPY %1(<vscale x 8 x s1>)414 PseudoRET implicit $v8415 416...417---418name: icmp_nxv16i32419legalized: true420tracksRegLiveness: true421body: |422 bb.0.entry:423 ; CHECK-LABEL: name: icmp_nxv16i32424 ; CHECK: [[DEF:%[0-9]+]]:vrb(<vscale x 16 x s32>) = G_IMPLICIT_DEF425 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vrb(<vscale x 16 x s1>) = G_ICMP intpred(sgt), [[DEF]](<vscale x 16 x s32>), [[DEF]]426 ; CHECK-NEXT: $v8 = COPY [[ICMP]](<vscale x 16 x s1>)427 ; CHECK-NEXT: PseudoRET implicit $v8428 %0:_(<vscale x 16 x s32>) = G_IMPLICIT_DEF429 %1:_(<vscale x 16 x s1>) = G_ICMP intpred(sgt), %0(<vscale x 16 x s32>), %0430 $v8 = COPY %1(<vscale x 16 x s1>)431 PseudoRET implicit $v8432 433...434---435name: icmp_nxv1i64436legalized: true437tracksRegLiveness: true438body: |439 bb.0.entry:440 ; CHECK-LABEL: name: icmp_nxv1i64441 ; CHECK: [[DEF:%[0-9]+]]:vrb(<vscale x 1 x s64>) = G_IMPLICIT_DEF442 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vrb(<vscale x 1 x s1>) = G_ICMP intpred(sgt), [[DEF]](<vscale x 1 x s64>), [[DEF]]443 ; CHECK-NEXT: $v8 = COPY [[ICMP]](<vscale x 1 x s1>)444 ; CHECK-NEXT: PseudoRET implicit $v8445 %0:_(<vscale x 1 x s64>) = G_IMPLICIT_DEF446 %1:_(<vscale x 1 x s1>) = G_ICMP intpred(sgt), %0(<vscale x 1 x s64>), %0447 $v8 = COPY %1(<vscale x 1 x s1>)448 PseudoRET implicit $v8449 450...451---452name: icmp_nxv2i64453legalized: true454tracksRegLiveness: true455body: |456 bb.0.entry:457 ; CHECK-LABEL: name: icmp_nxv2i64458 ; CHECK: [[DEF:%[0-9]+]]:vrb(<vscale x 2 x s64>) = G_IMPLICIT_DEF459 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vrb(<vscale x 2 x s1>) = G_ICMP intpred(sgt), [[DEF]](<vscale x 2 x s64>), [[DEF]]460 ; CHECK-NEXT: $v8 = COPY [[ICMP]](<vscale x 2 x s1>)461 ; CHECK-NEXT: PseudoRET implicit $v8462 %0:_(<vscale x 2 x s64>) = G_IMPLICIT_DEF463 %1:_(<vscale x 2 x s1>) = G_ICMP intpred(sgt), %0(<vscale x 2 x s64>), %0464 $v8 = COPY %1(<vscale x 2 x s1>)465 PseudoRET implicit $v8466 467...468---469name: icmp_nxv4i64470legalized: true471tracksRegLiveness: true472body: |473 bb.0.entry:474 ; CHECK-LABEL: name: icmp_nxv4i64475 ; CHECK: [[DEF:%[0-9]+]]:vrb(<vscale x 4 x s64>) = G_IMPLICIT_DEF476 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vrb(<vscale x 4 x s1>) = G_ICMP intpred(sgt), [[DEF]](<vscale x 4 x s64>), [[DEF]]477 ; CHECK-NEXT: $v8 = COPY [[ICMP]](<vscale x 4 x s1>)478 ; CHECK-NEXT: PseudoRET implicit $v8479 %0:_(<vscale x 4 x s64>) = G_IMPLICIT_DEF480 %1:_(<vscale x 4 x s1>) = G_ICMP intpred(sgt), %0(<vscale x 4 x s64>), %0481 $v8 = COPY %1(<vscale x 4 x s1>)482 PseudoRET implicit $v8483 484...485---486name: icmp_nxv8i64487legalized: true488tracksRegLiveness: true489body: |490 bb.0.entry:491 ; CHECK-LABEL: name: icmp_nxv8i64492 ; CHECK: [[DEF:%[0-9]+]]:vrb(<vscale x 8 x s64>) = G_IMPLICIT_DEF493 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:vrb(<vscale x 8 x s1>) = G_ICMP intpred(sgt), [[DEF]](<vscale x 8 x s64>), [[DEF]]494 ; CHECK-NEXT: $v8 = COPY [[ICMP]](<vscale x 8 x s1>)495 ; CHECK-NEXT: PseudoRET implicit $v8496 %0:_(<vscale x 8 x s64>) = G_IMPLICIT_DEF497 %1:_(<vscale x 8 x s1>) = G_ICMP intpred(sgt), %0(<vscale x 8 x s64>), %0498 $v8 = COPY %1(<vscale x 8 x s1>)499 PseudoRET implicit $v8500 501...502