[all-commits] [llvm/llvm-project] 19732a: [SCEV] Check correct binary operator for nowrap flags

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 19732a3eaa978f2c65c233a97593b09e43a618cc
      https://github.com/llvm/llvm-project/commit/19732a3eaa978f2c65c233a97593b09e43a618cc
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-04-27 (Thu, 27 Apr 2023)

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

  Log Message:
  -----------
  [SCEV] Check correct binary operator for nowrap flags

We should be checking the current BO here, not the nested one. If
the current BO has nowrap flags (and is UB on poison), then we'll
fetch both operand SCEVs of that BO. We'll check the nested BO
on the next iteration of the do/while loop.