[all-commits] [llvm/llvm-project] fe413f: [SCEV] Discard samesign when analyzing loop invari...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: fe413f70fe594fcc53519fc685a0de36a8cbcb36
      https://github.com/llvm/llvm-project/commit/fe413f70fe594fcc53519fc685a0de36a8cbcb36
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2026-02-13 (Fri, 13 Feb 2026)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Transforms/IndVarSimplify/turn-to-invariant.ll

  Log Message:
  -----------
  [SCEV] Discard samesign when analyzing loop invariant exits (#181171)

If the predicate has samesign set, we could either perform the checks
with the unsigned predicate and return and unsigned invariant predicate,
or we could perform them with the signed predicate and return a signed
invariant predicate. The current implementation can end up mixing both,
using a signed predicate for one check and an unsigned one for the
other.

Avoid this by dropping the samesign flag.

Fixes https://github.com/llvm/llvm-project/issues/180870.



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