// Package common float40.go provides methods to work with Hermez custom half
// float precision, 40 bits, codification internally called Float40 has been
// adopted to encode large integers. This is done in order to save bits when L2
// transactions are published.
//nolint:gomnd
package common

import (
	"encoding/binary"
	"errors"
	"math/big"

	"github.com/hermeznetwork/tracerr"
)

const (
	// maxFloat40Value is the maximum value that the Float40 can have
	// (40 bits: maxFloat40Value=2**40-1)
	maxFloat40Value = 0xffffffffff
	// Float40BytesLength defines the length of the Float40 values
	// represented as byte arrays
	Float40BytesLength = 5
)

var (
	// ErrFloat40Overflow is used when a given Float40 overflows the
	// maximum capacity of the Float40 (2**40-1)
	ErrFloat40Overflow = errors.New("Float40 overflow, max value: 2**40 -1")
	// ErrFloat40E31 is used when the e > 31 when trying to convert a
	// *big.Int to Float40
	ErrFloat40E31 = errors.New("Float40 error, e > 31")
	// ErrFloat40NotEnoughPrecission is used when the given *big.Int can
	// not be represented as Float40 due not enough precission
	ErrFloat40NotEnoughPrecission = errors.New("Float40 error, not enough precission")

	thres = big.NewInt(0x08_00_00_00_00)
)

// Float40 represents a float in a 64 bit format
type Float40 uint64

// Bytes return a byte array of length 5 with the Float40 value encoded in
// BigEndian
func (f40 Float40) Bytes() ([]byte, error) {
	if f40 > maxFloat40Value {
		return []byte{}, tracerr.Wrap(ErrFloat40Overflow)
	}

	var f40Bytes [8]byte
	binary.BigEndian.PutUint64(f40Bytes[:], uint64(f40))
	var b [5]byte
	copy(b[:], f40Bytes[3:])
	return b[:], nil
}

// Float40FromBytes returns a Float40 from a byte array of 5 bytes in Bigendian
// representation.
func Float40FromBytes(b []byte) Float40 {
	var f40Bytes [8]byte
	copy(f40Bytes[3:], b[:])
	f40 := binary.BigEndian.Uint64(f40Bytes[:])
	return Float40(f40)
}

// BigInt converts the Float40 to a *big.Int v, where v = m * 10^e, being:
// [    e   |    m    ]
// [ 5 bits | 35 bits ]
func (f40 Float40) BigInt() (*big.Int, error) {
	// take the 5 used bytes (FF * 5)
	var f40Uint64 uint64 = uint64(f40) & 0x00_00_00_FF_FF_FF_FF_FF
	f40Bytes, err := f40.Bytes()
	if err != nil {
		return nil, tracerr.Wrap(err)
	}

	e := f40Bytes[0] & 0xF8 >> 3      // take first 5 bits
	m := f40Uint64 & 0x07_FF_FF_FF_FF // take the others 35 bits

	exp := new(big.Int).Exp(big.NewInt(10), big.NewInt(int64(e)), nil)
	r := new(big.Int).Mul(big.NewInt(int64(m)), exp)
	return r, nil
}

// NewFloat40 encodes a *big.Int integer as a Float40, returning error in case
// of loss during the encoding.
func NewFloat40(f *big.Int) (Float40, error) {
	m := f
	e := big.NewInt(0)
	zero := big.NewInt(0)
	ten := big.NewInt(10)
	for new(big.Int).Mod(m, ten).Cmp(zero) == 0 && m.Cmp(thres) >= 0 {
		m = new(big.Int).Div(m, ten)
		e = new(big.Int).Add(e, big.NewInt(1))
	}
	if e.Int64() > 31 {
		return 0, tracerr.Wrap(ErrFloat40E31)
	}
	if m.Cmp(thres) >= 0 {
		return 0, tracerr.Wrap(ErrFloat40NotEnoughPrecission)
	}
	r := new(big.Int).Add(m,
		new(big.Int).Mul(e, thres))
	return Float40(r.Uint64()), nil
}

// NewFloat40Floor encodes a *big.Int integer as a Float40, rounding down in
// case of loss during the encoding. It returns an error in case that the number
// is too big (e>31). Warning: this method should not be used inside the
// hermez-node, it's a helper for external usage to generate valid Float40
// values.
func NewFloat40Floor(f *big.Int) (Float40, error) {
	m := f
	e := big.NewInt(0)
	// zero := big.NewInt(0)
	ten := big.NewInt(10)
	for m.Cmp(thres) >= 0 {
		m = new(big.Int).Div(m, ten)
		e = new(big.Int).Add(e, big.NewInt(1))
	}
	if e.Int64() > 31 {
		return 0, tracerr.Wrap(ErrFloat40E31)
	}

	r := new(big.Int).Add(m,
		new(big.Int).Mul(e, thres))

	return Float40(r.Uint64()), nil
}