Reland: Enable StringConcat bytecode.

BUG=v8:6243
TBR=jgruber@chromium.org,leszeks@chromium.org

Change-Id: Ib830681073f4d3de4e500bf6144c0df2f9f4873f
Reviewed-on: https://chromium-review.googlesource.com/562775Reviewed-by: Leszek Swirski <leszeks@chromium.org>
Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
Commit-Queue: Ross McIlroy <rmcilroy@chromium.org>
Cr-Commit-Position: refs/heads/master@{#46469}

src/debug/debug-evaluate.cc

@@ -439,6 +439,7 @@ bool BytecodeHasNoSideEffect(interpreter::Bytecode bytecode) {
     case Bytecode::kToObject:
     case Bytecode::kToNumber:
     case Bytecode::kToName:
+    case Bytecode::kToPrimitiveToString:
     // Misc.
     case Bytecode::kStringConcat:
     case Bytecode::kForInPrepare:

src/flag-definitions.h

@@ -316,7 +316,7 @@ DEFINE_BOOL(ignition_elide_noneffectful_bytecodes, true,
 DEFINE_BOOL(ignition_reo, true, "use ignition register equivalence optimizer")
 DEFINE_BOOL(ignition_filter_expression_positions, true,
             "filter expression positions before the bytecode pipeline")
-DEFINE_BOOL(ignition_string_concat, false,
+DEFINE_BOOL(ignition_string_concat, true,
             "translate string add chains into string concatenations")
 DEFINE_BOOL(print_bytecode, false,
             "print bytecode generated by ignition interpreter")

test/cctest/interpreter/bytecode_expectations/StringConcat.golden

@@ -39,9 +39,9 @@ snippet: "
   var b = 2;
   return 'string' + a + b;
 "
-frame size: 3
+frame size: 5
 parameter count: 1
-bytecode array length: 26
+bytecode array length: 27
 bytecodes: [
   /*   30 E> */ B(StackCheck),
   /*   42 S> */ B(LdaSmi), I8(1),
@@ -51,10 +51,10 @@ bytecodes: [
   /*   56 S> */ B(LdaConstant), U8(0),
                 B(Star), R(2),
                 B(Ldar), R(0),
-  /*   72 E> */ B(Add), R(2), U8(4),
-                B(Star), R(2),
+  /*   72 E> */ B(ToPrimitiveToString), R(3), U8(4),
                 B(Ldar), R(1),
-  /*   76 E> */ B(Add), R(2), U8(5),
+  /*   76 E> */ B(ToPrimitiveToString), R(4), U8(5),
+                B(StringConcat), R(2), U8(3),
   /*   81 S> */ B(Return),
 ]
 constant pool: [
@@ -69,9 +69,9 @@ snippet: "
   var b = 2;
   return a + 'string' + b;
 "
-frame size: 3
+frame size: 5
 parameter count: 1
-bytecode array length: 22
+bytecode array length: 27
 bytecodes: [
   /*   30 E> */ B(StackCheck),
   /*   42 S> */ B(LdaSmi), I8(1),
@@ -79,10 +79,12 @@ bytecodes: [
   /*   53 S> */ B(LdaSmi), I8(2),
                 B(Star), R(1),
   /*   56 S> */ B(LdaConstant), U8(0),
-  /*   65 E> */ B(Add), R(0), U8(4),
-                B(Star), R(2),
+                B(Star), R(3),
+                B(Ldar), R(0),
+  /*   65 E> */ B(ToPrimitiveToString), R(2), U8(4),
                 B(Ldar), R(1),
-  /*   76 E> */ B(Add), R(2), U8(5),
+  /*   76 E> */ B(ToPrimitiveToString), R(4), U8(5),
+                B(StringConcat), R(2), U8(3),
   /*   81 S> */ B(Return),
 ]
 constant pool: [
@@ -97,9 +99,9 @@ snippet: "
   var b = 2;
   return 'foo' + a + 'bar' + b + 'baz' + 1;
 "
-frame size: 3
+frame size: 7
 parameter count: 1
-bytecode array length: 43
+bytecode array length: 38
 bytecodes: [
   /*   30 E> */ B(StackCheck),
   /*   42 S> */ B(LdaSmi), I8(1),
@@ -109,16 +111,14 @@ bytecodes: [
   /*   56 S> */ B(LdaConstant), U8(0),
                 B(Star), R(2),
                 B(Ldar), R(0),
-  /*   69 E> */ B(Add), R(2), U8(4),
-                B(Star), R(2),
+  /*   69 E> */ B(ToPrimitiveToString), R(3), U8(4),
                 B(LdaConstant), U8(1),
-  /*   73 E> */ B(Add), R(2), U8(5),
-                B(Star), R(2),
+                B(Star), R(4),
                 B(Ldar), R(1),
-  /*   81 E> */ B(Add), R(2), U8(6),
-                B(Star), R(2),
+  /*   81 E> */ B(ToPrimitiveToString), R(5), U8(6),
                 B(LdaConstant), U8(2),
-  /*   85 E> */ B(Add), R(2), U8(7),
+                B(Star), R(6),
+  /*   85 E> */ B(StringConcat), R(2), U8(5),
   /*   93 E> */ B(AddSmi), I8(1), U8(8),
   /*   98 S> */ B(Return),
 ]
@@ -136,9 +136,9 @@ snippet: "
   var b = 2;
   return (a + 'string') + ('string' + b);
 "
-frame size: 4
+frame size: 6
 parameter count: 1
-bytecode array length: 29
+bytecode array length: 31
 bytecodes: [
   /*   30 E> */ B(StackCheck),
   /*   42 S> */ B(LdaSmi), I8(1),
@@ -146,13 +146,14 @@ bytecodes: [
   /*   53 S> */ B(LdaSmi), I8(2),
                 B(Star), R(1),
   /*   56 S> */ B(LdaConstant), U8(0),
-  /*   66 E> */ B(Add), R(0), U8(4),
-                B(Star), R(2),
-                B(LdaConstant), U8(0),
                 B(Star), R(3),
+                B(Ldar), R(0),
+  /*   66 E> */ B(ToPrimitiveToString), R(2), U8(4),
+                B(LdaConstant), U8(0),
+                B(Star), R(4),
                 B(Ldar), R(1),
-  /*   90 E> */ B(Add), R(3), U8(5),
-  /*   78 E> */ B(Add), R(2), U8(6),
+  /*   90 E> */ B(ToPrimitiveToString), R(5), U8(5),
+  /*   78 E> */ B(StringConcat), R(2), U8(4),
   /*   96 S> */ B(Return),
 ]
 constant pool: [
@@ -168,9 +169,9 @@ snippet: "
   function foo(a, b) { };
   return 'string' + foo(a, b) + a + b;
 "
-frame size: 4
+frame size: 7
 parameter count: 1
-bytecode array length: 42
+bytecode array length: 41
 bytecodes: [
                 B(CreateClosure), U8(0), U8(4), U8(2),
                 B(Star), R(2),
@@ -182,13 +183,12 @@ bytecodes: [
   /*   80 S> */ B(LdaConstant), U8(1),
                 B(Star), R(3),
   /*   98 E> */ B(CallUndefinedReceiver2), R(2), R(0), R(1), U8(5),
-  /*   96 E> */ B(Add), R(3), U8(7),
-                B(Star), R(3),
+  /*   96 E> */ B(ToPrimitiveToString), R(4), U8(7),
                 B(Ldar), R(0),
-  /*  108 E> */ B(Add), R(3), U8(8),
-                B(Star), R(3),
+  /*  108 E> */ B(ToPrimitiveToString), R(5), U8(8),
                 B(Ldar), R(1),
-  /*  112 E> */ B(Add), R(3), U8(9),
+  /*  112 E> */ B(ToPrimitiveToString), R(6), U8(9),
+                B(StringConcat), R(3), U8(4),
   /*  117 S> */ B(Return),
 ]
 constant pool: [