tuned: more uniform, less ambitious;
authorwenzelm
Sat, 15 Jun 2024 21:52:14 +0200
changeset 80376 201af0b45e57
parent 80375 c33d017fc1a6
child 80377 28dd9b91dfe5
tuned: more uniform, less ambitious;
src/Pure/General/bytes.scala
--- a/src/Pure/General/bytes.scala	Sat Jun 15 21:07:23 2024 +0200
+++ b/src/Pure/General/bytes.scala	Sat Jun 15 21:52:14 2024 +0200
@@ -473,21 +473,7 @@
 
   def uncompress_zstd(cache: Compress.Cache = Compress.Cache.none): Bytes = {
     Zstd.init()
-
-    def uncompress_stream(hint: Long): Bytes =
-      using(new zstd.ZstdInputStream(stream(), cache.for_zstd)) { inp =>
-        Bytes.read_stream(inp, hint = hint)
-      }
-
-    if (chunks.isEmpty) {
-      zstd.Zstd.decompressedSize(chunk0, offset.toInt, size.toInt) match {
-        case 0 => Bytes.empty
-        case n if n <= Bytes.array_size && !is_sliced =>
-          Bytes.reuse_array(zstd.Zstd.decompress(chunk0, n.toInt))
-        case n => uncompress_stream(n)
-      }
-    }
-    else uncompress_stream(size / 2)
+    using(new zstd.ZstdInputStream(stream(), cache.for_zstd))(Bytes.read_stream(_, hint = size))
   }
 
   def uncompress(cache: Compress.Cache = Compress.Cache.none): Bytes =