Nikita Popov
c6e13667e7
[PredicateInfo] Add a method to interpret predicate as cmp constraint ...
Both users of predicteinfo (NewGVN and SCCP) are interested in
getting a cmp constraint on the predicated value. They currently
implement separate logic for this. This patch adds a common method
for this in PredicateBase.
This enables a missing bit of PredicateInfo handling in SCCP: Now
the predicate on the condition itself is also used. For switches
it means we know that the switched-on value is the same as the case
value. For assumes/branches we know that the condition is true or
false.
Differential Revision: https://reviews.llvm.org/D83640
2020-07-19 15:34:32 +02:00
2020-04-14 20:26:13 +07:00
2019-12-24 16:27:51 -08:00
2020-02-12 15:09:38 +02:00
2020-07-16 11:54:04 -07:00
2020-06-26 20:41:37 -07:00
2020-04-28 10:07:39 -05:00
2020-07-15 11:48:08 +08:00
2020-07-10 08:34:53 +01:00
2020-02-13 10:16:06 -08:00
2020-07-16 16:09:08 +07:00
2020-05-28 05:21:12 +09:00
2020-04-25 11:44:47 +03:00
2020-07-15 15:19:21 +01:00
2019-12-24 16:27:51 -08:00
2020-03-04 18:27:20 +01:00
2020-07-09 18:23:28 +08:00
2020-07-18 17:59:56 +03:00
2020-05-14 13:03:50 -07:00
2020-05-29 10:00:33 -07:00
2020-07-15 12:18:58 +01:00
2020-05-13 10:16:47 +09:00
2020-06-26 20:41:37 -07:00
2020-04-06 09:59:08 -06:00
2020-04-02 11:20:47 +02:00
2020-07-11 10:08:44 -04:00
2020-06-26 20:41:37 -07:00
2020-02-13 10:16:06 -08:00
2020-06-09 11:09:50 -07:00
2020-01-23 11:36:01 -08:00
2020-07-13 21:44:17 -04:00
2020-01-23 11:36:01 -08:00
2020-04-06 09:59:08 -06:00
2020-07-13 21:44:17 -04:00
2019-12-24 16:27:51 -08:00
2020-03-23 22:53:29 -07:00
2020-07-15 16:36:17 +01:00
2020-02-17 15:57:50 -08:00
2020-07-17 22:25:10 -04:00
2020-07-15 22:02:33 -07:00
2020-04-06 09:59:08 -06:00
2020-07-16 12:25:16 -07:00
2020-07-19 15:05:45 +02:00
2020-06-26 20:41:37 -07:00
2020-06-01 11:11:14 -04:00
2020-07-19 09:24:52 -04:00
2020-05-27 12:12:22 +00:00
2020-07-09 17:16:15 +01:00
2020-06-22 08:27:13 -07:00
2020-06-20 13:05:42 +02:00
2020-01-23 15:53:53 +07:00
2020-07-15 09:47:36 +01:00
2020-06-26 20:41:37 -07:00
2020-07-15 09:38:21 -07:00
2020-06-26 20:41:37 -07:00
2020-06-09 21:14:51 +00:00
2020-06-26 20:41:37 -07:00
2020-06-26 20:41:37 -07:00
2020-06-26 20:41:37 -07:00
2020-06-26 20:41:37 -07:00
2020-05-13 13:03:03 +09:00
2020-04-03 17:21:37 +01:00
2020-07-17 14:02:14 +00:00
2020-07-02 11:15:29 -07:00
2020-07-15 12:33:29 -07:00
2020-06-26 20:41:37 -07:00
2020-06-26 20:41:37 -07:00
2020-07-18 12:14:23 +01:00
2020-06-26 20:41:37 -07:00
2020-06-29 14:45:31 -04:00
2020-06-22 10:21:28 -07:00
2020-07-14 19:58:16 +01:00
2020-06-26 20:41:37 -07:00
2020-05-14 13:03:50 -07:00
2019-12-24 16:27:51 -08:00
2020-07-13 21:10:11 +02:00
2020-06-26 20:55:44 -07:00
2020-07-18 12:55:50 -04:00
2020-07-15 10:26:15 -07:00
2020-07-16 23:53:26 +03:00
2020-06-24 14:52:46 -07:00
2020-06-26 20:41:37 -07:00
2020-06-22 08:27:13 -07:00
2020-05-21 15:58:12 -07:00
2020-07-17 14:58:01 -07:00
2020-07-09 10:47:04 +00:00
2020-07-07 17:03:53 +03:00
2020-07-19 15:34:32 +02:00
2020-05-14 13:03:50 -07:00
2020-06-26 20:41:37 -07:00
2020-07-17 22:57:08 -04:00
2020-06-26 20:41:37 -07:00
2020-07-13 15:28:46 +01:00
2020-05-05 15:28:40 +01:00
2020-07-09 15:45:23 +03:00
2020-06-25 00:58:54 +03:00
2019-12-24 16:27:51 -08:00
2020-06-01 12:50:35 +03:00
2020-07-13 00:39:48 +03:00
2020-03-05 18:09:33 -08:00
2019-12-22 11:27:11 -08:00
2020-03-30 13:23:56 -04:00
2020-04-20 15:05:22 -07:00
2020-07-14 22:52:26 +02:00
2020-06-29 10:38:52 -04:00
2020-07-14 12:16:57 -07:00
c6e13667e7