[llvm] [DA] Check for overflow in strong SIV test (PR #164704)

[Prabhu Rajasekaran via llvm-commits]

Prabhuk wrote:

We are seeing failures in Google toolchain builders as well after this PR. Please consider reverting

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 2
/b/s/w/ir/x/w/llvm_build/bin/opt < /b/s/w/ir/x/w/llvm-llvm-project/llvm/test/Analysis/DependenceAnalysis/strong-siv-overflow.ll -disable-output "-passes=print<da>" 2>&1      | /b/s/w/ir/x/w/llvm_build/bin/FileCheck /b/s/w/ir/x/w/llvm-llvm-project/llvm/test/Analysis/DependenceAnalysis/strong-siv-overflow.ll --check-prefixes=CHECK,CHECK-ALL
# executed command: /b/s/w/ir/x/w/llvm_build/bin/opt -disable-output '-passes=print<da>'
# executed command: /b/s/w/ir/x/w/llvm_build/bin/FileCheck /b/s/w/ir/x/w/llvm-llvm-project/llvm/test/Analysis/DependenceAnalysis/strong-siv-overflow.ll --check-prefixes=CHECK,CHECK-ALL
# RUN: at line 4
/b/s/w/ir/x/w/llvm_build/bin/opt < /b/s/w/ir/x/w/llvm-llvm-project/llvm/test/Analysis/DependenceAnalysis/strong-siv-overflow.ll -disable-output "-passes=print<da>" -da-enable-dependence-test=strong-siv 2>&1      | /b/s/w/ir/x/w/llvm_build/bin/FileCheck /b/s/w/ir/x/w/llvm-llvm-project/llvm/test/Analysis/DependenceAnalysis/strong-siv-overflow.ll --check-prefixes=CHECK,CHECK-STRONG-SIV
# executed command: /b/s/w/ir/x/w/llvm_build/bin/opt -disable-output '-passes=print<da>' -da-enable-dependence-test=strong-siv
# executed command: /b/s/w/ir/x/w/llvm_build/bin/FileCheck /b/s/w/ir/x/w/llvm-llvm-project/llvm/test/Analysis/DependenceAnalysis/strong-siv-overflow.ll --check-prefixes=CHECK,CHECK-STRONG-SIV
# .---command stderr------------
# | /b/s/w/ir/x/w/llvm-llvm-project/llvm/test/Analysis/DependenceAnalysis/strong-siv-overflow.ll:25:15: error: CHECK-NEXT: is not on the line after the previous match
# | ; CHECK-NEXT: da analyze - none!
# |               ^
# | <stdin>:7:2: note: 'next' match was here
# |  da analyze - none!
# |  ^
# | <stdin>:4:78: note: previous match ended here
# | Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
# |                                                                              ^
# | <stdin>:5:1: note: non-matching line after previous match is here
# |  da analyze - consistent output [1]!
# | ^
# | 
# | Input file: <stdin>
# | Check file: /b/s/w/ir/x/w/llvm-llvm-project/llvm/test/Analysis/DependenceAnalysis/strong-siv-overflow.ll
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |          1: Printing analysis 'Dependence Analysis' for function 'strongsiv_const_ovfl': 
# |          2: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 1, ptr %gep.0, align 1 
# |          3:  da analyze - none! 
# |          4: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 2, ptr %gep.1, align 1 
# |          5:  da analyze - consistent output [1]! 
# |          6: Src: store i8 2, ptr %gep.1, align 1 --> Dst: store i8 2, ptr %gep.1, align 1 
# |          7:  da analyze - none! 
# | next:25      !~~~~~~~~~~~~~~~~~  error: match on wrong line
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
```

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