[all-commits] [llvm/llvm-project] f44c7d: [Local] Use most generic range if K does not domin...

[luxufan via All-commits]

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

  Changed paths:
    M llvm/lib/Transforms/Utils/Local.cpp
    M llvm/test/Transforms/GVN/range.ll
    M llvm/test/Transforms/JumpThreading/thread-loads.ll
    M llvm/test/Transforms/NewGVN/range.ll

  Log Message:
  -----------
  [Local] Use most generic range if K does not dominate J or K doesn't have a !noundef

Since D141386 has changed the return value of !range from IUB to poison,
metadata !range shouldn't be preserved even if K dominates J.

If this patch was accepted, I plan to adjust metadata !nonnull as well.
BTW, I found that metadata !noundef is not handled in combineMetadata,
is this intentional?

Reviewed By: nikic

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