[all-commits] [llvm/llvm-project] f5677f: [ValueTracking] Let isGuaranteedNotToBeUndefOrPois...

[Juneyoung Lee via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: f5677fe7000e62e4b44782fa72fa5dbcd6a82126
      https://github.com/llvm/llvm-project/commit/f5677fe7000e62e4b44782fa72fa5dbcd6a82126
  Author: Juneyoung Lee <aqjune at gmail.com>
  Date:   2020-04-25 (Sat, 25 Apr 2020)

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

  Log Message:
  -----------
  [ValueTracking] Let isGuaranteedNotToBeUndefOrPoison look into more constants/instructions

Summary:
This patch helps isGuaranteedNotToBeUndefOrPoison look into more constants and instructions (bitcast/alloca/gep/fcmp).

To deal with bitcast, Depth is added to isGuaranteedNotToBeUndefOrPoison.

This patch is splitted from https://reviews.llvm.org/D75808.

Checked with Alive2

Reviewers: reames, jdoerfert

Reviewed By: jdoerfert

Subscribers: sanwou01, spatel, llvm-commits, hiraditya

Tags: #llvm

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