Max Kazantsev
e587199a50
[SCEV] Prove condition invariance via context, try 2 ...
Initial implementation had too weak requirements to positive/negative
range crossings. Not crossing zero with nuw is not enough for two reasons:
- If ArLHS has negative step, it may turn from positive to negative
without crossing 0 boundary from left to right (and crossing right to
left doesn't count for unsigned);
- If ArLHS crosses SINT_MAX boundary, it still turns from positive to
negative;
In fact we require that ArLHS always stays non-negative or negative,
which an be enforced by the following set of preconditions:
- both nuw and nsw;
- positive step (looks liftable);
Because of positive step, boundary crossing is only possible from left
part to the right part. And because of no-wrap flags, it is guaranteed
to never happen.
2022-08-22 14:31:19 +07:00
2022-08-16 14:12:36 +07:00
2022-05-21 15:48:14 +02:00
2022-08-19 13:25:50 +07:00
2021-03-19 11:29:48 +07:00
2021-06-21 16:24:16 -07:00
2022-04-23 14:08:47 +01:00
2020-12-15 14:50:32 +07:00
2020-10-08 11:15:35 +07:00
2022-06-01 10:46:06 +02:00
2022-08-16 14:12:36 +07:00
2020-09-08 11:15:40 +07:00
2021-03-19 12:28:22 +07:00
2022-08-22 14:31:19 +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
2022-07-13 10:27:04 +02:00
2022-08-16 14:12:36 +07:00
2022-07-13 10:27:04 +02:00
2021-05-07 19:52:29 +01:00
2020-09-29 13:20:59 +02:00
2021-08-27 10:27:16 -07:00
2020-12-17 01:03:49 +03:00
2022-05-18 09:53:07 +02:00
2022-08-16 14:12:36 +07:00
2022-08-09 23:59:42 +08:00
2022-08-09 23:59:42 +08:00
2021-03-06 21:52:46 +03:00
2020-10-14 17:03:33 +07:00
2020-11-20 20:08:43 -05:00
2021-10-20 20:48:33 +01:00
2022-07-14 11:46:48 +02:00
2022-06-01 10:46:06 +02:00
2020-10-14 17:03:33 +07:00
2021-03-06 21:52:46 +03:00
2022-04-04 13:04:27 +02:00
2020-10-14 17:03:33 +07:00
2022-06-01 10:46:06 +02:00
2021-11-23 09:58:46 -08:00
2020-11-20 14:00:46 -05:00
2020-12-20 00:18:33 +03:00
2021-09-04 16:45:51 -07:00
2022-08-16 14:12:36 +07:00
2020-10-28 18:51:40 +07:00
2021-09-21 11:17:56 +07:00
2022-07-13 10:27:04 +02:00
2022-02-17 08:48:11 -08:00
2022-08-22 14:31:19 +07:00
2022-04-22 10:44:29 +01:00
2022-05-21 15:48:14 +02:00
2020-09-08 11:15:40 +07:00
2022-07-13 10:27:04 +02:00
2022-06-01 10:46:06 +02:00
2020-07-28 09:09:13 -07:00
2022-07-13 10:27:04 +02:00
2022-05-11 12:20:53 +02:00
2022-07-14 14:41:51 +02:00
2022-03-18 12:04:35 +01:00
2022-06-08 16:01:29 +07:00
2022-06-09 10:12:13 +02:00
2022-07-05 15:31:23 +02:00
2022-08-22 13:02:01 +07:00
2020-11-26 12:37:21 +07:00
2021-11-29 15:23:34 -08:00
2021-03-06 21:52:46 +03:00
2020-11-26 14:28:21 +01:00
2022-07-13 10:27:04 +02:00
2022-07-13 10:27:04 +02:00
2020-11-19 15:37:54 +08: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-02-25 15:54:18 +00:00
2021-10-14 13:04:22 -07:00
2020-12-17 01:03:49 +03:00
2020-09-17 22:37:43 +07:00
2022-08-16 14:12:36 +07:00
2021-03-13 16:05:34 +03:00
2020-11-02 22:31:11 +01:00
e587199a50