[llvm] [GVN] memoryssa implies no-memdep (PR #149473)

[LLVM Continuous Integration via llvm-commits]

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `llvm-clang-aarch64-darwin` running on `doug-worker-5` while building `llvm` at step 6 "test-build-unified-tree-check-all".

Full details are available at: https://lab.llvm.org/buildbot/#/builders/190/builds/23861

<details>
<summary>Here is the relevant piece of the build log for the reference</summary>

```
Step 6 (test-build-unified-tree-check-all) failure: test (failure)
******************** TEST 'LLVM :: Other/new-pm-print-pipeline.ll' FAILED ********************
Exit Code: 1

Command Output (stderr):
--
/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/opt -disable-output -disable-verify -print-pipeline-passes -passes='function(adce),function(adce)' < /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll | /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/FileCheck /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll --match-full-lines --check-prefixes=CHECK-0 # RUN: at line 3
+ /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/opt -disable-output -disable-verify -print-pipeline-passes '-passes=function(adce),function(adce)'
+ /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/FileCheck /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll --match-full-lines --check-prefixes=CHECK-0
/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/opt -disable-output -disable-verify -print-pipeline-passes -passes='module(rpo-function-attrs,require<globals-aa>,function(float2int,lower-constant-intrinsics,loop(loop-rotate)),invalidate<globals-aa>)' < /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll | /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/FileCheck /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll --match-full-lines --check-prefixes=CHECK-1 # RUN: at line 6
+ /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/opt -disable-output -disable-verify -print-pipeline-passes '-passes=module(rpo-function-attrs,require<globals-aa>,function(float2int,lower-constant-intrinsics,loop(loop-rotate)),invalidate<globals-aa>)'
+ /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/FileCheck /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll --match-full-lines --check-prefixes=CHECK-1
/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/opt -o /dev/null -disable-verify -print-pipeline-passes -passes='function(mem2reg)' < /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll -disable-pipeline-verification | /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/FileCheck /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll --match-full-lines --check-prefixes=CHECK-3 # RUN: at line 10
+ /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/opt -o /dev/null -disable-verify -print-pipeline-passes '-passes=function(mem2reg)' -disable-pipeline-verification
+ /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/FileCheck /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll --match-full-lines --check-prefixes=CHECK-3
/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/opt -disable-output -disable-verify -print-pipeline-passes -passes='function(loop-mssa(indvars))' < /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll | /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/FileCheck /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll --match-full-lines --check-prefixes=CHECK-4 # RUN: at line 13
+ /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/opt -disable-output -disable-verify -print-pipeline-passes '-passes=function(loop-mssa(indvars))'
+ /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/FileCheck /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll --match-full-lines --check-prefixes=CHECK-4
/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/opt -disable-output -disable-verify -print-pipeline-passes -passes='cgscc(argpromotion,require<no-op-cgscc>,no-op-cgscc,devirt<7>(inline,no-op-cgscc)),function(loop(require<no-op-loop>))' < /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll | /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/FileCheck /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll --match-full-lines --check-prefixes=CHECK-5 # RUN: at line 16
+ /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/opt -disable-output -disable-verify -print-pipeline-passes '-passes=cgscc(argpromotion,require<no-op-cgscc>,no-op-cgscc,devirt<7>(inline,no-op-cgscc)),function(loop(require<no-op-loop>))'
+ /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/FileCheck /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll --match-full-lines --check-prefixes=CHECK-5
/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/opt -disable-output -disable-verify -print-pipeline-passes -passes='function(ee-instrument<>,ee-instrument<post-inline>)' < /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll | /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/FileCheck /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll --match-full-lines --check-prefixes=CHECK-6 # RUN: at line 19
+ /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/FileCheck /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll --match-full-lines --check-prefixes=CHECK-6
+ /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/opt -disable-output -disable-verify -print-pipeline-passes '-passes=function(ee-instrument<>,ee-instrument<post-inline>)'
/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/opt -disable-output -disable-verify -print-pipeline-passes -passes='loop(simple-loop-unswitch<nontrivial;trivial>,simple-loop-unswitch<no-nontrivial;no-trivial>)' < /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll | /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/FileCheck /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll --match-full-lines --check-prefixes=CHECK-7 # RUN: at line 22
+ /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/opt -disable-output -disable-verify -print-pipeline-passes '-passes=loop(simple-loop-unswitch<nontrivial;trivial>,simple-loop-unswitch<no-nontrivial;no-trivial>)'
+ /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/FileCheck /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll --match-full-lines --check-prefixes=CHECK-7
/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/opt -disable-output -disable-verify -print-pipeline-passes -passes='function(mldst-motion<split-footer-bb>,mldst-motion<no-split-footer-bb>)' < /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll | /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/FileCheck /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll --match-full-lines --check-prefixes=CHECK-8 # RUN: at line 25
+ /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/opt -disable-output -disable-verify -print-pipeline-passes '-passes=function(mldst-motion<split-footer-bb>,mldst-motion<no-split-footer-bb>)'
+ /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/FileCheck /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll --match-full-lines --check-prefixes=CHECK-8
/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/opt -disable-output -disable-verify -print-pipeline-passes -passes='function(lower-matrix-intrinsics<>,lower-matrix-intrinsics<minimal>)' < /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll | /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/FileCheck /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll --match-full-lines --check-prefixes=CHECK-9 # RUN: at line 28
+ /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/opt -disable-output -disable-verify -print-pipeline-passes '-passes=function(lower-matrix-intrinsics<>,lower-matrix-intrinsics<minimal>)'
+ /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/FileCheck /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll --match-full-lines --check-prefixes=CHECK-9
/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/opt -disable-output -disable-verify -print-pipeline-passes -passes='function(loop-unroll<>,loop-unroll<partial;peeling;runtime;upperbound;profile-peeling;full-unroll-max=5;O1>,loop-unroll<no-partial;no-peeling;no-runtime;no-upperbound;no-profile-peeling;full-unroll-max=7;O1>)' < /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll | /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/FileCheck /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll --match-full-lines --check-prefixes=CHECK-10 # RUN: at line 31
+ /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/opt -disable-output -disable-verify -print-pipeline-passes '-passes=function(loop-unroll<>,loop-unroll<partial;peeling;runtime;upperbound;profile-peeling;full-unroll-max=5;O1>,loop-unroll<no-partial;no-peeling;no-runtime;no-upperbound;no-profile-peeling;full-unroll-max=7;O1>)'
+ /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/FileCheck /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll --match-full-lines --check-prefixes=CHECK-10
/Users/buildbot/buildbot-root/aarch64-darwin/build/bin/opt -disable-output -disable-verify -print-pipeline-passes -passes='function(gvn<>,gvn<pre;load-pre;split-backedge-load-pre;memdep;memoryssa>,gvn<no-pre;no-load-pre;no-split-backedge-load-pre;no-memdep;no-memoryssa>)' < /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll | /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/FileCheck /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll --match-full-lines --check-prefixes=CHECK-11 # RUN: at line 34
+ /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/opt -disable-output -disable-verify -print-pipeline-passes '-passes=function(gvn<>,gvn<pre;load-pre;split-backedge-load-pre;memdep;memoryssa>,gvn<no-pre;no-load-pre;no-split-backedge-load-pre;no-memdep;no-memoryssa>)'
+ /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/FileCheck /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll --match-full-lines --check-prefixes=CHECK-11
/Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll:35:13: error: CHECK-11: expected string not found in input
; CHECK-11: function(gvn<>,gvn<pre;load-pre;split-backedge-load-pre;memdep;memoryssa>,gvn<no-pre;no-load-pre;no-split-backedge-load-pre;no-memdep;no-memoryssa>)
            ^
<stdin>:1:1: note: scanning from here
function(gvn<>,gvn<pre;load-pre;split-backedge-load-pre;no-memdep;memoryssa>,gvn<no-pre;no-load-pre;no-split-backedge-load-pre;memdep;no-memoryssa>)
^

Input file: <stdin>
Check file: /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/llvm/test/Other/new-pm-print-pipeline.ll

-dump-input=help explains the following input dump.

...

```

</details>

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