[PATCH] D90637: [ValueTracking] Inbounds does not imply nsw
Roman Lebedev via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Mon Nov 2 13:21:30 PST 2020
lebedev.ri added a reviewer: nlopes.
lebedev.ri added a comment.
Please can you explain what problem is this solving?
Either this is missing words "however if we'd add all offsets together, and then add the final offset to the base pointer, that addition is NSW",
or this is inconsistent with langref/D68342 <https://reviews.llvm.org/D68342>.
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