HomePhabricator

[ValueTracking] Don't set nsw flag for inbounds addition

Authored by nikic on Mon, Nov 2, 10:08 AM.

Description

[ValueTracking] Don't set nsw flag for inbounds addition

When computing the known bits for a GEP, don't set the nsw flag
when adding an offset to an address. The nsw flag only applies to
pure offset additions (see also D90708).

The nsw flag is only used in a very minor way by the code, to the
point that I was not able to come up with a test case where it
makes a difference.

Differential Revision: https://reviews.llvm.org/D90637

Details

Committed
nikicFri, Nov 13, 8:58 AM
Differential Revision
D90637: [ValueTracking] Inbounds does not imply nsw
Parents
rGe56eea26cad1: [libc++] Install GDB in the Docker images
Branches
Unknown
Tags
Unknown