projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 18581fd) | patch
[ValueTracking] Fix incorrect handling of canCreateUndefOrPoison
authorJuneyoung Lee <aqjune@gmail.com>
Wed, 22 Jul 2020 00:30:42 +0000 (09:30 +0900)
committerJuneyoung Lee <aqjune@gmail.com>
Wed, 22 Jul 2020 00:31:16 +0000 (09:31 +0900)
commitace0bf749099c104ad50252988097c9495df7ccd
tree12223667a64e28d069cf4de5cea52eda6b22a63btree | snapshot
parent18581fd2c441eac052a25e4cbe9bd74d6ff605adcommit | diff
[ValueTracking] Fix incorrect handling of canCreateUndefOrPoison

.. in isGuaranteedNotToBeUndefOrPoison.

This caused early exit of isGuaranteedNotToBeUndefOrPoison, making it return
imprecise result.

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D84251
llvm/lib/Analysis/ValueTracking.cpp diff | blob | history
llvm/test/Transforms/InstSimplify/freeze.ll diff | blob | history
Domain: System / Toolchain;