1 /**
2 * Copyright (c) 2024 Huawei Device Co., Ltd.
3 * Licensed under the Apache License, Version 2.0 (the "License");
4 * you may not use this file except in compliance with the License.
5 * You may obtain a copy of the License at
6 *
7 * http://www.apache.org/licenses/LICENSE-2.0
8 *
9 * Unless required by applicable law or agreed to in writing, software
10 * distributed under the License is distributed on an "AS IS" BASIS,
11 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12 * See the License for the specific language governing permissions and
13 * limitations under the License.
14 */
15
16 #include "libabckit/include/c/metadata_core.h"
17 #include "libabckit/include/c/ir_core.h"
18 #include "libabckit/include/c/abckit.h"
19 #include "helpers/helpers_runtime.h"
20
21 #include "helpers/helpers.h"
22 #include "ut/isa/isa_dynamic/arithmetic/helpers_arithmetic.h"
23
24 #include <gtest/gtest.h>
25
26 // NOLINTBEGIN(readability-magic-numbers)
27 namespace libabckit::test {
28
29 static auto g_impl = AbckitGetApiImpl(ABCKIT_VERSION_RELEASE_1_0_0);
30 static auto g_implI = AbckitGetInspectApiImpl(ABCKIT_VERSION_RELEASE_1_0_0);
31 static auto g_implM = AbckitGetModifyApiImpl(ABCKIT_VERSION_RELEASE_1_0_0);
32 static auto g_implG = AbckitGetGraphApiImpl(ABCKIT_VERSION_RELEASE_1_0_0);
33 static auto g_statG = AbckitGetIsaApiStaticImpl(ABCKIT_VERSION_RELEASE_1_0_0);
34
ValidTest(AbckitInst * (* binaryInstToCheck)(AbckitGraph * graph,AbckitInst * input0,uint64_t imm),AbckitIsaApiStaticOpcode expectedOpcode,const std::string & expectedOutput)35 static void ValidTest(AbckitInst *(*binaryInstToCheck)(AbckitGraph *graph, AbckitInst *input0, uint64_t imm),
36 AbckitIsaApiStaticOpcode expectedOpcode, const std::string &expectedOutput)
37 {
38 auto output = helpers::ExecuteStaticAbc(ABCKIT_ABC_DIR "ut/isa/isa_static/arithmetic/bininst_imm_static.abc",
39 "bininst_imm_static/ETSGLOBAL", "main");
40 EXPECT_TRUE(helpers::Match(output, "100\n"));
41
42 helpers::TransformMethod(
43 ABCKIT_ABC_DIR "ut/isa/isa_static/arithmetic/bininst_imm_static.abc",
44 ABCKIT_ABC_DIR "ut/isa/isa_static/arithmetic/bininst_imm_static_modified.abc", "foo",
45 [&](AbckitFile * /*file*/, AbckitCoreFunction * /*method*/, AbckitGraph *graph) {
46 helpers::arithmetic::TransformIrBinInstrWithImmValid(graph, binaryInstToCheck);
47 ASSERT_EQ(g_impl->getLastError(), ABCKIT_STATUS_NO_ERROR);
48 std::vector<helpers::BBSchema<AbckitIsaApiStaticOpcode>> bbSchemas(
49 helpers::arithmetic::CreateBBSchemaForBinaryWithImm(expectedOpcode));
50 helpers::VerifyGraph(graph, bbSchemas);
51 },
52 []([[maybe_unused]] AbckitGraph *graph) {});
53
54 output = helpers::ExecuteStaticAbc(ABCKIT_ABC_DIR "ut/isa/isa_static/arithmetic/bininst_imm_static_modified.abc",
55 "bininst_imm_static/ETSGLOBAL", "main");
56 EXPECT_TRUE(helpers::Match(output, expectedOutput));
57 }
58
59 class LibAbcKitBinaryInstImmTest : public ::testing::Test {};
60
61 // Test: test-kind=api, api=IsaApiStaticImpl::iCreateAddI, abc-kind=ArkTS2, category=positive, extension=c
TEST_F(LibAbcKitBinaryInstImmTest,CreateAddIValid)62 TEST_F(LibAbcKitBinaryInstImmTest, CreateAddIValid)
63 {
64 ValidTest(g_statG->iCreateAddI, ABCKIT_ISA_API_STATIC_OPCODE_ADDI, "15\n");
65 }
66
67 // Test: test-kind=api, api=IsaApiStaticImpl::iCreateMulI, abc-kind=ArkTS2, category=positive, extension=c
TEST_F(LibAbcKitBinaryInstImmTest,CreateMulIValid)68 TEST_F(LibAbcKitBinaryInstImmTest, CreateMulIValid)
69 {
70 ValidTest(g_statG->iCreateMulI, ABCKIT_ISA_API_STATIC_OPCODE_MULI, "50\n");
71 }
72
73 // Test: test-kind=api, api=IsaApiStaticImpl::iCreateModI, abc-kind=ArkTS2, category=positive, extension=c
TEST_F(LibAbcKitBinaryInstImmTest,CreateModIValid)74 TEST_F(LibAbcKitBinaryInstImmTest, CreateModIValid)
75 {
76 ValidTest(g_statG->iCreateModI, ABCKIT_ISA_API_STATIC_OPCODE_MODI, "0\n");
77 }
78
79 // Test: test-kind=api, api=IsaApiStaticImpl::iCreateDivI, abc-kind=ArkTS2, category=positive, extension=c
TEST_F(LibAbcKitBinaryInstImmTest,CreateDivIValid)80 TEST_F(LibAbcKitBinaryInstImmTest, CreateDivIValid)
81 {
82 ValidTest(g_statG->iCreateDivI, ABCKIT_ISA_API_STATIC_OPCODE_DIVI, "2\n");
83 }
84
85 // Test: test-kind=api, api=IsaApiStaticImpl::iCreateSubI, abc-kind=ArkTS2, category=positive, extension=c
TEST_F(LibAbcKitBinaryInstImmTest,CreateSubIValid)86 TEST_F(LibAbcKitBinaryInstImmTest, CreateSubIValid)
87 {
88 ValidTest(g_statG->iCreateSubI, ABCKIT_ISA_API_STATIC_OPCODE_SUBI, "5\n");
89 }
90
91 } // namespace libabckit::test
92 // NOLINTEND(readability-magic-numbers)
93