Skip to content

Commit f07bf61

Browse files
committed
fix(es/compat): Handle sparse arrays correctly in generator transforms
1 parent 66428a2 commit f07bf61

File tree

5 files changed

+128
-9
lines changed

5 files changed

+128
-9
lines changed

crates/swc_ecma_compat_es2015/src/generator.rs

Lines changed: 38 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1112,7 +1112,7 @@ impl Generator {
11121112
);
11131113
}
11141114

1115-
let expressions = elements
1115+
let mut expressions = elements
11161116
.iter_mut()
11171117
.skip(num_initial_elements)
11181118
.map(|v| v.take())
@@ -1128,7 +1128,17 @@ impl Generator {
11281128
spread: None,
11291129
expr: Box::new(Expr::Array(ArrayLit {
11301130
span: DUMMY_SP,
1131-
elems: expressions,
1131+
elems: expressions
1132+
.take()
1133+
.into_iter()
1134+
.map(|expr| match expr {
1135+
Some(expr_or_spread) => match &*expr_or_spread.expr {
1136+
Expr::Invalid(_) => None,
1137+
_ => Some(expr_or_spread),
1138+
},
1139+
None => None,
1140+
})
1141+
.collect(),
11321142
})),
11331143
}],
11341144
..Default::default()
@@ -1141,7 +1151,13 @@ impl Generator {
11411151
.take()
11421152
.into_iter()
11431153
.map(Some)
1144-
.chain(expressions)
1154+
.chain(expressions.take().into_iter().map(|expr| match expr {
1155+
Some(expr_or_spread) => match &*expr_or_spread.expr {
1156+
Expr::Invalid(_) => None,
1157+
_ => Some(expr_or_spread),
1158+
},
1159+
None => None,
1160+
}))
11451161
.collect(),
11461162
}
11471163
.into()
@@ -1173,7 +1189,17 @@ impl Generator {
11731189
.as_callee(),
11741190
args: vec![Box::new(Expr::Array(ArrayLit {
11751191
span: DUMMY_SP,
1176-
elems: expressions.take(),
1192+
elems: expressions
1193+
.take()
1194+
.into_iter()
1195+
.map(|expr| match expr {
1196+
Some(expr_or_spread) => match &*expr_or_spread.expr {
1197+
Expr::Invalid(_) => None,
1198+
_ => Some(expr_or_spread),
1199+
},
1200+
None => None,
1201+
})
1202+
.collect(),
11771203
}))
11781204
.as_arg()],
11791205
..Default::default()
@@ -1187,7 +1213,13 @@ impl Generator {
11871213
.take()
11881214
.into_iter()
11891215
.map(Some)
1190-
.chain(expressions.take())
1216+
.chain(expressions.take().into_iter().map(|expr| match expr {
1217+
Some(expr_or_spread) => match &*expr_or_spread.expr {
1218+
Expr::Invalid(_) => None,
1219+
_ => Some(expr_or_spread),
1220+
},
1221+
None => None,
1222+
}))
11911223
.collect(),
11921224
}
11931225
.into(),
@@ -1199,9 +1231,7 @@ impl Generator {
11991231
}
12001232

12011233
element.visit_mut_with(self);
1202-
if element.is_some() {
1203-
expressions.push(element);
1204-
}
1234+
expressions.push(element);
12051235
expressions
12061236
}
12071237

Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
function gen() {
2+
return _ts_generator(this, function (_state) {
3+
switch (_state.label) {
4+
case 0:
5+
return [
6+
4,
7+
[
8+
,
9+
'hello'
10+
]
11+
];
12+
case 1:
13+
_state.sent();
14+
return [
15+
2
16+
];
17+
}
18+
});
19+
}
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
function gen() {
2+
return _ts_generator(this, function (_state) {
3+
switch (_state.label) {
4+
case 0:
5+
return [
6+
4,
7+
[
8+
'start',
9+
,
10+
'end'
11+
]
12+
];
13+
case 1:
14+
_state.sent();
15+
return [
16+
2
17+
];
18+
}
19+
});
20+
}
Lines changed: 50 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,50 @@
1+
#![allow(clippy::unit_arg)]
2+
3+
use swc_common::{
4+
chain,
5+
comments::{NoopComments, SingleThreadedComments},
6+
Mark,
7+
};
8+
use swc_ecma_parser::Syntax;
9+
use swc_ecma_transforms_base::resolver;
10+
use swc_ecma_transforms_compat::{
11+
es2015, es2015::generator::generator, es2016, es2017, es2017::async_to_generator, es2018,
12+
es2021, es2022,
13+
};
14+
use swc_ecma_transforms_testing::{test, test_exec};
15+
use swc_ecma_visit::Fold;
16+
17+
fn syntax() -> Syntax {
18+
Syntax::default()
19+
}
20+
21+
fn tr(_: ()) -> impl Fold {
22+
let unresolved_mark = Mark::new();
23+
let top_level_mark = Mark::new();
24+
chain!(
25+
resolver(unresolved_mark, top_level_mark, false),
26+
generator(unresolved_mark, NoopComments)
27+
)
28+
}
29+
30+
test!(
31+
syntax(),
32+
|_| tr(Default::default()),
33+
sparse_array_leading_hole,
34+
r#"
35+
function* gen() {
36+
yield [, 'hello'];
37+
}
38+
"#
39+
);
40+
41+
test!(
42+
syntax(),
43+
|_| tr(Default::default()),
44+
sparse_array_middle_hole,
45+
r#"
46+
function* gen() {
47+
yield ['start', , 'end'];
48+
}
49+
"#
50+
);

crates/swc_plugin_backend_wasmer/src/lib.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -25,7 +25,7 @@ static ENGINE: Lazy<Mutex<wasmer::Engine>> = Lazy::new(|| {
2525
// Use empty enumset to disable simd.
2626
use enumset::EnumSet;
2727
use wasmer::sys::{BaseTunables, CompilerConfig, EngineBuilder, Target, Triple};
28-
let mut set = EnumSet::new();
28+
let set = EnumSet::new();
2929

3030
// [TODO]: Should we use is_x86_feature_detected! macro instead?
3131
#[cfg(target_arch = "x86_64")]

0 commit comments

Comments
 (0)