Patrick Niklaus
6bd724fe24
Rewrite packed vector to also allow random access
...
This fixes issues #3952 . The new approach pre-computes masks for fast
access. Since elements can potentially span multiple words we need masks
and offsets for each upper and lower word.
Due to a bug in the C++14 standart the mask computation is not
recognized as constexpr, but would work on C++17.
2017-05-16 10:25:29 +00:00
..
2017-01-23 15:22:39 +01:00
2017-04-24 16:04:41 +00:00
2017-01-18 00:43:03 +01:00
2016-09-07 12:17:36 +02:00
2017-01-03 12:32:51 +01:00
2016-05-27 21:05:04 +02:00
2017-05-11 12:13:52 +02:00
2016-12-15 10:58:17 +01:00
2017-01-03 12:32:51 +01:00
2017-04-24 16:04:41 +00:00
2017-04-06 15:42:38 +00:00
2017-02-25 12:17:22 +00:00
2017-02-10 05:13:20 -05:00
2017-04-06 15:42:38 +00:00
2017-01-06 16:47:52 +01:00
2017-02-07 07:41:12 +00:00
2017-01-27 11:19:37 +01:00
2016-05-27 21:05:04 +02:00
2017-02-20 16:31:36 +00:00
2017-01-06 16:47:52 +01:00
2016-11-02 14:54:00 +01:00
2016-12-15 10:58:17 +01:00
2017-05-11 12:13:52 +02:00
2017-03-01 16:09:29 +00:00
2016-01-08 01:30:52 +01:00
2016-06-27 10:07:43 +02:00
2016-11-28 14:17:12 +01:00
2017-02-07 07:41:12 +00:00
2017-01-03 10:22:03 +01:00
2016-11-16 12:07:45 -08:00
2016-12-01 16:59:29 -08:00
2016-10-06 21:08:48 +02:00
2016-05-27 21:05:04 +02:00
2016-04-05 22:58:32 +02:00
2016-12-06 12:30:46 -08:00
2016-12-15 10:55:16 +01:00
2017-02-10 05:13:20 -05:00
2017-03-01 16:09:29 +00:00
2017-03-08 00:56:50 +00:00
2017-04-06 15:42:38 +00:00
2017-02-20 12:40:51 +00:00
2017-05-11 12:13:52 +02:00
2017-05-16 10:25:29 +00:00
2016-12-06 12:30:46 -08:00
2017-05-02 15:54:25 +00:00
2017-04-18 12:01:06 +00:00
2016-06-27 17:24:30 -07:00
2017-04-18 17:24:46 +00:00
2017-04-06 15:42:38 +00:00
2017-04-18 12:01:06 +00:00
2016-01-19 17:42:49 +01:00
2016-05-27 21:05:04 +02:00
2017-01-23 15:22:39 +01:00
2017-05-11 12:13:52 +02:00
2016-05-26 20:25:33 +02:00
2016-05-27 21:05:04 +02:00
2017-04-24 16:04:41 +00:00
2016-11-08 11:45:28 -08:00
2017-04-10 17:25:02 +00:00
2017-01-06 13:45:08 -08:00
2016-04-12 12:17:52 +02:00
2017-01-12 16:44:58 +01:00
2016-01-26 17:54:08 +01:00
2016-05-27 21:05:04 +02:00