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

[Ehsan Amiri via llvm-commits]

amehsan wrote:

Yes, working on the revert

From: Prabhu Rajasekaran ***@***.***
Sent: October 31, 2025 2:39 PM
To: llvm/llvm-project ***@***.***>
Cc: Ehsan Amiri ***@***.***>; State change ***@***.***>
Subject: Re: [llvm/llvm-project] [DA] Check for overflow in strong SIV test (PR #164704)

[https://avatars.githubusercontent.com/u/515853?s=20&v=4]Prabhuk left a comment (llvm/llvm-project#164704)<https://github.com/llvm/llvm-project/pull/164704#issuecomment-3474395542>

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

—
Reply to this email directly, view it on GitHub<https://github.com/llvm/llvm-project/pull/164704#issuecomment-3474395542>, or unsubscribe<https://github.com/notifications/unsubscribe-auth/ACIGTT7VQ5HOVCB2XJYJURT32OUDTAVCNFSM6AAAAACJ56M2JKVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZTINZUGM4TKNJUGI>.
You are receiving this because you modified the open/close state.Message ID: ***@***.******@***.***>>


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