[all-commits] [llvm/llvm-project] 538cd2: [Attributor] Multi-range accesses can be exact

[Johannes Doerfert via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 538cd2e8833eccc47179add268609b5adc558465
      https://github.com/llvm/llvm-project/commit/538cd2e8833eccc47179add268609b5adc558465
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2023-01-22 (Sun, 22 Jan 2023)

  Changed paths:
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp
    M llvm/test/Transforms/Attributor/multiple-offsets-pointer-info.ll

  Log Message:
  -----------
  [Attributor] Multi-range accesses can be exact

Even if we have multiple access ranges, the access can be exact. It is
not a MUST access but that is taken care of elsewhere. The tests were
wrong as they contained uninitialized memory. When the memory is
initialized it works as expected.


  Commit: f341807ea57d7aa88f0d35c60c5447822e37c1e1
      https://github.com/llvm/llvm-project/commit/f341807ea57d7aa88f0d35c60c5447822e37c1e1
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2023-01-22 (Sun, 22 Jan 2023)

  Changed paths:
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp
    A llvm/test/Transforms/Attributor/value-simplify-pointer-info-vec.ll

  Log Message:
  -----------
  [Attributor] Add initial support for vectors in AAPointerInfo

While full support requires more work (see TODOs), this allows us to
handle vector writes with a single constant value properly. For now,
we can handle the same constant values stored to all elements if
everything is of a fixed size.


Compare: https://github.com/llvm/llvm-project/compare/129faec71169...f341807ea57d