arkanalyzer 1.0.20 → 1.0.21

package/lib/transformer/FunctionTransformer.d.ts

@@ -1,3 +1,3 @@
-declare class FunctionTransformer extends Transformer {
-}
+declare class FunctionTransformer extends Transformer {
+}
 //# sourceMappingURL=FunctionTransformer.d.ts.map

package/lib/transformer/FunctionTransformer.js

@@ -1,17 +1,17 @@
-"use strict";
-/*
- * Copyright (c) 2024 Huawei Device Co., Ltd.
- * 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.
- */
-class FunctionTransformer extends Transformer {
-}
+"use strict";
+/*
+ * Copyright (c) 2024 Huawei Device Co., Ltd.
+ * 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.
+ */
+class FunctionTransformer extends Transformer {
+}

package/lib/transformer/SceneTransformer.d.ts

@@ -1,3 +1,3 @@
-declare class SceneTransformer extends Transformer {
-}
+declare class SceneTransformer extends Transformer {
+}
 //# sourceMappingURL=SceneTransformer.d.ts.map

package/lib/transformer/SceneTransformer.js

@@ -1,17 +1,17 @@
-"use strict";
-/*
- * Copyright (c) 2024 Huawei Device Co., Ltd.
- * 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.
- */
-class SceneTransformer extends Transformer {
-}
+"use strict";
+/*
+ * Copyright (c) 2024 Huawei Device Co., Ltd.
+ * 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.
+ */
+class SceneTransformer extends Transformer {
+}

package/lib/transformer/StaticSingleAssignmentFormer.d.ts

@@ -1,13 +1,13 @@
-import { ArkBody } from '../core/model/ArkBody';
-export declare class StaticSingleAssignmentFormer {
-    transformBody(body: ArkBody): void;
-    private decideBlockToPhiStmts;
-    private addPhiStmts;
-    private renameLocals;
-    private constainsPhiExpr;
-    private getOriginalLocal;
-    private addNewArgToPhi;
-    private containsAllChildren;
-    private createEmptyPhiStmt;
-}
+import { ArkBody } from '../core/model/ArkBody';
+export declare class StaticSingleAssignmentFormer {
+    transformBody(body: ArkBody): void;
+    private decideBlockToPhiStmts;
+    private addPhiStmts;
+    private renameLocals;
+    private constainsPhiExpr;
+    private getOriginalLocal;
+    private addNewArgToPhi;
+    private containsAllChildren;
+    private createEmptyPhiStmt;
+}
 //# sourceMappingURL=StaticSingleAssignmentFormer.d.ts.map

package/lib/transformer/StaticSingleAssignmentFormer.js

@@ -1,259 +1,259 @@
-"use strict";
-/*
- * Copyright (c) 2024 Huawei Device Co., Ltd.
- * 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.
- */
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.StaticSingleAssignmentFormer = void 0;
-const Expr_1 = require("../core/base/Expr");
-const Local_1 = require("../core/base/Local");
-const Stmt_1 = require("../core/base/Stmt");
-const DominanceFinder_1 = require("../core/graph/DominanceFinder");
-const DominanceTree_1 = require("../core/graph/DominanceTree");
-class StaticSingleAssignmentFormer {
-    transformBody(body) {
-        var _a;
-        let cfg = body.getCfg();
-        let blockToDefs = new Map();
-        let localToBlocks = new Map();
-        for (const block of cfg.getBlocks()) {
-            let defs = new Set();
-            for (const stmt of block.getStmts()) {
-                if (stmt.getDef() != null && stmt.getDef() instanceof Local_1.Local) {
-                    let local = stmt.getDef();
-                    defs.add(local);
-                    if (localToBlocks.has(local)) {
-                        (_a = localToBlocks.get(local)) === null || _a === void 0 ? void 0 : _a.add(block);
-                    }
-                    else {
-                        let blcoks = new Set();
-                        blcoks.add(block);
-                        localToBlocks.set(local, blcoks);
-                    }
-                }
-            }
-            blockToDefs.set(block, defs);
-        }
-        let dominanceFinder = new DominanceFinder_1.DominanceFinder(cfg);
-        let blockToPhiStmts = this.decideBlockToPhiStmts(body, dominanceFinder, blockToDefs, localToBlocks);
-        this.addPhiStmts(blockToPhiStmts, cfg, blockToDefs);
-        let dominanceTree = new DominanceTree_1.DominanceTree(dominanceFinder);
-        this.renameLocals(body, dominanceTree, blockToPhiStmts);
-    }
-    decideBlockToPhiStmts(body, dominanceFinder, blockToDefs, localToBlocks) {
-        var _a, _b, _c, _d;
-        let blockToPhiStmts = new Map();
-        let blockToPhiLocals = new Map();
-        let localToPhiBlock = new Map();
-        for (const [_, local] of body.getLocals()) {
-            localToPhiBlock.set(local, new Set());
-            let phiBlocks = localToPhiBlock.get(local);
-            let blocks = Array.from(localToBlocks.get(local));
-            while (blocks.length !== 0) {
-                let block = blocks.splice(0, 1).at(0);
-                let dfs = dominanceFinder.getDominanceFrontiers(block);
-                for (const df of dfs) {
-                    if (!phiBlocks.has(df)) {
-                        phiBlocks.add(df);
-                        let phiStmt = this.createEmptyPhiStmt(local);
-                        if (blockToPhiStmts.has(df)) {
-                            (_a = blockToPhiStmts.get(df)) === null || _a === void 0 ? void 0 : _a.add(phiStmt);
-                            (_b = blockToPhiLocals.get(df)) === null || _b === void 0 ? void 0 : _b.add(local);
-                        }
-                        else {
-                            let phiStmts = new Set();
-                            phiStmts.add(phiStmt);
-                            blockToPhiStmts.set(df, phiStmts);
-                            let phiLocals = new Set();
-                            phiLocals.add(local);
-                            blockToPhiLocals.set(df, phiLocals);
-                        }
-                        (_c = blockToDefs.get(df)) === null || _c === void 0 ? void 0 : _c.add(local);
-                        if (!((_d = blockToDefs.get(df)) === null || _d === void 0 ? void 0 : _d.has(local))) {
-                            blocks.push(df);
-                        }
-                    }
-                }
-            }
-        }
-        return blockToPhiStmts;
-    }
-    addPhiStmts(blockToPhiStmts, cfg, blockToDefs) {
-        var _a;
-        let phiArgsNum = new Map();
-        for (const block of cfg.getBlocks()) {
-            let succs = Array.from(block.getSuccessors());
-            for (const succ of succs) {
-                if (blockToPhiStmts.has(succ)) {
-                    for (const phi of blockToPhiStmts.get(succ)) {
-                        let local = phi.getDef();
-                        if ((_a = blockToDefs.get(block)) === null || _a === void 0 ? void 0 : _a.has(local)) {
-                            if (phiArgsNum.has(phi)) {
-                                let num = phiArgsNum.get(phi);
-                                phiArgsNum.set(phi, num + 1);
-                            }
-                            else {
-                                phiArgsNum.set(phi, 1);
-                            }
-                        }
-                    }
-                }
-            }
-        }
-        for (const block of blockToPhiStmts.keys()) {
-            let phis = blockToPhiStmts.get(block);
-            let phisTocheck = new Set(phis);
-            for (const phi of phisTocheck) {
-                if (phiArgsNum.get(phi) < 2) {
-                    phis.delete(phi);
-                }
-            }
-            for (const phi of phis) {
-                cfg.insertBefore(phi, block.getHead());
-            }
-        }
-    }
-    renameLocals(body, dominanceTree, blockToPhiStmts) {
-        var _a, _b;
-        let newLocals = new Set(body.getLocals().values());
-        let localToNameStack = new Map();
-        for (const local of newLocals) {
-            localToNameStack.set(local, new Array());
-        }
-        let blockStack = new Array();
-        let visited = new Set();
-        let dfsBlocks = dominanceTree.getAllNodesDFS();
-        let nextFreeIdx = 0;
-        for (const block of dfsBlocks) {
-            let newPhiStmts = new Set();
-            for (const stmt of block.getStmts()) {
-                // rename uses
-                let uses = stmt.getUses();
-                if (uses.length > 0 && !this.constainsPhiExpr(stmt)) {
-                    for (const use of uses) {
-                        if (use instanceof Local_1.Local) {
-                            let nameStack = localToNameStack.get(use);
-                            let newUse = nameStack[nameStack.length - 1];
-                            stmt.replaceUse(use, newUse);
-                        }
-                    }
-                }
-                // rename def
-                let def = stmt.getDef();
-                if (def != null && def instanceof Local_1.Local) {
-                    let newName = def.getName() + '#' + nextFreeIdx;
-                    nextFreeIdx++;
-                    let newDef = new Local_1.Local(newName);
-                    newDef.setOriginalValue(def);
-                    newLocals.add(newDef);
-                    (_a = localToNameStack.get(def)) === null || _a === void 0 ? void 0 : _a.push(newDef);
-                    stmt.setLeftOp(newDef);
-                    if (this.constainsPhiExpr(stmt)) {
-                        newPhiStmts.add(stmt);
-                    }
-                }
-            }
-            visited.add(block);
-            blockStack.push(block);
-            if (blockToPhiStmts.has(block)) {
-                blockToPhiStmts.set(block, newPhiStmts);
-            }
-            // rename phiStmts' args
-            let succs = Array.from(block.getSuccessors());
-            for (const succ of succs) {
-                if (blockToPhiStmts.has(succ)) {
-                    let phiStmts = blockToPhiStmts.get(succ);
-                    for (const phiStmt of phiStmts) {
-                        let def = phiStmt.getDef();
-                        let oriDef = this.getOriginalLocal(def, new Set(localToNameStack.keys()));
-                        let nameStack = localToNameStack.get(oriDef);
-                        let arg = nameStack[nameStack.length - 1];
-                        this.addNewArgToPhi(phiStmt, arg, block);
-                    }
-                }
-            }
-            // if a block's children in dominance tree are visited, remove it
-            let top = blockStack[blockStack.length - 1];
-            let children = dominanceTree.getChildren(top);
-            while (this.containsAllChildren(visited, children)) {
-                blockStack.pop();
-                for (const stmt of top.getStmts()) {
-                    let def = stmt.getDef();
-                    if (def != null && def instanceof Local_1.Local) {
-                        let oriDef = this.getOriginalLocal(def, new Set(localToNameStack.keys()));
-                        (_b = localToNameStack.get(oriDef)) === null || _b === void 0 ? void 0 : _b.pop();
-                    }
-                }
-                // next block to check
-                if (blockStack.length > 0) {
-                    top = blockStack[blockStack.length - 1];
-                    children = dominanceTree.getChildren(top);
-                }
-                else {
-                    break;
-                }
-            }
-        }
-        body.setLocals(newLocals);
-    }
-    constainsPhiExpr(stmt) {
-        if (stmt instanceof Stmt_1.ArkAssignStmt && stmt.getUses().length > 0) {
-            for (const use of stmt.getUses()) {
-                if (use instanceof Expr_1.ArkPhiExpr) {
-                    return true;
-                }
-            }
-        }
-        return false;
-    }
-    getOriginalLocal(local, locals) {
-        if (locals.has(local)) {
-            return local;
-        }
-        let hashPos = local.getName().indexOf('#');
-        let oriName = local.getName().substring(0, hashPos);
-        for (const oriLocal of locals) {
-            if (oriLocal.getName() === oriName) {
-                return oriLocal;
-            }
-        }
-        return null;
-    }
-    addNewArgToPhi(phiStmt, arg, block) {
-        for (let use of phiStmt.getUses()) {
-            if (use instanceof Expr_1.ArkPhiExpr) {
-                let phiExpr = use;
-                let args = phiExpr.getArgs();
-                let argToBlock = phiExpr.getArgToBlock();
-                args.push(arg);
-                argToBlock.set(arg, block);
-                phiExpr.setArgs(args);
-                phiExpr.setArgToBlock(argToBlock);
-                break;
-            }
-        }
-    }
-    containsAllChildren(blockSet, children) {
-        for (const child of children) {
-            if (!blockSet.has(child)) {
-                return false;
-            }
-        }
-        return true;
-    }
-    createEmptyPhiStmt(local) {
-        let phiExpr = new Expr_1.ArkPhiExpr();
-        return new Stmt_1.ArkAssignStmt(local, phiExpr);
-    }
-}
-exports.StaticSingleAssignmentFormer = StaticSingleAssignmentFormer;
+"use strict";
+/*
+ * Copyright (c) 2024 Huawei Device Co., Ltd.
+ * 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.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.StaticSingleAssignmentFormer = void 0;
+const Expr_1 = require("../core/base/Expr");
+const Local_1 = require("../core/base/Local");
+const Stmt_1 = require("../core/base/Stmt");
+const DominanceFinder_1 = require("../core/graph/DominanceFinder");
+const DominanceTree_1 = require("../core/graph/DominanceTree");
+class StaticSingleAssignmentFormer {
+    transformBody(body) {
+        var _a;
+        let cfg = body.getCfg();
+        let blockToDefs = new Map();
+        let localToBlocks = new Map();
+        for (const block of cfg.getBlocks()) {
+            let defs = new Set();
+            for (const stmt of block.getStmts()) {
+                if (stmt.getDef() != null && stmt.getDef() instanceof Local_1.Local) {
+                    let local = stmt.getDef();
+                    defs.add(local);
+                    if (localToBlocks.has(local)) {
+                        (_a = localToBlocks.get(local)) === null || _a === void 0 ? void 0 : _a.add(block);
+                    }
+                    else {
+                        let blcoks = new Set();
+                        blcoks.add(block);
+                        localToBlocks.set(local, blcoks);
+                    }
+                }
+            }
+            blockToDefs.set(block, defs);
+        }
+        let dominanceFinder = new DominanceFinder_1.DominanceFinder(cfg);
+        let blockToPhiStmts = this.decideBlockToPhiStmts(body, dominanceFinder, blockToDefs, localToBlocks);
+        this.addPhiStmts(blockToPhiStmts, cfg, blockToDefs);
+        let dominanceTree = new DominanceTree_1.DominanceTree(dominanceFinder);
+        this.renameLocals(body, dominanceTree, blockToPhiStmts);
+    }
+    decideBlockToPhiStmts(body, dominanceFinder, blockToDefs, localToBlocks) {
+        var _a, _b, _c, _d;
+        let blockToPhiStmts = new Map();
+        let blockToPhiLocals = new Map();
+        let localToPhiBlock = new Map();
+        for (const [_, local] of body.getLocals()) {
+            localToPhiBlock.set(local, new Set());
+            let phiBlocks = localToPhiBlock.get(local);
+            let blocks = Array.from(localToBlocks.get(local));
+            while (blocks.length !== 0) {
+                let block = blocks.splice(0, 1).at(0);
+                let dfs = dominanceFinder.getDominanceFrontiers(block);
+                for (const df of dfs) {
+                    if (!phiBlocks.has(df)) {
+                        phiBlocks.add(df);
+                        let phiStmt = this.createEmptyPhiStmt(local);
+                        if (blockToPhiStmts.has(df)) {
+                            (_a = blockToPhiStmts.get(df)) === null || _a === void 0 ? void 0 : _a.add(phiStmt);
+                            (_b = blockToPhiLocals.get(df)) === null || _b === void 0 ? void 0 : _b.add(local);
+                        }
+                        else {
+                            let phiStmts = new Set();
+                            phiStmts.add(phiStmt);
+                            blockToPhiStmts.set(df, phiStmts);
+                            let phiLocals = new Set();
+                            phiLocals.add(local);
+                            blockToPhiLocals.set(df, phiLocals);
+                        }
+                        (_c = blockToDefs.get(df)) === null || _c === void 0 ? void 0 : _c.add(local);
+                        if (!((_d = blockToDefs.get(df)) === null || _d === void 0 ? void 0 : _d.has(local))) {
+                            blocks.push(df);
+                        }
+                    }
+                }
+            }
+        }
+        return blockToPhiStmts;
+    }
+    addPhiStmts(blockToPhiStmts, cfg, blockToDefs) {
+        var _a;
+        let phiArgsNum = new Map();
+        for (const block of cfg.getBlocks()) {
+            let succs = Array.from(block.getSuccessors());
+            for (const succ of succs) {
+                if (blockToPhiStmts.has(succ)) {
+                    for (const phi of blockToPhiStmts.get(succ)) {
+                        let local = phi.getDef();
+                        if ((_a = blockToDefs.get(block)) === null || _a === void 0 ? void 0 : _a.has(local)) {
+                            if (phiArgsNum.has(phi)) {
+                                let num = phiArgsNum.get(phi);
+                                phiArgsNum.set(phi, num + 1);
+                            }
+                            else {
+                                phiArgsNum.set(phi, 1);
+                            }
+                        }
+                    }
+                }
+            }
+        }
+        for (const block of blockToPhiStmts.keys()) {
+            let phis = blockToPhiStmts.get(block);
+            let phisTocheck = new Set(phis);
+            for (const phi of phisTocheck) {
+                if (phiArgsNum.get(phi) < 2) {
+                    phis.delete(phi);
+                }
+            }
+            for (const phi of phis) {
+                cfg.insertBefore(phi, block.getHead());
+            }
+        }
+    }
+    renameLocals(body, dominanceTree, blockToPhiStmts) {
+        var _a, _b;
+        let newLocals = new Set(body.getLocals().values());
+        let localToNameStack = new Map();
+        for (const local of newLocals) {
+            localToNameStack.set(local, new Array());
+        }
+        let blockStack = new Array();
+        let visited = new Set();
+        let dfsBlocks = dominanceTree.getAllNodesDFS();
+        let nextFreeIdx = 0;
+        for (const block of dfsBlocks) {
+            let newPhiStmts = new Set();
+            for (const stmt of block.getStmts()) {
+                // rename uses
+                let uses = stmt.getUses();
+                if (uses.length > 0 && !this.constainsPhiExpr(stmt)) {
+                    for (const use of uses) {
+                        if (use instanceof Local_1.Local) {
+                            let nameStack = localToNameStack.get(use);
+                            let newUse = nameStack[nameStack.length - 1];
+                            stmt.replaceUse(use, newUse);
+                        }
+                    }
+                }
+                // rename def
+                let def = stmt.getDef();
+                if (def != null && def instanceof Local_1.Local) {
+                    let newName = def.getName() + '#' + nextFreeIdx;
+                    nextFreeIdx++;
+                    let newDef = new Local_1.Local(newName);
+                    newDef.setOriginalValue(def);
+                    newLocals.add(newDef);
+                    (_a = localToNameStack.get(def)) === null || _a === void 0 ? void 0 : _a.push(newDef);
+                    stmt.setLeftOp(newDef);
+                    if (this.constainsPhiExpr(stmt)) {
+                        newPhiStmts.add(stmt);
+                    }
+                }
+            }
+            visited.add(block);
+            blockStack.push(block);
+            if (blockToPhiStmts.has(block)) {
+                blockToPhiStmts.set(block, newPhiStmts);
+            }
+            // rename phiStmts' args
+            let succs = Array.from(block.getSuccessors());
+            for (const succ of succs) {
+                if (blockToPhiStmts.has(succ)) {
+                    let phiStmts = blockToPhiStmts.get(succ);
+                    for (const phiStmt of phiStmts) {
+                        let def = phiStmt.getDef();
+                        let oriDef = this.getOriginalLocal(def, new Set(localToNameStack.keys()));
+                        let nameStack = localToNameStack.get(oriDef);
+                        let arg = nameStack[nameStack.length - 1];
+                        this.addNewArgToPhi(phiStmt, arg, block);
+                    }
+                }
+            }
+            // if a block's children in dominance tree are visited, remove it
+            let top = blockStack[blockStack.length - 1];
+            let children = dominanceTree.getChildren(top);
+            while (this.containsAllChildren(visited, children)) {
+                blockStack.pop();
+                for (const stmt of top.getStmts()) {
+                    let def = stmt.getDef();
+                    if (def != null && def instanceof Local_1.Local) {
+                        let oriDef = this.getOriginalLocal(def, new Set(localToNameStack.keys()));
+                        (_b = localToNameStack.get(oriDef)) === null || _b === void 0 ? void 0 : _b.pop();
+                    }
+                }
+                // next block to check
+                if (blockStack.length > 0) {
+                    top = blockStack[blockStack.length - 1];
+                    children = dominanceTree.getChildren(top);
+                }
+                else {
+                    break;
+                }
+            }
+        }
+        body.setLocals(newLocals);
+    }
+    constainsPhiExpr(stmt) {
+        if (stmt instanceof Stmt_1.ArkAssignStmt && stmt.getUses().length > 0) {
+            for (const use of stmt.getUses()) {
+                if (use instanceof Expr_1.ArkPhiExpr) {
+                    return true;
+                }
+            }
+        }
+        return false;
+    }
+    getOriginalLocal(local, locals) {
+        if (locals.has(local)) {
+            return local;
+        }
+        let hashPos = local.getName().indexOf('#');
+        let oriName = local.getName().substring(0, hashPos);
+        for (const oriLocal of locals) {
+            if (oriLocal.getName() === oriName) {
+                return oriLocal;
+            }
+        }
+        return null;
+    }
+    addNewArgToPhi(phiStmt, arg, block) {
+        for (let use of phiStmt.getUses()) {
+            if (use instanceof Expr_1.ArkPhiExpr) {
+                let phiExpr = use;
+                let args = phiExpr.getArgs();
+                let argToBlock = phiExpr.getArgToBlock();
+                args.push(arg);
+                argToBlock.set(arg, block);
+                phiExpr.setArgs(args);
+                phiExpr.setArgToBlock(argToBlock);
+                break;
+            }
+        }
+    }
+    containsAllChildren(blockSet, children) {
+        for (const child of children) {
+            if (!blockSet.has(child)) {
+                return false;
+            }
+        }
+        return true;
+    }
+    createEmptyPhiStmt(local) {
+        let phiExpr = new Expr_1.ArkPhiExpr();
+        return new Stmt_1.ArkAssignStmt(local, phiExpr);
+    }
+}
+exports.StaticSingleAssignmentFormer = StaticSingleAssignmentFormer;

package/lib/transformer/Transformer.d.ts

@@ -1,7 +1,7 @@
-/**
- *
- */
-declare class Transformer {
-    internalTransform(): void;
-}
+/**
+ *
+ */
+declare class Transformer {
+    internalTransform(): void;
+}
 //# sourceMappingURL=Transformer.d.ts.map