Florian Hahn
00ab91b70d
[ConstraintElimination] Remove ConstraintListTy (NFCI).
...
This patch simplifies constraint handling by removing the
ConstraintListTy wrapper struct and moving the Preconditions directly
into ConstraintTy. This reduces the amount of memory needed for managing
constraints.
The only use case for ConstraintListTy was adding 2 constraints to model
ICMP_EQ conditions. But this can be handled by adding an IsEq flag. When
adding an equality constraint, we need to add the constraint and the
inverted constraint.
2022-02-18 14:35:01 +00:00
..
2022-01-05 14:05:20 -08:00
2021-11-06 19:31:18 -07:00
2022-01-19 11:32:10 +01:00
2022-02-18 14:35:01 +00:00
2022-02-14 10:51:34 +01:00
2022-02-16 14:06:40 +00:00
2022-02-01 11:02:58 -05:00
2022-02-17 11:58:53 -08:00
2021-12-09 07:55:02 +00:00
2021-10-31 07:57:32 -07:00
2021-11-07 21:46:06 +01:00
2022-02-11 13:03:30 +01:00
2021-11-09 10:35:58 -08:00
2022-01-07 20:00:34 -08:00
2022-02-11 10:02:30 -08:00
2022-01-14 11:15:14 -08:00
2022-02-17 20:13:07 -05:00
2022-02-13 10:34:00 -08:00
2022-02-13 10:34:02 -08:00
2022-01-17 12:20:51 -08:00
2022-02-10 16:14:52 -08:00
2022-01-24 13:46:19 +00:00
2022-02-02 14:55:37 -05:00
2022-02-13 10:34:03 -08:00
2022-02-06 17:04:47 -05:00
2022-02-10 16:14:52 -08:00
2021-12-01 07:57:17 +01:00
2022-02-06 22:18:35 -08:00
2022-02-11 10:19:25 +00:00
2022-01-28 16:32:13 +01:00
2021-11-02 18:13:23 -07:00
2022-02-04 11:44:03 +01:00
2022-02-01 17:00:08 -05:00
2022-01-10 15:34:37 +00:00
2022-02-07 16:42:38 +01:00
2022-01-26 12:43:31 +01:00
2021-10-21 15:45:53 +07:00
2022-01-29 21:43:57 +00:00
2022-01-05 12:16:26 +01:00
2021-11-28 18:14:49 -08:00
2022-02-17 18:44:57 +00:00
2021-12-09 07:55:02 +00:00
2022-01-12 13:34:12 +00:00
2022-01-25 09:44:52 +01:00
2022-01-04 15:37:46 +01:00
2021-12-13 21:54:51 -08:00
2021-11-02 15:22:41 +01:00
2022-02-17 12:13:55 +03:00
2021-10-31 07:57:32 -07:00
2022-02-05 23:35:41 +01:00
2021-10-19 14:38:21 +01:00
2022-02-01 09:35:37 +00:00
2022-02-14 11:27:35 -08:00