tree 818923c9cccf190a5c0c31538b796690e3e6d1c0
parent 9145562b4879b34ae5c21af27be4162484f9602e
author Nikita Popov <nikita.ppv@gmail.com> 1560590152 +0000
committer Nikita Popov <nikita.ppv@gmail.com> 1560590152 +0000

[SCEV] Use unsigned/signed intersection type in SCEV

Based on D59959, this switches SCEV to use unsigned/signed range
intersection based on the sign hint. This will prefer non-wrapping
ranges in the relevant domain. I've left the one intersection in
getRangeForAffineAR() to use the smallest intersection heuristic,
as there doesn't seem to be any obvious preference there.

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

llvm-svn: 363490