OSDN Git Service

[ValueTracking] Let isGuaranteedNotToBeUndefOrPoison consider noundef
authorJuneyoung Lee <aqjune@gmail.com>
Fri, 17 Jul 2020 03:53:08 +0000 (12:53 +0900)
committerJuneyoung Lee <aqjune@gmail.com>
Fri, 17 Jul 2020 03:53:08 +0000 (12:53 +0900)
commit582901d0b53a2a23ec91a6210e933a622b0bb739
tree60dddeb99d5920b56e32b05f1053e3c9b2aac56b
parentcd4953246b84b59d91e6a9495f2e205f0bf8ef48
[ValueTracking] Let isGuaranteedNotToBeUndefOrPoison consider noundef

 This patch adds support for noundef arguments.

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D83752
llvm/lib/Analysis/ValueTracking.cpp
llvm/test/Transforms/InstSimplify/freeze-noundef.ll