Jannis Harder 119e998f12
read_liberty: Faster input handling for the liberty lexer ...
The lexer for liberty files was using istream's `get` and `unget` which
are notorious for bad performance and that showed up during profiling.
This replaces the direct `istream` use with a custom LibertyInputStream
that does its own buffering to provide `get` and `unget` that behave the
same way but are implemented with a fast path that is easy to inline and
optimize.
2025-04-01 14:12:12 +02:00
2024-10-07 12:03:49 +02:00
2024-12-10 20:08:17 +01:00
2024-10-07 12:03:48 +02:00
2024-12-10 14:27:55 +01:00
2024-12-18 14:58:31 +01:00
2021-06-08 00:39:36 +02:00
2025-02-04 13:05:53 +01:00
2021-06-08 00:39:36 +02:00
2021-06-08 00:39:36 +02:00
2023-02-08 10:11:47 +01:00
2025-01-24 12:38:03 +01:00
2024-11-12 01:05:15 +01:00
2022-11-30 18:50:53 +01:00
2024-11-04 14:28:46 +01:00
2021-06-08 00:39:36 +02:00
2025-03-19 13:43:44 +01:00
2021-06-08 00:39:36 +02:00
2022-01-28 23:34:41 +01:00
2024-10-14 06:28:12 +02:00
2024-10-14 06:28:12 +02:00
2025-03-19 13:43:44 +01:00
2022-08-24 10:40:57 +12:00
2023-07-10 12:45:03 +02:00
2025-01-30 18:45:07 +01:00
2021-10-21 20:20:31 +02:00
2021-08-11 13:34:10 +02:00
2021-06-08 00:39:36 +02:00
2013-10-16 15:32:26 +02:00
2025-01-18 10:45:19 -07:00
2025-01-14 12:39:15 +01:00
2021-06-08 00:39:36 +02:00
2022-12-01 10:02:35 +01:00
2022-06-07 04:10:50 +02:00
2025-04-01 14:12:12 +02:00
2025-04-01 14:12:12 +02:00
2021-06-08 00:39:36 +02:00
2025-01-24 12:38:03 +01:00
2024-10-07 12:03:49 +02:00
2023-01-26 05:19:45 +00:00
2021-06-08 00:39:36 +02:00
2021-06-08 00:39:36 +02:00
2021-06-08 00:39:36 +02:00
2025-03-07 16:08:38 +01:00
2022-11-30 18:24:35 +01:00
2025-01-27 13:08:44 +01:00
2022-04-12 12:46:22 +02:00
2024-10-14 06:28:12 +02:00
119e998f12