[all-commits] [llvm/llvm-project] 8e51bb: [ValueTracking] Add a noundef test for D86477; NFC

[Juneyoung Lee via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 8e51bb249bc2a71ecd13092bc0e1e246995feba6
      https://github.com/llvm/llvm-project/commit/8e51bb249bc2a71ecd13092bc0e1e246995feba6
  Author: Juneyoung Lee <aqjune at gmail.com>
  Date:   2020-08-26 (Wed, 26 Aug 2020)

  Changed paths:
    M llvm/test/Transforms/InstSimplify/freeze-noundef.ll

  Log Message:
  -----------
  [ValueTracking] Add a noundef test for D86477; NFC


  Commit: f753f5b05033bf1d8b89b19b753b78c89de41ae3
      https://github.com/llvm/llvm-project/commit/f753f5b05033bf1d8b89b19b753b78c89de41ae3
  Author: Juneyoung Lee <aqjune at gmail.com>
  Date:   2020-08-26 (Wed, 26 Aug 2020)

  Changed paths:
    M llvm/include/llvm/Analysis/ValueTracking.h
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/lib/Transforms/Instrumentation/PoisonChecking.cpp
    M llvm/test/Transforms/InstSimplify/freeze-noundef.ll

  Log Message:
  -----------
  [ValueTracking] Let getGuaranteedNonPoisonOp find multiple non-poison operands

This patch helps getGuaranteedNonPoisonOp find multiple non-poison operands.

Instead of special-casing llvm.assume, I think it is also a viable option to
add noundef to Intrinsics.td. If it makes sense, I'll make a patch for that.

Reviewed By: jdoerfert

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


Compare: https://github.com/llvm/llvm-project/compare/b1009ee84fc0...f753f5b05033