seqdec_amd64.go 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388
  1. //go:build amd64 && !appengine && !noasm && gc
  2. // +build amd64,!appengine,!noasm,gc
  3. package zstd
  4. import (
  5. "fmt"
  6. "io"
  7. "github.com/klauspost/compress/internal/cpuinfo"
  8. )
  9. type decodeSyncAsmContext struct {
  10. llTable []decSymbol
  11. mlTable []decSymbol
  12. ofTable []decSymbol
  13. llState uint64
  14. mlState uint64
  15. ofState uint64
  16. iteration int
  17. litRemain int
  18. out []byte
  19. outPosition int
  20. literals []byte
  21. litPosition int
  22. history []byte
  23. windowSize int
  24. ll int // set on error (not for all errors, please refer to _generate/gen.go)
  25. ml int // set on error (not for all errors, please refer to _generate/gen.go)
  26. mo int // set on error (not for all errors, please refer to _generate/gen.go)
  27. }
  28. // sequenceDecs_decodeSync_amd64 implements the main loop of sequenceDecs.decodeSync in x86 asm.
  29. //
  30. // Please refer to seqdec_generic.go for the reference implementation.
  31. //
  32. //go:noescape
  33. func sequenceDecs_decodeSync_amd64(s *sequenceDecs, br *bitReader, ctx *decodeSyncAsmContext) int
  34. // sequenceDecs_decodeSync_bmi2 implements the main loop of sequenceDecs.decodeSync in x86 asm with BMI2 extensions.
  35. //
  36. //go:noescape
  37. func sequenceDecs_decodeSync_bmi2(s *sequenceDecs, br *bitReader, ctx *decodeSyncAsmContext) int
  38. // sequenceDecs_decodeSync_safe_amd64 does the same as above, but does not write more than output buffer.
  39. //
  40. //go:noescape
  41. func sequenceDecs_decodeSync_safe_amd64(s *sequenceDecs, br *bitReader, ctx *decodeSyncAsmContext) int
  42. // sequenceDecs_decodeSync_safe_bmi2 does the same as above, but does not write more than output buffer.
  43. //
  44. //go:noescape
  45. func sequenceDecs_decodeSync_safe_bmi2(s *sequenceDecs, br *bitReader, ctx *decodeSyncAsmContext) int
  46. // decode sequences from the stream with the provided history but without a dictionary.
  47. func (s *sequenceDecs) decodeSyncSimple(hist []byte) (bool, error) {
  48. if len(s.dict) > 0 {
  49. return false, nil
  50. }
  51. if s.maxSyncLen == 0 && cap(s.out)-len(s.out) < maxCompressedBlockSize {
  52. return false, nil
  53. }
  54. // FIXME: Using unsafe memory copies leads to rare, random crashes
  55. // with fuzz testing. It is therefore disabled for now.
  56. const useSafe = true
  57. /*
  58. useSafe := false
  59. if s.maxSyncLen == 0 && cap(s.out)-len(s.out) < maxCompressedBlockSizeAlloc {
  60. useSafe = true
  61. }
  62. if s.maxSyncLen > 0 && cap(s.out)-len(s.out)-compressedBlockOverAlloc < int(s.maxSyncLen) {
  63. useSafe = true
  64. }
  65. if cap(s.literals) < len(s.literals)+compressedBlockOverAlloc {
  66. useSafe = true
  67. }
  68. */
  69. br := s.br
  70. maxBlockSize := min(s.windowSize, maxCompressedBlockSize)
  71. ctx := decodeSyncAsmContext{
  72. llTable: s.litLengths.fse.dt[:maxTablesize],
  73. mlTable: s.matchLengths.fse.dt[:maxTablesize],
  74. ofTable: s.offsets.fse.dt[:maxTablesize],
  75. llState: uint64(s.litLengths.state.state),
  76. mlState: uint64(s.matchLengths.state.state),
  77. ofState: uint64(s.offsets.state.state),
  78. iteration: s.nSeqs - 1,
  79. litRemain: len(s.literals),
  80. out: s.out,
  81. outPosition: len(s.out),
  82. literals: s.literals,
  83. windowSize: s.windowSize,
  84. history: hist,
  85. }
  86. s.seqSize = 0
  87. startSize := len(s.out)
  88. var errCode int
  89. if cpuinfo.HasBMI2() {
  90. if useSafe {
  91. errCode = sequenceDecs_decodeSync_safe_bmi2(s, br, &ctx)
  92. } else {
  93. errCode = sequenceDecs_decodeSync_bmi2(s, br, &ctx)
  94. }
  95. } else {
  96. if useSafe {
  97. errCode = sequenceDecs_decodeSync_safe_amd64(s, br, &ctx)
  98. } else {
  99. errCode = sequenceDecs_decodeSync_amd64(s, br, &ctx)
  100. }
  101. }
  102. switch errCode {
  103. case noError:
  104. break
  105. case errorMatchLenOfsMismatch:
  106. return true, fmt.Errorf("zero matchoff and matchlen (%d) > 0", ctx.ml)
  107. case errorMatchLenTooBig:
  108. return true, fmt.Errorf("match len (%d) bigger than max allowed length", ctx.ml)
  109. case errorMatchOffTooBig:
  110. return true, fmt.Errorf("match offset (%d) bigger than current history (%d)",
  111. ctx.mo, ctx.outPosition+len(hist)-startSize)
  112. case errorNotEnoughLiterals:
  113. return true, fmt.Errorf("unexpected literal count, want %d bytes, but only %d is available",
  114. ctx.ll, ctx.litRemain+ctx.ll)
  115. case errorOverread:
  116. return true, io.ErrUnexpectedEOF
  117. case errorNotEnoughSpace:
  118. size := ctx.outPosition + ctx.ll + ctx.ml
  119. if debugDecoder {
  120. println("msl:", s.maxSyncLen, "cap", cap(s.out), "bef:", startSize, "sz:", size-startSize, "mbs:", maxBlockSize, "outsz:", cap(s.out)-startSize)
  121. }
  122. return true, fmt.Errorf("output bigger than max block size (%d)", maxBlockSize)
  123. default:
  124. return true, fmt.Errorf("sequenceDecs_decode returned erroneous code %d", errCode)
  125. }
  126. s.seqSize += ctx.litRemain
  127. if s.seqSize > maxBlockSize {
  128. return true, fmt.Errorf("output bigger than max block size (%d)", maxBlockSize)
  129. }
  130. err := br.close()
  131. if err != nil {
  132. printf("Closing sequences: %v, %+v\n", err, *br)
  133. return true, err
  134. }
  135. s.literals = s.literals[ctx.litPosition:]
  136. t := ctx.outPosition
  137. s.out = s.out[:t]
  138. // Add final literals
  139. s.out = append(s.out, s.literals...)
  140. if debugDecoder {
  141. t += len(s.literals)
  142. if t != len(s.out) {
  143. panic(fmt.Errorf("length mismatch, want %d, got %d", len(s.out), t))
  144. }
  145. }
  146. return true, nil
  147. }
  148. // --------------------------------------------------------------------------------
  149. type decodeAsmContext struct {
  150. llTable []decSymbol
  151. mlTable []decSymbol
  152. ofTable []decSymbol
  153. llState uint64
  154. mlState uint64
  155. ofState uint64
  156. iteration int
  157. seqs []seqVals
  158. litRemain int
  159. }
  160. const noError = 0
  161. // error reported when mo == 0 && ml > 0
  162. const errorMatchLenOfsMismatch = 1
  163. // error reported when ml > maxMatchLen
  164. const errorMatchLenTooBig = 2
  165. // error reported when mo > available history or mo > s.windowSize
  166. const errorMatchOffTooBig = 3
  167. // error reported when the sum of literal lengths exeeceds the literal buffer size
  168. const errorNotEnoughLiterals = 4
  169. // error reported when capacity of `out` is too small
  170. const errorNotEnoughSpace = 5
  171. // error reported when bits are overread.
  172. const errorOverread = 6
  173. // sequenceDecs_decode implements the main loop of sequenceDecs in x86 asm.
  174. //
  175. // Please refer to seqdec_generic.go for the reference implementation.
  176. //
  177. //go:noescape
  178. func sequenceDecs_decode_amd64(s *sequenceDecs, br *bitReader, ctx *decodeAsmContext) int
  179. // sequenceDecs_decode implements the main loop of sequenceDecs in x86 asm.
  180. //
  181. // Please refer to seqdec_generic.go for the reference implementation.
  182. //
  183. //go:noescape
  184. func sequenceDecs_decode_56_amd64(s *sequenceDecs, br *bitReader, ctx *decodeAsmContext) int
  185. // sequenceDecs_decode implements the main loop of sequenceDecs in x86 asm with BMI2 extensions.
  186. //
  187. //go:noescape
  188. func sequenceDecs_decode_bmi2(s *sequenceDecs, br *bitReader, ctx *decodeAsmContext) int
  189. // sequenceDecs_decode implements the main loop of sequenceDecs in x86 asm with BMI2 extensions.
  190. //
  191. //go:noescape
  192. func sequenceDecs_decode_56_bmi2(s *sequenceDecs, br *bitReader, ctx *decodeAsmContext) int
  193. // decode sequences from the stream without the provided history.
  194. func (s *sequenceDecs) decode(seqs []seqVals) error {
  195. br := s.br
  196. maxBlockSize := min(s.windowSize, maxCompressedBlockSize)
  197. ctx := decodeAsmContext{
  198. llTable: s.litLengths.fse.dt[:maxTablesize],
  199. mlTable: s.matchLengths.fse.dt[:maxTablesize],
  200. ofTable: s.offsets.fse.dt[:maxTablesize],
  201. llState: uint64(s.litLengths.state.state),
  202. mlState: uint64(s.matchLengths.state.state),
  203. ofState: uint64(s.offsets.state.state),
  204. seqs: seqs,
  205. iteration: len(seqs) - 1,
  206. litRemain: len(s.literals),
  207. }
  208. if debugDecoder {
  209. println("decode: decoding", len(seqs), "sequences", br.remain(), "bits remain on stream")
  210. }
  211. s.seqSize = 0
  212. lte56bits := s.maxBits+s.offsets.fse.actualTableLog+s.matchLengths.fse.actualTableLog+s.litLengths.fse.actualTableLog <= 56
  213. var errCode int
  214. if cpuinfo.HasBMI2() {
  215. if lte56bits {
  216. errCode = sequenceDecs_decode_56_bmi2(s, br, &ctx)
  217. } else {
  218. errCode = sequenceDecs_decode_bmi2(s, br, &ctx)
  219. }
  220. } else {
  221. if lte56bits {
  222. errCode = sequenceDecs_decode_56_amd64(s, br, &ctx)
  223. } else {
  224. errCode = sequenceDecs_decode_amd64(s, br, &ctx)
  225. }
  226. }
  227. if errCode != 0 {
  228. i := len(seqs) - ctx.iteration - 1
  229. switch errCode {
  230. case errorMatchLenOfsMismatch:
  231. ml := ctx.seqs[i].ml
  232. return fmt.Errorf("zero matchoff and matchlen (%d) > 0", ml)
  233. case errorMatchLenTooBig:
  234. ml := ctx.seqs[i].ml
  235. return fmt.Errorf("match len (%d) bigger than max allowed length", ml)
  236. case errorNotEnoughLiterals:
  237. ll := ctx.seqs[i].ll
  238. return fmt.Errorf("unexpected literal count, want %d bytes, but only %d is available", ll, ctx.litRemain+ll)
  239. case errorOverread:
  240. return io.ErrUnexpectedEOF
  241. }
  242. return fmt.Errorf("sequenceDecs_decode_amd64 returned erroneous code %d", errCode)
  243. }
  244. if ctx.litRemain < 0 {
  245. return fmt.Errorf("literal count is too big: total available %d, total requested %d",
  246. len(s.literals), len(s.literals)-ctx.litRemain)
  247. }
  248. s.seqSize += ctx.litRemain
  249. if s.seqSize > maxBlockSize {
  250. return fmt.Errorf("output bigger than max block size (%d)", maxBlockSize)
  251. }
  252. if debugDecoder {
  253. println("decode: ", br.remain(), "bits remain on stream. code:", errCode)
  254. }
  255. err := br.close()
  256. if err != nil {
  257. printf("Closing sequences: %v, %+v\n", err, *br)
  258. }
  259. return err
  260. }
  261. // --------------------------------------------------------------------------------
  262. type executeAsmContext struct {
  263. seqs []seqVals
  264. seqIndex int
  265. out []byte
  266. history []byte
  267. literals []byte
  268. outPosition int
  269. litPosition int
  270. windowSize int
  271. }
  272. // sequenceDecs_executeSimple_amd64 implements the main loop of sequenceDecs.executeSimple in x86 asm.
  273. //
  274. // Returns false if a match offset is too big.
  275. //
  276. // Please refer to seqdec_generic.go for the reference implementation.
  277. //
  278. //go:noescape
  279. func sequenceDecs_executeSimple_amd64(ctx *executeAsmContext) bool
  280. // Same as above, but with safe memcopies
  281. //
  282. //go:noescape
  283. func sequenceDecs_executeSimple_safe_amd64(ctx *executeAsmContext) bool
  284. // executeSimple handles cases when dictionary is not used.
  285. func (s *sequenceDecs) executeSimple(seqs []seqVals, hist []byte) error {
  286. // Ensure we have enough output size...
  287. if len(s.out)+s.seqSize+compressedBlockOverAlloc > cap(s.out) {
  288. addBytes := s.seqSize + len(s.out) + compressedBlockOverAlloc
  289. s.out = append(s.out, make([]byte, addBytes)...)
  290. s.out = s.out[:len(s.out)-addBytes]
  291. }
  292. if debugDecoder {
  293. printf("Execute %d seqs with literals: %d into %d bytes\n", len(seqs), len(s.literals), s.seqSize)
  294. }
  295. var t = len(s.out)
  296. out := s.out[:t+s.seqSize]
  297. ctx := executeAsmContext{
  298. seqs: seqs,
  299. seqIndex: 0,
  300. out: out,
  301. history: hist,
  302. outPosition: t,
  303. litPosition: 0,
  304. literals: s.literals,
  305. windowSize: s.windowSize,
  306. }
  307. var ok bool
  308. if cap(s.literals) < len(s.literals)+compressedBlockOverAlloc {
  309. ok = sequenceDecs_executeSimple_safe_amd64(&ctx)
  310. } else {
  311. ok = sequenceDecs_executeSimple_amd64(&ctx)
  312. }
  313. if !ok {
  314. return fmt.Errorf("match offset (%d) bigger than current history (%d)",
  315. seqs[ctx.seqIndex].mo, ctx.outPosition+len(hist))
  316. }
  317. s.literals = s.literals[ctx.litPosition:]
  318. t = ctx.outPosition
  319. // Add final literals
  320. copy(out[t:], s.literals)
  321. if debugDecoder {
  322. t += len(s.literals)
  323. if t != len(out) {
  324. panic(fmt.Errorf("length mismatch, want %d, got %d, ss: %d", len(out), t, s.seqSize))
  325. }
  326. }
  327. s.out = out
  328. return nil
  329. }