<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/149977>149977</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [DA] strongSIV produces incorrect results
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          kasuga-fj
      </td>
    </tr>
</table>

<pre>
    Input:

```llvm
define void @f(ptr %a, i64 %k) {
entry:
  %mk = sub i64 0, %k
  %kk = mul i64 %k, 2
  %kk.inc = add i64 1, %kk
  br label %loop

loop:
  %i = phi i64 [ 0, %entry ], [ %i.next, %loop ]
  %subscript.0 = mul i64 %mk, %i
  %subscript.1 = add i64 %subscript.0, %kk.inc
  %idx.0 = getelementptr i8, ptr %a, i64 %subscript.0 ; a[-k * i]
  %idx.1 = getelementptr i8, ptr %a, i64 %subscript.1 ; a[-k * i + (2 * k + 1)]
  store i8 42, ptr %idx.0
  store i8 42, ptr %idx.1
 %i.next = add i64 %i, 1
  %cond.exit = icmp eq i64 %i.next, 3
  br i1 %cond.exit, label %exit, label %loop

exit:
  ret void
}

```

Result:

```
$ opt -passes='print<da>' -disable-output test.ll
Printing analysis 'Dependence Analysis' for function 'f':
Src: store i8 42, ptr %idx.0, align 1 --> Dst:  store i8 42, ptr %idx.0, align 1
 da analyze - none!
Src:  store i8 42, ptr %idx.0, align 1 --> Dst:  store i8 42, ptr %idx.1, align 1
  da analyze - none!
Src:  store i8 42, ptr %idx.1, align 1 --> Dst:  store i8 42, ptr %idx.1, align 1
  da analyze - none!
```

godbolt: https://godbolt.org/z/5YrMG4vzd

There should be a dependency between the two stores to `idx.0` and `idx.1`. For example, when `k` is -1, the first store accesses `a[i]` and the second store accesses `a[i - 1]`. In this case, the first store writes to `a[0]` when `i` is 0, and the second store writes to the same location when `i` is 1, indicating a dependence.
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJy0VlGPozYQ_jWTlxEIDATywEOyuVT7UKnqVZX6aPCQ-EJsapvN7v76yoYku9ntVTr1pEjBfN988814DHBr5V4R1VBsoNgu-OgO2tRHbsc9j7pvi0aLl_pRDaODbA1J-C2T6df3TydI1oI6qQiftBQIedIBqwZnEFjBgT2gXOb--ghshVBuIFmTcuZlkkMPnY4I2Rbt2ARy4qNCxIwfJ_w09m_EHpDd8FiqNnC4EIGTXjQmkcZgzxvq_a1e62EqJFzdbMigMBzklKXYXJ0EwwjFNqyLTWDHip7dTPBKAZ-l7NjY1sjBxcm99dNxjpEfyem7Gt7rXAvytV4ti-c5w54c9XQi5XzvZeXpn-zCe2Mb5FBsoiMCW6N849_rpj-mm37QRWC-YxULy2NYpsBWl3zWaUMoK8zZG_VQ2n_gqceve3HfPOnZ6aWkVisR07OcaLI9DUh_X6nXzcwu8yLTd1Eeu47Qhxu3mQrQPFOGXDgVHim3d4dnWv5Oduw_OVr-muWoB4fRwK0lC9kWWDkYqRxkD4JD9gVYiZGQljc9RXp0w-jQkXVx30Oy_s1TpdojV7x_sdIisHJLAylBqiVcz7e9SqcNdqNqndTK0zpg5WTqq2khW393j9gD8l7uFaYYRZB9wa31FX1_Y29BvlWCTy5fCSNUWhGw9Jb8_86e3mX_8fTpz0x_Nyp7LRodZgUPzg3W7w_bAdvNQKzNHtjuFdiu-Mv8-kv-9CqmyD8OZAjtQY-9wIaQo7iMwQs25M5ECt2B0J315Nui0wjLZGrxMkGuxGWdwjKJcacN0jM_DT35cs4HUp5w9GRpMQpFes1OGuvmbvC2JT_LnumfEOGRM6t7riV_3v6NjBGmU0CMj96wtNhyS59lOhvprlX46GROdTEqZ6PTAH2W_yYRIH4i7HXLwxG5VwnVSiWkx_2Ru3WY4oWoM7HKVnxBdVoWWVrmZVktDnXaUUVUJkW35FVWiTIv-HLZFUWTNCxLqoWsWcKKpGQsqYpVVsXNMm2XvKKGtV2-qjjkCZ247GP_KvYDsJDWjlSn-WpVlovwfLLh3c6YojMGFBjzr3pT-6CoGfcW8qSX1tmbjJOuDx8F2zUUW7TOaLX_-vgnDkaLsSWLUrXaGGodmvAMs4vR9PXdZEp3GJu41Sdgu_C1MP1Fg9HfqHXAdsGRBbabLT_V7J8AAAD__wAPgH8">