llvm-project

217dcab4 - [DA] Add tests for the Weak Zero SIV tests miss dependency (NFC) (#184998)

[DA] Add tests for the Weak Zero SIV tests miss dependency (NFC) (#184998) Add test cases where the Weak Zero SIV tests miss dependencies due to the calculation of negative values. SCEV represents the negative value of `x` as `-1 * x`. When `x` is the signed minimum value, this expression effectively evaluates to `x`, which causes DA to miss the dependency. In DA, if we cannot prove that the value is not the signed minimum when computing the negative value, the analysis should bail out.