Skip to content

[GISelValueTracking] Add test case for G_PTRTOINT #139608

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 8 commits into from
Jun 11, 2025
Merged

[GISelValueTracking] Add test case for G_PTRTOINT #139608

Changes from all commits
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
493cc09
[𝘀𝗽𝗿] changes to main this commit is based on
arichardson May 12, 2025
df462c7
[𝘀𝗽𝗿] initial version
arichardson May 12, 2025
16bb163
[𝘀𝗽𝗿] changes introduced through rebase
arichardson May 13, 2025
ba3a745
rebase
arichardson May 13, 2025
89ccf20
[𝘀𝗽𝗿] changes introduced through rebase
arsenm Jun 10, 2025
8d7a9d5
Update PR to just a new test
arichardson Jun 10, 2025
d8f3b59
[𝘀𝗽𝗿] changes introduced through rebase
nico Jun 10, 2025
7a1d5e9
rebase to hopefully fix CI
arichardson Jun 10, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
110 changes: 110 additions & 0 deletions llvm/test/CodeGen/AMDGPU/GlobalISel/knownbits-ptrtoint.mir
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,110 @@
# NOTE: Assertions have been autogenerated by utils/update_givaluetracking_test_checks.py UTC_ARGS: --version 5
# RUN: llc -mtriple=amdgcn -passes="print<gisel-value-tracking>" %s -filetype=null 2>&1 | FileCheck %s
## Check that we don't incorrectly assume known zeroes for and extend of a truncated ptrtoint
## Test case for https://github.com/llvm/llvm-project/issues/139598
---
## We should see 128 unknown bits.
name: PtrToInt
body: |
bb.0:
; CHECK-LABEL: name: @PtrToInt
; CHECK-NEXT: %0:_ KnownBits:???????????????????????????????? SignBits:1
; CHECK-NEXT: %1:_ KnownBits:???????????????????????????????? SignBits:1
; CHECK-NEXT: %2:_ KnownBits:???????????????????????????????? SignBits:1
; CHECK-NEXT: %3:_ KnownBits:???????????????????????????????? SignBits:1
; CHECK-NEXT: %4:_ KnownBits:???????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????? SignBits:1
; CHECK-NEXT: %5:_ KnownBits:???????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????? SignBits:1
%0:_(s32) = COPY $vgpr0
%1:_(s32) = COPY $vgpr1
%2:_(s32) = COPY $vgpr2
%3:_(s32) = COPY $vgpr3
%4:_(p8) = G_MERGE_VALUES %0(s32), %1(s32), %2(s32), %3(s32)
%5:_(s128) = G_PTRTOINT %4(p8)
...
---
## We should see 128 high zeroes followed by 128 unknown bits for extending ptrtoint.
name: PtrToIntExt
body: |
bb.0:
; CHECK-LABEL: name: @PtrToIntExt
; CHECK-NEXT: %0:_ KnownBits:???????????????????????????????? SignBits:1
; CHECK-NEXT: %1:_ KnownBits:???????????????????????????????? SignBits:1
; CHECK-NEXT: %2:_ KnownBits:???????????????????????????????? SignBits:1
; CHECK-NEXT: %3:_ KnownBits:???????????????????????????????? SignBits:1
; CHECK-NEXT: %4:_ KnownBits:???????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????? SignBits:1
; CHECK-NEXT: %5:_ KnownBits:00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000???????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????? SignBits:128
%0:_(s32) = COPY $vgpr0
%1:_(s32) = COPY $vgpr1
%2:_(s32) = COPY $vgpr2
%3:_(s32) = COPY $vgpr3
%4:_(p8) = G_MERGE_VALUES %0(s32), %1(s32), %2(s32), %3(s32)
%5:_(s256) = G_PTRTOINT %4(p8)
...
---
## We should see 48 unknown bits for truncating ptrtoint.
name: PtrToIntTrunc
body: |
bb.0:
; CHECK-LABEL: name: @PtrToIntTrunc
; CHECK-NEXT: %0:_ KnownBits:???????????????????????????????? SignBits:1
; CHECK-NEXT: %1:_ KnownBits:???????????????????????????????? SignBits:1
; CHECK-NEXT: %2:_ KnownBits:???????????????????????????????? SignBits:1
; CHECK-NEXT: %3:_ KnownBits:???????????????????????????????? SignBits:1
; CHECK-NEXT: %4:_ KnownBits:???????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????? SignBits:1
; CHECK-NEXT: %5:_ KnownBits:???????????????????????????????????????????????? SignBits:1
%0:_(s32) = COPY $vgpr0
%1:_(s32) = COPY $vgpr1
%2:_(s32) = COPY $vgpr2
%3:_(s32) = COPY $vgpr3
%4:_(p8) = G_MERGE_VALUES %0(s32), %1(s32), %2(s32), %3(s32)
%5:_(s48) = G_PTRTOINT %4(p8)
...
---
## This is the test for issue 139598: Truncating and then extending the
## G_PTRTOINT result was filling all bits above the index bitwidth with known
## zeroes even though the incoming value is completely unknown and G_PTRTOINT.
## is lowered to a bitwise copy.
## We should see all zero high bits with 48 unknown bits.
name: PtrToIntTruncExplicitExt
body: |
bb.0:
; CHECK-LABEL: name: @PtrToIntTruncExplicitExt
; CHECK-NEXT: %0:_ KnownBits:???????????????????????????????? SignBits:1
; CHECK-NEXT: %1:_ KnownBits:???????????????????????????????? SignBits:1
; CHECK-NEXT: %2:_ KnownBits:???????????????????????????????? SignBits:1
; CHECK-NEXT: %3:_ KnownBits:???????????????????????????????? SignBits:1
; CHECK-NEXT: %4:_ KnownBits:???????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????? SignBits:1
; CHECK-NEXT: %5:_ KnownBits:???????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????? SignBits:1
; CHECK-NEXT: %6:_ KnownBits:???????????????????????????????????????????????? SignBits:1
; CHECK-NEXT: %7:_ KnownBits:0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000???????????????????????????????????????????????? SignBits:208
%0:_(s32) = COPY $vgpr0
%1:_(s32) = COPY $vgpr1
%2:_(s32) = COPY $vgpr2
%3:_(s32) = COPY $vgpr3
%4:_(p8) = G_MERGE_VALUES %0(s32), %1(s32), %2(s32), %3(s32)
%5:_(s128) = G_PTRTOINT %4(p8)
%6:_(s48) = G_TRUNC %5(s128)
%7:_(s256) = G_ZEXT %6(s48)
...
---
## Same test again but this time have the G_PTRTOINT do the truncation.
## We should see all zero high bits with 48 unknown bits.
name: PtrToIntTruncImplicitExt
body: |
bb.0:
; CHECK-LABEL: name: @PtrToIntTruncImplicitExt
; CHECK-NEXT: %0:_ KnownBits:???????????????????????????????? SignBits:1
; CHECK-NEXT: %1:_ KnownBits:???????????????????????????????? SignBits:1
; CHECK-NEXT: %2:_ KnownBits:???????????????????????????????? SignBits:1
; CHECK-NEXT: %3:_ KnownBits:???????????????????????????????? SignBits:1
; CHECK-NEXT: %4:_ KnownBits:???????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????? SignBits:1
; CHECK-NEXT: %5:_ KnownBits:???????????????????????????????????????????????? SignBits:1
; CHECK-NEXT: %6:_ KnownBits:0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000???????????????????????????????????????????????? SignBits:208
%0:_(s32) = COPY $vgpr0
%1:_(s32) = COPY $vgpr1
%2:_(s32) = COPY $vgpr2
%3:_(s32) = COPY $vgpr3
%4:_(p8) = G_MERGE_VALUES %0(s32), %1(s32), %2(s32), %3(s32)
%5:_(s48) = G_PTRTOINT %4(p8)
%6:_(s256) = G_ZEXT %5(s48)
...
Loading