Noah Goldstein
7c96469ea8
[ValueTracking] Extend LHS/RHS with matching operand to work without constants.
...
Previously we only handled the `L0 == R0` case if both `L1` and `R1`
where constant.
We can get more out of the analysis using general constant ranges
instead.
For example, `X u> Y` implies `X != 0`.
In general, any strict comparison on `X` implies that `X` is not equal
to the boundary value for the sign and constant ranges with/without
sign bits can be useful in deducing implications.
Closes #85557
2024-07-03 20:18:51 +08:00
..
2024-06-27 12:25:59 +01:00
2024-06-25 13:12:15 +01:00
2024-06-13 20:20:27 +01:00
2024-06-20 13:42:20 +01:00
2024-06-26 17:38:18 -04:00
2024-06-26 14:25:54 +01:00
2024-06-26 10:18:01 +01:00
2024-07-03 20:18:51 +08:00
2024-05-15 14:03:21 +01:00
2024-04-16 21:24:25 +01:00
2024-03-26 16:01:57 +01:00
2024-06-25 11:14:13 +01:00
2024-06-14 15:07:27 +01:00
2024-06-20 13:42:20 +01:00
2024-06-14 15:07:27 +01:00
2024-06-20 13:42:20 +01:00
2024-06-20 13:42:20 +01:00
2024-06-05 11:18:06 +01:00
2024-06-14 22:16:52 +01:00
2024-06-20 13:42:20 +01:00
2024-06-14 22:16:52 +01:00
2024-06-05 11:18:06 +01:00
2024-06-20 13:42:20 +01:00
2024-06-20 13:42:20 +01:00
2024-04-16 15:26:25 -05:00
2024-04-06 14:48:41 +01:00
2024-06-20 13:42:20 +01:00
2024-06-20 13:42:20 +01:00
2024-04-09 11:14:05 +01:00
2024-07-01 22:22:35 +08:00
2024-06-05 11:18:06 +01:00
2024-07-01 09:26:01 +02:00
2024-06-26 14:25:54 +01:00
2024-06-14 17:18:20 -04:00
2024-06-20 13:42:20 +01:00
2024-06-20 13:42:20 +01:00
2024-04-09 11:14:05 +01:00
2024-05-27 17:03:53 -07:00
2024-03-26 16:01:57 +01:00
2024-03-26 16:01:57 +01:00
2024-07-01 09:52:56 -07:00
2024-05-20 11:47:30 +02:00
2024-06-20 13:42:20 +01:00
2024-06-20 13:42:20 +01:00
2024-03-19 09:47:07 -07:00
2024-04-25 01:45:50 +08:00
2024-06-20 13:42:20 +01:00
2024-06-20 13:42:20 +01:00
2024-05-04 20:53:54 +01:00
2024-06-20 13:42:20 +01:00
2024-06-25 13:12:15 +01:00
2024-06-08 21:40:30 +01:00
2024-06-26 14:25:54 +01:00
2024-06-26 14:25:54 +01:00
2024-06-20 13:42:20 +01:00
2024-05-26 18:31:36 -07:00
2024-06-20 13:42:20 +01:00
2024-06-20 13:42:20 +01:00
2024-05-03 14:40:49 +01:00
2024-04-09 11:14:05 +01:00
2024-03-06 15:59:35 -05:00
2024-03-26 16:01:57 +01:00
2024-06-19 08:40:04 -07:00
2024-04-23 11:50:26 +01:00
2024-06-25 14:46:12 +02:00
2024-05-19 15:45:23 +00:00
2024-04-16 09:48:13 -04:00
2024-05-07 21:31:42 +01:00
2024-05-30 17:43:40 -07:00
2024-04-04 18:30:17 -04:00
2024-06-04 08:58:16 +01:00
2024-06-26 17:38:18 -04:00
2024-06-05 11:18:06 +01:00
2024-05-30 17:43:40 -07:00