# HG changeset patch
# User wenzelm
# Date 1718481134 -7200
# Node ID 201af0b45e57b9dafe6b5db7343fa45c75714eb1
# Parent  c33d017fc1a65e5fe64465188f8bc5f1a720bf8d
tuned: more uniform, less ambitious;

diff -r c33d017fc1a6 -r 201af0b45e57 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 =