[ValueTracking] Let isGuaranteedNotToBeUndefOrPoison look into more constants/instruc...
authorJuneyoung Lee <aqjune@gmail.com>
Sun, 15 Mar 2020 03:09:58 +0000 (12:09 +0900)
committerJuneyoung Lee <aqjune@gmail.com>
Sat, 25 Apr 2020 14:29:54 +0000 (23:29 +0900)
commitf5677fe7000e62e4b44782fa72fa5dbcd6a82126
treefa96e89e50a4ccc0c424a68a6842c3d3b2ca9634
parent82ce3347273bbc1f67f7e7307007825500588b20
[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
llvm/include/llvm/Analysis/ValueTracking.h
llvm/lib/Analysis/ValueTracking.cpp
llvm/test/Transforms/InstSimplify/freeze.ll