// Copyright 2017 PingCAP, Inc.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//     http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

package expression

import (
	"encoding/json"
	"testing"

	"github.com/pingcap/tidb/pkg/parser/ast"
	"github.com/pingcap/tidb/pkg/parser/mysql"
	"github.com/pingcap/tidb/pkg/planner/cascades/base"
	"github.com/pingcap/tidb/pkg/types"
	"github.com/pingcap/tidb/pkg/util/chunk"
	"github.com/pingcap/tidb/pkg/util/mock"
	"github.com/pingcap/tipb/go-tipb"
	"github.com/stretchr/testify/require"
)

func TestExpressionSemanticEqual(t *testing.T) {
	a := &Column{
		UniqueID: 1,
		RetType:  types.NewFieldType(mysql.TypeDouble),
	}
	b := &Column{
		UniqueID: 2,
		RetType:  types.NewFieldType(mysql.TypeLong),
	}
	// order sensitive cases
	// a < b; b > a
	sf1 := newFunctionWithMockCtx(ast.LT, a, b)
	sf2 := newFunctionWithMockCtx(ast.GT, b, a)
	require.True(t, ExpressionsSemanticEqual(sf1, sf2))

	// a > b; b < a
	sf3 := newFunctionWithMockCtx(ast.GT, a, b)
	sf4 := newFunctionWithMockCtx(ast.LT, b, a)
	require.True(t, ExpressionsSemanticEqual(sf3, sf4))

	// a<=b; b>=a
	sf5 := newFunctionWithMockCtx(ast.LE, a, b)
	sf6 := newFunctionWithMockCtx(ast.GE, b, a)
	require.True(t, ExpressionsSemanticEqual(sf5, sf6))

	// a>=b; b<=a
	sf7 := newFunctionWithMockCtx(ast.GE, a, b)
	sf8 := newFunctionWithMockCtx(ast.LE, b, a)
	require.True(t, ExpressionsSemanticEqual(sf7, sf8))

	// not(a<b); a >= b
	sf9 := newFunctionWithMockCtx(ast.UnaryNot, sf1)
	require.True(t, ExpressionsSemanticEqual(sf9, sf7))

	// a < b; not(a>=b)
	sf10 := newFunctionWithMockCtx(ast.UnaryNot, sf7)
	require.True(t, ExpressionsSemanticEqual(sf1, sf10))

	// order insensitive cases
	// a + b; b + a
	p1 := newFunctionWithMockCtx(ast.Plus, a, b)
	p2 := newFunctionWithMockCtx(ast.Plus, b, a)
	require.True(t, ExpressionsSemanticEqual(p1, p2))

	// a * b; b * a
	m1 := newFunctionWithMockCtx(ast.Mul, a, b)
	m2 := newFunctionWithMockCtx(ast.Mul, b, a)
	require.True(t, ExpressionsSemanticEqual(m1, m2))

	// a = b; b = a
	e1 := newFunctionWithMockCtx(ast.EQ, a, b)
	e2 := newFunctionWithMockCtx(ast.EQ, b, a)
	require.True(t, ExpressionsSemanticEqual(e1, e2))

	// a = b AND b + a; a + b AND b = a
	a1 := newFunctionWithMockCtx(ast.LogicAnd, e1, p2)
	a2 := newFunctionWithMockCtx(ast.LogicAnd, p1, e2)
	require.True(t, ExpressionsSemanticEqual(a1, a2))

	// a * b OR a + b;  b + a OR b * a
	o1 := newFunctionWithMockCtx(ast.LogicOr, m1, p1)
	o2 := newFunctionWithMockCtx(ast.LogicOr, p2, m2)
	require.True(t, ExpressionsSemanticEqual(o1, o2))
}

func TestScalarFunction(t *testing.T) {
	ctx := mock.NewContext()
	a := &Column{
		UniqueID: 1,
		RetType:  types.NewFieldType(mysql.TypeDouble),
	}

	sf := newFunctionWithMockCtx(ast.LT, a, NewOne())
	require.False(t, sf.IsCorrelated())
	require.Equal(t, ConstNone, sf.ConstLevel())
	require.True(t, sf.Decorrelate(nil).Equal(ctx, sf))
	require.EqualValues(t, []byte{0x3, 0x4, 0x6c, 0x74, 0x1, 0x80, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x1, 0x0, 0x5, 0xbf, 0xf0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0}, sf.HashCode())

	sf = NewValuesFunc(ctx, 0, types.NewFieldType(mysql.TypeLonglong))
	newSf, ok := sf.Clone().(*ScalarFunction)
	require.True(t, ok)
	require.Equal(t, "values", newSf.FuncName.O)
	require.Equal(t, mysql.TypeLonglong, newSf.RetType.GetType())
	require.Equal(t, sf.Coercibility(), newSf.Coercibility())
	require.Equal(t, sf.Repertoire(), newSf.Repertoire())
	_, ok = newSf.Function.(*builtinValuesIntSig)
	require.True(t, ok)
}

func TestFTSMatchWordOptionsBelongToBuiltinSignature(t *testing.T) {
	ctx := mock.NewContext()
	column := &Column{
		ID:       11,
		UniqueID: 21,
		RetType:  types.NewFieldType(mysql.TypeVarchar),
	}
	newMatchWord := func(parserName string) *ScalarFunction {
		t.Helper()
		expr := NewFunctionInternal(
			ctx,
			ast.FTSMatchWord,
			types.NewFieldType(mysql.TypeDouble),
			NewStrConst("hello"),
			column,
		).(*ScalarFunction)
		SetFTSMatchWordOptions(expr, &FTSMatchWordOptions{
			Fields: []FTSMatchWordFieldOption{{ParserName: parserName}},
		})
		return expr
	}

	standard := newMatchWord("STANDARD")
	ngram := newMatchWord("NGRAM")
	require.False(t, standard.Equal(ctx, ngram))
	require.False(t, standard.Equals(ngram))
	require.NotEqual(t, standard.HashCode(), ngram.HashCode())
	require.NotEqual(t, standard.CanonicalHashCode(), ngram.CanonicalHashCode())

	clone := standard.Clone().(*ScalarFunction)
	require.True(t, standard.Equal(ctx, clone))
	require.Equal(t, standard.HashCode(), clone.HashCode())
	require.Equal(t, "STANDARD", GetFTSMatchWordOptions(clone).Fields[0].ParserName)
	SetFTSMatchWordOptions(clone, &FTSMatchWordOptions{
		Fields: []FTSMatchWordFieldOption{{ParserName: "NGRAM"}},
	})
	require.Equal(t, "STANDARD", GetFTSMatchWordOptions(standard).Fields[0].ParserName)
	require.Equal(t, "NGRAM", GetFTSMatchWordOptions(clone).Fields[0].ParserName)

	persistedName := newMatchWord("STANDARD_V1")
	require.True(t, standard.Equal(ctx, persistedName))
	require.Equal(t, standard.HashCode(), persistedName.HashCode())

	override := standard.Clone().(*ScalarFunction)
	overrideOptions := GetFTSMatchWordOptions(override)
	overrideOptions.Query = int64(42)
	SetFTSMatchWordOptions(override, overrideOptions)
	require.False(t, standard.Equal(ctx, override))
	require.False(t, standard.Equals(override))
	require.NotEqual(t, standard.HashCode(), override.HashCode())
	require.NotEqual(t, standard.CanonicalHashCode(), override.CanonicalHashCode())
	overrideInfo := InterpretFullTextSearchExpr(override)
	require.NotNil(t, overrideInfo)
	require.Equal(t, FtsScoreModeInherit, overrideInfo.Clause.ScoreMode)
	require.Equal(t, int64(42), overrideInfo.Clause.Query)

	replacement := column.Clone().(*Column)
	replacement.UniqueID = 22
	substituted := ColumnSubstitute(ctx, standard, NewSchema(column), []Expression{replacement})
	info := InterpretFullTextSearchExpr(substituted)
	require.NotNil(t, info)
	require.Equal(t, replacement.UniqueID, info.Columns[0].UniqueID)
	require.Equal(t, "STANDARD", info.Clause.Fields[0].IndexField)
}

func TestMatchFTSQueryPBAndMarkFiltersAcceptsMatchWordRoot(t *testing.T) {
	newMatch := func(query string) *tipb.Expr {
		clause, err := json.Marshal(QueryClause{
			Version:   FTSQueryClauseVersion,
			ScoreMode: FtsScoreModeInherit,
			Query:     query,
			Fields:    []QueryField{{ColID: 1, IndexField: "STANDARD_V1"}},
		})
		require.NoError(t, err)
		return &tipb.Expr{
			Tp:  tipb.ExprType_ScalarFunc,
			Sig: tipb.ScalarFuncSig_FTSMatchWord,
			Val: clause,
		}
	}

	root := newMatch("foo")
	matchCount, ok := matchFTSQueryPBAndMarkFilters(root, newMatch("foo"))
	require.True(t, ok)
	require.Equal(t, 1, matchCount)

	matchCount, ok = matchFTSQueryPBAndMarkFilters(root, newMatch("bar"))
	require.True(t, ok)
	require.Zero(t, matchCount)
}

func TestIssue23309(t *testing.T) {
	a := &Column{
		UniqueID: 1,
		RetType:  types.NewFieldType(mysql.TypeDouble),
	}

	a.RetType.SetFlag(a.RetType.GetFlag() | mysql.NotNullFlag)
	null := NewNull()
	null.RetType = types.NewFieldType(mysql.TypeNull)
	sf, _ := newFunctionWithMockCtx(ast.NE, a, null).(*ScalarFunction)
	v, err := sf.GetArgs()[1].Eval(mock.NewContext(), chunk.Row{})
	require.NoError(t, err)
	require.True(t, v.IsNull())

	ctx := createContext(t)
	require.False(t, mysql.HasNotNullFlag(sf.GetArgs()[1].GetType(ctx).GetFlag()))
}

func TestScalarFuncs2Exprs(t *testing.T) {
	ctx := mock.NewContext()
	a := &Column{
		UniqueID: 1,
		RetType:  types.NewFieldType(mysql.TypeDouble),
	}
	sf0, _ := newFunctionWithMockCtx(ast.LT, a, NewZero()).(*ScalarFunction)
	sf1, _ := newFunctionWithMockCtx(ast.LT, a, NewOne()).(*ScalarFunction)

	funcs := []*ScalarFunction{sf0, sf1}
	exprs := ScalarFuncs2Exprs(funcs)
	for i := range exprs {
		require.True(t, exprs[i].Equal(ctx, funcs[i]))
	}
}

func TestScalarFunctionHash64Equals(t *testing.T) {
	a := &Column{
		UniqueID: 1,
		RetType:  types.NewFieldType(mysql.TypeDouble),
	}
	sf0, _ := newFunctionWithMockCtx(ast.LT, a, NewZero()).(*ScalarFunction)
	sf1, _ := newFunctionWithMockCtx(ast.LT, a, NewZero()).(*ScalarFunction)
	hasher1 := base.NewHashEqualer()
	hasher2 := base.NewHashEqualer()
	sf0.Hash64(hasher1)
	sf1.Hash64(hasher2)
	require.Equal(t, hasher1.Sum64(), hasher2.Sum64())
	require.True(t, sf0.Equals(sf1))

	// change the func name
	sf2, _ := newFunctionWithMockCtx(ast.GT, a, NewZero()).(*ScalarFunction)
	hasher2.Reset()
	sf2.Hash64(hasher2)
	require.NotEqual(t, hasher1.Sum64(), hasher2.Sum64())
	require.False(t, sf0.Equals(sf2))

	// change the args
	sf3, _ := newFunctionWithMockCtx(ast.LT, a, NewOne()).(*ScalarFunction)
	hasher2.Reset()
	sf3.Hash64(hasher2)
	require.NotEqual(t, hasher1.Sum64(), hasher2.Sum64())
	require.False(t, sf0.Equals(sf3))

	// change the ret type
	sf4, _ := newFunctionWithMockCtx(ast.LT, a, NewZero()).(*ScalarFunction)
	sf4.RetType = types.NewFieldType(mysql.TypeLong)
	hasher2.Reset()
	sf4.Hash64(hasher2)
	require.NotEqual(t, hasher1.Sum64(), hasher2.Sum64())
	require.False(t, sf0.Equals(sf4))
}