Nikita Popov af2b0bef43
[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
2018-11-24 07:26:55 +00:00
2018-05-01 15:35:08 +00:00
2018-11-02 17:15:36 +00:00
2019-02-28 18:04:20 +00:00
2018-05-09 02:40:45 +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-08-21 23:42:08 +00:00
2018-12-07 15:38:13 +00:00
2018-05-09 02:40:45 +00:00
2018-05-09 02:40:45 +00:00
2018-05-09 02:40:45 +00:00
2018-12-12 17:32:52 +00:00
2018-12-12 17:32:52 +00:00
2018-05-01 15:35:08 +00:00
2018-12-12 17:32:52 +00:00
2018-07-10 13:29:50 +00:00
2018-09-10 14:26:44 +00:00
2018-11-30 13:40:10 +00:00
2018-05-01 15:35:08 +00:00
2018-10-08 05:46:29 +00:00
2018-10-14 08:50:06 +00:00
2018-10-14 08:50:06 +00:00
2018-05-01 15:35:08 +00:00
2018-11-12 15:20:14 +00:00
2018-11-29 14:39:39 +00:00
2018-10-08 05:46:29 +00:00
2019-01-12 15:27:15 +00:00
2018-12-12 17:32:52 +00:00
2018-08-21 14:40:27 +00:00
2019-01-29 22:33:20 +00:00
2018-12-12 17:32:52 +00:00
2019-02-07 20:49:10 +00:00
2018-09-14 00:36:00 +00:00
2018-09-14 00:36:00 +00:00
2018-09-25 20:57:20 +00:00
2018-06-08 08:21:20 +00:00
2018-05-08 18:57:34 +00:00
2018-09-21 23:03:50 +00:00
2018-09-21 23:03:50 +00:00
2018-10-07 06:57:25 +00:00
2018-11-02 09:16:12 +00:00
2018-07-04 10:16:55 +00:00
2018-08-16 20:59:45 +00:00
2019-02-11 19:45:44 +00:00
2018-12-20 18:49:09 +00:00
2018-05-01 15:35:08 +00:00
2018-08-21 21:12:02 +00:00
2018-05-09 02:40:45 +00:00
2018-05-21 18:14:23 +00:00
af2b0bef43