Max Kazantsev c913dccfde
[SCEV] Use lshr in implications ...
This patch adds support for implication inference logic for the
following pattern:
```
lhs < (y >> z) <= y, y <= rhs --> lhs < rhs
```
We should be able to use the fact that value shifted to right is
not greater than the original value (provided it is non-negative).
Differential Revision: https://reviews.llvm.org/D116150
Reviewed-By: apilipenko
2022-01-25 13:25:19 +07:00
2021-11-10 17:36:14 +07:00
2021-03-06 21:52:46 +03:00
2021-11-10 17:36:14 +07:00
2021-03-19 11:29:48 +07:00
2021-06-21 16:24:16 -07:00
2021-11-29 15:23:34 -08:00
2021-11-30 18:21:14 +01:00
2021-03-19 12:28:22 +07:00
2021-08-30 12:06:58 +03:00
2021-11-16 12:41:04 +00:00
2021-10-20 20:48:33 +01:00
2021-09-20 12:01:12 +07:00
2021-03-22 11:55:57 +07:00
2021-10-01 16:30:44 -07:00
2021-05-07 19:52:29 +01:00
2021-08-27 10:27:16 -07:00
2022-01-11 16:03:35 +03:00
2021-11-05 15:36:47 -07:00
2021-09-20 12:01:10 +07:00
2021-03-06 21:52:46 +03:00
2021-10-20 20:48:33 +01:00
2021-03-06 21:52:46 +03:00
2021-11-29 15:23:34 -08:00
2021-03-06 21:52:46 +03:00
2021-12-27 12:32:50 +01:00
2021-11-29 15:23:34 -08:00
2021-11-23 09:58:46 -08:00
2021-09-04 16:45:51 -07:00
2021-11-25 07:21:42 -05:00
2021-09-21 11:17:56 +07:00
2021-03-06 21:52:46 +03:00
2021-10-15 11:49:18 +07:00
2021-11-29 15:23:34 -08:00
2021-06-17 14:05:12 -07:00
2021-11-29 15:23:34 -08:00
2021-03-06 21:52:46 +03:00
2021-03-06 21:52:46 +03:00
2022-01-25 13:25:19 +07:00
2021-09-04 16:45:51 -07:00
2021-07-11 17:04:50 -07:00
2021-10-14 13:04:22 -07:00
2021-03-19 11:29:48 +07:00
2021-03-13 16:05:34 +03:00
c913dccfde