[llvm] LLVM, Coroutines: Introduce TBAA metadata for frame object (PR #176543)

[via llvm-commits]

github-actions[bot] wrote:

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

* 129564 tests passed
* 2871 tests skipped
* 1 test failed

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

### LLVM
<details>
<summary>LLVM.Transforms/Coroutines/coro-retcon-resume-values.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\Transforms\Coroutines\coro-retcon-resume-values.ll -passes="default<O2>" -aa-pipeline=default -S | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\Transforms\Coroutines\coro-retcon-resume-values.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' '-passes=default<O2>' -aa-pipeline=default -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\Transforms\Coroutines\coro-retcon-resume-values.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Transforms\Coroutines\coro-retcon-resume-values.ll:42:15: error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: store i32 1, ptr [[N_VAL3_SPILL_ADDR_I]], align 4, !noalias [[META0:![0-9]+]]
# |               ^
# | <stdin>:64:69: note: scanning from here
# |  %n.val3.spill.addr.i = getelementptr inbounds nuw i8, ptr %0, i64 4
# |                                                                     ^
# | <stdin>:64:69: note: with "N_VAL3_SPILL_ADDR_I" equal to "%n.val3.spill.addr.i"
# |  %n.val3.spill.addr.i = getelementptr inbounds nuw i8, ptr %0, i64 4
# |                                                                     ^
# | <stdin>:72:12: note: possible intended match here
# |  tail call void @print(i32 7), !noalias !9
# |            ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Transforms\Coroutines\coro-retcon-resume-values.ll
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |            .
# |            .
# |            .
# |           59:  
# |           60: define noundef i32 @main() local_unnamed_addr { 
# |           61: entry: 
# |           62:  %0 = tail call ptr @allocate(i32 12) 
# |           63:  store i32 1, ptr %0, align 4, !tbaa !0 
# |           64:  %n.val3.spill.addr.i = getelementptr inbounds nuw i8, ptr %0, i64 4 
# | next:42'0                                                                         X error: no match found
# | next:42'1                                                                           with "N_VAL3_SPILL_ADDR_I" equal to "%n.val3.spill.addr.i"
# |           65:  store i32 1, ptr %n.val3.spill.addr.i, align 4, !tbaa !0, !noalias !3 
# | next:42'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |           66:  %input.spill.addr.i = getelementptr inbounds nuw i8, ptr %0, i64 8 
# | next:42'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |           67:  store i32 2, ptr %input.spill.addr.i, align 4, !tbaa !0, !noalias !3 
# | next:42'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |           68:  %input.reload.addr13.i = getelementptr inbounds nuw i8, ptr %0, i64 8 
# | next:42'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |           69:  %n.val3.reload.addr11.i = getelementptr inbounds nuw i8, ptr %0, i64 4 
# | next:42'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |           70:  store i32 3, ptr %n.val3.reload.addr11.i, align 4, !tbaa !0, !noalias !6 
# | next:42'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |           71:  store i32 4, ptr %input.reload.addr13.i, align 4, !tbaa !0, !noalias !6 
# | next:42'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |           72:  tail call void @print(i32 7), !noalias !9 
# | next:42'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:42'2                ?                                possible intended match
# |           73:  tail call void @deallocate(ptr nonnull %0), !noalias !9 
# | next:42'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |           74:  ret i32 0 
# | next:42'0     ~~~~~~~~~~~
# |           75: } 
# | next:42'0     ~~
# |           76:  
# | next:42'0     ~
# |           77: declare noalias ptr @allocate(i32) local_unnamed_addr 
# | next:42'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/176543