fix(es/compat): Fix finally handling of generator

[kdy1]

Description:

Update generator implementation to match https://github.com/microsoft/TypeScript/blob/e83d61398ea0e4231e882121dd6c6bcfe4fdc9e4/src/compiler/transformers/generators.ts

Related issue:

• Closes Incorrect yield and try-finally behaviour #5913.

[kdy1]

Expected output:

"use strict";

function generator() {
    return __generator(this, function (_a) {
        switch (_a.label) {
            case 0:
                _a.trys.push([0, , 4, 6]);
                _a.label = 1;
            case 1:
                if (!true) return [3 /*break*/, 3];
                return [4 /*yield*/, "foo"];
            case 2:
                _a.sent();
                return [3 /*break*/, 1];
            case 3: return [3 /*break*/, 6];
            case 4: return [4 /*yield*/, "bar"];
            case 5:
                _a.sent();
                return [7 /*endfinally*/];
            case 6: return [2 /*return*/];
        }
    });
}
function test() {
    var gen = generator();
    console.log(gen.next().value);
    console.log(gen.next().value);
    console.log(gen.next().value);
    console.log(gen.next().value);
}
test();

Output of swc:

function generator() {
    return __generator(this, function(_state) {
        switch(_state.label){
            case 0:
                _state.trys.push([
                    0,
                    ,
                    3,
                    5
                ]);
                if (!true) return [
                    3,
                    2
                ];
                return [
                    4,
                    "foo"
                ];
            case 1:
                _state.sent();
                return [
                    3,
                    0
                ];
            case 2:
                return [
                    3,
                    5
                ];
            case 3:
                return [
                    4,
                    "bar"
                ];
            case 4:
                _state.sent();
                return [
                    7
                ];
            case 5:
                return [
                    2
                ];
        }
    });
}

[kdy1]

Investigation:

label_numbers is different.

• Length of tsc: 7
• Length of swc: 6

try_enter_label

swc:

[crates/swc_ecma_transforms_compat/src/es2015/generator.rs:3052] &self.label_number = 0
[crates/swc_ecma_transforms_compat/src/es2015/generator.rs:3052] op_index = 0

[crates/swc_ecma_transforms_compat/src/es2015/generator.rs:3052] &self.label_number = 0
[crates/swc_ecma_transforms_compat/src/es2015/generator.rs:3052] op_index = 1

[crates/swc_ecma_transforms_compat/src/es2015/generator.rs:3052] &self.label_number = 0
[crates/swc_ecma_transforms_compat/src/es2015/generator.rs:3052] op_index = 2

[crates/swc_ecma_transforms_compat/src/es2015/generator.rs:3052] &self.label_number = 0
[crates/swc_ecma_transforms_compat/src/es2015/generator.rs:3052] op_index = 3

[crates/swc_ecma_transforms_compat/src/es2015/generator.rs:3052] &self.label_number = 1
[crates/swc_ecma_transforms_compat/src/es2015/generator.rs:3052] op_index = 4

[crates/swc_ecma_transforms_compat/src/es2015/generator.rs:3052] &self.label_number = 1
[crates/swc_ecma_transforms_compat/src/es2015/generator.rs:3052] op_index = 5

[crates/swc_ecma_transforms_compat/src/es2015/generator.rs:3052] &self.label_number = 2
[crates/swc_ecma_transforms_compat/src/es2015/generator.rs:3052] op_index = 6

[crates/swc_ecma_transforms_compat/src/es2015/generator.rs:3052] &self.label_number = 3
[crates/swc_ecma_transforms_compat/src/es2015/generator.rs:3052] op_index = 7

[crates/swc_ecma_transforms_compat/src/es2015/generator.rs:3052] &self.label_number = 4
[crates/swc_ecma_transforms_compat/src/es2015/generator.rs:3052] op_index = 8

[crates/swc_ecma_transforms_compat/src/es2015/generator.rs:3052] &self.label_number = 4
[crates/swc_ecma_transforms_compat/src/es2015/generator.rs:3052] op_index = 9

[crates/swc_ecma_transforms_compat/src/es2015/generator.rs:3052] &self.label_number = 5
[crates/swc_ecma_transforms_compat/src/es2015/generator.rs:3052] op_index = 10

tsc:

labelNumber 0 operationIndex 0
labelNumber 0 operationIndex 1
labelNumber 1 operationIndex 2
labelNumber 1 operationIndex 3
labelNumber 2 operationIndex 4
labelNumber 2 operationIndex 5
labelNumber 3 operationIndex 6
labelNumber 4 operationIndex 7
labelNumber 5 operationIndex 8
labelNumber 5 operationIndex 9
labelNumber 6 operationIndex 10
labelNumbers.length 7

[kdy1]

swc-bump:

• swc_ecma_transforms_compat

[swc-bot]

Automated review comment generated by auto-rebase script

[swc-bot]

Automated review comment generated by auto-rebase script