1 /**
2 * Copyright (c) 2021-2022 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 "unit_test.h"
17 #include "optimizer/ir/graph_cloner.h"
18 #include "optimizer/optimizations/memory_barriers.h"
19
20 namespace panda::compiler {
21 class MemoryBarrierTest : public GraphTest {
22 };
23
TEST_F(MemoryBarrierTest,Test1)24 TEST_F(MemoryBarrierTest, Test1)
25 {
26 GRAPH(GetGraph())
27 {
28 CONSTANT(0, 0x2a).s64();
29 BASIC_BLOCK(2, -1)
30 {
31 INST(1, Opcode::SaveState).Inputs(0).SrcVregs({0});
32 INST(4, Opcode::LoadAndInitClass).ref().Inputs(1);
33 INST(2, Opcode::NewArray).ref().Inputs(4, 0, 1);
34 INST(3, Opcode::SaveState).Inputs(0, 2).SrcVregs({0, 1});
35 INST(5, Opcode::NewObject).ref().Inputs(4, 3);
36 INST(6, Opcode::SaveState).Inputs(0, 2, 5).SrcVregs({0, 1, 2});
37 INST(7, Opcode::CallStatic).v0id().Inputs({{DataType::NO_TYPE, 6}});
38 INST(8, Opcode::SaveState).Inputs(0, 2, 5).SrcVregs({0, 1, 2});
39 INST(9, Opcode::LoadAndInitClass).ref().Inputs(8);
40 INST(10, Opcode::NewObject).ref().Inputs(9, 8);
41 INST(11, Opcode::SaveState).Inputs(0, 2, 5, 10).SrcVregs({0, 1, 2, 3});
42 INST(12, Opcode::CallVirtual)
43 .s64()
44 .Inputs({{DataType::REFERENCE, 2}, {DataType::REFERENCE, 5}, {DataType::NO_TYPE, 6}});
45 INST(13, Opcode::Return).ref().Inputs(10);
46 }
47 }
48 ASSERT_EQ(INS(0).GetFlag(inst_flags::MEM_BARRIER), false);
49 ASSERT_EQ(INS(1).GetFlag(inst_flags::MEM_BARRIER), false);
50 ASSERT_EQ(INS(2).GetFlag(inst_flags::MEM_BARRIER), true);
51 ASSERT_EQ(INS(3).GetFlag(inst_flags::MEM_BARRIER), false);
52 ASSERT_EQ(INS(4).GetFlag(inst_flags::MEM_BARRIER), false);
53 ASSERT_EQ(INS(5).GetFlag(inst_flags::MEM_BARRIER), true);
54 ASSERT_EQ(INS(6).GetFlag(inst_flags::MEM_BARRIER), false);
55 ASSERT_EQ(INS(7).GetFlag(inst_flags::MEM_BARRIER), false);
56 ASSERT_EQ(INS(8).GetFlag(inst_flags::MEM_BARRIER), false);
57 ASSERT_EQ(INS(9).GetFlag(inst_flags::MEM_BARRIER), false);
58 ASSERT_EQ(INS(10).GetFlag(inst_flags::MEM_BARRIER), true);
59 ASSERT_EQ(INS(11).GetFlag(inst_flags::MEM_BARRIER), false);
60 ASSERT_EQ(INS(12).GetFlag(inst_flags::MEM_BARRIER), false);
61 ASSERT_EQ(INS(13).GetFlag(inst_flags::MEM_BARRIER), false);
62
63 ASSERT_TRUE(GetGraph()->RunPass<OptimizeMemoryBarriers>());
64 GraphChecker(GetGraph()).Check();
65
66 ASSERT_EQ(INS(0).GetFlag(inst_flags::MEM_BARRIER), false);
67 ASSERT_EQ(INS(1).GetFlag(inst_flags::MEM_BARRIER), false);
68 ASSERT_EQ(INS(2).GetFlag(inst_flags::MEM_BARRIER), false);
69 ASSERT_EQ(INS(3).GetFlag(inst_flags::MEM_BARRIER), false);
70 ASSERT_EQ(INS(4).GetFlag(inst_flags::MEM_BARRIER), false);
71 ASSERT_EQ(INS(5).GetFlag(inst_flags::MEM_BARRIER), false);
72 ASSERT_EQ(INS(6).GetFlag(inst_flags::MEM_BARRIER), false);
73 ASSERT_EQ(INS(7).GetFlag(inst_flags::MEM_BARRIER), false);
74 ASSERT_EQ(INS(8).GetFlag(inst_flags::MEM_BARRIER), false);
75 ASSERT_EQ(INS(9).GetFlag(inst_flags::MEM_BARRIER), false);
76 ASSERT_EQ(INS(10).GetFlag(inst_flags::MEM_BARRIER), true);
77 ASSERT_EQ(INS(11).GetFlag(inst_flags::MEM_BARRIER), false);
78 ASSERT_EQ(INS(12).GetFlag(inst_flags::MEM_BARRIER), false);
79 ASSERT_EQ(INS(13).GetFlag(inst_flags::MEM_BARRIER), false);
80 }
81 } // namespace panda::compiler
82