[all-commits] [llvm/llvm-project] b7e51b: [IPSCCP] Infer attributes on arguments (#107114)

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b7e51b4f139ec18c498c818c6bcaa5a842cea83c
      https://github.com/llvm/llvm-project/commit/b7e51b4f139ec18c498c818c6bcaa5a842cea83c
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2024-09-16 (Mon, 16 Sep 2024)

  Changed paths:
    M llvm/include/llvm/IR/Function.h
    M llvm/include/llvm/Transforms/Utils/SCCPSolver.h
    M llvm/lib/IR/Function.cpp
    M llvm/lib/Transforms/IPO/SCCP.cpp
    M llvm/lib/Transforms/Utils/SCCPSolver.cpp
    M llvm/test/Transforms/FunctionSpecialization/discover-transitive-phis.ll
    M llvm/test/Transforms/SCCP/ip-add-range-to-call.ll
    M llvm/test/Transforms/SCCP/ip-constant-ranges.ll
    M llvm/test/Transforms/SCCP/ip-ranges-casts.ll
    M llvm/test/Transforms/SCCP/ip-ranges-phis.ll
    M llvm/test/Transforms/SCCP/ip-ranges-select.ll
    M llvm/test/Transforms/SCCP/musttail-call.ll
    M llvm/test/Transforms/SCCP/pointer-nonnull.ll
    M llvm/test/Transforms/SCCP/resolvedundefsin-tracked-fn.ll
    M llvm/test/Transforms/SCCP/switch.ll

  Log Message:
  -----------
  [IPSCCP] Infer attributes on arguments (#107114)

During inter-procedural SCCP, also infer attributes on arguments, not
just return values. This allows other non-interprocedural passes to make
use of the information later.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications