142 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py2# RUN: llc -mtriple=amdgcn-mesa-mesa3d -mcpu=fiji -run-pass=legalizer %s -o - | FileCheck %s3 4---5name: test_uadde_s326body: |7 bb.0:8 liveins: $vgpr0, $vgpr1, $vgpr29 10 ; CHECK-LABEL: name: test_uadde_s3211 ; CHECK: liveins: $vgpr0, $vgpr1, $vgpr212 ; CHECK-NEXT: {{ $}}13 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $vgpr014 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $vgpr115 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s32) = COPY $vgpr216 ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 017 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(eq), [[COPY2]](s32), [[C]]18 ; CHECK-NEXT: [[UADDE:%[0-9]+]]:_(s32), [[UADDE1:%[0-9]+]]:_(s1) = G_UADDE [[COPY]], [[COPY1]], [[ICMP]]19 ; CHECK-NEXT: [[ZEXT:%[0-9]+]]:_(s32) = G_ZEXT [[UADDE1]](s1)20 ; CHECK-NEXT: $vgpr0 = COPY [[UADDE]](s32)21 ; CHECK-NEXT: $vgpr1 = COPY [[ZEXT]](s32)22 %0:_(s32) = COPY $vgpr023 %1:_(s32) = COPY $vgpr124 %2:_(s32) = COPY $vgpr225 %3:_(s32) = G_CONSTANT i32 026 %4:_(s1) = G_ICMP intpred(eq), %2, %327 %5:_(s32), %6:_(s1) = G_UADDE %0, %1, %428 %7:_(s32) = G_ZEXT %629 $vgpr0 = COPY %530 $vgpr1 = COPY %731...32 33---34name: test_uadde_v2s3235body: |36 bb.0:37 liveins: $vgpr0_vgpr1, $vgpr2_vgpr3, $vgpr4_vgpr538 39 ; CHECK-LABEL: name: test_uadde_v2s3240 ; CHECK: liveins: $vgpr0_vgpr1, $vgpr2_vgpr3, $vgpr4_vgpr541 ; CHECK-NEXT: {{ $}}42 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<2 x s32>) = COPY $vgpr0_vgpr143 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(<2 x s32>) = COPY $vgpr2_vgpr344 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(<2 x s32>) = COPY $vgpr4_vgpr545 ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 046 ; CHECK-NEXT: [[UV:%[0-9]+]]:_(s32), [[UV1:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[COPY2]](<2 x s32>)47 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(eq), [[UV]](s32), [[C]]48 ; CHECK-NEXT: [[ICMP1:%[0-9]+]]:_(s1) = G_ICMP intpred(eq), [[UV1]](s32), [[C]]49 ; CHECK-NEXT: [[UV2:%[0-9]+]]:_(s32), [[UV3:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[COPY]](<2 x s32>)50 ; CHECK-NEXT: [[UV4:%[0-9]+]]:_(s32), [[UV5:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[COPY1]](<2 x s32>)51 ; CHECK-NEXT: [[UADDE:%[0-9]+]]:_(s32), [[UADDE1:%[0-9]+]]:_(s1) = G_UADDE [[UV2]], [[UV4]], [[ICMP]]52 ; CHECK-NEXT: [[UADDE2:%[0-9]+]]:_(s32), [[UADDE3:%[0-9]+]]:_(s1) = G_UADDE [[UV3]], [[UV5]], [[ICMP1]]53 ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s32>) = G_BUILD_VECTOR [[UADDE]](s32), [[UADDE2]](s32)54 ; CHECK-NEXT: [[ANYEXT:%[0-9]+]]:_(s32) = G_ANYEXT [[UADDE1]](s1)55 ; CHECK-NEXT: [[ANYEXT1:%[0-9]+]]:_(s32) = G_ANYEXT [[UADDE3]](s1)56 ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 157 ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[ANYEXT]], [[C1]]58 ; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s32) = G_AND [[ANYEXT1]], [[C1]]59 ; CHECK-NEXT: [[BUILD_VECTOR1:%[0-9]+]]:_(<2 x s32>) = G_BUILD_VECTOR [[AND]](s32), [[AND1]](s32)60 ; CHECK-NEXT: $vgpr0_vgpr1 = COPY [[BUILD_VECTOR]](<2 x s32>)61 ; CHECK-NEXT: $vgpr2_vgpr3 = COPY [[BUILD_VECTOR1]](<2 x s32>)62 %0:_(<2 x s32>) = COPY $vgpr0_vgpr163 %1:_(<2 x s32>) = COPY $vgpr2_vgpr364 %2:_(<2 x s32>) = COPY $vgpr4_vgpr565 %3:_(s32) = G_CONSTANT i32 066 %4:_(<2 x s32>) = G_BUILD_VECTOR %3, %367 %5:_(<2 x s1>) = G_ICMP intpred(eq), %2, %468 %6:_(<2 x s32>), %7:_(<2 x s1>) = G_UADDE %0, %1, %569 %8:_(<2 x s32>) = G_ZEXT %770 $vgpr0_vgpr1 = COPY %671 $vgpr2_vgpr3 = COPY %872...73 74---75name: test_uadde_s1676body: |77 bb.0:78 liveins: $vgpr0, $vgpr1, $vgpr279 80 ; CHECK-LABEL: name: test_uadde_s1681 ; CHECK: liveins: $vgpr0, $vgpr1, $vgpr282 ; CHECK-NEXT: {{ $}}83 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $vgpr184 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $vgpr285 ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 086 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(eq), [[COPY1]](s32), [[C]]87 ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 6553588 ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY]], [[C1]]89 ; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s32) = G_AND %13, [[C1]]90 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s32) = COPY [[AND1]](s32)91 ; CHECK-NEXT: [[UADDE:%[0-9]+]]:_(s32), [[UADDE1:%[0-9]+]]:_(s1) = G_UADDE [[AND]], [[COPY2]], [[ICMP]]92 ; CHECK-NEXT: [[ICMP1:%[0-9]+]]:_(s1) = G_ICMP intpred(ne), [[UADDE]](s32), [[AND1]]93 ; CHECK-NEXT: [[ZEXT:%[0-9]+]]:_(s32) = G_ZEXT [[ICMP1]](s1)94 ; CHECK-NEXT: $vgpr0 = COPY [[UADDE]](s32)95 ; CHECK-NEXT: $vgpr1 = COPY [[ZEXT]](s32)96 %0:_(s32) = COPY $vgpr097 %1:_(s32) = COPY $vgpr198 %2:_(s32) = COPY $vgpr299 %3:_(s32) = G_CONSTANT i32 0100 %4:_(s1) = G_ICMP intpred(eq), %2, %3101 %5:_(s16) = G_TRUNC %0102 %6:_(s16) = G_TRUNC %1103 %7:_(s16), %8:_(s1) = G_UADDE %6, %7, %4104 %9:_(s32) = G_ANYEXT %7105 %10:_(s32) = G_ZEXT %8106 $vgpr0 = COPY %9107 $vgpr1 = COPY %10108...109 110---111name: test_uadde_s64112body: |113 bb.0:114 liveins: $vgpr0_vgpr1, $vgpr2_vgpr3, $vgpr4115 116 ; CHECK-LABEL: name: test_uadde_s64117 ; CHECK: liveins: $vgpr0_vgpr1, $vgpr2_vgpr3, $vgpr4118 ; CHECK-NEXT: {{ $}}119 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $vgpr0_vgpr1120 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY $vgpr2_vgpr3121 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s32) = COPY $vgpr4122 ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0123 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(eq), [[COPY2]](s32), [[C]]124 ; CHECK-NEXT: [[UV:%[0-9]+]]:_(s32), [[UV1:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[COPY]](s64)125 ; CHECK-NEXT: [[UV2:%[0-9]+]]:_(s32), [[UV3:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[COPY1]](s64)126 ; CHECK-NEXT: [[UADDE:%[0-9]+]]:_(s32), [[UADDE1:%[0-9]+]]:_(s1) = G_UADDE [[UV]], [[UV2]], [[ICMP]]127 ; CHECK-NEXT: [[UADDE2:%[0-9]+]]:_(s32), [[UADDE3:%[0-9]+]]:_(s1) = G_UADDE [[UV1]], [[UV3]], [[UADDE1]]128 ; CHECK-NEXT: [[MV:%[0-9]+]]:_(s64) = G_MERGE_VALUES [[UADDE]](s32), [[UADDE2]](s32)129 ; CHECK-NEXT: [[ZEXT:%[0-9]+]]:_(s32) = G_ZEXT [[UADDE3]](s1)130 ; CHECK-NEXT: $vgpr0_vgpr1 = COPY [[MV]](s64)131 ; CHECK-NEXT: $vgpr2 = COPY [[ZEXT]](s32)132 %0:_(s64) = COPY $vgpr0_vgpr1133 %1:_(s64) = COPY $vgpr2_vgpr3134 %2:_(s32) = COPY $vgpr4135 %3:_(s32) = G_CONSTANT i32 0136 %4:_(s1) = G_ICMP intpred(eq), %2, %3137 %5:_(s64), %6:_(s1) = G_UADDE %0, %1, %4138 %7:_(s32) = G_ZEXT %6139 $vgpr0_vgpr1 = COPY %5140 $vgpr2 = COPY %7141...142