123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437 |
- // Copyright 2011 The Snappy-Go Authors. All rights reserved.
- // Copyright (c) 2019 Klaus Post. All rights reserved.
- // Use of this source code is governed by a BSD-style
- // license that can be found in the LICENSE file.
- package s2
- import (
- "encoding/binary"
- "errors"
- "fmt"
- "strconv"
- )
- var (
- // ErrCorrupt reports that the input is invalid.
- ErrCorrupt = errors.New("s2: corrupt input")
- // ErrCRC reports that the input failed CRC validation (streams only)
- ErrCRC = errors.New("s2: corrupt input, crc mismatch")
- // ErrTooLarge reports that the uncompressed length is too large.
- ErrTooLarge = errors.New("s2: decoded block is too large")
- // ErrUnsupported reports that the input isn't supported.
- ErrUnsupported = errors.New("s2: unsupported input")
- )
- // DecodedLen returns the length of the decoded block.
- func DecodedLen(src []byte) (int, error) {
- v, _, err := decodedLen(src)
- return v, err
- }
- // decodedLen returns the length of the decoded block and the number of bytes
- // that the length header occupied.
- func decodedLen(src []byte) (blockLen, headerLen int, err error) {
- v, n := binary.Uvarint(src)
- if n <= 0 || v > 0xffffffff {
- return 0, 0, ErrCorrupt
- }
- const wordSize = 32 << (^uint(0) >> 32 & 1)
- if wordSize == 32 && v > 0x7fffffff {
- return 0, 0, ErrTooLarge
- }
- return int(v), n, nil
- }
- const (
- decodeErrCodeCorrupt = 1
- )
- // Decode returns the decoded form of src. The returned slice may be a sub-
- // slice of dst if dst was large enough to hold the entire decoded block.
- // Otherwise, a newly allocated slice will be returned.
- //
- // The dst and src must not overlap. It is valid to pass a nil dst.
- func Decode(dst, src []byte) ([]byte, error) {
- dLen, s, err := decodedLen(src)
- if err != nil {
- return nil, err
- }
- if dLen <= cap(dst) {
- dst = dst[:dLen]
- } else {
- dst = make([]byte, dLen)
- }
- if s2Decode(dst, src[s:]) != 0 {
- return nil, ErrCorrupt
- }
- return dst, nil
- }
- // s2DecodeDict writes the decoding of src to dst. It assumes that the varint-encoded
- // length of the decompressed bytes has already been read, and that len(dst)
- // equals that length.
- //
- // It returns 0 on success or a decodeErrCodeXxx error code on failure.
- func s2DecodeDict(dst, src []byte, dict *Dict) int {
- if dict == nil {
- return s2Decode(dst, src)
- }
- const debug = false
- const debugErrs = debug
- if debug {
- fmt.Println("Starting decode, dst len:", len(dst))
- }
- var d, s, length int
- offset := len(dict.dict) - dict.repeat
- // As long as we can read at least 5 bytes...
- for s < len(src)-5 {
- // Removing bounds checks is SLOWER, when if doing
- // in := src[s:s+5]
- // Checked on Go 1.18
- switch src[s] & 0x03 {
- case tagLiteral:
- x := uint32(src[s] >> 2)
- switch {
- case x < 60:
- s++
- case x == 60:
- s += 2
- x = uint32(src[s-1])
- case x == 61:
- in := src[s : s+3]
- x = uint32(in[1]) | uint32(in[2])<<8
- s += 3
- case x == 62:
- in := src[s : s+4]
- // Load as 32 bit and shift down.
- x = uint32(in[0]) | uint32(in[1])<<8 | uint32(in[2])<<16 | uint32(in[3])<<24
- x >>= 8
- s += 4
- case x == 63:
- in := src[s : s+5]
- x = uint32(in[1]) | uint32(in[2])<<8 | uint32(in[3])<<16 | uint32(in[4])<<24
- s += 5
- }
- length = int(x) + 1
- if debug {
- fmt.Println("literals, length:", length, "d-after:", d+length)
- }
- if length > len(dst)-d || length > len(src)-s || (strconv.IntSize == 32 && length <= 0) {
- if debugErrs {
- fmt.Println("corrupt literal: length:", length, "d-left:", len(dst)-d, "src-left:", len(src)-s)
- }
- return decodeErrCodeCorrupt
- }
- copy(dst[d:], src[s:s+length])
- d += length
- s += length
- continue
- case tagCopy1:
- s += 2
- toffset := int(uint32(src[s-2])&0xe0<<3 | uint32(src[s-1]))
- length = int(src[s-2]) >> 2 & 0x7
- if toffset == 0 {
- if debug {
- fmt.Print("(repeat) ")
- }
- // keep last offset
- switch length {
- case 5:
- length = int(src[s]) + 4
- s += 1
- case 6:
- in := src[s : s+2]
- length = int(uint32(in[0])|(uint32(in[1])<<8)) + (1 << 8)
- s += 2
- case 7:
- in := src[s : s+3]
- length = int((uint32(in[2])<<16)|(uint32(in[1])<<8)|uint32(in[0])) + (1 << 16)
- s += 3
- default: // 0-> 4
- }
- } else {
- offset = toffset
- }
- length += 4
- case tagCopy2:
- in := src[s : s+3]
- offset = int(uint32(in[1]) | uint32(in[2])<<8)
- length = 1 + int(in[0])>>2
- s += 3
- case tagCopy4:
- in := src[s : s+5]
- offset = int(uint32(in[1]) | uint32(in[2])<<8 | uint32(in[3])<<16 | uint32(in[4])<<24)
- length = 1 + int(in[0])>>2
- s += 5
- }
- if offset <= 0 || length > len(dst)-d {
- if debugErrs {
- fmt.Println("match error; offset:", offset, "length:", length, "dst-left:", len(dst)-d)
- }
- return decodeErrCodeCorrupt
- }
- // copy from dict
- if d < offset {
- if d > MaxDictSrcOffset {
- if debugErrs {
- fmt.Println("dict after", MaxDictSrcOffset, "d:", d, "offset:", offset, "length:", length)
- }
- return decodeErrCodeCorrupt
- }
- startOff := len(dict.dict) - offset + d
- if startOff < 0 || startOff+length > len(dict.dict) {
- if debugErrs {
- fmt.Printf("offset (%d) + length (%d) bigger than dict (%d)\n", offset, length, len(dict.dict))
- }
- return decodeErrCodeCorrupt
- }
- if debug {
- fmt.Println("dict copy, length:", length, "offset:", offset, "d-after:", d+length, "dict start offset:", startOff)
- }
- copy(dst[d:d+length], dict.dict[startOff:])
- d += length
- continue
- }
- if debug {
- fmt.Println("copy, length:", length, "offset:", offset, "d-after:", d+length)
- }
- // Copy from an earlier sub-slice of dst to a later sub-slice.
- // If no overlap, use the built-in copy:
- if offset > length {
- copy(dst[d:d+length], dst[d-offset:])
- d += length
- continue
- }
- // Unlike the built-in copy function, this byte-by-byte copy always runs
- // forwards, even if the slices overlap. Conceptually, this is:
- //
- // d += forwardCopy(dst[d:d+length], dst[d-offset:])
- //
- // We align the slices into a and b and show the compiler they are the same size.
- // This allows the loop to run without bounds checks.
- a := dst[d : d+length]
- b := dst[d-offset:]
- b = b[:len(a)]
- for i := range a {
- a[i] = b[i]
- }
- d += length
- }
- // Remaining with extra checks...
- for s < len(src) {
- switch src[s] & 0x03 {
- case tagLiteral:
- x := uint32(src[s] >> 2)
- switch {
- case x < 60:
- s++
- case x == 60:
- s += 2
- if uint(s) > uint(len(src)) { // The uint conversions catch overflow from the previous line.
- if debugErrs {
- fmt.Println("src went oob")
- }
- return decodeErrCodeCorrupt
- }
- x = uint32(src[s-1])
- case x == 61:
- s += 3
- if uint(s) > uint(len(src)) { // The uint conversions catch overflow from the previous line.
- if debugErrs {
- fmt.Println("src went oob")
- }
- return decodeErrCodeCorrupt
- }
- x = uint32(src[s-2]) | uint32(src[s-1])<<8
- case x == 62:
- s += 4
- if uint(s) > uint(len(src)) { // The uint conversions catch overflow from the previous line.
- if debugErrs {
- fmt.Println("src went oob")
- }
- return decodeErrCodeCorrupt
- }
- x = uint32(src[s-3]) | uint32(src[s-2])<<8 | uint32(src[s-1])<<16
- case x == 63:
- s += 5
- if uint(s) > uint(len(src)) { // The uint conversions catch overflow from the previous line.
- if debugErrs {
- fmt.Println("src went oob")
- }
- return decodeErrCodeCorrupt
- }
- x = uint32(src[s-4]) | uint32(src[s-3])<<8 | uint32(src[s-2])<<16 | uint32(src[s-1])<<24
- }
- length = int(x) + 1
- if length > len(dst)-d || length > len(src)-s || (strconv.IntSize == 32 && length <= 0) {
- if debugErrs {
- fmt.Println("corrupt literal: length:", length, "d-left:", len(dst)-d, "src-left:", len(src)-s)
- }
- return decodeErrCodeCorrupt
- }
- if debug {
- fmt.Println("literals, length:", length, "d-after:", d+length)
- }
- copy(dst[d:], src[s:s+length])
- d += length
- s += length
- continue
- case tagCopy1:
- s += 2
- if uint(s) > uint(len(src)) { // The uint conversions catch overflow from the previous line.
- if debugErrs {
- fmt.Println("src went oob")
- }
- return decodeErrCodeCorrupt
- }
- length = int(src[s-2]) >> 2 & 0x7
- toffset := int(uint32(src[s-2])&0xe0<<3 | uint32(src[s-1]))
- if toffset == 0 {
- if debug {
- fmt.Print("(repeat) ")
- }
- // keep last offset
- switch length {
- case 5:
- s += 1
- if uint(s) > uint(len(src)) { // The uint conversions catch overflow from the previous line.
- if debugErrs {
- fmt.Println("src went oob")
- }
- return decodeErrCodeCorrupt
- }
- length = int(uint32(src[s-1])) + 4
- case 6:
- s += 2
- if uint(s) > uint(len(src)) { // The uint conversions catch overflow from the previous line.
- if debugErrs {
- fmt.Println("src went oob")
- }
- return decodeErrCodeCorrupt
- }
- length = int(uint32(src[s-2])|(uint32(src[s-1])<<8)) + (1 << 8)
- case 7:
- s += 3
- if uint(s) > uint(len(src)) { // The uint conversions catch overflow from the previous line.
- if debugErrs {
- fmt.Println("src went oob")
- }
- return decodeErrCodeCorrupt
- }
- length = int(uint32(src[s-3])|(uint32(src[s-2])<<8)|(uint32(src[s-1])<<16)) + (1 << 16)
- default: // 0-> 4
- }
- } else {
- offset = toffset
- }
- length += 4
- case tagCopy2:
- s += 3
- if uint(s) > uint(len(src)) { // The uint conversions catch overflow from the previous line.
- if debugErrs {
- fmt.Println("src went oob")
- }
- return decodeErrCodeCorrupt
- }
- length = 1 + int(src[s-3])>>2
- offset = int(uint32(src[s-2]) | uint32(src[s-1])<<8)
- case tagCopy4:
- s += 5
- if uint(s) > uint(len(src)) { // The uint conversions catch overflow from the previous line.
- if debugErrs {
- fmt.Println("src went oob")
- }
- return decodeErrCodeCorrupt
- }
- length = 1 + int(src[s-5])>>2
- offset = int(uint32(src[s-4]) | uint32(src[s-3])<<8 | uint32(src[s-2])<<16 | uint32(src[s-1])<<24)
- }
- if offset <= 0 || length > len(dst)-d {
- if debugErrs {
- fmt.Println("match error; offset:", offset, "length:", length, "dst-left:", len(dst)-d)
- }
- return decodeErrCodeCorrupt
- }
- // copy from dict
- if d < offset {
- if d > MaxDictSrcOffset {
- if debugErrs {
- fmt.Println("dict after", MaxDictSrcOffset, "d:", d, "offset:", offset, "length:", length)
- }
- return decodeErrCodeCorrupt
- }
- rOff := len(dict.dict) - (offset - d)
- if debug {
- fmt.Println("starting dict entry from dict offset", len(dict.dict)-rOff)
- }
- if rOff+length > len(dict.dict) {
- if debugErrs {
- fmt.Println("err: END offset", rOff+length, "bigger than dict", len(dict.dict), "dict offset:", rOff, "length:", length)
- }
- return decodeErrCodeCorrupt
- }
- if rOff < 0 {
- if debugErrs {
- fmt.Println("err: START offset", rOff, "less than 0", len(dict.dict), "dict offset:", rOff, "length:", length)
- }
- return decodeErrCodeCorrupt
- }
- copy(dst[d:d+length], dict.dict[rOff:])
- d += length
- continue
- }
- if debug {
- fmt.Println("copy, length:", length, "offset:", offset, "d-after:", d+length)
- }
- // Copy from an earlier sub-slice of dst to a later sub-slice.
- // If no overlap, use the built-in copy:
- if offset > length {
- copy(dst[d:d+length], dst[d-offset:])
- d += length
- continue
- }
- // Unlike the built-in copy function, this byte-by-byte copy always runs
- // forwards, even if the slices overlap. Conceptually, this is:
- //
- // d += forwardCopy(dst[d:d+length], dst[d-offset:])
- //
- // We align the slices into a and b and show the compiler they are the same size.
- // This allows the loop to run without bounds checks.
- a := dst[d : d+length]
- b := dst[d-offset:]
- b = b[:len(a)]
- for i := range a {
- a[i] = b[i]
- }
- d += length
- }
- if d != len(dst) {
- if debugErrs {
- fmt.Println("wanted length", len(dst), "got", d)
- }
- return decodeErrCodeCorrupt
- }
- return 0
- }
|