[all-commits] [llvm/llvm-project] f4ea65: [BasicAA] Add test for incorrectly inferring noali...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f4ea6531e677b1a3c107d7009a7e2f195c8fa915
      https://github.com/llvm/llvm-project/commit/f4ea6531e677b1a3c107d7009a7e2f195c8fa915
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2021-06-30 (Wed, 30 Jun 2021)

  Changed paths:
    M llvm/test/Analysis/BasicAA/gep-modulo.ll

  Log Message:
  -----------
  [BasicAA] Add test for incorrectly inferring noalias due to scale sign.

This patch adds a test where we currently incorrectly determine noalias,
because the sign of Scale is adjusted after 91fa3565da16.


  Commit: e6d22d0174e09fa01342d9ed1dca47bc1eb58303
      https://github.com/llvm/llvm-project/commit/e6d22d0174e09fa01342d9ed1dca47bc1eb58303
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2021-06-30 (Wed, 30 Jun 2021)

  Changed paths:
    M llvm/lib/Analysis/BasicAliasAnalysis.cpp
    M llvm/test/Analysis/BasicAA/gep-modulo.ll

  Log Message:
  -----------
  [BasicAA] Use separate scale variable for GCD.

Use separate variable for adjusted scale used for GCD computations. This
fixes an issue where we incorrectly determined that all indices are
non-negative and returned noalias because of that.

Follow up to 91fa3565da16.


Compare: https://github.com/llvm/llvm-project/compare/ec74192f5247...e6d22d0174e0