| # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py |
| # RUN: llc -mtriple=amdgcn-mesa-mesa3d -mcpu=fiji -O0 -run-pass=legalizer -global-isel-abort=0 %s -o - | FileCheck %s |
| |
| --- |
| name: test_sadde_s32 |
| body: | |
| bb.0: |
| liveins: $vgpr0, $vgpr1, $vgpr2 |
| |
| ; CHECK-LABEL: name: test_sadde_s32 |
| ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $vgpr0 |
| ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY $vgpr1 |
| ; CHECK: [[COPY2:%[0-9]+]]:_(s32) = COPY $vgpr2 |
| ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0 |
| ; CHECK: [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(eq), [[COPY2]](s32), [[C]] |
| ; CHECK: [[SADDE:%[0-9]+]]:_(s32), [[SADDE1:%[0-9]+]]:_(s1) = G_SADDE [[COPY]], [[COPY1]], [[ICMP]] |
| ; CHECK: [[ZEXT:%[0-9]+]]:_(s32) = G_ZEXT [[SADDE1]](s1) |
| ; CHECK: $vgpr0 = COPY [[SADDE]](s32) |
| ; CHECK: $vgpr1 = COPY [[ZEXT]](s32) |
| %0:_(s32) = COPY $vgpr0 |
| %1:_(s32) = COPY $vgpr1 |
| %2:_(s32) = COPY $vgpr2 |
| %3:_(s32) = G_CONSTANT i32 0 |
| %4:_(s1) = G_ICMP intpred(eq), %2, %3 |
| %5:_(s32), %6:_(s1) = G_SADDE %0, %1, %4 |
| %7:_(s32) = G_ZEXT %6 |
| $vgpr0 = COPY %5 |
| $vgpr1 = COPY %7 |
| ... |
| |
| --- |
| name: test_sadde_v2s32 |
| body: | |
| bb.0: |
| liveins: $vgpr0_vgpr1, $vgpr2_vgpr3, $vgpr4_vgpr5 |
| |
| ; CHECK-LABEL: name: test_sadde_v2s32 |
| ; CHECK: [[COPY:%[0-9]+]]:_(<2 x s32>) = COPY $vgpr0_vgpr1 |
| ; CHECK: [[COPY1:%[0-9]+]]:_(<2 x s32>) = COPY $vgpr2_vgpr3 |
| ; CHECK: [[COPY2:%[0-9]+]]:_(<2 x s32>) = COPY $vgpr4_vgpr5 |
| ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0 |
| ; CHECK: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s32>) = G_BUILD_VECTOR [[C]](s32), [[C]](s32) |
| ; CHECK: [[ICMP:%[0-9]+]]:_(<2 x s1>) = G_ICMP intpred(eq), [[COPY2]](<2 x s32>), [[BUILD_VECTOR]] |
| ; CHECK: [[SADDE:%[0-9]+]]:_(<2 x s32>), [[SADDE1:%[0-9]+]]:_(<2 x s1>) = G_SADDE [[COPY]], [[COPY1]], [[ICMP]] |
| ; CHECK: [[ZEXT:%[0-9]+]]:_(<2 x s32>) = G_ZEXT [[SADDE1]](<2 x s1>) |
| ; CHECK: $vgpr0_vgpr1 = COPY [[SADDE]](<2 x s32>) |
| ; CHECK: $vgpr2_vgpr3 = COPY [[ZEXT]](<2 x s32>) |
| %0:_(<2 x s32>) = COPY $vgpr0_vgpr1 |
| %1:_(<2 x s32>) = COPY $vgpr2_vgpr3 |
| %2:_(<2 x s32>) = COPY $vgpr4_vgpr5 |
| %3:_(s32) = G_CONSTANT i32 0 |
| %4:_(<2 x s32>) = G_BUILD_VECTOR %3, %3 |
| %5:_(<2 x s1>) = G_ICMP intpred(eq), %2, %4 |
| %6:_(<2 x s32>), %7:_(<2 x s1>) = G_SADDE %0, %1, %5 |
| %8:_(<2 x s32>) = G_ZEXT %7 |
| $vgpr0_vgpr1 = COPY %6 |
| $vgpr2_vgpr3 = COPY %8 |
| ... |
| |
| --- |
| name: test_sadde_s16 |
| body: | |
| bb.0: |
| liveins: $vgpr0, $vgpr1, $vgpr2 |
| |
| ; CHECK-LABEL: name: test_sadde_s16 |
| ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $vgpr1 |
| ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY $vgpr2 |
| ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0 |
| ; CHECK: [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(eq), [[COPY1]](s32), [[C]] |
| ; CHECK: [[SEXT_INREG:%[0-9]+]]:_(s32) = G_SEXT_INREG [[COPY]], 16 |
| ; CHECK: [[SEXT_INREG1:%[0-9]+]]:_(s32) = G_SEXT_INREG %13, 16 |
| ; CHECK: [[UADDE:%[0-9]+]]:_(s32), [[UADDE1:%[0-9]+]]:_(s1) = G_UADDE [[SEXT_INREG]], [[SEXT_INREG1]], [[ICMP]] |
| ; CHECK: [[SEXT_INREG2:%[0-9]+]]:_(s32) = G_SEXT_INREG [[UADDE]], 16 |
| ; CHECK: [[ICMP1:%[0-9]+]]:_(s1) = G_ICMP intpred(ne), [[UADDE]](s32), [[SEXT_INREG2]] |
| ; CHECK: [[ZEXT:%[0-9]+]]:_(s32) = G_ZEXT [[ICMP1]](s1) |
| ; CHECK: $vgpr0 = COPY [[UADDE]](s32) |
| ; CHECK: $vgpr1 = COPY [[ZEXT]](s32) |
| %0:_(s32) = COPY $vgpr0 |
| %1:_(s32) = COPY $vgpr1 |
| %2:_(s32) = COPY $vgpr2 |
| %3:_(s32) = G_CONSTANT i32 0 |
| %4:_(s1) = G_ICMP intpred(eq), %2, %3 |
| %5:_(s16) = G_TRUNC %0 |
| %6:_(s16) = G_TRUNC %1 |
| %7:_(s16), %8:_(s1) = G_SADDE %6, %7, %4 |
| %9:_(s32) = G_ANYEXT %7 |
| %10:_(s32) = G_ZEXT %8 |
| $vgpr0 = COPY %9 |
| $vgpr1 = COPY %10 |
| ... |
| |
| --- |
| name: test_sadde_s64 |
| body: | |
| bb.0: |
| liveins: $vgpr0_vgpr1, $vgpr2_vgpr3, $vgpr4 |
| |
| ; CHECK-LABEL: name: test_sadde_s64 |
| ; CHECK: [[COPY:%[0-9]+]]:_(s64) = COPY $vgpr0_vgpr1 |
| ; CHECK: [[COPY1:%[0-9]+]]:_(s64) = COPY $vgpr2_vgpr3 |
| ; CHECK: [[COPY2:%[0-9]+]]:_(s32) = COPY $vgpr4 |
| ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0 |
| ; CHECK: [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(eq), [[COPY2]](s32), [[C]] |
| ; CHECK: [[SADDE:%[0-9]+]]:_(s64), [[SADDE1:%[0-9]+]]:_(s1) = G_SADDE [[COPY]], [[COPY1]], [[ICMP]] |
| ; CHECK: [[ZEXT:%[0-9]+]]:_(s32) = G_ZEXT [[SADDE1]](s1) |
| ; CHECK: $vgpr0_vgpr1 = COPY [[SADDE]](s64) |
| ; CHECK: $vgpr2 = COPY [[ZEXT]](s32) |
| %0:_(s64) = COPY $vgpr0_vgpr1 |
| %1:_(s64) = COPY $vgpr2_vgpr3 |
| %2:_(s32) = COPY $vgpr4 |
| %3:_(s32) = G_CONSTANT i32 0 |
| %4:_(s1) = G_ICMP intpred(eq), %2, %3 |
| %5:_(s64), %6:_(s1) = G_SADDE %0, %1, %4 |
| %7:_(s32) = G_ZEXT %6 |
| $vgpr0_vgpr1 = COPY %5 |
| $vgpr2 = COPY %7 |
| ... |