# 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.

from auto_scan_test import PassAutoScanTest, SkipReasons
from program_config import TensorConfig, ProgramConfig, OpConfig
import numpy as np
import paddle.inference as paddle_infer
from functools import partial
from typing import Optional, List, Callable, Dict, Any, Set
import unittest

import hypothesis
from hypothesis import given, settings, seed, example, assume
import hypothesis.strategies as st


class TestMatmulv2TransposeReshapeMkldnnFusePass(PassAutoScanTest):
    def is_program_valid(self, program_config: ProgramConfig) -> bool:
        if program_config.inputs["input_data1"].shape[
                -4] != 1 and program_config.inputs["input_data2"].shape[
                    -4] != 1:
            if program_config.inputs["input_data1"].shape[
                    -4] != program_config.inputs["input_data2"].shape[-4]:
                return False

        if program_config.inputs["input_data1"].shape[
                -3] != 1 and program_config.inputs["input_data2"].shape[
                    -3] != 1:
            if program_config.inputs["input_data1"].shape[
                    -3] != program_config.inputs["input_data2"].shape[-3]:
                return False

        attrs = [
            program_config.ops[i].attrs
            for i in range(len(program_config.ops))
        ]
        # If the problem has been fixed, the judgment 
        # needs to be deleted!!!
        if 0 in attrs[2]['shape']:
            return False

        return True

    def sample_program_config(self, draw):
        transpose_X = draw(st.booleans())
        transpose_Y = draw(st.booleans())
        axis = draw(st.sampled_from([[0, 2, 1, 3]]))
        shape = draw(st.sampled_from([[0, -1, 128], [-1, 1, 64], [1, -1, 32]]))
        batch_size1 = draw(st.integers(min_value=1, max_value=4))
        batch_size2 = draw(st.integers(min_value=1, max_value=4))
        channel1 = draw(st.sampled_from([1, 16, 32, 64]))
        channel2 = draw(st.sampled_from([1, 16, 32, 64]))
        input_dim = draw(st.sampled_from([16, 32, 64]))

        def generate_input(type):
            if transpose_X and transpose_Y:
                shape_x = [batch_size1, channel1, input_dim, 32]
                shape_y = [batch_size2, channel2, 64, input_dim]
            elif transpose_X:
                shape_x = [batch_size1, channel1, input_dim, 32]
                shape_y = [batch_size2, channel2, input_dim, 64]
            elif transpose_Y:
                shape_x = [batch_size1, channel1, 32, input_dim]
                shape_y = [batch_size2, channel2, 8, input_dim]
            else:
                shape_x = [batch_size1, channel1, 32, input_dim]
                shape_y = [batch_size2, channel2, input_dim, 16]

            if type == "x":
                return np.random.random(shape_x).astype(np.float32)
            else:
                return np.random.random(shape_y).astype(np.float32)

        matmul_op = OpConfig(
            type="matmul_v2",
            inputs={"X": ["input_data1"],
                    "Y": ["input_data2"]},
            outputs={"Out": ["matmul_output"]},
            attrs={
                "trans_x": transpose_X,
                "trans_y": transpose_Y,
                "fused_reshape_X": [],
                "fused_reshape_Y": [],
                "fused_transpose_X": [],
                "fused_transpose_Y": [],
                "fused_reshape_Out": [],
                "fused_transpose_Out": []
            })

        transpose2_op = OpConfig(
            type="transpose2",
            inputs={"X": ["matmul_output"]},
            outputs={
                "Out": ["transpose2_output"],
                "XShape": ["transpose2_xshape"]
            },
            attrs={'axis': axis})

        reshape2_op = OpConfig(
            type="reshape2",
            inputs={"X": ["transpose2_output"]},
            outputs={
                "Out": ["reshape2_output"],
                "XShape": ["reshape2_xshape"]
            },
            attrs={'shape': shape})

        model_net = [matmul_op, transpose2_op, reshape2_op]

        program_config = ProgramConfig(
            ops=model_net,
            weights={},
            inputs={
                "input_data1":
                TensorConfig(data_gen=partial(generate_input, "x")),
                "input_data2":
                TensorConfig(data_gen=partial(generate_input, "y"))
            },
            outputs=["reshape2_output"])

        return program_config

    def sample_predictor_configs(self, program_config):
        # map_matmul_v2_to_matmul_pass will affect the type of final fused op 
        fused_op = "matmul_v2"
        input1_dim1 = program_config.inputs["input_data1"].shape[0]
        input2_dim1 = program_config.inputs["input_data2"].shape[0]
        input1_dim2 = program_config.inputs["input_data1"].shape[1]
        input2_dim2 = program_config.inputs["input_data2"].shape[1]
        if input1_dim1 == input2_dim1 and input1_dim2 == input2_dim2:
            fused_op = "matmul"

        config = self.create_inference_config(use_mkldnn=True)
        yield config, [fused_op], (1e-5, 1e-5)

    def test(self):
        self.run_and_statis(
            quant=False, passes=["matmul_v2_transpose_reshape_fuse_pass"])


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