projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd076fe) | patch
Fix pr25040 - Handle vectors of i1s in recently added implication code
authorPhilip Reames <listmail@philipreames.com>
Tue, 6 Oct 2015 19:00:02 +0000 (19:00 +0000)
committerPhilip Reames <listmail@philipreames.com>
Tue, 6 Oct 2015 19:00:02 +0000 (19:00 +0000)
commit52098de6407acfc9311893a3867a349acc2aaf26
tree6a2cacb075ba53f3bc1b813a8ddc6d17635c581atree | snapshot
parentdd076fe91adccc1123e7354630f12cdc19e9dbadcommit | diff
Fix pr25040 - Handle vectors of i1s in recently added implication code

As mentioned in the bug, I'd missed the presence of a getScalarType in the caller of the new implies method. As a result, when we ended up with a implication over two vectors, we'd trip an assert and crash.

Differential Revision: http://reviews.llvm.org/D13441

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@249442 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/InstructionSimplify.cpp diff | blob | history
test/Transforms/InstSimplify/implies.ll diff | blob | history
C/C++ LLVM-based compilers that forbids OOTA behaviors