[llvm] [DA] Add tests for dependencies are missed due to large BTC (NFC) (PR #179664)

[Sjoerd Meijer via llvm-commits]

================
@@ -0,0 +1,106 @@
+; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 6
+; RUN: opt < %s -disable-output "-passes=print<da>" 2>&1 \
+; RUN:     | FileCheck %s --check-prefixes=CHECK,CHECK-ALL
+; RUN: opt < %s -disable-output "-passes=print<da>" -da-enable-dependence-test=weak-zero-siv 2>&1 \
+; RUN:     | FileCheck %s --check-prefixes=CHECK,CHECK-WEAK-ZERO-SRC-SIV
+;
+; for (i = INT64_MIN + 1; i != INT64_MAX; i++) {
+;   if (i == 0)
+;     A[i] = 0;
+;   A[0] = 1;
+; }
+;
+; FIXME: `A[i] = 0` will be executed (when i == 0), so there is a ; dependency
----------------
sjoerdmeijer wrote:

Nit: there are two ";" mid sentence here and below.

But no need to fix this post-commit (maybe next time we touch this file), so this is more to let you know I was looking at this but had not pushed the button yet... :)

Thanks for adding all these tests.


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