Nikita Popov
3136d4fdae
[InstCombine] Combine saturating add/sub with constant operands ...
Combine
sat(sat(X + C1) + C2) -> sat(X + (C1+C2))
and
sat(sat(X - C1) - C2) -> sat(X - (C1+C2))
if the sign of C1 and C2 matches.
In the unsigned case we can compute C1+C2 with saturating arithmetic,
and InstSimplify will reduce this just to the saturation value. For
the signed case, we cannot perform the simplification if the result
of the addition overflows.
This change is part of https://reviews.llvm.org/D54534 .
llvm-svn: 347773
2018-11-28 16:37:15 +00:00
2018-10-02 03:50:56 +00:00
2018-10-24 18:53:47 +00:00
2018-11-14 10:04:30 +00:00
2018-11-27 18:17:27 +00:00
2018-10-19 19:02:16 +00:00
2018-10-11 23:14:35 +00:00
2018-11-06 18:23:32 +00:00
2018-11-21 05:24:12 +00:00
2018-09-24 10:01:24 +00:00
2018-09-17 22:35:21 +00:00
2018-11-14 19:30:13 +00:00
2018-11-16 17:47:21 +00:00
2018-10-23 16:35:51 +00:00
2018-10-27 16:53:45 +00:00
2018-11-08 17:57:09 +00:00
2018-11-08 11:54:35 +00:00
2018-11-06 18:23:32 +00:00
2018-11-05 14:54:34 +00:00
2018-11-28 16:37:15 +00:00
2018-11-02 18:25:41 +00:00
2018-11-20 17:34:59 +00:00
2018-11-09 22:35:26 +00:00
2018-10-16 08:06:48 +00:00
2018-11-20 16:49:07 +00:00
2018-09-24 13:18:15 +00:00
2018-11-08 20:44:19 +00:00
2018-10-24 22:46:45 +00:00
2018-11-14 01:47:32 +00:00
2018-11-27 07:51:18 +00:00
2018-11-08 09:01:19 +00:00
2018-10-31 14:33:14 +00:00
2018-11-24 07:26:55 +00:00
2018-09-21 05:17:42 +00:00
2018-11-21 19:37:19 +00:00
2018-11-05 18:16:32 +00:00
2018-11-07 17:20:07 +00:00
2018-11-07 23:51:20 +00:00
2018-11-20 16:08:19 +00:00
2018-10-10 23:13:47 +00:00
2018-09-28 03:35:37 +00:00
2018-11-21 14:00:17 +00:00
2018-11-25 16:32:02 +00:00
2018-11-16 21:16:43 +00:00
2018-11-14 19:53:41 +00:00
2018-11-28 14:34:11 +00:00
2018-10-30 11:15:04 +00:00
2018-10-23 14:07:39 +00:00
2018-10-17 15:37:41 +00:00
2018-10-08 18:03:40 +00:00
2018-11-26 22:03:52 +00:00
2018-09-25 20:14:40 +00:00
3136d4fdae