test_ir_pybind.py

# Copyright (c) 2023 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
from paddle import ir

paddle.enable_static()


def get_ir_program():
    x = paddle.randn([4, 4])
    main_program, start_program = (
        paddle.static.Program(),
        paddle.static.Program(),
    )
    with paddle.static.program_guard(main_program, start_program):
        x_s = paddle.static.data('x', [4, 4], x.dtype)
        x_s.stop_gradient = False
        y_s = paddle.matmul(x_s, x_s)
        y_s = paddle.add(x_s, y_s)
        y_s = paddle.tanh(y_s)
    newir_program = ir.translate_to_new_ir(main_program.desc)
    return newir_program


class TestPybind(unittest.TestCase):
    def test_program(self):
        newir_program = get_ir_program()
        print(newir_program)

    def test_block(self):
        newir_program = get_ir_program()
        block = newir_program.block()
        ops = block.get_ops()
        self.assertEqual(
            len(ops), 4
        )  # ir program add "builtin.get_parameter" by default, so size is 4
        block.remove_op(ops[3])
        self.assertEqual(len(block.get_ops()), 3)

    def test_operation(self):
        newir_program = get_ir_program()
        ops = newir_program.block().get_ops()
        matmul_op = newir_program.block().get_ops()[1]
        add_op = newir_program.block().get_ops()[2]
        tanh_op = newir_program.block().get_ops()[3]
        parent_block = tanh_op.get_parent()
        parent_ops_num = len(parent_block.get_ops())
        self.assertEqual(parent_ops_num, 4)
        self.assertEqual(tanh_op.num_results(), 1)
        self.assertEqual(len(matmul_op.get_input_names()), 2)
        self.assertEqual(len(matmul_op.get_attr_names()), 2)
        self.assertEqual(len(matmul_op.get_output_names()), 1)

    def test_value(self):
        newir_program = get_ir_program()
        matmul_op = newir_program.block().get_ops()[1]
        add_op = newir_program.block().get_ops()[2]
        tanh_op = newir_program.block().get_ops()[3]
        self.assertEqual(
            matmul_op.results()[0].get_defining_op().name(), "pd.matmul"
        )
        self.assertEqual(
            matmul_op.result(0).get_defining_op().name(), "pd.matmul"
        )
        matmul_op.result(0).set_stop_gradient(True)
        self.assertEqual(matmul_op.result(0).get_stop_gradient(), True)

        self.assertEqual(
            tanh_op.operands()[0].source().get_defining_op().name(), "pd.add"
        )

        add_op.replace_all_uses_with(matmul_op.results())
        self.assertEqual(
            tanh_op.operands()[0].source().get_defining_op().name(), "pd.matmul"
        )
        self.assertEqual(add_op.result(0).use_empty(), True)

    def test_type(self):
        newir_program = get_ir_program()
        matmul_op = newir_program.block().get_ops()[1]
        add_op = newir_program.block().get_ops()[2]
        print(matmul_op.result(0).type())
        self.assertEqual(
            matmul_op.result(0).type() == add_op.result(0).type(), True
        )

    def test_utils(self):
        newir_program = get_ir_program()
        matmul_op = newir_program.block().get_ops()[1]
        print(ir.get_op_result_dtype(matmul_op.result(0)))
        self.assertEqual(ir.get_op_result_shape(matmul_op.result(0)), [4, 4])


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