[all-commits] [llvm/llvm-project] a9d295: [SCEVDivision] Add assertion to check operand type...

[Ryotaro Kasuga via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a9d295d615a81574eabb3645ed5d2eb5a5f4efd9
      https://github.com/llvm/llvm-project/commit/a9d295d615a81574eabb3645ed5d2eb5a5f4efd9
  Author: Ryotaro Kasuga <kasuga.ryotaro at fujitsu.com>
  Date:   2026-07-14 (Tue, 14 Jul 2026)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolutionDivision.cpp

  Log Message:
  -----------
  [SCEVDivision] Add assertion to check operand types match (NFCI) (#204146)

In ScalarEvolutionDivision.h, the `SCEVDivision::divide` operation is
defined as follows:

```
/// Computes the Quotient and Remainder of the division of Numerator by
/// Denominator. We are not actually performing the division here. Instead, we
/// are trying to find SCEV expressions Quotient and Remainder that satisfy:
///
/// Numerator = Denominator * Quotient + Remainder
```

Therefore, I believe it makes sense to enforce that the types of
`Numerator` and `Denominator` are the same.

This patch adds an assertion to verify that restriction.



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