[all-commits] [llvm/llvm-project] c2b476: [ArgPromotion] Test dereferenceable annotation on ...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c2b476767ef327396868050a08aa1192d3e4ba81
      https://github.com/llvm/llvm-project/commit/c2b476767ef327396868050a08aa1192d3e4ba81
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-02-08 (Tue, 08 Feb 2022)

  Changed paths:
    M llvm/test/Transforms/ArgumentPromotion/align.ll

  Log Message:
  -----------
  [ArgPromotion] Test dereferenceable annotation on callee (NFC)

While we check dereferenceability of all callers, we don't check
dereferenceability annotations on the callee.


  Commit: b896334834305c8b68b9b6e6cb4386adb4ed1a07
      https://github.com/llvm/llvm-project/commit/b896334834305c8b68b9b6e6cb4386adb4ed1a07
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-02-08 (Tue, 08 Feb 2022)

  Changed paths:
    M llvm/lib/Transforms/IPO/ArgumentPromotion.cpp
    M llvm/test/Transforms/ArgumentPromotion/align.ll

  Log Message:
  -----------
  [ArgPromotion] Check dereferenceability on argument as well

Before walking all the callers, check whether we have a
dereferenceable attribute directly on the argument.

Also make it clearer that the code currently does not treat
alignment correctly.


Compare: https://github.com/llvm/llvm-project/compare/bf17cb294af4...b89633483430