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/isa/isa_dynamic.h"
19 #include "libabckit/include/c/abckit.h"
20
21 #include "helpers/helpers.h"
22 #include "helpers/helpers_runtime.h"
23 #include "helpers_arithmetic.h"
24
25 #include <gtest/gtest.h>
26
27 // NOLINTBEGIN(readability-magic-numbers)
28 namespace libabckit::test {
29
30 static auto g_impl = AbckitGetApiImpl(ABCKIT_VERSION_RELEASE_1_0_0);
31 static auto g_implI = AbckitGetInspectApiImpl(ABCKIT_VERSION_RELEASE_1_0_0);
32 static auto g_implM = AbckitGetModifyApiImpl(ABCKIT_VERSION_RELEASE_1_0_0);
33 static auto g_implG = AbckitGetGraphApiImpl(ABCKIT_VERSION_RELEASE_1_0_0);
34 static auto g_dynG = AbckitGetIsaApiDynamicImpl(ABCKIT_VERSION_RELEASE_1_0_0);
35
ValidTest(AbckitInst * (* binaryInstToCheck)(AbckitGraph * graph,AbckitInst * input0,AbckitInst * input1),AbckitIsaApiDynamicOpcode expectedOpcode,const std::string & expectedOutput)36 static void ValidTest(AbckitInst *(*binaryInstToCheck)(AbckitGraph *graph, AbckitInst *input0, AbckitInst *input1),
37 AbckitIsaApiDynamicOpcode expectedOpcode, const std::string &expectedOutput)
38 {
39 auto output = helpers::ExecuteDynamicAbc(ABCKIT_ABC_DIR "ut/isa/isa_dynamic/arithmetic/bininst_dynamic.abc",
40 "bininst_dynamic");
41 EXPECT_TRUE(helpers::Match(output, "60\n"));
42
43 helpers::TransformMethod(
44 ABCKIT_ABC_DIR "ut/isa/isa_dynamic/arithmetic/bininst_dynamic.abc",
45 ABCKIT_ABC_DIR "ut/isa/isa_dynamic/arithmetic/bininst_dynamic_modified.abc", "foo",
46 [&](AbckitFile * /*file*/, AbckitCoreFunction * /*method*/, AbckitGraph *graph) {
47 helpers::arithmetic::TransformIrBinInstrValid(graph, binaryInstToCheck, 4, 3);
48 ASSERT_EQ(g_impl->getLastError(), ABCKIT_STATUS_NO_ERROR);
49 },
50 [&](AbckitGraph *graph) {
51 std::vector<helpers::BBSchema<AbckitIsaApiDynamicOpcode>> bbSchemas(
52 helpers::arithmetic::CreateBBSchemaForDynBinary(expectedOpcode));
53 helpers::VerifyGraph(graph, bbSchemas);
54 });
55
56 output = helpers::ExecuteDynamicAbc(ABCKIT_ABC_DIR "ut/isa/isa_dynamic/arithmetic/bininst_dynamic_modified.abc",
57 "bininst_dynamic");
58 EXPECT_TRUE(helpers::Match(output, expectedOutput));
59 }
60
61 class LibAbcKitCreateDynBinInstTest : public ::testing::Test {};
62
63 // Test: test-kind=api, api=IsaApiDynamicImpl::iCreateAdd2, abc-kind=ArkTS1, category=positive, extension=c
TEST_F(LibAbcKitCreateDynBinInstTest,CreateDynAdd2Valid)64 TEST_F(LibAbcKitCreateDynBinInstTest, CreateDynAdd2Valid)
65 {
66 ValidTest(g_dynG->iCreateAdd2, ABCKIT_ISA_API_DYNAMIC_OPCODE_ADD2, "12\n");
67 }
68
69 // Test: test-kind=api, api=IsaApiDynamicImpl::iCreateMul2, abc-kind=ArkTS1, category=positive, extension=c
TEST_F(LibAbcKitCreateDynBinInstTest,CreateDynMul2Valid)70 TEST_F(LibAbcKitCreateDynBinInstTest, CreateDynMul2Valid)
71 {
72 ValidTest(g_dynG->iCreateMul2, ABCKIT_ISA_API_DYNAMIC_OPCODE_MUL2, "20\n");
73 }
74
75 // Test: test-kind=api, api=IsaApiDynamicImpl::iCreateMod2, abc-kind=ArkTS1, category=positive, extension=c
TEST_F(LibAbcKitCreateDynBinInstTest,CreateDynMod2Valid)76 TEST_F(LibAbcKitCreateDynBinInstTest, CreateDynMod2Valid)
77 {
78 ValidTest(g_dynG->iCreateMod2, ABCKIT_ISA_API_DYNAMIC_OPCODE_MOD2, "0\n");
79 }
80
81 // Test: test-kind=api, api=IsaApiDynamicImpl::iCreateDiv2, abc-kind=ArkTS1, category=positive, extension=c
TEST_F(LibAbcKitCreateDynBinInstTest,CreateDynDiv2Valid)82 TEST_F(LibAbcKitCreateDynBinInstTest, CreateDynDiv2Valid)
83 {
84 ValidTest(g_dynG->iCreateDiv2, ABCKIT_ISA_API_DYNAMIC_OPCODE_DIV2, "5\n");
85 }
86
87 // Test: test-kind=api, api=IsaApiDynamicImpl::iCreateSub2, abc-kind=ArkTS1, category=positive, extension=c
TEST_F(LibAbcKitCreateDynBinInstTest,CreateDynSub2Valid)88 TEST_F(LibAbcKitCreateDynBinInstTest, CreateDynSub2Valid)
89 {
90 ValidTest(g_dynG->iCreateSub2, ABCKIT_ISA_API_DYNAMIC_OPCODE_SUB2, "8\n");
91 }
92
93 // Test: test-kind=api, api=IsaApiDynamicImpl::iCreateExp, abc-kind=ArkTS1, category=positive, extension=c
TEST_F(LibAbcKitCreateDynBinInstTest,CreateDynExpValid)94 TEST_F(LibAbcKitCreateDynBinInstTest, CreateDynExpValid)
95 {
96 ValidTest(g_dynG->iCreateExp, ABCKIT_ISA_API_DYNAMIC_OPCODE_EXP, "100\n");
97 }
98
99 // Test: test-kind=api, api=IsaApiDynamicImpl::iCreateEq, abc-kind=ArkTS1, category=positive, extension=c
TEST_F(LibAbcKitCreateDynBinInstTest,CreateDynEqValid)100 TEST_F(LibAbcKitCreateDynBinInstTest, CreateDynEqValid)
101 {
102 ValidTest(g_dynG->iCreateEq, ABCKIT_ISA_API_DYNAMIC_OPCODE_EQ, "false\n");
103 }
104
105 // Test: test-kind=api, api=IsaApiDynamicImpl::iCreateNoteq, abc-kind=ArkTS1, category=positive, extension=c
TEST_F(LibAbcKitCreateDynBinInstTest,CreateDynNoteqValid)106 TEST_F(LibAbcKitCreateDynBinInstTest, CreateDynNoteqValid)
107 {
108 ValidTest(g_dynG->iCreateNoteq, ABCKIT_ISA_API_DYNAMIC_OPCODE_NOTEQ, "true\n");
109 }
110
111 // Test: test-kind=api, api=IsaApiDynamicImpl::iCreateLess, abc-kind=ArkTS1, category=positive, extension=c
TEST_F(LibAbcKitCreateDynBinInstTest,CreateDynLessValid)112 TEST_F(LibAbcKitCreateDynBinInstTest, CreateDynLessValid)
113 {
114 ValidTest(g_dynG->iCreateLess, ABCKIT_ISA_API_DYNAMIC_OPCODE_LESS, "false\n");
115 }
116
117 // Test: test-kind=api, api=IsaApiDynamicImpl::iCreateLesseq, abc-kind=ArkTS1, category=positive, extension=c
TEST_F(LibAbcKitCreateDynBinInstTest,CreateDynLesseqValid)118 TEST_F(LibAbcKitCreateDynBinInstTest, CreateDynLesseqValid)
119 {
120 ValidTest(g_dynG->iCreateLesseq, ABCKIT_ISA_API_DYNAMIC_OPCODE_LESSEQ, "false\n");
121 }
122
123 // Test: test-kind=api, api=IsaApiDynamicImpl::iCreateGreater, abc-kind=ArkTS1, category=positive, extension=c
TEST_F(LibAbcKitCreateDynBinInstTest,CreateDynGreaterValid)124 TEST_F(LibAbcKitCreateDynBinInstTest, CreateDynGreaterValid)
125 {
126 ValidTest(g_dynG->iCreateGreater, ABCKIT_ISA_API_DYNAMIC_OPCODE_GREATER, "true\n");
127 }
128
129 // Test: test-kind=api, api=IsaApiDynamicImpl::iCreateGreatereq, abc-kind=ArkTS1, category=positive, extension=c
TEST_F(LibAbcKitCreateDynBinInstTest,CreateDynGreatereqValid)130 TEST_F(LibAbcKitCreateDynBinInstTest, CreateDynGreatereqValid)
131 {
132 ValidTest(g_dynG->iCreateGreatereq, ABCKIT_ISA_API_DYNAMIC_OPCODE_GREATEREQ, "true\n");
133 }
134
135 // Test: test-kind=api, api=IsaApiDynamicImpl::iCreateStrictnoteq, abc-kind=ArkTS1, category=positive, extension=c
TEST_F(LibAbcKitCreateDynBinInstTest,CreateDynStrictnoteqValid)136 TEST_F(LibAbcKitCreateDynBinInstTest, CreateDynStrictnoteqValid)
137 {
138 ValidTest(g_dynG->iCreateStrictnoteq, ABCKIT_ISA_API_DYNAMIC_OPCODE_STRICTNOTEQ, "true\n");
139 }
140
141 // Test: test-kind=api, api=IsaApiDynamicImpl::iCreateStricteq, abc-kind=ArkTS1, category=positive, extension=c
TEST_F(LibAbcKitCreateDynBinInstTest,CreateDynStricteqValid)142 TEST_F(LibAbcKitCreateDynBinInstTest, CreateDynStricteqValid)
143 {
144 ValidTest(g_dynG->iCreateStricteq, ABCKIT_ISA_API_DYNAMIC_OPCODE_STRICTEQ, "false\n");
145 }
146
147 } // namespace libabckit::test
148 // NOLINTEND(readability-magic-numbers)
149