[all-commits] [llvm/llvm-project] f066d7: [Reland][SCEV] teach isImpliedViaOperations about ...

[Yingwei Zheng via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f066d7504e736f7dc8bee3b9c514a86e229fd622
      https://github.com/llvm/llvm-project/commit/f066d7504e736f7dc8bee3b9c514a86e229fd622
  Author: Yingwei Zheng <dtcxzyw2333 at gmail.com>
  Date:   2025-04-02 (Wed, 02 Apr 2025)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Analysis/ScalarEvolution/exit-count-samesign.ll
    M llvm/test/Analysis/ScalarEvolution/implied-via-division.ll
    M llvm/test/Transforms/IndVarSimplify/iv-ext-samesign.ll
    A llvm/test/Transforms/IndVarSimplify/pr126409.ll

  Log Message:
  -----------
  [Reland][SCEV] teach isImpliedViaOperations about samesign (#133711)

This patch relands https://github.com/llvm/llvm-project/pull/124270.
Closes https://github.com/llvm/llvm-project/issues/126409.

The root cause is that we incorrectly preserve the samesign flag after
truncating operands of an icmp:
https://alive2.llvm.org/ce/z/4NE9gS

---------

Co-authored-by: Ramkumar Ramachandra <ramkumar.ramachandra at codasip.com>



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