[llvm] [SCEV] Remove existing predicates implied by newly added ones. (PR #118185)

[LLVM Continuous Integration via llvm-commits]

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `llvm-nvptx-nvidia-ubuntu` running on `as-builder-7` while building `llvm` at step 6 "test-build-unified-tree-check-llvm".

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

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

```
Step 6 (test-build-unified-tree-check-llvm) failure: test (failure)
******************** TEST 'LLVM :: Analysis/LoopAccessAnalysis/wrapping-pointer-versioning.ll' FAILED ********************
Exit Code: 1

Command Output (stderr):
--
RUN: at line 1: /home/buildbot/worker/as-builder-7/ramdisk/llvm-nvptx-nvidia-ubuntu/build/bin/opt -passes='print<access-info>' -aa-pipeline='basic-aa' -disable-output < /home/buildbot/worker/as-builder-7/ramdisk/llvm-nvptx-nvidia-ubuntu/llvm-project/llvm/test/Analysis/LoopAccessAnalysis/wrapping-pointer-versioning.ll  2>&1 | /home/buildbot/worker/as-builder-7/ramdisk/llvm-nvptx-nvidia-ubuntu/build/bin/FileCheck /home/buildbot/worker/as-builder-7/ramdisk/llvm-nvptx-nvidia-ubuntu/llvm-project/llvm/test/Analysis/LoopAccessAnalysis/wrapping-pointer-versioning.ll --check-prefix=LAA
+ /home/buildbot/worker/as-builder-7/ramdisk/llvm-nvptx-nvidia-ubuntu/build/bin/opt '-passes=print<access-info>' -aa-pipeline=basic-aa -disable-output
+ /home/buildbot/worker/as-builder-7/ramdisk/llvm-nvptx-nvidia-ubuntu/build/bin/FileCheck /home/buildbot/worker/as-builder-7/ramdisk/llvm-nvptx-nvidia-ubuntu/llvm-project/llvm/test/Analysis/LoopAccessAnalysis/wrapping-pointer-versioning.ll --check-prefix=LAA
/home/buildbot/worker/as-builder-7/ramdisk/llvm-nvptx-nvidia-ubuntu/llvm-project/llvm/test/Analysis/LoopAccessAnalysis/wrapping-pointer-versioning.ll:26:13: error: LAA-NEXT: is not on the line after the previous match
; LAA-NEXT: {%a,+,4}<%for.body> Added Flags: <nusw>
            ^
<stdin>:15:2: note: 'next' match was here
 {%a,+,4}<%for.body> Added Flags: <nusw>
 ^
<stdin>:13:19: note: previous match ended here
 SCEV assumptions:
                  ^
<stdin>:14:1: note: non-matching line after previous match is here
 {0,+,2}<%for.body> Added Flags: <nusw>
^

Input file: <stdin>
Check file: /home/buildbot/worker/as-builder-7/ramdisk/llvm-nvptx-nvidia-ubuntu/llvm-project/llvm/test/Analysis/LoopAccessAnalysis/wrapping-pointer-versioning.ll

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

Input was:
<<<<<<
         .
         .
         .
        10:  Grouped accesses: 
        11:  
        12:  Non vectorizable stores to invariant address were not found in loop. 
        13:  SCEV assumptions: 
        14:  {0,+,2}<%for.body> Added Flags: <nusw> 
        15:  {%a,+,4}<%for.body> Added Flags: <nusw> 
next:26      !~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~  error: match on wrong line
        16:  
        17:  Expressions re-written: 
        18:  [PSE] %arrayidxA = getelementptr i16, ptr %a, i64 %mul_ext: 
        19:  ((2 * (zext i32 {0,+,2}<%for.body> to i64))<nuw><nsw> + %a) 
        20:  --> {%a,+,4}<%for.body> 
         .
         .
         .
>>>>>>

--

...

```

</details>

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