[interpreter] Bytecode register optimizer.

test/cctest/interpreter/bytecode_expectations/WideRegisters.golden

 #
 # Autogenerated by generate-bytecode-expectations.
 #
 
 ---
 pool type: number
 execute: yes
 wrap: yes
 
 ---
@@ skipping 153 matching lines @@
   var x152;
   var x153;
   var x154;
   var x155;
   var x156;
   x0 = x127;
   return x0;
 "
 frame size: 157
 parameter count: 1
-bytecode array length: 9
+bytecode array length: 11
 bytecodes: [
   /*   30 E> */ B(StackCheck),
-  /* 1494 S> */ B(Wide), B(Ldar), R16(127),
-                B(Star), R(0),
-  /* 1505 S> */ B(Nop),
+  /* 1494 S> */ B(Nop),
+                B(Wide), B(Mov), R16(127), R16(0),
+  /* 1505 S> */ B(Ldar), R(0),
   /* 1516 S> */ B(Return),
 ]
 constant pool: [
 ]
 handlers: [
 ]
 
 ---
 snippet: "
   var x0;
@@ skipping 151 matching lines @@
   var x152;
   var x153;
   var x154;
   var x155;
   var x156;
   x127 = x126;
   return x127;
 "
 frame size: 157
 parameter count: 1
-bytecode array length: 11
+bytecode array length: 13
 bytecodes: [
   /*   30 E> */ B(StackCheck),
-  /* 1494 S> */ B(Wide), B(Ldar), R16(126),
-                B(Wide), B(Star), R16(127),
-  /* 1507 S> */ B(Nop),
+  /* 1494 S> */ B(Nop),
+                B(Wide), B(Mov), R16(126), R16(127),
+  /* 1507 S> */ B(Wide), B(Ldar), R16(127),
   /* 1520 S> */ B(Return),
 ]
 constant pool: [
 ]
 handlers: [
 ]
 
 ---
 snippet: "
   var x0;
@@ skipping 149 matching lines @@
   var x150;
   var x151;
   var x152;
   var x153;
   var x154;
   var x155;
   var x156;
   if (x2 > 3) { return x129; }
   return x128;
 "
-frame size: 158
+frame size: 157
 parameter count: 1
-bytecode array length: 25
+bytecode array length: 19
 bytecodes: [
   /*   30 E> */ B(StackCheck),
-  /* 1494 S> */ B(Ldar), R(2),
-                B(Wide), B(Star), R16(157),
-                B(LdaSmi), U8(3),
-  /* 1501 E> */ B(Wide), B(TestGreaterThan), R16(157),
+  /* 1494 S> */ B(LdaSmi), U8(3),
+  /* 1501 E> */ B(Wide), B(TestGreaterThan), R16(2),
                 B(JumpIfFalse), U8(7),
   /* 1508 S> */ B(Wide), B(Ldar), R16(129),
   /* 1536 S> */ B(Return),
   /* 1523 S> */ B(Wide), B(Ldar), R16(128),
   /* 1536 S> */ B(Return),
 ]
 constant pool: [
 ]
 handlers: [
 ]
@@ skipping 155 matching lines @@
   var x152;
   var x153;
   var x154;
   var x155;
   var x156;
   var x0 = 0;
   if (x129 == 3) { var x129 = x0; }
   if (x2 > 3) { return x0; }
   return x129;
 "
-frame size: 158
+frame size: 157
 parameter count: 1
-bytecode array length: 48
+bytecode array length: 39
 bytecodes: [
   /*   30 E> */ B(StackCheck),
   /* 1503 S> */ B(LdaZero),
                 B(Star), R(0),
-  /* 1506 S> */ B(Wide), B(Ldar), R16(129),
-                B(Wide), B(Star), R16(157),
-                B(LdaSmi), U8(3),
-  /* 1515 E> */ B(Wide), B(TestEqual), R16(157),
-                B(JumpIfFalse), U8(8),
-  /* 1534 S> */ B(Ldar), R(0),
-  /* 1534 E> */ B(Wide), B(Star), R16(129),
-  /* 1540 S> */ B(Ldar), R(2),
-                B(Wide), B(Star), R16(157),
-                B(LdaSmi), U8(3),
-  /* 1547 E> */ B(Wide), B(TestGreaterThan), R16(157),
+  /* 1506 S> */ B(LdaSmi), U8(3),
+  /* 1515 E> */ B(Wide), B(TestEqual), R16(129),
+                B(JumpIfFalse), U8(13),
+  /* 1534 S> */ B(Nop),
+  /* 1534 E> */ B(Wide), B(Mov), R16(0), R16(129),
+                B(Wide), B(Ldar), R16(129),
+  /* 1540 S> */ B(LdaSmi), U8(3),
+  /* 1547 E> */ B(Wide), B(TestGreaterThan), R16(2),
                 B(JumpIfFalse), U8(5),
   /* 1554 S> */ B(Ldar), R(0),
   /* 1580 S> */ B(Return),
   /* 1567 S> */ B(Wide), B(Ldar), R16(129),
   /* 1580 S> */ B(Return),
 ]
 constant pool: [
 ]
 handlers: [
 ]
@@ skipping 156 matching lines @@
   var x153;
   var x154;
   var x155;
   var x156;
   var x0 = 0;
   var x1 = 0;
   for (x128 = 0; x128 < 64; x128++) {  x1 += x128;}return x128;
 "
 frame size: 158
 parameter count: 1
-bytecode array length: 66
+bytecode array length: 59
 bytecodes: [
   /*   30 E> */ B(StackCheck),
   /* 1503 S> */ B(LdaZero),
                 B(Star), R(0),
   /* 1515 S> */ B(LdaZero),
                 B(Star), R(1),
   /* 1523 S> */ B(LdaZero),
   /* 1528 E> */ B(Wide), B(Star), R16(128),
-  /* 1538 S> */ B(Wide), B(Ldar), R16(128),
-                B(Wide), B(Star), R16(157),
-                B(LdaSmi), U8(64),
-  /* 1538 E> */ B(Wide), B(TestLessThan), R16(157),
-                B(JumpIfFalse), U8(35),
+  /* 1538 S> */ B(LdaSmi), U8(64),
+  /* 1538 E> */ B(Wide), B(TestLessThan), R16(128),
+                B(JumpIfFalse), U8(36),
   /* 1518 E> */ B(StackCheck),
-  /* 1555 S> */ B(Ldar), R(1),
-                B(Wide), B(Star), R16(157),
+  /* 1555 S> */ B(Nop),
   /* 1561 E> */ B(Wide), B(Ldar), R16(128),
-                B(Wide), B(Add), R16(157),
+                B(Wide), B(Add), R16(1),
+                B(Wide), B(Mov), R16(1), R16(157),
   /* 1558 E> */ B(Star), R(1),
   /* 1548 S> */ B(Wide), B(Ldar), R16(128),
                 B(ToNumber),
                 B(Wide), B(Star), R16(157),
                 B(Inc),
   /* 1548 E> */ B(Wide), B(Star), R16(128),
-                B(Jump), U8(-47),
+                B(Jump), U8(-40),
   /* 1567 S> */ B(Wide), B(Ldar), R16(128),
   /* 1580 S> */ B(Return),
 ]
 constant pool: [
 ]
 handlers: [
 ]
 
 ---
 snippet: "
@@ skipping 153 matching lines @@
   var x153;
   var x154;
   var x155;
   var x156;
   var x0 = 1234;
   var x1 = 0;
   for (x128 in x0) {  x1 += x128;}return x1;
 "
 frame size: 163
 parameter count: 1
-bytecode array length: 84
+bytecode array length: 85
 bytecodes: [
   /*   30 E> */ B(StackCheck),
   /* 1503 S> */ B(Wide), B(LdaSmi), U16(1234),
                 B(Star), R(0),
   /* 1518 S> */ B(LdaZero),
                 B(Star), R(1),
   /* 1534 S> */ B(Ldar), R(0),
-                B(JumpIfUndefined), U8(69),
-                B(JumpIfNull), U8(67),
+                B(JumpIfUndefined), U8(70),
+                B(JumpIfNull), U8(68),
                 B(ToObject),
+                B(Wide), B(ForInPrepare), R16(158),
                 B(Wide), B(Star), R16(157),
-                B(Wide), B(ForInPrepare), R16(158),
                 B(LdaZero),
                 B(Wide), B(Star), R16(161),
   /* 1526 S> */ B(Wide), B(ForInDone), R16(161), R16(160),
-                B(JumpIfTrue), U8(45),
+                B(JumpIfTrue), U8(46),
                 B(Wide), B(ForInNext), R16(157), R16(161), R16(158), U16(1),
-                B(JumpIfUndefined), U8(23),
+                B(JumpIfUndefined), U8(24),
                 B(Wide), B(Star), R16(128),
   /* 1521 E> */ B(StackCheck),
-  /* 1541 S> */ B(Ldar), R(1),
-                B(Wide), B(Star), R16(162),
+  /* 1541 S> */ B(Nop),
   /* 1547 E> */ B(Wide), B(Ldar), R16(128),
-                B(Wide), B(Add), R16(162),
+                B(Wide), B(Add), R16(1),
+                B(Wide), B(Mov), R16(1), R16(162),
   /* 1544 E> */ B(Star), R(1),
                 B(Wide), B(ForInStep), R16(161),
                 B(Wide), B(Star), R16(161),
-                B(Jump), U8(-49),
+                B(Jump), U8(-50),
   /* 1553 S> */ B(Ldar), R(1),
   /* 1564 S> */ B(Return),
 ]
 constant pool: [
 ]
 handlers: [
 ]
 
 ---
 snippet: "
@@ skipping 157 matching lines @@
   x0 = %Add(x64, x63);
   x1 = %Add(x27, x143);
   %TheHole();
   return x1;
 "
 frame size: 159
 parameter count: 1
 bytecode array length: 55
 bytecodes: [
   /*   30 E> */ B(StackCheck),
-  /* 1494 S> */ B(Ldar), R(64),
-                B(Wide), B(Star), R16(157),
-  /* 1509 E> */ B(Ldar), R(63),
-                B(Wide), B(Star), R16(158),
+  /* 1494 S> */ B(Nop),
+  /* 1509 E> */ B(Wide), B(Mov), R16(64), R16(157),
+                B(Wide), B(Mov), R16(63), R16(158),
                 B(Wide), B(CallRuntime), U16(Runtime::kAdd), R16(157), U16(2),
                 B(Star), R(0),
-  /* 1515 S> */ B(Ldar), R(27),
-                B(Wide), B(Star), R16(157),
-  /* 1530 E> */ B(Wide), B(Ldar), R16(143),
-                B(Wide), B(Star), R16(158),
+  /* 1515 S> */ B(Nop),
+  /* 1530 E> */ B(Wide), B(Mov), R16(27), R16(157),
+                B(Wide), B(Mov), R16(143), R16(158),
                 B(Wide), B(CallRuntime), U16(Runtime::kAdd), R16(157), U16(2),
                 B(Star), R(1),
   /* 1537 S> */ B(CallRuntime), U16(Runtime::kTheHole), R(0), U8(0),
   /* 1549 S> */ B(Ldar), R(1),
   /* 1560 S> */ B(Return),
 ]
 constant pool: [
 ]
 handlers: [
 ]