[all-commits] [llvm/llvm-project] 9630a9: [Local] Preserve !nonnull only when K dominate J a...

[luxufan via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 9630a9999b43bc3fc3ac87710540aed0f451c721
      https://github.com/llvm/llvm-project/commit/9630a9999b43bc3fc3ac87710540aed0f451c721
  Author: luxufan <luxufan at iscas.ac.cn>
  Date:   2023-03-26 (Sun, 26 Mar 2023)

  Changed paths:
    M llvm/lib/Transforms/Utils/Local.cpp
    M llvm/test/Transforms/InstCombine/load-combine-metadata-dominance.ll
    M llvm/test/Transforms/NewGVN/metadata-nonnull.ll

  Log Message:
  -----------
  [Local] Preserve !nonnull only when K dominate J and K has a !noundef

Similar to D142687

Reviewed By: nikic

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