Nikita Popov 2cd4c03c6b
[ValueTracking] More accurate unsigned sub overflow detection ...
Second part of D58593.
Compute precise overflow conditions based on all known bits, rather
than just the sign bits. Unsigned a - b overflows iff a < b, and we
can determine whether this always/never happens based on the minimal
and maximal values achievable for a and b subject to the known bits
constraint.
llvm-svn: 355109
2019-02-28 18:04:20 +00:00
2017-08-20 10:32:41 +00:00
2018-01-20 00:26:08 +00:00
2018-03-01 06:56:48 +00:00
2018-10-08 05:46:29 +00:00
2017-10-28 18:43:07 +00:00
2018-12-20 04:58:07 +00:00
2017-07-01 03:24:09 +00:00
2019-01-26 23:40:35 +00:00
2018-12-01 01:38:44 +00:00
2017-07-01 03:24:09 +00:00
2018-12-18 22:23:04 +00:00
2019-01-20 13:55:01 +00:00
2018-12-01 01:38:44 +00:00
2018-12-01 01:38:44 +00:00
2019-02-28 18:04:20 +00:00
2018-05-01 15:35:08 +00:00
2018-05-09 02:40:45 +00:00
2018-05-09 02:40:45 +00:00
2018-11-02 09:16:12 +00:00
2018-12-20 04:58:07 +00:00
2018-12-20 04:58:07 +00:00
2018-05-18 11:58:25 +00:00
2018-12-20 04:58:07 +00:00
2018-08-27 21:41:37 +00:00
2018-03-22 22:04:39 +00:00
2018-10-09 22:40:04 +00:00
2017-07-01 03:24:09 +00:00
2017-12-12 08:57:43 +00:00
2018-06-15 18:46:03 +00:00
2018-05-09 02:40:45 +00:00
2017-09-13 19:35:45 +00:00
2017-07-02 14:25:27 +00:00
2018-10-18 15:03:15 +00:00
2018-06-07 18:21:24 +00:00
2018-10-25 13:06:20 +00:00
2018-09-04 22:12:23 +00:00
2018-12-20 04:58:07 +00:00
2019-02-11 19:45:44 +00:00
2018-12-20 04:58:07 +00:00
2019-01-20 13:55:01 +00:00
2018-05-09 02:40:45 +00:00
2018-12-12 17:32:52 +00:00
2018-05-09 02:40:45 +00:00
2018-05-09 02:40:45 +00:00
2018-10-31 09:57:56 +00:00
2018-10-07 06:57:25 +00:00
2017-11-14 12:09:30 +00:00
2cd4c03c6b