[all-commits] [llvm/llvm-project] 0e2b89: [DA] Add tests where dependencies are missed due t...

[Ryotaro Kasuga via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0e2b89037a94436b9e342dd2d297119e2a39d2f3
      https://github.com/llvm/llvm-project/commit/0e2b89037a94436b9e342dd2d297119e2a39d2f3
  Author: Ryotaro Kasuga <kasuga.ryotaro at fujitsu.com>
  Date:   2025-10-30 (Thu, 30 Oct 2025)

  Changed paths:
    A llvm/test/Analysis/DependenceAnalysis/gcd-miv-overflow.ll
    A llvm/test/Analysis/DependenceAnalysis/strong-siv-overflow.ll
    A llvm/test/Analysis/DependenceAnalysis/symbolic-rdiv-overflow.ll
    A llvm/test/Analysis/DependenceAnalysis/weak-crossing-siv-overflow.ll
    A llvm/test/Analysis/DependenceAnalysis/weak-zero-siv-overflow.ll

  Log Message:
  -----------
  [DA] Add tests where dependencies are missed due to overflow (NFC) (#164246)

This patch adds test cases that demonstrate missing dependencies in DA
caused by the lack of overflow handling. These issues will be addressed
by properly inserting overflow checks and bailing out when one is
detected.

It covers the following dependence test functions:

- Strong SIV
- Weak-Crossing SIV
- Weak-Zero SIV
- Symbolic RDIV
- GCD MIV

It does NOT cover:

- Exact SIV
- Exact RDIV
- Banerjee MIV



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications