diff options
author | Roman Gareev <gareevroman@gmail.com> | 2015-12-17 20:37:17 +0000 |
---|---|---|
committer | Roman Gareev <gareevroman@gmail.com> | 2015-12-17 20:37:17 +0000 |
commit | 8aa437503cfcc8f84324f5dc7e0e8209904bc774 (patch) | |
tree | cddf1c526525824936dade45d9da6237c0d88b6a /llvm/lib/Bitcode/Reader/BitReader.cpp | |
parent | 0de2feceb1dd0aebbba4fe98032d7ecb46b0e663 (diff) | |
download | bcm5719-llvm-8aa437503cfcc8f84324f5dc7e0e8209904bc774.tar.gz bcm5719-llvm-8aa437503cfcc8f84324f5dc7e0e8209904bc774.zip |
Fix delinearization of fortran arrays
The patch fixes Bug 25759 produced by inappropriate handling of unsigned
maximum SCEV expressions by SCEVRemoveMax. Without a fix, we get an infinite
loop and a segmentation fault, if we try to process, for example,
'((-1 + (-1 * %b1)) umax {(-1 + (-1 * %yStart)),+,-1}<%.preheader>)'.
It also fixes a potential issue related to signed maximum SCEV expressions.
Tested-by: Roman Gareev <gareevroman@gmail.com>
Fixed-by: Tobias Grosser <tobias@grosser.es>
Differential Revision: http://reviews.llvm.org/D15563
llvm-svn: 255922
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitReader.cpp')
0 files changed, 0 insertions, 0 deletions