arkanalyzer 1.0.29 → 1.0.30

package/lib/save/source/SourceStmt.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"SourceStmt.d.ts","sourceRoot":"","sources":["../../../src/save/source/SourceStmt.ts"],"names":[],"mappings":"AAgBA,OAAO,EAEH,eAAe,EAIlB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAE9C,OAAO,EAEH,aAAa,EACb,SAAS,EACT,aAAa,EACb,aAAa,EACb,iBAAiB,EACjB,YAAY,EACZ,IAAI,EACP,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,SAAS,EAAmB,MAAM,sBAAsB,CAAC;AAClE,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AAEzD,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAQ5E,OAAO,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAC;AAK3C,MAAM,WAAW,kBAAmB,SAAQ,kBAAkB;IAC1D,aAAa,IAAI,UAAU,CAAC;IAE5B,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAE9C,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAEpC,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAEjC,WAAW,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC;IAE9B,SAAS,IAAI,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAEhC,WAAW,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI,CAAC;IAEhC,cAAc,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC;IAEtC,iBAAiB,IAAI,OAAO,CAAC;CAChC;AAED,8BAAsB,UAAW,YAAW,IAAI;IAC5C,QAAQ,EAAE,IAAI,CAAC;IACf,OAAO,EAAE,kBAAkB,CAAC;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAM;IAClB,WAAW,EAAE,iBAAiB,CAAC;gBAEnB,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,IAAI;IAOhD,OAAO,IAAI,MAAM;IAIjB,OAAO,CAAC,IAAI,EAAE,MAAM;IAIpB,IAAI,IAAI,MAAM;IAOrB,SAAS,CAAC,UAAU,IAAI,IAAI;IAE5B,SAAS,CAAC,SAAS,IAAI,IAAI;IAE3B,SAAS,CAAC,MAAM,IAAI,MAAM;IAe1B,SAAS,KAAK,OAAO,IAAI,aAAa,CAErC;IAEM,QAAQ,IAAI,MAAM;IAIzB,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAIrC,SAAS,CAAC,SAAS,IAAI,MAAM;aAIb,WAAW,IAAI,IAAI;IAEnC,SAAS,CAAC,gBAAgB,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO;CAOpD;AAQD,qBAAa,gBAAiB,SAAQ,UAAU;IAC5C,OAAO,CAAC,MAAM,CAAwC;IACtD,OAAO,CAAC,OAAO,CAAwC;IACvD,OAAO,CAAC,QAAQ,CAAc;IAC9B,OAAO,CAAC,SAAS,CAAc;IAC/B,OAAO,CAAC,QAAQ,CAAC,CAAqB;IACtC,OAAO,CAAC,YAAY,CAAS;gBAEjB,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,aAAa;IAKzD,WAAW,IAAI,IAAI;IA+D1B,SAAS,CAAC,UAAU,IAAI,IAAI;IAqC5B,SAAS,CAAC,SAAS,IAAI,IAAI;IAM3B,OAAO,CAAC,kBAAkB;IAa1B;;;OAGG;IACH,OAAO,CAAC,oBAAoB;IA4C5B;;;;;OAKG;IACH,OAAO,CAAC,yBAAyB;IAqBjC,OAAO,CAAC,4BAA4B;IAmBpC,OAAO,CAAC,+BAA+B;CAK1C;AAED,qBAAa,gBAAiB,SAAQ,UAAU;gBAChC,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,aAAa;IAIzD,WAAW,IAAI,IAAI;IAwB1B,SAAS,CAAC,UAAU,IAAI,IAAI;IAW5B,SAAS,CAAC,SAAS,IAAI,IAAI;CAO9B;AAED,qBAAa,YAAa,SAAQ,UAAU;gBAC5B,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,SAAS;IAIrD,WAAW,IAAI,IAAI;IAS1B,SAAS,CAAC,SAAS,IAAI,IAAI;CAG9B;AAED,qBAAa,eAAgB,SAAQ,UAAU;IAC3C,KAAK,EAAE,UAAU,CAAC;gBAEN,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU;IAK/E,SAAS,CAAC,SAAS,IAAI,IAAI;IAI3B;;;;;;;OAOG;IACH,OAAO,CAAC,QAAQ;IA+HT,WAAW,IAAI,IAAI;IAY1B,SAAS,CAAC,aAAa,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM;CA4BhD;AAED,qBAAa,aAAc,SAAQ,eAAe;IAC9C,QAAQ,EAAE,UAAU,CAAC;gBAET,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU;IAK9F,WAAW,IAAI,IAAI;CAmB7B;AAED,qBAAa,YAAa,SAAQ,UAAU;gBAC5B,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI;IAI5C,WAAW,IAAI,IAAI;IAI1B,SAAS,CAAC,SAAS,IAAI,IAAI;CAG9B;AAED,qBAAa,iBAAkB,SAAQ,eAAe;gBACtC,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU;IAIpE,WAAW,IAAI,IAAI;IAS1B,SAAS,CAAC,UAAU,IAAI,IAAI;IAI5B,SAAS,CAAC,SAAS,IAAI,IAAI;CAC9B;AAED,qBAAa,cAAe,SAAQ,UAAU;gBAC9B,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,IAAI;IAIhD,WAAW,IAAI,IAAI;IAI1B,SAAS,CAAC,UAAU,IAAI,IAAI;IAI5B,SAAS,CAAC,SAAS,IAAI,IAAI;CAG9B;AAED,qBAAa,kBAAmB,SAAQ,UAAU;gBAClC,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,IAAI;IAKhD,WAAW,IAAI,IAAI;CAG7B;AAED,qBAAa,eAAgB,SAAQ,UAAU;gBAC/B,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,IAAI;IAKhD,WAAW,IAAI,IAAI;CAG7B;AAED,qBAAa,gBAAiB,SAAQ,UAAU;gBAChC,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,aAAa;IAIzD,WAAW,IAAI,IAAI;CAG7B;AAED,qBAAa,oBAAqB,SAAQ,UAAU;gBACpC,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,iBAAiB;IAI7D,WAAW,IAAI,IAAI;CAO7B;AAED,qBAAa,qBAAsB,SAAQ,UAAU;gBACrC,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM;IAK1D,WAAW,IAAI,IAAI;IAE1B,SAAS,CAAC,UAAU,IAAI,IAAI;CAG/B;AAED,qBAAa,gBAAiB,SAAQ,UAAU;gBAChC,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI;IAI5C,WAAW,IAAI,IAAI;CAG7B;AAED,qBAAa,eAAgB,SAAQ,UAAU;gBAC/B,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,YAAY;IAIxD,WAAW,IAAI,IAAI;CAG7B;AAED,qBAAa,mBAAoB,SAAQ,UAAU;IAC/C,SAAS,EAAE,SAAS,CAAC;gBACT,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS;IAKtE,WAAW,IAAI,IAAI;IA0C1B,OAAO,CAAC,eAAe;CAU1B;AAED,qBAAa,aAAc,SAAQ,UAAU;gBAC7B,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI;IAI5C,WAAW,IAAI,IAAI;IAI1B,SAAS,CAAC,SAAS,IAAI,IAAI;CAG9B;AAED,qBAAa,eAAgB,SAAQ,UAAU;IAC3C,KAAK,EAAE,UAAU,GAAG,SAAS,CAAC;gBAClB,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,UAAU;IAKhE,WAAW,IAAI,IAAI;IAe1B,SAAS,CAAC,UAAU,IAAI,IAAI;IAI5B,SAAS,CAAC,SAAS,IAAI,IAAI;CAG9B;AAED,qBAAa,iBAAkB,SAAQ,UAAU;gBACjC,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI;IAI5C,WAAW,IAAI,IAAI;IAI1B,SAAS,CAAC,UAAU,IAAI,IAAI;IAI5B,SAAS,CAAC,SAAS,IAAI,IAAI;CAG9B;AAED,qBAAa,kBAAkB;IAC3B,IAAI,EAAE,eAAe,CAAC;IACtB,MAAM,EAAE,MAAM,EAAE,CAAC;gBAEL,IAAI,EAAE,eAAe;IAK1B,YAAY,CAAC,KAAK,EAAE,MAAM;IAI1B,QAAQ,IAAI,MAAM;CAG5B;AAED,wBAAgB,eAAe,CAAC,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI,GAAG,UAAU,CAqBnF"}
+{"version":3,"file":"SourceStmt.d.ts","sourceRoot":"","sources":["../../../src/save/source/SourceStmt.ts"],"names":[],"mappings":"AAgBA,OAAO,EAEH,eAAe,EAIlB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAE9C,OAAO,EAEH,aAAa,EACb,SAAS,EACT,aAAa,EACb,aAAa,EACb,iBAAiB,EACjB,YAAY,EACZ,IAAI,EACP,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,SAAS,EAAmB,MAAM,sBAAsB,CAAC;AAClE,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AAEzD,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAQ5E,OAAO,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAC;AAK3C,MAAM,WAAW,kBAAmB,SAAQ,kBAAkB;IAC1D,aAAa,IAAI,UAAU,CAAC;IAE5B,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAE9C,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAEpC,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAEjC,WAAW,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC;IAE9B,SAAS,IAAI,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAEhC,WAAW,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI,CAAC;IAEhC,cAAc,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC;IAEtC,iBAAiB,IAAI,OAAO,CAAC;CAChC;AAED,8BAAsB,UAAW,YAAW,IAAI;IAC5C,QAAQ,EAAE,IAAI,CAAC;IACf,OAAO,EAAE,kBAAkB,CAAC;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAM;IAClB,WAAW,EAAE,iBAAiB,CAAC;gBAEnB,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,IAAI;IAOhD,OAAO,IAAI,MAAM;IAIjB,OAAO,CAAC,IAAI,EAAE,MAAM;IAIpB,IAAI,IAAI,MAAM;IAOrB,SAAS,CAAC,UAAU,IAAI,IAAI;IAE5B,SAAS,CAAC,SAAS,IAAI,IAAI;IAE3B,SAAS,CAAC,MAAM,IAAI,MAAM;IAe1B,SAAS,KAAK,OAAO,IAAI,aAAa,CAErC;IAEM,QAAQ,IAAI,MAAM;IAIzB,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAIrC,SAAS,CAAC,SAAS,IAAI,MAAM;aAIb,WAAW,IAAI,IAAI;IAEnC,SAAS,CAAC,gBAAgB,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO;CAOpD;AAQD,qBAAa,gBAAiB,SAAQ,UAAU;IAC5C,OAAO,CAAC,MAAM,CAAwC;IACtD,OAAO,CAAC,OAAO,CAAwC;IACvD,OAAO,CAAC,QAAQ,CAAc;IAC9B,OAAO,CAAC,SAAS,CAAc;IAC/B,OAAO,CAAC,QAAQ,CAAC,CAAqB;IACtC,OAAO,CAAC,YAAY,CAAS;gBAEjB,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,aAAa;IAKzD,WAAW,IAAI,IAAI;IA+D1B,SAAS,CAAC,UAAU,IAAI,IAAI;IAqC5B,SAAS,CAAC,SAAS,IAAI,IAAI;IAM3B,OAAO,CAAC,kBAAkB;IAa1B;;;OAGG;IACH,OAAO,CAAC,oBAAoB;IA6B5B,OAAO,CAAC,uBAAuB;IAmB/B;;;;;OAKG;IACH,OAAO,CAAC,yBAAyB;IAqBjC,OAAO,CAAC,4BAA4B;IAmBpC,OAAO,CAAC,+BAA+B;CAK1C;AAED,qBAAa,gBAAiB,SAAQ,UAAU;gBAChC,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,aAAa;IAIzD,WAAW,IAAI,IAAI;IAwB1B,SAAS,CAAC,UAAU,IAAI,IAAI;IAW5B,SAAS,CAAC,SAAS,IAAI,IAAI;CAO9B;AAED,qBAAa,YAAa,SAAQ,UAAU;gBAC5B,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,SAAS;IAIrD,WAAW,IAAI,IAAI;IAS1B,SAAS,CAAC,SAAS,IAAI,IAAI;CAG9B;AAED,qBAAa,eAAgB,SAAQ,UAAU;IAC3C,KAAK,EAAE,UAAU,CAAC;gBAEN,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU;IAK/E,SAAS,CAAC,SAAS,IAAI,IAAI;IAI3B;;;;;;;OAOG;IACH,OAAO,CAAC,QAAQ;IA+HT,WAAW,IAAI,IAAI;IAY1B,SAAS,CAAC,aAAa,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM;CA4BhD;AAED,qBAAa,aAAc,SAAQ,eAAe;IAC9C,QAAQ,EAAE,UAAU,CAAC;gBAET,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU;IAK9F,WAAW,IAAI,IAAI;CAmB7B;AAED,qBAAa,YAAa,SAAQ,UAAU;gBAC5B,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI;IAI5C,WAAW,IAAI,IAAI;IAI1B,SAAS,CAAC,SAAS,IAAI,IAAI;CAG9B;AAED,qBAAa,iBAAkB,SAAQ,eAAe;gBACtC,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU;IAIpE,WAAW,IAAI,IAAI;IAS1B,SAAS,CAAC,UAAU,IAAI,IAAI;IAI5B,SAAS,CAAC,SAAS,IAAI,IAAI;CAC9B;AAED,qBAAa,cAAe,SAAQ,UAAU;gBAC9B,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,IAAI;IAIhD,WAAW,IAAI,IAAI;IAI1B,SAAS,CAAC,UAAU,IAAI,IAAI;IAI5B,SAAS,CAAC,SAAS,IAAI,IAAI;CAG9B;AAED,qBAAa,kBAAmB,SAAQ,UAAU;gBAClC,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,IAAI;IAKhD,WAAW,IAAI,IAAI;CAG7B;AAED,qBAAa,eAAgB,SAAQ,UAAU;gBAC/B,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,IAAI;IAKhD,WAAW,IAAI,IAAI;CAG7B;AAED,qBAAa,gBAAiB,SAAQ,UAAU;gBAChC,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,aAAa;IAIzD,WAAW,IAAI,IAAI;CAG7B;AAED,qBAAa,oBAAqB,SAAQ,UAAU;gBACpC,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,iBAAiB;IAI7D,WAAW,IAAI,IAAI;CAO7B;AAED,qBAAa,qBAAsB,SAAQ,UAAU;gBACrC,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM;IAK1D,WAAW,IAAI,IAAI;IAE1B,SAAS,CAAC,UAAU,IAAI,IAAI;CAG/B;AAED,qBAAa,gBAAiB,SAAQ,UAAU;gBAChC,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI;IAI5C,WAAW,IAAI,IAAI;CAG7B;AAED,qBAAa,eAAgB,SAAQ,UAAU;gBAC/B,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,YAAY;IAIxD,WAAW,IAAI,IAAI;CAG7B;AAED,qBAAa,mBAAoB,SAAQ,UAAU;IAC/C,SAAS,EAAE,SAAS,CAAC;gBACT,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS;IAKtE,WAAW,IAAI,IAAI;IA0C1B,OAAO,CAAC,eAAe;CAU1B;AAED,qBAAa,aAAc,SAAQ,UAAU;gBAC7B,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI;IAI5C,WAAW,IAAI,IAAI;IAI1B,SAAS,CAAC,SAAS,IAAI,IAAI;CAG9B;AAED,qBAAa,eAAgB,SAAQ,UAAU;IAC3C,KAAK,EAAE,UAAU,GAAG,SAAS,CAAC;gBAClB,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,UAAU;IAKhE,WAAW,IAAI,IAAI;IAe1B,SAAS,CAAC,UAAU,IAAI,IAAI;IAI5B,SAAS,CAAC,SAAS,IAAI,IAAI;CAG9B;AAED,qBAAa,iBAAkB,SAAQ,UAAU;gBACjC,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI;IAI5C,WAAW,IAAI,IAAI;IAI1B,SAAS,CAAC,UAAU,IAAI,IAAI;IAI5B,SAAS,CAAC,SAAS,IAAI,IAAI;CAG9B;AAED,qBAAa,kBAAkB;IAC3B,IAAI,EAAE,eAAe,CAAC;IACtB,MAAM,EAAE,MAAM,EAAE,CAAC;gBAEL,IAAI,EAAE,eAAe;IAK1B,YAAY,CAAC,KAAK,EAAE,MAAM;IAI1B,QAAQ,IAAI,MAAM;CAG5B;AAED,wBAAgB,eAAe,CAAC,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI,GAAG,UAAU,CAqBnF"}

package/lib/save/source/SourceStmt.js

@@ -188,36 +188,35 @@ class SourceAssignStmt extends SourceStmt {
         }
         if (this.context.hasTempVisit(this.leftCode)) {
             this.setText('');
+            return;
         }
         else if (PrinterUtils_1.PrinterUtils.isTemp(this.leftCode)) {
             this.setText(`${this.rightCode};`);
+            return;
         }
-        else {
-            if (this.leftOp instanceof Local_1.Local &&
-                this.context.getLocals().has(this.leftOp.getName()) &&
-                !this.isLocalTempValue(this.leftOp)) {
-                if (this.context.isLocalDefined(this.leftOp)) {
-                    this.setText(`${this.leftCode} = ${this.rightCode};`);
+        if (this.leftOp instanceof Local_1.Local &&
+            this.context.getLocals().has(this.leftOp.getName()) &&
+            !this.isLocalTempValue(this.leftOp)) {
+            if (this.context.isLocalDefined(this.leftOp)) {
+                this.setText(`${this.leftCode} = ${this.rightCode};`);
+                return;
+            }
+            let flag = this.leftOp.getConstFlag() ? 'const' : 'let';
+            if (this.context.getArkFile().getExportInfoBy(this.leftCode) && this.context.isInDefaultMethod()) {
+                this.setText(`export ${flag} ${this.leftCode} = ${this.rightCode};`);
+            }
+            else {
+                if (this.leftTypeCode.length > 0) {
+                    this.setText(`${flag} ${this.leftCode}: ${this.leftTypeCode} = ${this.rightCode};`);
                 }
                 else {
-                    let flag = this.leftOp.getConstFlag() ? 'const' : 'let';
-                    if (this.context.getArkFile().getExportInfoBy(this.leftCode) && this.context.isInDefaultMethod()) {
-                        this.setText(`export ${flag} ${this.leftCode} = ${this.rightCode};`);
-                    }
-                    else {
-                        if (this.leftTypeCode.length > 0) {
-                            this.setText(`${flag} ${this.leftCode}: ${this.leftTypeCode} = ${this.rightCode};`);
-                        }
-                        else {
-                            this.setText(`${flag} ${this.leftCode} = ${this.rightCode};`);
-                        }
-                    }
-                    this.context.defineLocal(this.leftOp);
+                    this.setText(`${flag} ${this.leftCode} = ${this.rightCode};`);
                 }
             }
-            else {
-                this.setText(`${this.leftCode} = ${this.rightCode};`);
-            }
+            this.context.defineLocal(this.leftOp);
+        }
+        else {
+            this.setText(`${this.leftCode} = ${this.rightCode};`);
         }
     }
     afterDump() {
@@ -249,19 +248,7 @@ class SourceAssignStmt extends SourceStmt {
                 let instanceInvokeExpr = stmt.getInvokeExpr();
                 if ('constructor' === instanceInvokeExpr.getMethodSignature().getMethodSubSignature().getMethodName() &&
                     instanceInvokeExpr.getBase().getName() === this.leftOp.getName()) {
-                    let args = [];
-                    instanceInvokeExpr.getArgs().forEach((v) => {
-                        args.push(this.transformer.valueToString(v));
-                    });
-                    if (originType === PrinterUtils_1.CLASS_CATEGORY_COMPONENT) {
-                        this.rightCode = `${this.transformer.typeToString(this.rightOp.getType())}(${args.join(', ')})`;
-                    }
-                    else if (originType === ArkClass_1.ClassCategory.TYPE_LITERAL || originType === ArkClass_1.ClassCategory.OBJECT) {
-                        this.rightCode = `${this.transformer.literalObjectToString(this.rightOp.getType())}`;
-                    }
-                    else {
-                        this.rightCode = `new ${this.transformer.typeToString(this.rightOp.getType())}(${args.join(', ')})`;
-                    }
+                    this.handleConstructorInvoke(instanceInvokeExpr, originType);
                     return;
                 }
             }
@@ -279,6 +266,21 @@ class SourceAssignStmt extends SourceStmt {
             this.rightCode = `new ${this.transformer.typeToString(this.rightOp.getType())}()`;
         }
     }
+    handleConstructorInvoke(instanceInvokeExpr, originType) {
+        let args = [];
+        instanceInvokeExpr.getArgs().forEach((v) => {
+            args.push(this.transformer.valueToString(v));
+        });
+        if (originType === PrinterUtils_1.CLASS_CATEGORY_COMPONENT) {
+            this.rightCode = `${this.transformer.typeToString(this.rightOp.getType())}(${args.join(', ')})`;
+        }
+        else if (originType === ArkClass_1.ClassCategory.TYPE_LITERAL || originType === ArkClass_1.ClassCategory.OBJECT) {
+            this.rightCode = `${this.transformer.literalObjectToString(this.rightOp.getType())}`;
+        }
+        else {
+            this.rightCode = `new ${this.transformer.typeToString(this.rightOp.getType())}(${args.join(', ')})`;
+        }
+    }
     /**
      * $temp0 = newarray[4]
      * $temp0[0] = 1

package/lib/save/source/SourceTransformer.d.ts

@@ -25,6 +25,7 @@ export declare class SourceTransformer {
     private anonymousMethodToString;
     private anonymousClassToString;
     instanceInvokeExprToString(invokeExpr: ArkInstanceInvokeExpr): string;
+    private transBuilderMethod;
     staticInvokeExprToString(invokeExpr: ArkStaticInvokeExpr): string;
     private genericTypesToString;
     typeArrayToString(types: Type[], split?: string): string;
@@ -32,6 +33,7 @@ export declare class SourceTransformer {
     private exprToString;
     refToString(value: AbstractRef): string;
     valueToString(value: Value, operator?: string): string;
+    private localToString;
     literalObjectToString(type: ClassType): string;
     typeToString(type: Type): string;
     private literalType2string;

package/lib/save/source/SourceTransformer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"SourceTransformer.d.ts","sourceRoot":"","sources":["../../../src/save/source/SourceTransformer.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAMH,qBAAqB,EAKrB,mBAAmB,EAKtB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC9C,OAAO,EAAE,QAAQ,EAAiB,MAAM,2BAA2B,CAAC;AACpE,OAAO,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChF,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAI7C,OAAO,EAGH,SAAS,EAQT,IAAI,EAKP,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAmE,MAAM,qBAAqB,CAAC;AACnH,OAAO,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AASnD,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAU7D,MAAM,WAAW,kBAAkB;IAC/B,UAAU,IAAI,OAAO,CAAC;IAEtB,wBAAwB,IAAI,YAAY,GAAG,SAAS,CAAC;IAErD,SAAS,CAAC,SAAS,EAAE,eAAe,GAAG,SAAS,GAAG,IAAI,CAAC;IAExD,QAAQ,CAAC,SAAS,EAAE,cAAc,GAAG,QAAQ,GAAG,IAAI,CAAC;IAErD,UAAU,IAAI,aAAa,CAAC;IAE5B,cAAc,CAAC,IAAI,EAAE,KAAK,GAAG,MAAM,CAAC;IAEpC,iBAAiB,IAAI,OAAO,CAAC;CAChC;AAED,qBAAa,iBAAiB;IAC1B,SAAS,CAAC,OAAO,EAAE,kBAAkB,CAAC;gBAE1B,OAAO,EAAE,kBAAkB;IAIvC,OAAO,CAAC,uBAAuB;IAM/B,OAAO,CAAC,sBAAsB;IAKvB,0BAA0B,CAAC,UAAU,EAAE,qBAAqB,GAAG,MAAM;IAkBrE,wBAAwB,CAAC,UAAU,EAAE,mBAAmB,GAAG,MAAM;IA4DxE,OAAO,CAAC,oBAAoB;IAYrB,iBAAiB,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,KAAK,GAAE,MAAa,GAAG,MAAM;WASvD,aAAa,CAAC,KAAK,EAAE,QAAQ,GAAG,MAAM;IAUpD,OAAO,CAAC,YAAY;IA2Db,WAAW,CAAC,KAAK,EAAE,WAAW,GAAG,MAAM;IA8BvC,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM;IAiDtD,qBAAqB,CAAC,IAAI,EAAE,SAAS,GAAG,MAAM;IAW9C,YAAY,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM;IA+DvC,OAAO,CAAC,kBAAkB;IAQ1B,OAAO,CAAC,mBAAmB;IAgB3B,OAAO,CAAC,gBAAgB;IAcxB,OAAO,CAAC,gBAAgB;IASxB,OAAO,CAAC,gBAAgB;IAcxB,OAAO,CAAC,oBAAoB;IAO5B,OAAO,CAAC,oBAAoB;IAmB5B,OAAO,CAAC,2BAA2B;IAQnC,OAAO,CAAC,gBAAgB;CAkB3B"}
+{"version":3,"file":"SourceTransformer.d.ts","sourceRoot":"","sources":["../../../src/save/source/SourceTransformer.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAMH,qBAAqB,EAKrB,mBAAmB,EAKtB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC9C,OAAO,EAAE,QAAQ,EAAiB,MAAM,2BAA2B,CAAC;AACpE,OAAO,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChF,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAI7C,OAAO,EAGH,SAAS,EAQT,IAAI,EAKP,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAmE,MAAM,qBAAqB,CAAC;AACnH,OAAO,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AASnD,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAU7D,MAAM,WAAW,kBAAkB;IAC/B,UAAU,IAAI,OAAO,CAAC;IAEtB,wBAAwB,IAAI,YAAY,GAAG,SAAS,CAAC;IAErD,SAAS,CAAC,SAAS,EAAE,eAAe,GAAG,SAAS,GAAG,IAAI,CAAC;IAExD,QAAQ,CAAC,SAAS,EAAE,cAAc,GAAG,QAAQ,GAAG,IAAI,CAAC;IAErD,UAAU,IAAI,aAAa,CAAC;IAE5B,cAAc,CAAC,IAAI,EAAE,KAAK,GAAG,MAAM,CAAC;IAEpC,iBAAiB,IAAI,OAAO,CAAC;CAChC;AAED,qBAAa,iBAAiB;IAC1B,SAAS,CAAC,OAAO,EAAE,kBAAkB,CAAC;gBAE1B,OAAO,EAAE,kBAAkB;IAIvC,OAAO,CAAC,uBAAuB;IAM/B,OAAO,CAAC,sBAAsB;IAKvB,0BAA0B,CAAC,UAAU,EAAE,qBAAqB,GAAG,MAAM;IAkB5E,OAAO,CAAC,kBAAkB;IAwCnB,wBAAwB,CAAC,UAAU,EAAE,mBAAmB,GAAG,MAAM;IA8BxE,OAAO,CAAC,oBAAoB;IAYrB,iBAAiB,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,KAAK,GAAE,MAAa,GAAG,MAAM;WASvD,aAAa,CAAC,KAAK,EAAE,QAAQ,GAAG,MAAM;IAUpD,OAAO,CAAC,YAAY;IA2Db,WAAW,CAAC,KAAK,EAAE,WAAW,GAAG,MAAM;IA8BvC,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM;IAqB7D,OAAO,CAAC,aAAa;IAgCd,qBAAqB,CAAC,IAAI,EAAE,SAAS,GAAG,MAAM;IAW9C,YAAY,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM;IA+DvC,OAAO,CAAC,kBAAkB;IAQ1B,OAAO,CAAC,mBAAmB;IAgB3B,OAAO,CAAC,gBAAgB;IAcxB,OAAO,CAAC,gBAAgB;IASxB,OAAO,CAAC,gBAAgB;IAcxB,OAAO,CAAC,oBAAoB;IAO5B,OAAO,CAAC,oBAAoB;IAmB5B,OAAO,CAAC,2BAA2B;IAQnC,OAAO,CAAC,gBAAgB;CAkB3B"}

package/lib/save/source/SourceTransformer.js

@@ -88,6 +88,41 @@ class SourceTransformer {
         }
         return `${this.valueToString(invokeExpr.getBase())}.${methodName}${genericCode}(${args.join(', ')})`;
     }
+    transBuilderMethod(className, methodName, args, invokeExpr, genericCode) {
+        if (className === EtsConst_1.COMPONENT_CUSTOMVIEW) {
+            if (methodName === EtsConst_1.COMPONENT_CREATE_FUNCTION) {
+                // Anonymous @Builder method
+                if (args.length > 1) {
+                    // remove the substring '() =>' or '(x, y): type =>' at the beginning of args[1]
+                    const pattern = /^\([^)]*\)\s*:\s*\w*\s*=>\s*/;
+                    args[1] = args[1].replace(pattern, '');
+                }
+                return `${args.join(' ')}`;
+            }
+            if (methodName === EtsConst_1.COMPONENT_POP_FUNCTION) {
+                return '';
+            }
+        }
+        if (PrinterUtils_1.PrinterUtils.isComponentCreate(invokeExpr)) {
+            if (className === EtsConst_1.COMPONENT_IF) {
+                return `if (${args.join(', ')})`;
+            }
+            return `${className}${genericCode}(${args.join(', ')})`;
+        }
+        if (PrinterUtils_1.PrinterUtils.isComponentIfBranchInvoke(invokeExpr)) {
+            let arg0 = invokeExpr.getArg(0);
+            if (arg0.getValue() === '0') {
+                return ``;
+            }
+            else {
+                return '} else {';
+            }
+        }
+        if (PrinterUtils_1.PrinterUtils.isComponentPop(invokeExpr)) {
+            return '}';
+        }
+        return null;
+    }
     staticInvokeExprToString(invokeExpr) {
         let methodSignature = invokeExpr.getMethodSignature();
         let method = this.context.getMethod(methodSignature);
@@ -103,37 +138,9 @@ class SourceTransformer {
         });
         let genericCode = this.genericTypesToString(invokeExpr.getRealGenericTypes());
         if (this.context.isInBuilderMethod()) {
-            if (className === EtsConst_1.COMPONENT_CUSTOMVIEW) {
-                if (methodName === EtsConst_1.COMPONENT_CREATE_FUNCTION) {
-                    // Anonymous @Builder method
-                    if (args.length > 1) {
-                        // remove the substring '() =>' or '(x, y): type =>' at the beginning of args[1]
-                        const pattern = /^\([^)]*\)\s*:\s*\w*\s*=>\s*/;
-                        args[1] = args[1].replace(pattern, '');
-                    }
-                    return `${args.join(' ')}`;
-                }
-                if (methodName === EtsConst_1.COMPONENT_POP_FUNCTION) {
-                    return '';
-                }
-            }
-            if (PrinterUtils_1.PrinterUtils.isComponentCreate(invokeExpr)) {
-                if (className === EtsConst_1.COMPONENT_IF) {
-                    return `if (${args.join(', ')})`;
-                }
-                return `${className}${genericCode}(${args.join(', ')})`;
-            }
-            if (PrinterUtils_1.PrinterUtils.isComponentIfBranchInvoke(invokeExpr)) {
-                let arg0 = invokeExpr.getArg(0);
-                if (arg0.getValue() === '0') {
-                    return ``;
-                }
-                else {
-                    return '} else {';
-                }
-            }
-            if (PrinterUtils_1.PrinterUtils.isComponentPop(invokeExpr)) {
-                return '}';
+            const res = this.transBuilderMethod(className, methodName, args, invokeExpr, genericCode);
+            if (res !== null) {
+                return res;
             }
         }
         if (className && className.length > 0 && methodName !== TSConst_1.SUPER_NAME) {
@@ -248,34 +255,37 @@ class SourceTransformer {
             return SourceTransformer.constToString(value);
         }
         if (value instanceof Local_1.Local) {
-            if (PrinterUtils_1.PrinterUtils.isAnonymousMethod(value.getName())) {
-                let methodSignature = value.getType().getMethodSignature();
-                let anonymousMethod = this.context.getMethod(methodSignature);
-                if (anonymousMethod) {
-                    return this.anonymousMethodToString(anonymousMethod, this.context.getPrinter().getIndent());
-                }
+            return this.localToString(value, operator);
+        }
+        logger.info(`valueToString ${value.constructor} not support.`);
+        return `${value}`;
+    }
+    localToString(value, operator) {
+        if (PrinterUtils_1.PrinterUtils.isAnonymousMethod(value.getName())) {
+            let methodSignature = value.getType().getMethodSignature();
+            let anonymousMethod = this.context.getMethod(methodSignature);
+            if (anonymousMethod) {
+                return this.anonymousMethodToString(anonymousMethod, this.context.getPrinter().getIndent());
             }
-            if (PrinterUtils_1.PrinterUtils.isAnonymousClass(value.getName())) {
-                let clsSignature = value.getType().getClassSignature();
-                let cls = this.context.getClass(clsSignature);
-                if (cls) {
-                    return this.anonymousClassToString(cls, this.context.getPrinter().getIndent());
-                }
+        }
+        if (PrinterUtils_1.PrinterUtils.isAnonymousClass(value.getName())) {
+            let clsSignature = value.getType().getClassSignature();
+            let cls = this.context.getClass(clsSignature);
+            if (cls) {
+                return this.anonymousClassToString(cls, this.context.getPrinter().getIndent());
             }
-            if (operator === Expr_1.NormalBinaryOperator.Division ||
-                operator === Expr_1.NormalBinaryOperator.Multiplication ||
-                operator === Expr_1.NormalBinaryOperator.Remainder) {
-                if (PrinterUtils_1.PrinterUtils.isTemp(value.getName())) {
-                    let stmt = value.getDeclaringStmt();
-                    if (stmt instanceof Stmt_1.ArkAssignStmt && stmt.getRightOp() instanceof Expr_1.ArkNormalBinopExpr) {
-                        return `(${this.context.transTemp2Code(value)})`;
-                    }
+        }
+        if (operator === Expr_1.NormalBinaryOperator.Division ||
+            operator === Expr_1.NormalBinaryOperator.Multiplication ||
+            operator === Expr_1.NormalBinaryOperator.Remainder) {
+            if (PrinterUtils_1.PrinterUtils.isTemp(value.getName())) {
+                let stmt = value.getDeclaringStmt();
+                if (stmt instanceof Stmt_1.ArkAssignStmt && stmt.getRightOp() instanceof Expr_1.ArkNormalBinopExpr) {
+                    return `(${this.context.transTemp2Code(value)})`;
                 }
             }
-            return this.context.transTemp2Code(value);
         }
-        logger.info(`valueToString ${value.constructor} not support.`);
-        return `${value}`;
+        return this.context.transTemp2Code(value);
     }
     literalObjectToString(type) {
         let name = type.getClassSignature().getClassName();

package/lib/transformer/StaticSingleAssignmentFormer.d.ts

@@ -1,9 +1,14 @@
 import { ArkBody } from '../core/model/ArkBody';
 export declare class StaticSingleAssignmentFormer {
     transformBody(body: ArkBody): void;
+    private transformStmt;
     private decideBlockToPhiStmts;
+    private handleDf;
+    private handleBlockWithSucc;
     private addPhiStmts;
+    private renameUseAndDef;
     private renameLocals;
+    private removeVisitedTree;
     private constainsPhiExpr;
     private getOriginalLocal;
     private addNewArgToPhi;

package/lib/transformer/StaticSingleAssignmentFormer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"StaticSingleAssignmentFormer.d.ts","sourceRoot":"","sources":["../../src/transformer/StaticSingleAssignmentFormer.ts"],"names":[],"mappings":"AAsBA,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAEhD,qBAAa,4BAA4B;IAC9B,aAAa,CAAC,IAAI,EAAE,OAAO;IAgClC,OAAO,CAAC,qBAAqB;IA2C7B,OAAO,CAAC,WAAW;IAsCnB,OAAO,CAAC,YAAY;IAwFpB,OAAO,CAAC,gBAAgB;IAWxB,OAAO,CAAC,gBAAgB;IAcxB,OAAO,CAAC,cAAc;IAetB,OAAO,CAAC,mBAAmB;IAS3B,OAAO,CAAC,kBAAkB;CAI7B"}
+{"version":3,"file":"StaticSingleAssignmentFormer.d.ts","sourceRoot":"","sources":["../../src/transformer/StaticSingleAssignmentFormer.ts"],"names":[],"mappings":"AAsBA,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAEhD,qBAAa,4BAA4B;IAC9B,aAAa,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI;IAqBzC,OAAO,CAAC,aAAa;IAcrB,OAAO,CAAC,qBAAqB;IAuB7B,OAAO,CAAC,QAAQ;IA4BhB,OAAO,CAAC,mBAAmB;IAkB3B,OAAO,CAAC,WAAW;IA4BnB,OAAO,CAAC,eAAe;IA8BvB,OAAO,CAAC,YAAY;IA8CpB,OAAO,CAAC,iBAAiB;IAwBzB,OAAO,CAAC,gBAAgB;IAWxB,OAAO,CAAC,gBAAgB;IAcxB,OAAO,CAAC,cAAc;IAetB,OAAO,CAAC,mBAAmB;IAS3B,OAAO,CAAC,kBAAkB;CAI7B"}

package/lib/transformer/StaticSingleAssignmentFormer.js

@@ -22,25 +22,13 @@ 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);
-                    }
-                }
+                this.transformStmt(stmt, defs, localToBlocks, block);
             }
             blockToDefs.set(block, defs);
         }
@@ -50,8 +38,22 @@ class StaticSingleAssignmentFormer {
         let dominanceTree = new DominanceTree_1.DominanceTree(dominanceFinder);
         this.renameLocals(body, dominanceTree, blockToPhiStmts);
     }
+    transformStmt(stmt, defs, localToBlocks, block) {
+        var _a;
+        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);
+            }
+        }
+    }
     decideBlockToPhiStmts(body, dominanceFinder, blockToDefs, localToBlocks) {
-        var _a, _b, _c, _d;
         let blockToPhiStmts = new Map();
         let blockToPhiLocals = new Map();
         let localToPhiBlock = new Map();
@@ -63,50 +65,57 @@ class StaticSingleAssignmentFormer {
                 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);
-                        }
-                    }
+                    this.handleDf(blockToPhiStmts, blockToPhiLocals, phiBlocks, df, local, blockToDefs, blocks);
                 }
             }
         }
         return blockToPhiStmts;
     }
-    addPhiStmts(blockToPhiStmts, cfg, blockToDefs) {
+    handleDf(blockToPhiStmts, blockToPhiLocals, phiBlocks, df, local, blockToDefs, blocks) {
+        var _a, _b, _c, _d;
+        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);
+            }
+        }
+    }
+    handleBlockWithSucc(blockToPhiStmts, succ, blockToDefs, block, phiArgsNum) {
         var _a;
+        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);
+                }
+            }
+        }
+    }
+    addPhiStmts(blockToPhiStmts, cfg, blockToDefs) {
         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);
-                            }
-                        }
-                    }
+                    this.handleBlockWithSucc(blockToPhiStmts, succ, blockToDefs, block, phiArgsNum);
                 }
             }
         }
@@ -123,8 +132,35 @@ class StaticSingleAssignmentFormer {
             }
         }
     }
+    renameUseAndDef(stmt, localToNameStack, nextFreeIdx, newLocals, newPhiStmts) {
+        var _a;
+        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);
+            }
+        }
+        return nextFreeIdx;
+    }
     renameLocals(body, dominanceTree, blockToPhiStmts) {
-        var _a, _b;
         let newLocals = new Set(body.getLocals().values());
         let localToNameStack = new Map();
         for (const local of newLocals) {
@@ -137,31 +173,8 @@ class StaticSingleAssignmentFormer {
         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);
-                    }
-                }
+                // rename uses and def
+                nextFreeIdx = this.renameUseAndDef(stmt, localToNameStack, nextFreeIdx, newLocals, newPhiStmts);
             }
             visited.add(block);
             blockStack.push(block);
@@ -171,40 +184,45 @@ class StaticSingleAssignmentFormer {
             // 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 (!blockToPhiStmts.has(succ)) {
+                    continue;
+                }
+                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;
+            this.removeVisitedTree(blockStack, dominanceTree, visited, localToNameStack);
+        }
+        body.setLocals(newLocals);
+    }
+    removeVisitedTree(blockStack, dominanceTree, visited, localToNameStack) {
+        var _a;
+        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()));
+                    (_a = localToNameStack.get(oriDef)) === null || _a === void 0 ? void 0 : _a.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) {

package/lib/utils/CfgStructualAnalysis.d.ts

@@ -32,6 +32,7 @@ export declare class AbstractFlowGraph {
     private structuralAnalysis;
     private dfsPostOrder;
     private buildCyclicStructural;
+    private handleRegion;
     private prepareBuildLoops;
     private buildDominator;
     private getBackEdges;

package/lib/utils/CfgStructualAnalysis.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"CfgStructualAnalysis.d.ts","sourceRoot":"","sources":["../../src/utils/CfgStructualAnalysis.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAC;AAExC,oBAAY,aAAa;IACrB,MAAM,IAAA;IACN,EAAE,IAAA;IACF,IAAI,IAAA;IACJ,KAAK,IAAA;IACL,QAAQ,IAAA;IACR,EAAE,IAAA;IACF,QAAQ,IAAA;IACR,KAAK,IAAA;IACL,GAAG,IAAA;IACH,YAAY,IAAA;IACZ,GAAG,KAAA;IACH,KAAK,KAAA;IACL,OAAO,KAAA;CACV;AAED,MAAM,MAAM,iBAAiB,GAAG,CAAC,KAAK,EAAE,UAAU,GAAG,SAAS,EAAE,IAAI,EAAE,aAAa,KAAK,IAAI,CAAC;AAE7F,qBAAa,iBAAiB;IAC1B,OAAO,CAAC,KAAK,CAAsB;IACnC,OAAO,CAAC,KAAK,CAAe;IAC5B,OAAO,CAAC,aAAa,CAAgC;IACrD,OAAO,CAAC,QAAQ,CAAwC;IACxD,OAAO,CAAC,WAAW,CAAsC;IACzD,OAAO,CAAC,YAAY,CAAmD;IACvE,OAAO,CAAC,OAAO,CAAmD;gBAEtD,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE;IA0B7B,QAAQ,IAAI,YAAY;IAIxB,cAAc,CAAC,KAAK,EAAE,UAAU,GAAG,UAAU;IAM7C,QAAQ,CAAC,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,iBAAiB,EAAE,OAAO,GAAE,GAAG,CAAC,YAAY,CAAa;IAUvG,OAAO,CAAC,kBAAkB;IA2C1B,OAAO,CAAC,YAAY;IAsBpB,OAAO,CAAC,qBAAqB;IAgC7B,OAAO,CAAC,iBAAiB;IA6BzB,OAAO,CAAC,cAAc;IA+BtB,OAAO,CAAC,YAAY;IAWpB,OAAO,CAAC,WAAW;IAoBnB,OAAO,CAAC,cAAc;IAmBtB,OAAO,CAAC,gBAAgB;IAWxB,OAAO,CAAC,eAAe;IAWvB,OAAO,CAAC,UAAU;IAelB,OAAO,CAAC,cAAc;IActB,OAAO,CAAC,cAAc;IAsBtB,OAAO,CAAC,aAAa;IAwDrB,OAAO,CAAC,eAAe;IAgBvB,OAAO,CAAC,kBAAkB;IAqB1B,OAAO,CAAC,aAAa;IAUrB,OAAO,CAAC,WAAW;IAiBnB,OAAO,CAAC,eAAe;IAYvB,OAAO,CAAC,kBAAkB;IAmE1B,OAAO,CAAC,gBAAgB;IAwCxB,OAAO,CAAC,eAAe;IAUvB,OAAO,CAAC,UAAU;IAgBlB,OAAO,CAAC,YAAY;IAuCpB,OAAO,CAAC,MAAM;IAqBd,OAAO,CAAC,YAAY;IAcpB,OAAO,CAAC,UAAU;IAQlB,OAAO,CAAC,SAAS;IA4CjB,OAAO,CAAC,sBAAsB;IAW9B,OAAO,CAAC,GAAG;IAiBX,OAAO,CAAC,oBAAoB;IAoB5B,OAAO,CAAC,qBAAqB;IAiB7B,OAAO,CAAC,uBAAuB;IAkB/B,OAAO,CAAC,0BAA0B;CAiBrC;AAED,aAAK,UAAU;IACX,aAAa,IAAA;IACb,QAAQ,IAAA;IACR,UAAU,IAAA;IACV,YAAY,IAAA;IAEZ,YAAY,IAAA;IACZ,SAAS,IAAA;IACT,cAAc,IAAA;IACd,mBAAmB,IAAA;IACnB,oBAAoB,IAAA;IACpB,uBAAuB,IAAA;IACvB,gBAAgB,KAAA;IAChB,mBAAmB,KAAA;IACnB,iBAAiB,KAAA;IACjB,oBAAoB,KAAA;IACpB,eAAe,KAAA;IACf,WAAW,KAAA;IACX,aAAa,KAAA;IACb,gBAAgB,KAAA;IAChB,kBAAkB,KAAA;IAClB,wBAAwB,KAAA;CAC3B;AAUD,cAAM,YAAY;IACd,IAAI,EAAE,UAAU,CAAC;IACjB,OAAO,CAAC,SAAS,CAAsB;IACvC,OAAO,CAAC,SAAS,CAAsB;IACvC,OAAO,CAAC,EAAE,CAAyB;;IAM5B,SAAS,CAAC,QAAQ,EAAE,iBAAiB,EAAE,IAAI,EAAE,aAAa;IAI1D,OAAO,IAAI,UAAU;IAIrB,OAAO,IAAI,YAAY,EAAE;IAIzB,OAAO,CAAC,IAAI,EAAE,YAAY;IAI1B,WAAW,CAAC,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,YAAY;IAShD,UAAU,CAAC,GAAG,EAAE,YAAY;IAS5B,OAAO,IAAI,YAAY,EAAE;IAIzB,OAAO,CAAC,KAAK,EAAE,YAAY,GAAG,IAAI;IAQlC,WAAW,CAAC,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,YAAY;IAShD,UAAU,CAAC,GAAG,EAAE,YAAY;IAS5B,QAAQ,CAAC,EAAE,EAAE,UAAU;IAIvB,QAAQ,IAAI,UAAU,GAAG,SAAS;IAIlC,SAAS,IAAI,OAAO;IAapB,aAAa,IAAI,OAAO;CAWlC"}
+{"version":3,"file":"CfgStructualAnalysis.d.ts","sourceRoot":"","sources":["../../src/utils/CfgStructualAnalysis.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAC;AAExC,oBAAY,aAAa;IACrB,MAAM,IAAA;IACN,EAAE,IAAA;IACF,IAAI,IAAA;IACJ,KAAK,IAAA;IACL,QAAQ,IAAA;IACR,EAAE,IAAA;IACF,QAAQ,IAAA;IACR,KAAK,IAAA;IACL,GAAG,IAAA;IACH,YAAY,IAAA;IACZ,GAAG,KAAA;IACH,KAAK,KAAA;IACL,OAAO,KAAA;CACV;AAED,MAAM,MAAM,iBAAiB,GAAG,CAAC,KAAK,EAAE,UAAU,GAAG,SAAS,EAAE,IAAI,EAAE,aAAa,KAAK,IAAI,CAAC;AAE7F,qBAAa,iBAAiB;IAC1B,OAAO,CAAC,KAAK,CAAsB;IACnC,OAAO,CAAC,KAAK,CAAe;IAC5B,OAAO,CAAC,aAAa,CAAgC;IACrD,OAAO,CAAC,QAAQ,CAAwC;IACxD,OAAO,CAAC,WAAW,CAAsC;IACzD,OAAO,CAAC,YAAY,CAAmD;IACvE,OAAO,CAAC,OAAO,CAAmD;gBAEtD,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE;IA0B7B,QAAQ,IAAI,YAAY;IAIxB,cAAc,CAAC,KAAK,EAAE,UAAU,GAAG,UAAU;IAM7C,QAAQ,CAAC,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,iBAAiB,EAAE,OAAO,GAAE,GAAG,CAAC,YAAY,CAAa;IAUvG,OAAO,CAAC,kBAAkB;IA2C1B,OAAO,CAAC,YAAY;IAsBpB,OAAO,CAAC,qBAAqB;IAuB7B,OAAO,CAAC,YAAY;IAapB,OAAO,CAAC,iBAAiB;IA6BzB,OAAO,CAAC,cAAc;IA+BtB,OAAO,CAAC,YAAY;IAWpB,OAAO,CAAC,WAAW;IAoBnB,OAAO,CAAC,cAAc;IAmBtB,OAAO,CAAC,gBAAgB;IAWxB,OAAO,CAAC,eAAe;IAWvB,OAAO,CAAC,UAAU;IAelB,OAAO,CAAC,cAAc;IActB,OAAO,CAAC,cAAc;IAsBtB,OAAO,CAAC,aAAa;IAwDrB,OAAO,CAAC,eAAe;IAgBvB,OAAO,CAAC,kBAAkB;IAqB1B,OAAO,CAAC,aAAa;IAUrB,OAAO,CAAC,WAAW;IAiBnB,OAAO,CAAC,eAAe;IAYvB,OAAO,CAAC,kBAAkB;IAmE1B,OAAO,CAAC,gBAAgB;IAwCxB,OAAO,CAAC,eAAe;IAUvB,OAAO,CAAC,UAAU;IAgBlB,OAAO,CAAC,YAAY;IAuCpB,OAAO,CAAC,MAAM;IAsBd,OAAO,CAAC,YAAY;IAcpB,OAAO,CAAC,UAAU;IAQlB,OAAO,CAAC,SAAS;IA4CjB,OAAO,CAAC,sBAAsB;IAW9B,OAAO,CAAC,GAAG;IAiBX,OAAO,CAAC,oBAAoB;IAoB5B,OAAO,CAAC,qBAAqB;IAiB7B,OAAO,CAAC,uBAAuB;IAkB/B,OAAO,CAAC,0BAA0B;CAiBrC;AAED,aAAK,UAAU;IACX,aAAa,IAAA;IACb,QAAQ,IAAA;IACR,UAAU,IAAA;IACV,YAAY,IAAA;IAEZ,YAAY,IAAA;IACZ,SAAS,IAAA;IACT,cAAc,IAAA;IACd,mBAAmB,IAAA;IACnB,oBAAoB,IAAA;IACpB,uBAAuB,IAAA;IACvB,gBAAgB,KAAA;IAChB,mBAAmB,KAAA;IACnB,iBAAiB,KAAA;IACjB,oBAAoB,KAAA;IACpB,eAAe,KAAA;IACf,WAAW,KAAA;IACX,aAAa,KAAA;IACb,gBAAgB,KAAA;IAChB,kBAAkB,KAAA;IAClB,wBAAwB,KAAA;CAC3B;AAUD,cAAM,YAAY;IACd,IAAI,EAAE,UAAU,CAAC;IACjB,OAAO,CAAC,SAAS,CAAsB;IACvC,OAAO,CAAC,SAAS,CAAsB;IACvC,OAAO,CAAC,EAAE,CAAyB;;IAM5B,SAAS,CAAC,QAAQ,EAAE,iBAAiB,EAAE,IAAI,EAAE,aAAa;IAI1D,OAAO,IAAI,UAAU;IAIrB,OAAO,IAAI,YAAY,EAAE;IAIzB,OAAO,CAAC,IAAI,EAAE,YAAY;IAI1B,WAAW,CAAC,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,YAAY;IAShD,UAAU,CAAC,GAAG,EAAE,YAAY;IAS5B,OAAO,IAAI,YAAY,EAAE;IAIzB,OAAO,CAAC,KAAK,EAAE,YAAY,GAAG,IAAI;IAQlC,WAAW,CAAC,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,YAAY;IAShD,UAAU,CAAC,GAAG,EAAE,YAAY;IAS5B,QAAQ,CAAC,EAAE,EAAE,UAAU;IAIvB,QAAQ,IAAI,UAAU,GAAG,SAAS;IAIlC,SAAS,IAAI,OAAO;IAapB,aAAa,IAAI,OAAO;CAWlC"}