[all-commits] [llvm/llvm-project] f118e3: [Attributor][NFC] Fix typo

[Johannes Doerfert via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f118e3bccab2b5ea0cdfde6585f5879dc3f67fe4
      https://github.com/llvm/llvm-project/commit/f118e3bccab2b5ea0cdfde6585f5879dc3f67fe4
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2023-08-25 (Fri, 25 Aug 2023)

  Changed paths:
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp

  Log Message:
  -----------
  [Attributor][NFC] Fix typo


  Commit: d0b5523632202c52b29a0b4802e918d6f75e12b2
      https://github.com/llvm/llvm-project/commit/d0b5523632202c52b29a0b4802e918d6f75e12b2
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2023-08-25 (Fri, 25 Aug 2023)

  Changed paths:
    M llvm/include/llvm/Transforms/IPO/Attributor.h
    M llvm/lib/Transforms/IPO/Attributor.cpp
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp
    M llvm/test/Transforms/Attributor/callgraph.ll

  Log Message:
  -----------
  [Attributor] Introduce limit for indirect call specialization

The user can now limit the number of indirect calls specialized for a
given call site with `-attributor-max-specializations-per-call-base=N`
or the AttributorConfig callback. We further attach the `!callee`
metadata if all remaining callees are known.


  Commit: e5313ef55fc25b74cb9d3cd2bd74eb452274a2f2
      https://github.com/llvm/llvm-project/commit/e5313ef55fc25b74cb9d3cd2bd74eb452274a2f2
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2023-08-25 (Fri, 25 Aug 2023)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp
    M llvm/test/Transforms/Attributor/callgraph.ll

  Log Message:
  -----------
  [Attributor] Filter potential callees based on `noundef` arguments

If a potential callee has more arguments than the call site, the values
passed will be `poison`. If the potential callee would exhibit UB for
such `undef` argument, e.g., they are marked `noundef`, we can rule the
potential callee out.


Compare: https://github.com/llvm/llvm-project/compare/a7ca1175d0d4...e5313ef55fc2