[all-commits] [llvm/llvm-project] 7cf737: [BasicAA] Don't treat non-inbounds GEP as nsw

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7cf7378a9d5566158b74613964b528761415c421
      https://github.com/llvm/llvm-project/commit/7cf7378a9d5566158b74613964b528761415c421
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2021-10-29 (Fri, 29 Oct 2021)

  Changed paths:
    M llvm/lib/Analysis/BasicAliasAnalysis.cpp
    M llvm/test/Analysis/BasicAA/struct-geps.ll

  Log Message:
  -----------
  [BasicAA] Don't treat non-inbounds GEP as nsw

The scale multiplication is only guaranteed to be nsw if the GEP
is inbounds (or the multiplication is trivial). Previously we were
only considering explicit muls in GEP indices.