[llvm] [ValueTracking] Make use of the offset argument in align assume bundles (PR #203497)

[via llvm-commits]

github-actions[bot] wrote:

<!--PREMERGE ADVISOR COMMENT: Windows-->
# :window: Windows x64 Test Results

* 135700 tests passed
* 3428 tests skipped
* 1 test failed

## Failed Tests
(click on a test name to see its output)

### LLVM
<details>
<summary>LLVM.Analysis/ValueTracking/assume.ll</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 2
c:\_work\llvm-project\llvm-project\build\bin\opt.exe < C:\_work\llvm-project\llvm-project\llvm\test\Analysis\ValueTracking\assume.ll -passes=instcombine -S | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Analysis\ValueTracking\assume.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -passes=instcombine -S
# note: command had no output on stdout or stderr
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\llvm\test\Analysis\ValueTracking\assume.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\ValueTracking\assume.ll:209:15: error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[INTPTR:%.*]] = ptrtoint ptr [[PTR]] to i64
# |               ^
# | <stdin>:119:69: note: scanning from here
# |  call void @llvm.assume(i1 true) [ "align"(ptr %ptr, i64 8, i64 1) ]
# |                                                                     ^
# | <stdin>:119:69: note: with "PTR" equal to "%ptr"
# |  call void @llvm.assume(i1 true) [ "align"(ptr %ptr, i64 8, i64 1) ]
# |                                                                     ^
# | <stdin>:120:2: note: possible intended match here
# |  ret i1 false
# |  ^
# | C:\_work\llvm-project\llvm-project\llvm\test\Analysis\ValueTracking\assume.ll:224:15: error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[INTPTR:%.*]] = ptrtoint ptr [[PTR]] to i64
# |               ^
# | <stdin>:124:69: note: scanning from here
# |  call void @llvm.assume(i1 true) [ "align"(ptr %ptr, i64 8, i64 4) ]
# |                                                                     ^
# | <stdin>:124:69: note: with "PTR" equal to "%ptr"
# |  call void @llvm.assume(i1 true) [ "align"(ptr %ptr, i64 8, i64 4) ]
# |                                                                     ^
# | <stdin>:125:2: note: possible intended match here
# |  ret i1 false
# |  ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Analysis\ValueTracking\assume.ll
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |             .
# |             .
# |             .
# |           114:  call void @llvm.assume(i1 true) [ "align"(ptr %ptr, i64 8, i64 0) ] 
# |           115:  ret i1 true 
# |           116: } 
# |           117:  
# |           118: define i1 @test_align_with_constant_offset_1(ptr %ptr) { 
# |           119:  call void @llvm.assume(i1 true) [ "align"(ptr %ptr, i64 8, i64 1) ] 
# | next:209'0                                                                         X error: no match found
# | next:209'1                                                                           with "PTR" equal to "%ptr"
# |           120:  ret i1 false 
# | next:209'0     ~~~~~~~~~~~~~~
# | next:209'2      ?             possible intended match
# |           121: } 
# | next:209'0     ~~
# |           122:  
# | next:209'0     ~
# |           123: define i1 @test_align_with_constant_offset_4(ptr %ptr) { 
# | next:209'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |           124:  call void @llvm.assume(i1 true) [ "align"(ptr %ptr, i64 8, i64 4) ] 
# | next:224'0                                                                         X error: no match found
# | next:224'1                                                                           with "PTR" equal to "%ptr"
# |           125:  ret i1 false 
# | next:224'0     ~~~~~~~~~~~~~~
# | next:224'2      ?             possible intended match
# |           126: } 
# | next:224'0     ~~
# |           127:  
# | next:224'0     ~
# |           128: define i1 @test_align_with_constant_offset_8(ptr %ptr) { 
# | next:224'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |           129:  call void @llvm.assume(i1 true) [ "align"(ptr %ptr, i64 8, i64 8) ] 
# |           130:  ret i1 true 
# |             .
# |             .
# |             .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1

--

```
</details>

If these failures are unrelated to your changes (for example tests are broken or flaky at HEAD), please open an issue at https://github.com/llvm/llvm-project/issues and add the `infrastructure` label.

https://github.com/llvm/llvm-project/pull/203497