Johannes Doerfert
dc3b5b00fe
[OpenMPOpt] Make the combination of ident_t* deterministic ...
Before we kept the first applicable `ident_t*` during deduplication of
runtime calls. The problem is that "first" is dependent on the iteration
order of a DenseMap. Since the proper solution, which is to combine the
information from all `ident_t*`, should be deterministic on its own, we
will not try to make the iteration order deterministic. Instead, we will
create a fresh `ident_t*` if there is not a unique existing `ident_t*`
to pick.
2020-04-20 23:27:08 -05: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-03-29 01:26:31 -05:00
2020-04-15 21:26:36 -05:00
2020-04-06 09:59:08 -06:00
2020-04-20 21:11:02 -05:00
2019-11-21 13:53:10 -08:00
2020-02-13 10:16:06 -08:00
2020-04-06 09:59:08 -06:00
2020-04-08 14:59:15 +01:00
2020-04-16 17:49:22 -07:00
2019-12-24 16:27:51 -08:00
2020-03-04 18:27:20 +01:00
2020-04-07 09:07:34 +08:00
2020-04-01 09:50:24 +01:00
2020-04-14 12:48:15 +02:00
2020-01-06 10:50:26 +00:00
2020-04-15 15:23:43 +01:00
2020-03-25 03:46:14 +09:00
2020-03-31 17:47:04 +02:00
2020-04-06 09:59:08 -06:00
2020-04-02 11:20:47 +02:00
2020-04-15 15:05:51 +05:30
2019-09-19 16:31:17 +00:00
2019-12-02 15:36:29 +00:00
2020-02-13 10:16:06 -08:00
2020-02-13 10:16:06 -08:00
2020-01-23 11:36:01 -08:00
2020-04-12 16:03:12 -07:00
2020-01-23 11:36:01 -08:00
2020-04-06 09:59:08 -06:00
2020-04-10 17:49:07 -07:00
2019-12-24 16:27:51 -08:00
2020-03-23 22:53:29 -07:00
2019-11-05 09:06:22 +00:00
2020-02-17 15:57:50 -08:00
2020-04-03 20:15:04 +03:00
2019-09-05 02:20:39 +00:00
2020-04-06 09:59:08 -06:00
2020-04-17 17:23:00 -04:00
2020-04-20 11:55:49 -07:00
2019-09-05 17:00:32 +00:00
2020-04-19 10:42:08 -04:00
2019-12-08 10:37:29 +00:00
2019-10-17 09:58:57 +00:00
2020-02-20 22:48:58 +01:00
2020-02-06 12:44:43 +03:00
2020-03-31 15:25:42 -07:00
2020-01-23 15:53:53 +07:00
2020-04-15 12:29:34 -07:00
2020-04-01 10:52:22 -07:00
2020-01-30 18:02:22 +00:00
2020-04-20 11:55:49 -07:00
2020-04-13 10:49:19 -06:00
2020-04-10 09:23:28 +07:00
2020-01-17 15:40:02 +03:00
2019-12-24 15:57:33 -08:00
2020-04-03 17:21:37 +01:00
2020-01-11 11:02:24 +01:00
2020-04-03 18:10:33 +01:00
2020-04-06 09:59:08 -06:00
2020-01-16 09:00:56 -08:00
2020-04-20 11:55:49 -07:00
2019-10-14 16:15:14 +00:00
2019-09-11 16:19:50 +00:00
2020-04-06 10:00:56 +01:00
2019-10-03 23:42:44 +00:00
2020-03-20 16:52:15 -07:00
2020-01-14 20:55:41 +01:00
2019-12-24 16:27:51 -08:00
2020-04-20 11:55:49 -07:00
2020-03-13 13:52:14 -07:00
2020-04-20 23:27:08 -05:00
2020-04-06 16:14:46 -07:00
2020-04-19 08:24:38 -04:00
2019-11-11 08:30:06 -08:00
2020-03-19 05:21:24 -04:00
2020-03-06 16:28:49 -05:00
2020-04-20 11:55:49 -07:00
2020-03-30 22:07:08 -07:00
2020-04-20 16:05:33 +02:00
2020-04-18 14:07:56 +01:00
2020-04-01 12:38:15 -06:00
2020-02-28 11:10:46 +09:00
2020-04-09 13:07:32 -07:00
2020-04-14 18:09:10 -07:00
2020-04-13 13:43:14 -07:00
2019-12-24 16:27:51 -08:00
2020-04-15 15:05:51 +05:30
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-04-06 15:04:55 -07:00
2020-04-19 08:24:38 -04:00
2020-04-16 14:49:51 -07:00
dc3b5b00fe