mirror of
https://github.com/aphrody-labs/oxc.git
synced 2026-10-17 12:56:09 +00:00
Armano
784e9faad2
improve negation of 1 and 0 to 0 and 1 in boolean context previously only `!!0` and `!!1` could be inlined to `1` and `0` and now `!0` and `!1` will also be inlined, this change allows us to flip numeric values in-place instead of having to first to create unary and remove it afterwards ``` !0 was converted before to 1 in some cases: 1. negate 1 2. !1 - add unary 3. 0 - remove unary now: 1. negate 1 2. 0 ```
449 lines
20 KiB
Rust
449 lines
20 KiB
Rust
use crate::{test, test_same};
|
|
|
|
#[test]
|
|
fn test_break_optimization() {
|
|
test("f:{if(true){a();break f;}else;b();}", "f:{a();break f}"); // f:a();
|
|
test("f:{if(false){a();break f;}else;b();break f;}", "f:{b();break f}"); // f:b();
|
|
test("f:{if(a()){b();break f;}else;c();}", "f:{if(a()){b();break f}c()}"); // f:a()?b():c();
|
|
test("f:{if(a()){b()}else{c();break f;}}", "f:if(a())b();else{c();break f}"); // f:a()?b():c();
|
|
test("f:{if(a()){b();break f;}else;}", "f:if(a()){b();break f}"); // f:a()&&b();
|
|
test("f:{if(a()){break f;}else;}", "f:if(a())break f;"); // f:a();
|
|
|
|
test("f:while(a())break f;", "f:for(;a();)break f;");
|
|
test_same("f:for(x in a())break f");
|
|
|
|
test("f:{while(a())break;}", "f:{for(;a();)break;}");
|
|
test("f:{for(x in a())break}", "f:{for(x in a())break;}");
|
|
|
|
test("f:try{break f;}catch(e){break f;}", "f:try{break f}catch{break f}"); // ;
|
|
test(
|
|
"f:try{if(a()){break f;}else{break f;} break f;}catch(e){}",
|
|
"f:try{if(a())break f;break f}catch{}",
|
|
); // f:try{a()}catch{}
|
|
|
|
test_same("f:g:break f"); // ;
|
|
test("f:g:{if(a()){break f;}else{break f;} break f;}", "f:g:{if(a())break f;break f}"); // f:g:a();
|
|
test("function f() { a: break a; }", "function f() {}");
|
|
test("function f() { a: { break a; } }", "function f() {}");
|
|
test_same("function f() { a: { b(); break a; } c(); }");
|
|
test_same("function f() { a: { b(); return; } c(); }");
|
|
}
|
|
|
|
#[test]
|
|
fn test_labeled_continue_optimization() {
|
|
test("a:while(true)continue a;", "a:for(;;)continue a;"); // a:for(;;);
|
|
test(
|
|
"x:while(x)y:while(y){if(a)continue x;if(b)continue x;}",
|
|
"x:for(;x;)y:for(;y;)if(a||b)continue x;",
|
|
);
|
|
test(
|
|
"x:while(x)y:while(y){if(a)continue y;if(b)continue y;}",
|
|
"x:for(;x;)y:for(;y;)if(a||b)continue y;",
|
|
); // x:for(;x;)y:for(;y;)a||b;
|
|
test(
|
|
"x:while(x)y:while(y){if(a)continue x;if(b)continue y}",
|
|
"x:for(;x;)y:for(;y;){if(a)continue x;if(b)continue y}",
|
|
); // x:for(;x;)y:for(;y;){if(a)continue x;b}
|
|
// SyntaxError: Illegal continue statement: 'a' does not denote an iteration statement
|
|
test_same("a:if(a()){b();continue a}");
|
|
// SyntaxError: Illegal continue statement: no surrounding iteration statement
|
|
test_same("a:{for(let i=0;i<10;i++)continue a}");
|
|
test("f:{if(true){a();continue f;}else;b();}", "f:{a();continue f}");
|
|
// SyntaxError: Undefined label 'a'
|
|
test_same("for(let i=0;i<10;i++)continue a;");
|
|
}
|
|
|
|
#[test]
|
|
fn test_function_return_optimization() {
|
|
test("function f(){return}", "function f(){}");
|
|
test("f=()=>{return}", "f=()=>{}");
|
|
test("function f(){if(a()){b();if(c())return;}}", "function f(){a()&&(b(),c());}");
|
|
test("f=()=>{if(a()){b();if(c())return;}}", "f=()=>{a()&&(b(),c());}");
|
|
test("function f(){if(x)return; x=3; return; }", "function f(){ x||=3;}");
|
|
test("function f(){if(true){a();return;}else;b();}", "function f(){a();}");
|
|
test("function f(){if(false){a();return;}else;b();return;}", "function f(){b();}");
|
|
test("function f(){if(a()){b();return;}else;c();}", "function f(){if(a()){b();return}c()}"); // function f(){a()?b():c()}
|
|
test(
|
|
"function f(){if(a()){b()}else{c();return;}}",
|
|
"function f(){if(a())b();else{c();return}}",
|
|
); // function f(){a()?b():c()}
|
|
test(
|
|
"function f(){ if(a()) { if (a) { return } throw a; } else return 2; }",
|
|
"function f(){ if(a()) { if (a) return; throw a } return 2 }",
|
|
);
|
|
test(
|
|
"function f(){if(a()){if(b()){d();return;}else{return;}}else{return;} c();}",
|
|
"function f(){if(a()){if(b()){d();return}return}}",
|
|
); // function f(){a()&&b()&&d()}
|
|
test(
|
|
"function f(a,b,c){if(a){}else if(b){x();return}else if(c){y();return}z()}",
|
|
"function f(a,b,c){if(!a){if(b){x();return}if(c){y();return}}z()}",
|
|
);
|
|
test("function f(){if(a()){b();return;}else;}", "function f(){if(a()){b();return}}"); // function f(){a()&&b()}
|
|
test("function f(){if(a()){return;}else{return;} return;}", "function f(){a();}");
|
|
test("function f(){if(a()){return;}else{return;} b();}", "function f(){a()}");
|
|
test(
|
|
"function f(){ if (x) return; if (y) return; if (z) return; w(); }",
|
|
"function f(){x||y||z||w()}",
|
|
);
|
|
test("function f(){while(a())return;}", "function f(){for(;a();)return}");
|
|
test_same("function f(){for(x in a())return}");
|
|
|
|
test("function f(){while(a())break;}", "function f(){for(;a();)break}");
|
|
test_same("function f(){for(x in a())break}");
|
|
|
|
test(
|
|
"function f(){try{return;}catch(e){throw 9;}finally{return}}",
|
|
"function f(){try{return;}catch{throw 9;}finally{return}}",
|
|
); // function f(){}
|
|
test_same("function f(){try{throw 9;}finally{return;}}");
|
|
|
|
test("function f(){try{return;}catch(e){return;}}", "function f(){try{return}catch{return}}"); // function f(){}
|
|
test(
|
|
"function f(){try{if(a()){return;}else{return;} return;}catch(e){}}",
|
|
"function f(){try{a();return}catch{}}",
|
|
); // function f(){try{a()}catch{}}
|
|
|
|
test_same("function f(){g:return}"); // function f(){}
|
|
test("function f(){g:{return}}", "function f(){g:return}"); // function f(){}
|
|
test(
|
|
"function f(){g:if(a()){return;}else{return;} return;}",
|
|
"function f(){g:if(a())return;else return}",
|
|
); // function f(){g:a()}
|
|
test(
|
|
"function f(){g:{if(a()){return;}else{return;} return;}}",
|
|
"function f(){g:return a(),void 0}",
|
|
); // function f(){g:a()}
|
|
test(
|
|
"function f(){g:{a();if(b()){return;}else{return;} return;}}",
|
|
"function f(){g:return a(),b(),void 0}",
|
|
); // function f(){g:a(),b()}
|
|
test(
|
|
"function f(){try{g:if(a()){throw 9;} return;}finally{return}}",
|
|
"function f(){try{g:if(a())throw 9; return}finally{return}}",
|
|
); // function f(){try{g:if(a())throw 9}finally{}}
|
|
test(
|
|
"function g(a,b){if(a){}else if(b){return()=>typeof f}else function f(){}}",
|
|
"function g(a,b){if(!a){if(b)return()=>typeof f;else function f(){}}}",
|
|
);
|
|
}
|
|
|
|
#[test]
|
|
fn test_function_return_scoped() {
|
|
test(
|
|
"function f(a) {
|
|
if (a) {
|
|
let a = Math.random();
|
|
if (a < 0.5) {
|
|
return a;
|
|
}
|
|
}
|
|
return a;
|
|
}",
|
|
"function f(a) {
|
|
if (a) {
|
|
let a = Math.random();
|
|
if (a < 0.5) return a;
|
|
}
|
|
return a;
|
|
}",
|
|
);
|
|
}
|
|
|
|
#[test]
|
|
fn test_while_continue_optimization() {
|
|
test("while(true){if(x)continue; x=3; continue; }", "for(;;)x||=3;");
|
|
test("while(true){a();continue;b();}", "for(;;)a();");
|
|
test("while(true){if(true){a();continue;}else;b();}", "for(;;)a();");
|
|
test("while(true){if(false){a();continue;}else;b();continue;}", "for(;;)b();");
|
|
test("while(true){if(a()){b();continue;}else;c();}", "for(;;){if(a()){b();continue}c()}"); // for(;;)a()?b():c();
|
|
test("while(true){if(a()){b();}else{c();continue;}}", "for(;;)if(a())b();else{c();continue}"); // for(;;)a()?b():c();
|
|
test("while(true){if(a()){b();continue;}else;}", "for (;;) if(a()){b();continue;}"); // for(;;)a()&&b();
|
|
test("while(true){if(a()){continue;}else{continue;} continue;}", "for(;;)a();");
|
|
test("while(true){if(a()){continue;}else{continue;} b();}", "for(;;)a();");
|
|
test(
|
|
"while(true){d();if(a()){continue;}else if(b()){c();continue;}else{continue;}}",
|
|
"for(;;)if(d(),!a()&&b()){c();continue}",
|
|
); // for(;;)d(),!a()&&b()&&c();
|
|
|
|
test("while(true)while(a())continue;", "for(;;)for(;a();)continue;"); // for(;;)for(;a(););
|
|
test("while(true)for(x in a())continue", "for(;;)for(x in a())continue;"); // for(;;)for(x in a());
|
|
|
|
test("while(true)while(a())break;", "for(;;)for(;a();)break");
|
|
test("while(true)for(x in a())break", "for(;;)for(x in a())break");
|
|
|
|
test("while(true){try{continue;}catch(e){continue;}}", "for(;;)try{continue}catch{continue}"); // for(;;);
|
|
test(
|
|
"while(true){try{if(a()){continue;}else{continue;} continue;}catch(e){}}",
|
|
"for(;;)try{if(a())continue;continue}catch{}",
|
|
); // for(;;)try{a()}catch{}
|
|
|
|
test("while(true){g:continue}", "for(;;) g:continue;"); // for(;;);
|
|
test("while(true){g:{continue}}", "for(;;) g:continue;"); // for(;;);
|
|
// This case could be improved.
|
|
test(
|
|
"while(true){g:if(a()){continue;}else{continue;} continue;}",
|
|
"for(;;)g:if(a())continue;else continue;",
|
|
); // for (;;)g:a();
|
|
test(
|
|
"while(true){g:{if(a()){continue;}else{continue;} continue;}}",
|
|
"for(;;)g:{if(a())continue;continue}",
|
|
); // for(;;)g:a();
|
|
test(
|
|
"while(true){g:{a();if(b()){continue;}else{continue;} continue;}}",
|
|
"for(;;)g:{if(a(),b())continue;continue}",
|
|
); // for(;;)g:a(),b();
|
|
}
|
|
|
|
#[test]
|
|
fn test_do_continue_optimization() {
|
|
test("do{if(x)continue; x=3; continue; }while(true)", "do x||=3;while(1);");
|
|
test("do{a();continue;b()}while(true)", "do a();while(1)");
|
|
test("do{if(true){a();continue;}else;b();}while(true)", "do a();while(1)");
|
|
test("do{if(false){a();continue;}else;b();continue;}while(true)", "do b();while(1)");
|
|
test("do{if(a()){b();continue;}else;c();}while(true)", "do{if(a()){b();continue}c()}while(1);"); // do a()?b():c();while(1)
|
|
test(
|
|
"do{if(a()){b();}else{c();continue;}}while(true)",
|
|
"do if(a())b();else{c();continue}while(1);",
|
|
); // do a()?b():c();while(1)
|
|
test("do{if(a()){b();continue;}else;}while(true)", "do if(a()){b();continue}while(1);"); // do a()&&b();while(1)
|
|
test("do{if(a()){continue;}else{continue;} continue;}while(true)", "do a();while(1)");
|
|
test("do{if(a()){continue;}else{continue;} b();}while(true)", "do a();while(1)");
|
|
|
|
test("do{while(a())continue;}while(true)", "do for(;a();)continue;while(1);"); // do for(;a(););while(1)
|
|
test("do{for(x in a())continue}while(true)", "do for(x in a())continue;while(1);"); // do for(x in a());while(1)
|
|
|
|
test("do{while(a())break;}while(true)", "do for(;a();)break;while(1)");
|
|
test("do for(x in a())break;while(true)", "do for(x in a())break;while(1)");
|
|
|
|
test(
|
|
"do{try{continue;}catch(e){continue;}}while(true)",
|
|
"do try{continue}catch{continue}while(1);",
|
|
); // do;while(1)
|
|
test(
|
|
"do{try{if(a()){continue;}else{continue;} continue;}catch(e){}}while(true)",
|
|
"do try{if(a())continue;continue}catch{}while(1);",
|
|
); // do try{a()}catch{}while(1);
|
|
|
|
test("do{g:continue}while(true)", "do g:continue;while(1);"); // do;while(1);
|
|
// This case could be improved.
|
|
test(
|
|
"do{g:if(a()){continue;}else{continue;} continue;}while(true)",
|
|
"do g:if(a())continue;else continue;while(1);",
|
|
); // do g:a();while(1);
|
|
|
|
test("do { foo(); continue; } while(false)", "do foo();while(0)");
|
|
test("do { foo(); break; } while(false)", "do foo();while(0)");
|
|
|
|
test("do{break}while(fn());", "do break; while(fn());");
|
|
test("do{break}while(true);", "do break; while(1);"); // do while(0);
|
|
test("do{break}while(!new Date());", "do;while(0);");
|
|
|
|
test(
|
|
"do { foo(); switch (x) { case 1: break; default: f()} } while(false)",
|
|
"do switch (foo(),x) { case 1: break; default: f() } while(0);",
|
|
);
|
|
}
|
|
|
|
#[test]
|
|
fn test_for_continue_optimization() {
|
|
test("for(x in y){if(x)continue; x=3; continue; }", "for(x in y)x||=3");
|
|
test("for(x in y){a();continue;b()}", "for(x in y)a()");
|
|
test("for(x in y){if(true){a();continue;}else;b();}", "for(x in y)a()");
|
|
test("for(x in y){if(false){a();continue;}else;b();continue;}", "for(x in y)b()");
|
|
test("for(x in y){if(a()){b();continue;}else;c();}", "for(x in y){if(a()){b();continue}c()}"); // for(x in y)a()?b():c()
|
|
test(
|
|
"for(x in y){if(a()){b();}else{c();continue;}}",
|
|
"for(x in y)if(a())b();else{c();continue}",
|
|
); // for(x in y)a()?b():c()
|
|
|
|
test("for(x of y){if(x)continue; x=3; continue; }", "for(x of y)x||=3");
|
|
test("for(x of y){a();continue;b()}", "for(x of y)a()");
|
|
test("for(x of y){if(true){a();continue;}else;b();}", "for(x of y)a()");
|
|
test("for(x of y){if(false){a();continue;}else;b();continue;}", "for(x of y)b()");
|
|
test("for(x of y){if(a()){b();continue;}else;c();}", "for(x of y){if(a()){b();continue}c()}"); // for(x of y)a()?b():c()
|
|
test(
|
|
"for(x of y){if(a()){b();}else{c();continue;}}",
|
|
"for(x of y)if(a())b();else{c();continue}",
|
|
); // for(x of y)a()?b():c()
|
|
|
|
test(
|
|
"r=async () => { for await (x of y){if(x)continue; x=3; continue; }}",
|
|
"r=async () => { for await (x of y) x||=3 };",
|
|
);
|
|
test(
|
|
"r=async () => { for await (x of y){a();continue;b()}}",
|
|
"r=async () => { for await(x of y) a() };",
|
|
);
|
|
test(
|
|
"r=async () => { for await (x of y){if(true){a();continue;}else;b();}}",
|
|
"r=async () => { for await (x of y) a() };",
|
|
);
|
|
test(
|
|
"r=async () => { for await (x of y){if(false){a();continue;}else;b();continue;}}",
|
|
"r=async() => { for await (x of y) b() };",
|
|
);
|
|
test(
|
|
"r=async () => { for await (x of y){if(a()){b();continue;}else;c();}}",
|
|
"r=async () => { for await (x of y){if(a()){b();continue}c()}};",
|
|
); // r=async () => { for await(x of y)a()?b():c()};
|
|
test(
|
|
"r=async () => { for await (x of y){if(a()){b();}else{c();continue;}}}",
|
|
"r=async() => { for await(x of y)if(a())b();else{c();continue}};",
|
|
); // r=async () => { for await (x of y) a() ? b() : c() };
|
|
|
|
test("for(x=0;x<y;x++){if(a()){b();continue;}else;}", "for(x=0;x<y;x++)if(a()){b();continue}"); // for(x=0;x<y;x++)a()&&b()
|
|
test("for(x=0;x<y;x++){if(a()){continue;}else{continue;} continue;}", "for(x=0;x<y;x++)a()");
|
|
test("for(x=0;x<y;x++){if(a()){continue;}else{continue;} b();}", "for(x=0;x<y;x++)a();");
|
|
|
|
test("for(x=0;x<y;x++)while(a())continue;", "for(x=0;x<y;x++)for(;a();)continue;"); // for(x=0;x<y;x++)for(;a(););
|
|
test("for(x=0;x<y;x++)for(x in a())continue", "for(x=0;x<y;x++)for(x in a())continue;"); // for(x=0;x<y;x++)for(x in a());
|
|
|
|
test("for(x=0;x<y;x++)while(a())break;", "for(x=0;x<y;x++)for(;a();)break");
|
|
test_same("for(x=0;x<y;x++)for(x in a())break");
|
|
|
|
test(
|
|
"for(x=0;x<y;x++){try{continue;}catch(e){continue;}}",
|
|
"for(x=0;x<y;x++)try{continue}catch{continue}",
|
|
); // for(x=0;x<y;x++);
|
|
test(
|
|
"for(x=0;x<y;x++){try{if(a()){continue;}else{continue;} continue;}catch(e){}}",
|
|
"for(x=0;x<y;x++)try{if(a())continue;continue}catch{}",
|
|
); // for(x=0;x<y;x++)try{a()}catch{}
|
|
|
|
test("for(x=0;x<y;x++){g:continue}", "for(x=0;x<y;x++)g:continue;"); // for(x=0;x<y;x++);
|
|
test("for(x=0;x<y;x++){g:{continue}}", "for(x=0;x<y;x++)g:continue;"); // for(x=0;x<y;x++);
|
|
test(
|
|
"for(x=0;x<y;x++){g:if(a()){continue;}else{continue;} continue;}",
|
|
"for(x=0;x<y;x++)g:if(a())continue;else continue;",
|
|
); // for(x=0;x<y;x++)g:a();
|
|
test(
|
|
"for(x=0;x<y;x++){g:{if(a()){continue;}else{continue;} continue;}}",
|
|
"for(x=0;x<y;x++)g:{if(a())continue;continue;}",
|
|
); // for(x=0;x<y;x++)g:a();
|
|
test(
|
|
"for(x=0;x<y;x++){g:{a();if(b()){continue;}else{continue;} continue;}}",
|
|
"for(x=0;x<y;x++)g:{if(a(),b())continue;continue}",
|
|
);
|
|
}
|
|
|
|
#[test]
|
|
fn test_code_motion_doesnt_break_function_hoisting() {
|
|
test_same("function f() { if (x) return; foo(); function foo() {} }");
|
|
test_same("function f() { if (x) return; foo(); label: function foo() {} }");
|
|
test_same("function a() { if (typeof f == 'function') return; function f() {} }");
|
|
test_same("function a() { if (typeof f == 'function') return; label: function f() {} }");
|
|
}
|
|
|
|
#[test]
|
|
fn test_dont_remove_break_in_try_finally() {
|
|
test_same("function f() {b:try{throw 9} finally {break b} return 1;}");
|
|
}
|
|
|
|
#[test]
|
|
fn test_try_catch_termination() {
|
|
test_same("function f(){if(a)try{b}catch{c}else throw i()}");
|
|
test_same("function f(){if(a)try{return g()}catch{c}else throw i()}");
|
|
test_same("function f(){if(a)try{b}catch{return g()}else throw i()}");
|
|
test(
|
|
"function f(){if(a)try{return g()}catch{return g()}else throw i()}",
|
|
"function f(){if(a)try{return g()}catch{return g()}throw i()}",
|
|
);
|
|
|
|
test_same("function f(){if(a)try{b}finally{d}else throw i()}");
|
|
test_same("function f(){if(a)try{return g()}finally{d}else throw i()}");
|
|
test(
|
|
"function f(){if(a)try{b}finally{return g()}else throw i()}",
|
|
"function f(){if(a)try{b}finally{return g()}throw i()}",
|
|
);
|
|
|
|
test_same("function f(){if(a)try{b}catch{c}finally{d}else throw i()}");
|
|
test_same("function f(){if(a)try{return g()}catch{d}finally{d}else throw i()}");
|
|
test_same("function f(){if(a)try{b}catch{return g()}finally{d}else throw i()}");
|
|
test(
|
|
"function f(){if(a)try{b}catch{c}finally{return g(d)}else throw i()}",
|
|
"function f(){if(a)try{b}catch{c}finally{return g(d)}throw i()}",
|
|
);
|
|
}
|
|
|
|
/**
|
|
* The 'break' prevents the 'b=false' from being evaluated. If we test the do-while to
|
|
* 'do;while(b=false)' the code will be incorrect.
|
|
*
|
|
* @see https://github.com/google/closure-compiler/issues/554
|
|
*/
|
|
#[test]
|
|
fn test_dont_test_break_in_do_while_if_condition_has_side_effects() {
|
|
test("var b=true;do{break}while(b=false);", "var b = !0; do break; while (b = !1);");
|
|
}
|
|
|
|
#[test]
|
|
fn test_switch_exit_points1() {
|
|
test("switch (x) { case 1: f(); break; }", "x === 1 && f();");
|
|
test(
|
|
"switch (x) { case 1: f(); break; case 2: g(); break; }",
|
|
"switch (x) { case 1: f(); break; case 2: g(); }",
|
|
);
|
|
test(
|
|
"switch (x) { case 1: if (x) { f(); break; } break; default: g(); break; }",
|
|
"switch (x) { case 1: if (x) { f(); break; } break; default: g() }",
|
|
); // switch (x) { case 1: x && f(); break; default: g() }
|
|
}
|
|
|
|
#[test]
|
|
#[ignore = "TODO: Block scoped variable optimization not yet implemented"]
|
|
fn test_test_block_scoped_variables() {
|
|
// When moving block-scoped variable declarations into inner blocks, first convert them to
|
|
// "var" declarations to avoid breaking any references in inner functions.
|
|
|
|
// For example, in the following test case, moving "let c = 3;" directly inside the else block
|
|
// would break the function "g"'s reference to "c".
|
|
test(
|
|
"function f() { function g() { return c; } if (x) {return;} let c = 3; }",
|
|
"function f() { function g() { return c; } if (x){} else {var c = 3;} }",
|
|
);
|
|
test(
|
|
"function f() { function g() { return c; } if (x) {return;} const c = 3; }",
|
|
"function f() { function g() { return c; } if (x) {} else {var c = 3;} }",
|
|
);
|
|
// Convert let and const even they're if not referenced by any functions.
|
|
test(
|
|
"function f() { if (x) {return;} const c = 3; }",
|
|
"function f() { if (x) {} else { var c = 3; } }",
|
|
);
|
|
test(
|
|
"function f() { if (x) {return;} let a = 3; let b = () => a; }",
|
|
"function f() { if (x) {} else { var a = 3; var b = () => a;} }",
|
|
);
|
|
test(
|
|
"function f() { if (x) { if (y) {return;} let c = 3; } }",
|
|
"function f() { if (x) { if (y) {} else { var c = 3; } } }",
|
|
);
|
|
}
|
|
|
|
#[test]
|
|
#[ignore = "TODO: Block scoped variables in loops optimization not yet implemented"]
|
|
fn test_dont_test_block_scoped_variables_in_loops() {
|
|
// Don't move block-scoped declarations into inner blocks inside a loop, since converting
|
|
// let/const declarations to vars in a loop can cause incorrect semantics.
|
|
// See the following test case for an example.
|
|
test_same(
|
|
"function f(param) {
|
|
let arr = [];
|
|
for (let x of param) {
|
|
if (x < 0) continue;
|
|
let y = x * 2;
|
|
arr.push(() => y); // If y was a var, this would capture the wrong value.
|
|
}
|
|
return arr;
|
|
}",
|
|
);
|
|
|
|
// Additional tests for different kinds of loops.
|
|
test_same("function f() { while (true) { if (true) {return;} let c = 3; } }");
|
|
test_same("function f() { do { if (true) {return;} let c = 3; } while (x); }");
|
|
test_same("function f() { for (;;) { if (true) { return; } let c = 3; } }");
|
|
test_same("function f(y) { for(x in []){ if(x) { return; } let c = 3; } }");
|
|
test_same("async function f(y) { for await (x in []){ if(x) { return; } let c = 3; } }");
|
|
}
|