• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 /**
2  * Copyright (c) 2025 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 #ifndef ES2PANDA_COMPILER_LOWERING_ARRAY_LITERAL_LOWERING_H
17 #define ES2PANDA_COMPILER_LOWERING_ARRAY_LITERAL_LOWERING_H
18 
19 #include "checker/types/ets/etsResizableArrayType.h"
20 #include "compiler/lowering/phase.h"
21 #include "ir/astNode.h"
22 #include "ir/ets/etsNewArrayInstanceExpression.h"
23 #include "ir/ts/tsArrayType.h"
24 #include "parser/ETSparser.h"
25 #include "utils/arena_containers.h"
26 #include "varbinder/ETSBinder.h"
27 
28 namespace ark::es2panda::compiler {
29 
30 class ArrayLiteralLowering : public PhaseForBodies {
31 public:
32     std::string_view Name() const override;
33     bool PerformForModule(public_lib::Context *ctx, parser::Program *program) override;
34 
35 private:
36     ArenaVector<ir::Statement *> GenerateDefaultCallToConstructor(ir::Identifier *arraySymbol, checker::Type *eleType);
37     ir::Statement *CreateNestedArrayCreationStatement(ArenaVector<ir::Identifier *> &identDims, size_t currentDim,
38                                                       checker::Type *type, ir::Expression *expr);
39     ir::AstNode *TryTransformLiteralArrayToRefArray(ir::ArrayExpression *literalArray);
40     ir::AstNode *TryTransformNewArrayExprToRefArray(ir::ETSNewArrayInstanceExpression *newExpr);
41     ArenaVector<ir::Identifier *> TransformDimVectorToIdentVector(ArenaVector<ir::Expression *> &dimVector,
42                                                                   ArenaVector<ir::Statement *> &stmts);
43     ir::AstNode *TryTransformNewMultiDimArrayToRefArray(ir::ETSNewMultiDimArrayInstanceExpression *newExpr);
44 
45     ArenaAllocator *Allocator();
46 
47     parser::ETSParser *parser_ {nullptr};
48     varbinder::ETSBinder *varbinder_ {nullptr};
49     checker::ETSChecker *checker_ {nullptr};
50 };
51 
52 }  // namespace ark::es2panda::compiler
53 
54 #endif