[Interpreter] Ensure ToBoolean bytecodes are correctly emitted at the start of basic blocks

test/cctest/interpreter/test-bytecode-generator.cc

 // Copyright 2015 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 // TODO(rmcilroy): Remove this define after this flag is turned on globally
 #define V8_IMMINENT_DEPRECATION_WARNINGS
 
 #include "src/v8.h"
 
 #include "src/compiler.h"
@@ skipping 1587 matching lines @@
 TEST(IfConditions) {
   InitializedHandleScope handle_scope;
   BytecodeGeneratorHelper helper;
 
   Handle<Object> unused = helper.factory()->undefined_value();
 
   ExpectedSnippet<Handle<Object>> snippets[] = {
       {"function f() { if (0) { return 1; } else { return -1; } } f()",
        0,
        1,
-       5,
-       {B(LdaSmi8), U8(-1),  //
-        B(Return),           //
-        B(LdaUndefined),     // TODO(mythria) redundant return statement
-        B(Return)},          // could be eliminated.
+       3,
+       {
+           B(LdaSmi8), U8(-1),  //
+           B(Return),           //
+       },
        0,
        {unused, unused, unused, unused, unused, unused}},
       {"function f() { if ('lucky') { return 1; } else { return -1; } } f();",
        0,
        1,
-       5,
-       {B(LdaSmi8), U8(1),  //
-        B(Return),          //
-        B(LdaUndefined),    // TODO(mythria) redundant return statement
-        B(Return)},         // could be eliminated.
+       3,
+       {
+           B(LdaSmi8), U8(1),  //
+           B(Return),          //
+       },
        0,
        {unused, unused, unused, unused, unused, unused}},
       {"function f() { if (false) { return 1; } else { return -1; } } f();",
        0,
        1,
-       5,
-       {B(LdaSmi8), U8(-1),  //
-        B(Return),           //
-        B(LdaUndefined),     // TODO(mythria) redundant return statement
-        B(Return)},          // could be eliminated.
+       3,
+       {
+           B(LdaSmi8), U8(-1),  //
+           B(Return),           //
+       },
        0,
        {unused, unused, unused, unused, unused, unused}},
       {"function f() { if (false) { return 1; } } f();",
        0,
        1,
        2,
-       {B(LdaUndefined),        //
-        B(Return)},
+       {
+           B(LdaUndefined),  //
+           B(Return),        //
+       },
+       0,
+       {unused, unused, unused, unused, unused, unused}},
+      {"function f() { var a = 1; if (a) { a += 1; } else { return 2; } } f();",
+       1 * kPointerSize,
+       1,
+       21,
+       {
+           B(LdaSmi8), U8(1),                //
+           B(Star), R(0),                    //
+           B(Ldar), R(0),                    //
+           B(JumpIfToBooleanFalse), U8(10),  //
+           B(LdaSmi8), U8(1),                //
+           B(Add), R(0),                     //
+           B(Star), R(0),                    //
+           B(Jump), U8(5),                   //
+           B(LdaSmi8), U8(2),                //
+           B(Return),                        //
+           B(LdaUndefined),                  //
+           B(Return),                        //
+       },
        0,
        {unused, unused, unused, unused, unused, unused}},
       {"function f(a) { if (a <= 0) { return 200; } else { return -200; } }"
        "f(99);",
        0,
        2,
-       15,
-       {B(LdaZero),                       //
-        B(TestLessThanOrEqual), A(1, 2),  //
-        B(JumpIfFalse), U8(7),            //
-        B(LdaConstant), U8(0),            //
-        B(Return),                        //
-        B(Jump), U8(5),                   //
-        B(LdaConstant), U8(1),            //
-        B(Return),                        //
-        B(LdaUndefined),                  //
-        B(Return)},                       //
+       13,
+       {
+           B(LdaZero),                       //
+           B(TestLessThanOrEqual), A(1, 2),  //
+           B(JumpIfFalse), U8(5),            //
+           B(LdaConstant), U8(0),            //
+           B(Return),                        //
+           B(LdaConstant), U8(1),            //
+           B(Return),                        //
+           B(LdaUndefined),                  //
+           B(Return),                        //
+       },
        2,
        {helper.factory()->NewNumberFromInt(200),
         helper.factory()->NewNumberFromInt(-200), unused, unused, unused,
         unused}},
       {"function f(a, b) { if (a in b) { return 200; } }"
        "f('prop', { prop: 'yes'});",
        0,
        3,
        11,
-       {B(Ldar), A(2, 3),       //
-        B(TestIn), A(1, 3),     //
-        B(JumpIfFalse), U8(5),  //
-        B(LdaConstant), U8(0),  //
-        B(Return),              //
-        B(LdaUndefined),        //
-        B(Return)},             //
+       {
+           B(Ldar), A(2, 3),       //
+           B(TestIn), A(1, 3),     //
+           B(JumpIfFalse), U8(5),  //
+           B(LdaConstant), U8(0),  //
+           B(Return),              //
+           B(LdaUndefined),        //
+           B(Return),              //
+       },
        1,
        {helper.factory()->NewNumberFromInt(200), unused, unused, unused, unused,
         unused}},
       {"function f(z) { var a = 0; var b = 0; if (a === 0.01) { "
        REPEAT_32(SPACE, "b = a; a = b; ")
        " return 200; } else { return -200; } } f(0.001)",
        2 * kPointerSize,
        2,
-       278,
+       276,
        {
            B(LdaZero),                     //
            B(Star), R(0),                  //
            B(LdaZero),                     //
            B(Star), R(1),                  //
            B(LdaConstant), U8(0),          //
            B(TestEqualStrict), R(0),       //
            B(JumpIfFalseConstant), U8(2),  //
            REPEAT_32(COMMA,                //
              B(Ldar), R(0),                //
              B(Star), R(1),                //
              B(Ldar), R(1),                //
              B(Star), R(0)),               //
            B(LdaConstant), U8(1),          //
            B(Return),                      //
-           B(Jump), U8(5),                 //
            B(LdaConstant), U8(3),          //
            B(Return),                      //
            B(LdaUndefined),                //
            B(Return)},                     //
        4,
        {helper.factory()->NewHeapNumber(0.01),
         helper.factory()->NewNumberFromInt(200),
-        helper.factory()->NewNumberFromInt(263),
+        helper.factory()->NewNumberFromInt(261),
         helper.factory()->NewNumberFromInt(-200), unused, unused}},
       {"function f() { var a = 0; var b = 0; if (a) { "
        REPEAT_32(SPACE, "b = a; a = b; ")
        " return 200; } else { return -200; } } f()",
        2 * kPointerSize,
        1,
-       276,
+       274,
        {
            B(LdaZero),                              //
            B(Star), R(0),                           //
            B(LdaZero),                              //
            B(Star), R(1),                           //
            B(Ldar), R(0),                           //
            B(JumpIfToBooleanFalseConstant), U8(1),  //
            REPEAT_32(COMMA,                         //
              B(Ldar), R(0),                         //
              B(Star), R(1),                         //
              B(Ldar), R(1),                         //
              B(Star), R(0)),                        //
            B(LdaConstant), U8(0),                   //
            B(Return),                               //
-           B(Jump), U8(5),                          //
            B(LdaConstant), U8(2),                   //
            B(Return),                               //
            B(LdaUndefined),                         //
            B(Return)},                              //
        3,
        {helper.factory()->NewNumberFromInt(200),
-        helper.factory()->NewNumberFromInt(263),
+        helper.factory()->NewNumberFromInt(261),
         helper.factory()->NewNumberFromInt(-200), unused, unused, unused}},
 
       {"function f(a, b) {\n"
        "  if (a == b) { return 1; }\n"
        "  if (a === b) { return 1; }\n"
        "  if (a < b) { return 1; }\n"
        "  if (a > b) { return 1; }\n"
        "  if (a <= b) { return 1; }\n"
        "  if (a >= b) { return 1; }\n"
        "  if (a in b) { return 1; }\n"
@@ skipping 26 matching lines @@
       {"function f() {"
        " var a = 0;"
        " if (a) {"
        "  return 20;"
        "} else {"
        "  return -20;}"
        "};"
        "f();",
        1 * kPointerSize,
        1,
-       17,
+       15,
        {
            B(LdaZero),                      //
            B(Star), R(0),                   //
            B(Ldar), R(0),                   //
-           B(JumpIfToBooleanFalse), U8(7),  //
+           B(JumpIfToBooleanFalse), U8(5),  //
            B(LdaSmi8), U8(20),              //
            B(Return),                       //
-           B(Jump), U8(5),                  //
            B(LdaSmi8), U8(-20),             //
            B(Return),                       //
            B(LdaUndefined),                 //
            B(Return)
        },
        0,
        {unused, unused, unused, unused, unused, unused}}
   };
 
   for (size_t i = 0; i < arraysize(snippets); i++) {
@@ skipping 1540 matching lines @@
 
 TEST(TryCatch) {
   InitializedHandleScope handle_scope;
   BytecodeGeneratorHelper helper;
 
   // TODO(rmcilroy): modify tests when we have real try catch support.
   ExpectedSnippet<int> snippets[] = {
       {"try { return 1; } catch(e) { return 2; }",
        kPointerSize,
        1,
-       5,
+       3,
        {
            B(LdaSmi8), U8(1),  //
            B(Return),          //
-           B(LdaUndefined),    //
-           B(Return),          //
        },
        0},
   };
 
   for (size_t i = 0; i < arraysize(snippets); i++) {
     Handle<BytecodeArray> bytecode_array =
         helper.MakeBytecodeForFunctionBody(snippets[i].code_snippet);
     CheckBytecodeArrayEqual(snippets[i], bytecode_array);
   }
 }
@@ skipping 63 matching lines @@
       {"throw 'Error';",
        0,
        1,
        3,
        {
            B(LdaConstant), U8(0),  //
            B(Throw),               //
        },
        1,
        {"Error"}},
-      {"if ('test') { throw 'Error'; };",
-       0,
+      {"var a = 1; if (a) { throw 'Error'; };",
+       1 * kPointerSize,
        1,
-       5,
+       13,
        {
-           B(LdaConstant), U8(0),  //
-           B(Throw),               //
-           B(LdaUndefined),        //
-           B(Return),              //
+           B(LdaSmi8), U8(1),               //
+           B(Star), R(0),                   //
+           B(Ldar), R(0),                   //
+           B(JumpIfToBooleanFalse), U8(5),  //
+           B(LdaConstant), U8(0),           //
+           B(Throw),                        //
+           B(LdaUndefined),                 //
+           B(Return),                       //
        },
        1,
        {"Error"}},
   };
 
   for (size_t i = 0; i < arraysize(snippets); i++) {
     Handle<BytecodeArray> bytecode_array =
         helper.MakeBytecodeForFunctionBody(snippets[i].code_snippet);
     CheckBytecodeArrayEqual(snippets[i], bytecode_array);
   }
@@ skipping 149 matching lines @@
            B(Star), R(1),                                      //
            B(Call), R(1), R(2), U8(0),                         //
            B(LdaContextSlot), R(0), U8(first_context_slot),    //
            B(Return),                                          //
        },
        1,
        {InstanceType::SHARED_FUNCTION_INFO_TYPE}},
       {"'use strict'; let a = 1; { let b = 2; return function() { a + b; }; }",
        4 * kPointerSize,
        1,
-       49,
+       45,
        {
            B(CallRuntime), U16(Runtime::kNewFunctionContext),             //
                            R(closure), U8(1),                             //
            B(PushContext), R(0),                                          //
            B(LdaTheHole),                                                 //
            B(StaContextSlot), R(0), U8(first_context_slot),               //
            B(LdaSmi8), U8(1),                                             //
            B(StaContextSlot), R(0), U8(first_context_slot),               //
            B(LdaConstant), U8(0),                                         //
            B(Star), R(2),                                                 //
            B(Ldar), R(closure),                                           //
            B(Star), R(3),                                                 //
            B(CallRuntime), U16(Runtime::kPushBlockContext), R(2), U8(2),  //
            B(PushContext), R(1),                                          //
            B(LdaTheHole),                                                 //
            B(StaContextSlot), R(1), U8(first_context_slot),               //
            B(LdaSmi8), U8(2),                                             //
            B(StaContextSlot), R(1), U8(first_context_slot),               //
            B(LdaConstant), U8(1),                                         //
            B(CreateClosure), U8(0),                                       //
            B(Return),                                                     //
-           // TODO(rmcilroy): Dead code after this point due to return in nested
-           // block - investigate eliminating this.
-           B(PopContext), R(0),
-           B(LdaUndefined),  //
-           B(Return),        //
        },
        2,
        {InstanceType::FIXED_ARRAY_TYPE,
         InstanceType::SHARED_FUNCTION_INFO_TYPE}},
   };
 
   for (size_t i = 0; i < arraysize(snippets); i++) {
     Handle<BytecodeArray> bytecode_array =
         helper.MakeBytecodeForFunctionBody(snippets[i].code_snippet);
     CheckBytecodeArrayEqual(snippets[i], bytecode_array);
@@ skipping 1269 matching lines @@
        }},
   };
 
   for (size_t i = 0; i < arraysize(snippets); i++) {
     Handle<BytecodeArray> bytecode_array =
         helper.MakeBytecodeForFunctionBody(snippets[i].code_snippet);
     CheckBytecodeArrayEqual(snippets[i], bytecode_array);
   }
 }
 
+
+TEST(BasicBlockToBoolean) {
+  InitializedHandleScope handle_scope;
+  BytecodeGeneratorHelper helper;
+
+  // Check that we don't omit ToBoolean calls if they are at the start of basic
+  // blocks.
+  ExpectedSnippet<int> snippets[] = {
+      {"var a = 1; if (a || a < 0) { return 1; }",
+       1 * kPointerSize,
+       1,
+       18,
+       {
+           B(LdaSmi8), U8(1),               //
+           B(Star), R(0),                   //
+           B(Ldar), R(0),                   //
+           B(JumpIfToBooleanTrue), U8(5),   //
+           B(LdaZero),                      //
+           B(TestLessThan), R(0),           //
+           B(JumpIfToBooleanFalse), U8(5),  //
+           B(LdaSmi8), U8(1),               //
+           B(Return),                       //
+           B(LdaUndefined),                 //
+           B(Return),                       //
+       }},
+      {"var a = 1; if (a && a < 0) { return 1; }",
+       1 * kPointerSize,
+       1,
+       18,
+       {
+           B(LdaSmi8), U8(1),               //
+           B(Star), R(0),                   //
+           B(Ldar), R(0),                   //
+           B(JumpIfToBooleanFalse), U8(5),  //
+           B(LdaZero),                      //
+           B(TestLessThan), R(0),           //
+           B(JumpIfToBooleanFalse), U8(5),  //
+           B(LdaSmi8), U8(1),               //
+           B(Return),                       //
+           B(LdaUndefined),                 //
+           B(Return),                       //
+       }},
+      {"var a = 1; a = (a || a < 0) ? 2 : 3;",
+       1 * kPointerSize,
+       1,
+       23,
+       {
+           B(LdaSmi8), U8(1),               //
+           B(Star), R(0),                   //
+           B(Ldar), R(0),                   //
+           B(JumpIfToBooleanTrue), U8(5),   //
+           B(LdaZero),                      //
+           B(TestLessThan), R(0),           //
+           B(JumpIfToBooleanFalse), U8(6),  //
+           B(LdaSmi8), U8(2),               //
+           B(Jump), U8(4),                  //
+           B(LdaSmi8), U8(3),               //
+           B(Star), R(0),                   //
+           B(LdaUndefined),                 //
+           B(Return),                       //
+       }},
+  };
+
+  for (size_t i = 0; i < arraysize(snippets); i++) {
+    Handle<BytecodeArray> bytecode_array =
+        helper.MakeBytecodeForFunctionBody(snippets[i].code_snippet);
+    CheckBytecodeArrayEqual(snippets[i], bytecode_array);
+  }
+}
+
+
+TEST(DeadCodeRemoval) {
+  InitializedHandleScope handle_scope;
+  BytecodeGeneratorHelper helper;
+
+  ExpectedSnippet<int> snippets[] = {
+      {"return; var a = 1; a();",
+       1 * kPointerSize,
+       1,
+       2,
+       {
+           B(LdaUndefined),  //
+           B(Return),        //
+       }},
+      {"if (false) { return; }; var a = 1;",
+       1 * kPointerSize,
+       1,
+       6,
+       {
+           B(LdaSmi8), U8(1),  //
+           B(Star), R(0),      //
+           B(LdaUndefined),    //
+           B(Return),          //
+       }},
+      {"if (true) { return 1; } else { return 2; };",
+       0,
+       1,
+       3,
+       {
+           B(LdaSmi8), U8(1),  //
+           B(Return),          //
+       }},
+      {"var a = 1; if (a) { return 1; }; return 2;",
+       1 * kPointerSize,
+       1,
+       14,
+       {
+           B(LdaSmi8), U8(1),               //
+           B(Star), R(0),                   //
+           B(Ldar), R(0),                   //
+           B(JumpIfToBooleanFalse), U8(5),  //
+           B(LdaSmi8), U8(1),               //
+           B(Return),                       //
+           B(LdaSmi8), U8(2),               //
+           B(Return),                       //
+       }},
+  };
+
+  for (size_t i = 0; i < arraysize(snippets); i++) {
+    Handle<BytecodeArray> bytecode_array =
+        helper.MakeBytecodeForFunctionBody(snippets[i].code_snippet);
+    CheckBytecodeArrayEqual(snippets[i], bytecode_array);
+  }
+}
+
 }  // namespace interpreter
 }  // namespace internal
 }  // namespace v8