[PATCH] D90637: [ValueTracking] Inbounds does not imply nsw
Nikita Popov via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Mon Nov 2 14:09:54 PST 2020
nikic added inline comments.
================
Comment at: llvm/lib/Analysis/ValueTracking.cpp:1432
}
IndexBits = KnownBits::computeForMul(IndexBits, ScalingFactor);
----------------
lebedev.ri wrote:
> Presumably NSW should be here?
It would be legal to use here, yes, but this API does not accept nowrap flags.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D90637/new/
https://reviews.llvm.org/D90637
More information about the llvm-commits
mailing list