[llvm] [llubi] Update the implementation of assume align operand bundle (PR #203775)

[via llvm-commits]

github-actions[bot] wrote:

<!--PREMERGE ADVISOR COMMENT: Linux-->
# :penguin: Linux x64 Test Results

* 175594 tests passed
* 3495 tests skipped
* 1 test failed

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

### LLVM
<details>
<summary>LLVM.tools/llubi/assume_align_offset.ll</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 2
not /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/llubi --verbose < /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/tools/llubi/assume_align_offset.ll 2>&1 | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/tools/llubi/assume_align_offset.ll
# executed command: not /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/llubi --verbose
# note: command had no output on stdout or stderr
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/tools/llubi/assume_align_offset.ll
# .---command stderr------------
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/tools/llubi/assume_align_offset.ll:14:15: error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: #0 call void @llvm.assume(i1 true) [ "align"(ptr %alloc, i32 17, i32 4) ] at @main <stdin>:10
# |               ^
# | <stdin>:4:12: note: scanning from here
# | Stacktrace:
# |            ^
# | <stdin>:5:1: note: possible intended match here
# | #0 call void @llvm.assume(i1 true) [ "align"(ptr %alloc, i32 17, i32 4) ] at @main <stdin>:7
# | ^
# | 
# | Input file: <stdin>
# | Check file: /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/tools/llubi/assume_align_offset.ll
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |            1: Entering function: main 
# |            2:  %alloc = alloca i32, align 4 => ptr 0x8 [alloc] 
# |            3:  call void @llvm.assume(i1 true) [ "align"(ptr %alloc, i32 17, i32 8) ] 
# |            4: Stacktrace: 
# | next:14'0                X error: no match found
# |            5: #0 call void @llvm.assume(i1 true) [ "align"(ptr %alloc, i32 17, i32 4) ] at @main <stdin>:7 
# | next:14'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:14'1     ?                                                                                             possible intended match
# |            6: Immediate UB detected: Assume on pointer ptr 0x8 [alloc] with a nonzero adjusted address and a non-power-of-two alignment 17. 
# | next:14'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            7: error: Execution of function 'main' failed. 
# | next:14'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | >>>>>>
# `-----------------------------
# 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/203775