[all-commits] [llvm/llvm-project] b06650: [ArgPromotion] Require noundef to copy poison-gene...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b066505d8835e263e19c13f2cd718b6eb8db4470
      https://github.com/llvm/llvm-project/commit/b066505d8835e263e19c13f2cd718b6eb8db4470
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-04-05 (Wed, 05 Apr 2023)

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

  Log Message:
  -----------
  [ArgPromotion] Require noundef to copy poison-generating metadata

For poison-generating (rather than IUB) metadata, only copy it
from the dominating must-exec load if it is combined with !noundef.
This could be further extended by additionall intersecting the
metadata from all loads, which does not require !noundef.