# Copyright (c) 2021 PaddlePaddle Authors. All Rights Reserved.
#
# 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.
import unittest

import paddle
import paddle.nn.functional as F
from paddle import nn, static, utils
from paddle.distributed.auto_parallel.dist_attribute import OperatorDistAttr
from paddle.distributed.auto_parallel.dist_op import DistributedOperator
from paddle.distributed.auto_parallel.operators.common import (
    get_distributed_operator_impl_container,
)
from paddle.fluid import core

paddle.enable_static()
device = "gpu" if core.is_compiled_with_cuda() else "cpu"


class MLPLayer(nn.Layer):
    def __init__(
        self,
        hidden_size=1024,
        intermediate_size=4 * 1024,
        initializer_range=0.02,
    ):
        super().__init__()
        d_model = hidden_size
        dim_feedforward = intermediate_size
        weight_attr = paddle.ParamAttr(
            initializer=nn.initializer.Normal(mean=0.0, std=initializer_range)
        )
        bias_attr = None

        self.linear0 = nn.Linear(
            d_model, dim_feedforward, weight_attr, bias_attr=bias_attr
        )
        self.linear1 = nn.Linear(
            dim_feedforward, d_model, weight_attr, bias_attr=bias_attr
        )
        self.norm = nn.LayerNorm(d_model, epsilon=1e-5)

    def forward(self, input):
        out = self.norm(input)
        out = self.linear0(out)
        out = F.gelu(out, approximate=True)
        out = self.linear1(out)

        return out


def mlp_forward(train_program, start_program):
    with static.program_guard(
        train_program, start_program
    ), utils.unique_name.guard():
        batch_size = 4
        hidden_size = 1024
        sqrt_hidden_size = 32
        double_hidden_size = 64

        input = static.data(name="input", shape=[8, 8, 16], dtype='int32')
        input = paddle.reshape(input, [hidden_size])
        input = paddle.reshape(input, [sqrt_hidden_size, sqrt_hidden_size])
        embedding = paddle.nn.Embedding(2, batch_size, sparse=True)
        input = embedding(input)
        input = paddle.reshape(input, [hidden_size, batch_size])
        input = paddle.transpose(input, perm=[1, 0])
        matmulinput = static.data(
            name="matmulinput",
            shape=[hidden_size, hidden_size],
            dtype='float32',
        )
        input = paddle.matmul(x=input, y=matmulinput)
        label = static.data(
            name="label", shape=[batch_size, 1], dtype='float32'
        )
        mlp = MLPLayer(
            hidden_size=hidden_size,
            intermediate_size=4 * hidden_size,
            initializer_range=0.02,
        )

        predict = mlp(input)
        error_cost = paddle.nn.functional.square_error_cost(predict, label)
        loss = paddle.mean(error_cost)
        m = paddle.nn.Softmax()
        loss = m(loss)
    return loss, train_program, start_program


class TestCompatible(unittest.TestCase):
    def test_reshape_remove_compatible(self):
        valid_op_dist_attr_list = []
        program = paddle.static.Program()
        startup_program = paddle.static.Program()
        loss, program, start_program = mlp_forward(program, startup_program)
        ops = program.global_block().ops
        for idx, op in enumerate(ops):
            if op.type == 'reshape2':
                dist_op_impl_container = (
                    get_distributed_operator_impl_container(op.type)
                )
                impls = dist_op_impl_container.impls
                op_dist_attr = OperatorDistAttr()
                op_dist_attr.set_input_dims_mapping(
                    op.input_arg_names[0], [-1, -1, -1]
                )
                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[0], [-1, -1]
                )
                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[1], [-1, -1, -1, -1]
                )
                self.assertTrue(
                    impls[1].is_auto_compatible(
                        DistributedOperator(op, op_dist_attr)
                    )
                )
                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[1], [-1, -1, -1, 1]
                )
                self.assertFalse(
                    impls[1].is_auto_compatible(
                        DistributedOperator(op, op_dist_attr)
                    )
                )
                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[1], [0, -1, -1, 1]
                )
                self.assertFalse(
                    impls[1].is_auto_compatible(
                        DistributedOperator(op, op_dist_attr)
                    )
                )
                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[1], [-1, 1, -1, -1]
                )
                self.assertFalse(
                    impls[1].is_auto_compatible(
                        DistributedOperator(op, op_dist_attr)
                    )
                )
                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[1], [-1, -1, 1, -1]
                )
                self.assertFalse(
                    impls[1].is_auto_compatible(
                        DistributedOperator(op, op_dist_attr)
                    )
                )

                op_dist_attr.set_input_dims_mapping(
                    op.input_arg_names[0], [1, -1, -1]
                )
                self.assertFalse(
                    impls[1].is_auto_compatible(
                        DistributedOperator(op, op_dist_attr)
                    )
                )
                op_dist_attr.set_input_dims_mapping(
                    op.input_arg_names[0], [0, -1, -1]
                )
                self.assertFalse(
                    impls[1].is_auto_compatible(
                        DistributedOperator(op, op_dist_attr)
                    )
                )
                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[1], [0, -1, -1, -1]
                )
                self.assertFalse(
                    impls[1].is_auto_compatible(
                        DistributedOperator(op, op_dist_attr)
                    )
                )

                op_dist_attr.set_input_dims_mapping(
                    op.input_arg_names[0], [-1, 0, -1]
                )
                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[0], [-1, -1]
                )

                self.assertFalse(
                    impls[1].is_auto_compatible(
                        DistributedOperator(op, op_dist_attr)
                    )
                )

    def test_reshape_add_compatible(self):
        valid_op_dist_attr_list = []
        program = paddle.static.Program()
        startup_program = paddle.static.Program()
        loss, program, start_program = mlp_forward(program, startup_program)
        ops = program.global_block().ops
        for idx, op in enumerate(ops):
            if op.type == 'reshape2':
                dist_op_impl_container = (
                    get_distributed_operator_impl_container(op.type)
                )
                impls = dist_op_impl_container.impls
                op_dist_attr = OperatorDistAttr()
                op_dist_attr.set_input_dims_mapping(op.input_arg_names[0], [-1])
                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[0], [-1, -1]
                )
                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[1], [-1, -1]
                )
                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[1], [-1, -1]
                )
                self.assertTrue(
                    impls[0].is_auto_compatible(
                        DistributedOperator(op, op_dist_attr)
                    )
                )
                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[1], [-1, 0]
                )
                self.assertFalse(
                    impls[0].is_auto_compatible(
                        DistributedOperator(op, op_dist_attr)
                    )
                )

                op_dist_attr.set_input_dims_mapping(op.input_arg_names[0], [-1])
                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[0], [0, -1]
                )

                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[1], [-1]
                )
                self.assertFalse(
                    impls[0].is_auto_compatible(
                        DistributedOperator(op, op_dist_attr)
                    )
                )

                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[1], [-1, 1]
                )
                self.assertFalse(
                    impls[0].is_auto_compatible(
                        DistributedOperator(op, op_dist_attr)
                    )
                )

                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[1], [1, -1]
                )
                self.assertFalse(
                    impls[0].is_auto_compatible(
                        DistributedOperator(op, op_dist_attr)
                    )
                )
                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[1], [1, 1]
                )
                self.assertFalse(
                    impls[0].is_auto_compatible(
                        DistributedOperator(op, op_dist_attr)
                    )
                )
                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[0], [-1, -1, 1]
                )
                self.assertFalse(
                    impls[0].is_auto_compatible(
                        DistributedOperator(op, op_dist_attr)
                    )
                )
                op_dist_attr.set_input_dims_mapping(op.input_arg_names[0], [-1])
                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[0], [0, -1]
                )
                self.assertFalse(
                    impls[0].is_auto_compatible(
                        DistributedOperator(op, op_dist_attr)
                    )
                )

    def test_transpose_compatible(self):
        valid_op_dist_attr_list = []
        program = paddle.static.Program()
        startup_program = paddle.static.Program()
        loss, program, start_program = mlp_forward(program, startup_program)
        ops = program.global_block().ops
        for idx, op in enumerate(ops):
            if op.type == 'transpose2':
                dist_op_impl_container = (
                    get_distributed_operator_impl_container(op.type)
                )
                impls = dist_op_impl_container.impls
                op_dist_attr = OperatorDistAttr()
                op_dist_attr.set_input_dims_mapping(
                    op.input_arg_names[0], [-1, -1]
                )
                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[0], [-1, -1]
                )
                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[1], [-1, -1, -1]
                )
                dist_op = DistributedOperator(op, op_dist_attr)
                self.assertTrue(impls[0].is_auto_compatible(dist_op))

                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[1], [-1, 0, 0]
                )
                dist_op = DistributedOperator(op, op_dist_attr)
                self.assertFalse(impls[0].is_auto_compatible(dist_op))

                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[1], [0, 0, 0]
                )
                dist_op = DistributedOperator(op, op_dist_attr)
                self.assertFalse(impls[0].is_auto_compatible(dist_op))

                op_dist_attr.set_input_dims_mapping(
                    op.input_arg_names[0], [1, -1]
                )
                dist_op = DistributedOperator(op, op_dist_attr)
                self.assertFalse(impls[0].is_auto_compatible(dist_op))
                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[1], [-1, 0, 0]
                )
                dist_op = DistributedOperator(op, op_dist_attr)
                self.assertFalse(impls[0].is_auto_compatible(dist_op))

                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[1], [0, -1, -1]
                )
                self.assertFalse(impls[0].is_auto_compatible(dist_op))

                op_dist_attr.set_input_dims_mapping(
                    op.input_arg_names[0], [-1, -1]
                )

                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[1], [0, 1, 1]
                )
                self.assertFalse(impls[0].is_auto_compatible(dist_op))

    def test_softmax_compatible(self):
        valid_op_dist_attr_list = []
        program = paddle.static.Program()
        startup_program = paddle.static.Program()
        loss, program, start_program = mlp_forward(program, startup_program)
        ops = program.global_block().ops
        for idx, op in enumerate(ops):
            if op.type == 'softmax':
                dist_op_impl_container = (
                    get_distributed_operator_impl_container(op.type)
                )
                impls = dist_op_impl_container.impls
                op_dist_attr = OperatorDistAttr()
                op_dist_attr.set_input_dims_mapping(
                    op.input_arg_names[0], [-1, -1]
                )
                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[0], [-1, -1]
                )
                dist_op = DistributedOperator(op, op_dist_attr)
                self.assertTrue(impls[0].is_auto_compatible(dist_op))
                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[0], [1]
                )
                dist_op = DistributedOperator(op, op_dist_attr)
                self.assertFalse(impls[0].is_auto_compatible(dist_op))

                op_dist_attr.set_input_dims_mapping(
                    op.input_arg_names[0], [-1, 1]
                )
                dist_op = DistributedOperator(op, op_dist_attr)
                self.assertFalse(impls[0].is_auto_compatible(dist_op))
                op.all_attrs()['axis'] = 2
                self.assertFalse(impls[0].is_auto_compatible(dist_op))

    def test_embedding_compatible(self):
        valid_op_dist_attr_list = []
        program = paddle.static.Program()
        startup_program = paddle.static.Program()
        loss, program, start_program = mlp_forward(program, startup_program)
        ops = program.global_block().ops
        for idx, op in enumerate(ops):
            if op.type == 'c_embedding' or op.type == 'lookup_table_v2':
                dist_op_impl_container = (
                    get_distributed_operator_impl_container(op.type)
                )
                impls = dist_op_impl_container.impls
                op_dist_attr = OperatorDistAttr()
                op_dist_attr.set_input_dims_mapping(
                    op.input_arg_names[0], [-1, -1]
                )
                op_dist_attr.set_input_dims_mapping(
                    op.input_arg_names[1], [1, -1]
                )
                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[0], [-1, -1, -1]
                )
                dist_op = DistributedOperator(op, op_dist_attr)
                self.assertTrue(impls[0].is_auto_compatible(dist_op))
                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[0], [-1, 0, 0]
                )
                dist_op = DistributedOperator(op, op_dist_attr)
                self.assertFalse(impls[0].is_auto_compatible(dist_op))
                op_dist_attr.set_input_dims_mapping(
                    op.input_arg_names[0], [-1, 1]
                )
                dist_op = DistributedOperator(op, op_dist_attr)
                self.assertFalse(impls[0].is_auto_compatible(dist_op))
                op_dist_attr.set_input_dims_mapping(
                    op.input_arg_names[1], [-1, 1]
                )
                dist_op = DistributedOperator(op, op_dist_attr)

                op_dist_attr.set_input_dims_mapping(
                    op.input_arg_names[1], [1, 1]
                )
                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[0], [-1, -1, -1]
                )
                dist_op = DistributedOperator(op, op_dist_attr)
                self.assertFalse(impls[0].is_auto_compatible(dist_op))

                self.assertFalse(impls[0].is_auto_compatible(dist_op))
                op_dist_attr.set_input_dims_mapping(
                    op.input_arg_names[0], [-1, 1]
                )
                dist_op = DistributedOperator(op, op_dist_attr)
                self.assertFalse(impls[0].is_auto_compatible(dist_op))
                op_dist_attr.set_input_dims_mapping(
                    op.input_arg_names[1], [1, 1]
                )
                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[0], [-1, -1, -1]
                )
                dist_op = DistributedOperator(op, op_dist_attr)
                self.assertFalse(impls[0].is_auto_compatible(dist_op))
                op_dist_attr.set_input_dims_mapping(
                    op.input_arg_names[0], [-1, -1]
                )
                op_dist_attr.set_output_dims_mapping(
                    op.output_arg_names[0], [1, 1, -1]
                )
                dist_op = DistributedOperator(op, op_dist_attr)
                self.assertFalse(impls[0].is_auto_compatible(dist_op))


if __name__ == "__main__":
    unittest.main()
