aboutsummaryrefslogtreecommitdiff
path: root/llvm/utils/FileCheck/FileCheck.cpp
diff options
context:
space:
mode:
authorNikita Popov <nikita.ppv@gmail.com>2021-03-27 12:11:25 +0100
committerNikita Popov <nikita.ppv@gmail.com>2021-03-27 12:26:22 +0100
commit5a5a8088cc8d3f9fdca8c959dd3e48da13324aab (patch)
tree9158814fde056dbd396b404413aefa1c818de227 /llvm/utils/FileCheck/FileCheck.cpp
parent41146bfe82aecc79961c3de898cda02998172e4b (diff)
downloadllvm-5a5a8088cc8d3f9fdca8c959dd3e48da13324aab.zip
llvm-5a5a8088cc8d3f9fdca8c959dd3e48da13324aab.tar.gz
llvm-5a5a8088cc8d3f9fdca8c959dd3e48da13324aab.tar.bz2
[BasicAA] Retain shl nowrap flags in GetLinearExpression()
Nowrap flags between mul and shl differ in that mul nsw allows multiplication of 1 * INT_MIN, while shl nsw does not. This means that it is always fine to transfer shl nowrap flags to muls, but not necessarily the other way around. In this case the NUW/NSW results refer to mul/add operations, so it's fine to retain the flags from the shl.
Diffstat (limited to 'llvm/utils/FileCheck/FileCheck.cpp')
0 files changed, 0 insertions, 0 deletions