111 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_givaluetracking_test_checks.py UTC_ARGS: --version 52# RUN: llc -mtriple=amdgcn -passes="print<gisel-value-tracking>" %s -filetype=null 2>&1 | FileCheck %s3## Check that we don't incorrectly assume known zeroes for and extend of a truncated ptrtoint4## Test case for https://github.com/llvm/llvm-project/issues/1395985---6## We should see 128 unknown bits.7name: PtrToInt8body: |9 bb.0:10 ; CHECK-LABEL: name: @PtrToInt11 ; CHECK-NEXT: %0:_ KnownBits:???????????????????????????????? SignBits:112 ; CHECK-NEXT: %1:_ KnownBits:???????????????????????????????? SignBits:113 ; CHECK-NEXT: %2:_ KnownBits:???????????????????????????????? SignBits:114 ; CHECK-NEXT: %3:_ KnownBits:???????????????????????????????? SignBits:115 ; CHECK-NEXT: %4:_ KnownBits:???????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????? SignBits:116 ; CHECK-NEXT: %5:_ KnownBits:???????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????? SignBits:117 %0:_(s32) = COPY $vgpr018 %1:_(s32) = COPY $vgpr119 %2:_(s32) = COPY $vgpr220 %3:_(s32) = COPY $vgpr321 %4:_(p8) = G_MERGE_VALUES %0(s32), %1(s32), %2(s32), %3(s32)22 %5:_(s128) = G_PTRTOINT %4(p8)23...24---25## We should see 128 high zeroes followed by 128 unknown bits for extending ptrtoint.26name: PtrToIntExt27body: |28 bb.0:29 ; CHECK-LABEL: name: @PtrToIntExt30 ; CHECK-NEXT: %0:_ KnownBits:???????????????????????????????? SignBits:131 ; CHECK-NEXT: %1:_ KnownBits:???????????????????????????????? SignBits:132 ; CHECK-NEXT: %2:_ KnownBits:???????????????????????????????? SignBits:133 ; CHECK-NEXT: %3:_ KnownBits:???????????????????????????????? SignBits:134 ; CHECK-NEXT: %4:_ KnownBits:???????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????? SignBits:135 ; CHECK-NEXT: %5:_ KnownBits:00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000???????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????? SignBits:12836 %0:_(s32) = COPY $vgpr037 %1:_(s32) = COPY $vgpr138 %2:_(s32) = COPY $vgpr239 %3:_(s32) = COPY $vgpr340 %4:_(p8) = G_MERGE_VALUES %0(s32), %1(s32), %2(s32), %3(s32)41 %5:_(s256) = G_PTRTOINT %4(p8)42...43---44## We should see 48 unknown bits for truncating ptrtoint.45name: PtrToIntTrunc46body: |47 bb.0:48 ; CHECK-LABEL: name: @PtrToIntTrunc49 ; CHECK-NEXT: %0:_ KnownBits:???????????????????????????????? SignBits:150 ; CHECK-NEXT: %1:_ KnownBits:???????????????????????????????? SignBits:151 ; CHECK-NEXT: %2:_ KnownBits:???????????????????????????????? SignBits:152 ; CHECK-NEXT: %3:_ KnownBits:???????????????????????????????? SignBits:153 ; CHECK-NEXT: %4:_ KnownBits:???????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????? SignBits:154 ; CHECK-NEXT: %5:_ KnownBits:???????????????????????????????????????????????? SignBits:155 %0:_(s32) = COPY $vgpr056 %1:_(s32) = COPY $vgpr157 %2:_(s32) = COPY $vgpr258 %3:_(s32) = COPY $vgpr359 %4:_(p8) = G_MERGE_VALUES %0(s32), %1(s32), %2(s32), %3(s32)60 %5:_(s48) = G_PTRTOINT %4(p8)61...62---63## This is the test for issue 139598: Truncating and then extending the64## G_PTRTOINT result was filling all bits above the index bitwidth with known65## zeroes even though the incoming value is completely unknown and G_PTRTOINT.66## is lowered to a bitwise copy.67## We should see all zero high bits with 48 unknown bits.68name: PtrToIntTruncExplicitExt69body: |70 bb.0:71 ; CHECK-LABEL: name: @PtrToIntTruncExplicitExt72 ; CHECK-NEXT: %0:_ KnownBits:???????????????????????????????? SignBits:173 ; CHECK-NEXT: %1:_ KnownBits:???????????????????????????????? SignBits:174 ; CHECK-NEXT: %2:_ KnownBits:???????????????????????????????? SignBits:175 ; CHECK-NEXT: %3:_ KnownBits:???????????????????????????????? SignBits:176 ; CHECK-NEXT: %4:_ KnownBits:???????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????? SignBits:177 ; CHECK-NEXT: %5:_ KnownBits:???????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????? SignBits:178 ; CHECK-NEXT: %6:_ KnownBits:???????????????????????????????????????????????? SignBits:179 ; CHECK-NEXT: %7:_ KnownBits:0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000???????????????????????????????????????????????? SignBits:20880 %0:_(s32) = COPY $vgpr081 %1:_(s32) = COPY $vgpr182 %2:_(s32) = COPY $vgpr283 %3:_(s32) = COPY $vgpr384 %4:_(p8) = G_MERGE_VALUES %0(s32), %1(s32), %2(s32), %3(s32)85 %5:_(s128) = G_PTRTOINT %4(p8)86 %6:_(s48) = G_TRUNC %5(s128)87 %7:_(s256) = G_ZEXT %6(s48)88...89---90## Same test again but this time have the G_PTRTOINT do the truncation.91## We should see all zero high bits with 48 unknown bits.92name: PtrToIntTruncImplicitExt93body: |94 bb.0:95 ; CHECK-LABEL: name: @PtrToIntTruncImplicitExt96 ; CHECK-NEXT: %0:_ KnownBits:???????????????????????????????? SignBits:197 ; CHECK-NEXT: %1:_ KnownBits:???????????????????????????????? SignBits:198 ; CHECK-NEXT: %2:_ KnownBits:???????????????????????????????? SignBits:199 ; CHECK-NEXT: %3:_ KnownBits:???????????????????????????????? SignBits:1100 ; CHECK-NEXT: %4:_ KnownBits:???????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????? SignBits:1101 ; CHECK-NEXT: %5:_ KnownBits:???????????????????????????????????????????????? SignBits:1102 ; CHECK-NEXT: %6:_ KnownBits:0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000???????????????????????????????????????????????? SignBits:208103 %0:_(s32) = COPY $vgpr0104 %1:_(s32) = COPY $vgpr1105 %2:_(s32) = COPY $vgpr2106 %3:_(s32) = COPY $vgpr3107 %4:_(p8) = G_MERGE_VALUES %0(s32), %1(s32), %2(s32), %3(s32)108 %5:_(s48) = G_PTRTOINT %4(p8)109 %6:_(s256) = G_ZEXT %5(s48)110...111