[llvm] [GVN] Preserve AA metadata on coerced GVN loads (PR #190394)

[via llvm-commits]

github-actions[bot] wrote:

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

* 172133 tests passed
* 3110 tests skipped
* 1 test failed

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

### LLVM
<details>
<summary>LLVM.Transforms/GVN/metadata.ll</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 2
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/opt -passes=gvn -S < /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/Transforms/GVN/metadata.ll | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/Transforms/GVN/metadata.ll
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/opt -passes=gvn -S
# 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/Transforms/GVN/metadata.ll
# .---command stderr------------
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/Transforms/GVN/metadata.ll:205:15: error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[VAL:%.*]] = load ptr, ptr [[P]], align 8, !invariant.load [[META6]]
# |               ^
# | <stdin>:103:54: note: scanning from here
# | define void @load_ptr_invariant_load_to_i64(ptr %p) {
# |                                                      ^
# | <stdin>:103:54: note: with "P" equal to "%p"
# | define void @load_ptr_invariant_load_to_i64(ptr %p) {
# |                                                      ^
# | <stdin>:103:54: note: with "META6" equal to "!6"
# | define void @load_ptr_invariant_load_to_i64(ptr %p) {
# |                                                      ^
# | <stdin>:104:2: note: possible intended match here
# |  %val = load ptr, ptr %p, align 8
# |  ^
# | 
# | Input file: <stdin>
# | Check file: /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/Transforms/GVN/metadata.ll
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |             .
# |             .
# |             .
# |            98:  call void @use.i64(i64 %val.int) 
# |            99:  call void @use.i64(i64 %val.int) 
# |           100:  ret void 
# |           101: } 
# |           102:  
# |           103: define void @load_ptr_invariant_load_to_i64(ptr %p) { 
# | next:205'0                                                          X error: no match found
# | next:205'1                                                            with "P" equal to "%p"
# | next:205'2                                                            with "META6" equal to "!6"
# |           104:  %val = load ptr, ptr %p, align 8 
# | next:205'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:205'3      ?                                 possible intended match
# |           105:  %val.int = ptrtoint ptr %val to i64 
# | next:205'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |           106:  call void @use.i64(i64 %val.int) 
# | next:205'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |           107:  call void @use.i64(i64 %val.int) 
# | next:205'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |           108:  ret void 
# | next:205'0     ~~~~~~~~~~
# |           109: } 
# | next:205'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/190394