[all-commits] [llvm/llvm-project] 6a2305: [AAPointerInfo] track multiple constant offsets fo...

[Sameer Sahasrabuddhe via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 6a2305484e8726da026790f803edfe4dd2abf6ae
      https://github.com/llvm/llvm-project/commit/6a2305484e8726da026790f803edfe4dd2abf6ae
  Author: Sameer Sahasrabuddhe <sameer.sahasrabuddhe at amd.com>
  Date:   2022-12-13 (Tue, 13 Dec 2022)

  Changed paths:
    M llvm/include/llvm/Transforms/IPO/Attributor.h
    M llvm/lib/Target/AMDGPU/AMDGPUAttributor.cpp
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp
    R llvm/test/CodeGen/AMDGPU/attributor.ll
    A llvm/test/CodeGen/AMDGPU/implicitarg-attributes.ll
    M llvm/test/Transforms/Attributor/call-simplify-pointer-info.ll
    A llvm/test/Transforms/Attributor/multiple-offsets-pointer-info.ll
    M llvm/test/Transforms/Attributor/value-simplify-pointer-info.ll

  Log Message:
  -----------
  [AAPointerInfo] track multiple constant offsets for each use

An expression of the form `gep(base, select(pred, const1, const2))` can result
in a set of offsets instead of just one. PointerInfo can now track these sets
instead of conservatively modeling them as Unknown. In general, AAPointerInfo
now uses AAPotentialConstantValues to examine the operands of the GEP.

Reviewed By: jdoerfert

Differential Revision: https://reviews.llvm.org/D138646