[all-commits] [llvm/llvm-project] 88db51: [AAPointerInfo] handle multiple offsets in PHI

[Sameer Sahasrabuddhe via All-commits]

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

  Changed paths:
    M llvm/include/llvm/Analysis/CycleAnalysis.h
    M llvm/include/llvm/Transforms/IPO/Attributor.h
    M llvm/lib/Target/AMDGPU/AMDGPUAttributor.cpp
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp
    M llvm/test/CodeGen/AMDGPU/implicitarg-attributes.ll
    M llvm/test/CodeGen/AMDGPU/llc-pipeline.ll
    M llvm/test/Transforms/Attributor/multiple-offsets-pointer-info.ll

  Log Message:
  -----------
  [AAPointerInfo] handle multiple offsets in PHI

The arguments to a PHI may represent a recurrence by eventually using the output
of the PHI itself. This is now handled by checking for cycles in the control
flow. If a PHI is not in a recurrence, it is now able to report multiple offsets
instead of conservatively reporting unknown.

Reviewed By: jdoerfert

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