[all-commits] [llvm/llvm-project] b7ff04: [BasicAA] Add additional truncation tests (NFC)

[Nikita Popov via All-commits]

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

  Changed paths:
    M llvm/test/Analysis/BasicAA/gep-implicit-trunc-32-bit-pointers.ll

  Log Message:
  -----------
  [BasicAA] Add additional truncation tests (NFC)

These show that the known bits and non-zero heuristics are incorrect
when truncation is involved.


  Commit: b084b98abe07455fe190fba933d14f0dc365dd25
      https://github.com/llvm/llvm-project/commit/b084b98abe07455fe190fba933d14f0dc365dd25
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2021-10-01 (Fri, 01 Oct 2021)

  Changed paths:
    M llvm/test/Analysis/BasicAA/q.bad.ll

  Log Message:
  -----------
  [BasicAA] Make test more robust (NFC)

When taking into account the fact that GEP indices are truncated
to 32-bits in this test, the "path dependence" goes away, so
inferring MustAlias for all pointers would be correct. As this
goes against the spirit of the test, change it to extend from
i16 instead.


Compare: https://github.com/llvm/llvm-project/compare/782a97a9776a...b084b98abe07