S390: [wasm] Int64Lowering of Int64Mul on ia32 and arm.

src/compiler/s390/code-generator-s390.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.
 
 #include "src/compiler/code-generator.h"
 
 #include "src/ast/scopes.h"
 #include "src/compiler/code-generator-impl.h"
 #include "src/compiler/gap-resolver.h"
 #include "src/compiler/node-matchers.h"
@@ skipping 864 matching lines @@
     case kS390_SubPair:
       // i.InputRegister(0) ... left low word.
       // i.InputRegister(1) ... left high word.
       // i.InputRegister(2) ... right low word.
       // i.InputRegister(3) ... right high word.
       __ SubLogical32(i.OutputRegister(0), i.InputRegister(0),
                       i.InputRegister(2));
       __ SubLogicalWithBorrow32(i.OutputRegister(1), i.InputRegister(1),
                                 i.InputRegister(3));
       break;
+    case kS390_MulPair:

[JoranSiu, 2016/03/30 21:23:19]

Why don't we load the full 64-bit value in R0 and R1, and use a 64-bit MSGR
instead?   It'll be more efficient.  We are able to use 64-bit instructions on
32-bit.

[john.yan, 2016/03/31 03:50:36]

OK.

+      // r3 i.InputRegister(0) ... left low word.
+      // r2 i.InputRegister(1) ... left high word.
+      // r5 i.InputRegister(2) ... right low word.
+      // r4 i.InputRegister(3) ... right high word.
+      // The following sequence was inspired by gcc
+      // r1 = (I1 + (I0 >> 31)) * I2
+      // r0 = (I3 + (I2 >> 31)) * I0
+      // r1 += r0
+      // push r1
+      // r0:r1 = I0 * I2
+      // O0 = r1
+      // pop O1
+      // O1 += r0
+      __ lr(r1, i.InputRegister(0));
+      __ lr(r0, i.InputRegister(2));
+      __ srl(r1, Operand(31));
+      __ srl(r0, Operand(31));
+      __ ar(r1, i.InputRegister(1));
+      __ ar(r0, i.InputRegister(3));
+      __ msr(r1, i.InputRegister(2));
+      __ msr(r0, i.InputRegister(0));
+      __ ar(r1, r0);
+      __ push(r1);
+      __ lr(r1, i.InputRegister(0));
+      __ mr_z(r0, i.InputRegister(2));
+      __ lr(i.OutputRegister(0), r1);
+      __ pop(i.OutputRegister(1));
+      __ ar(i.OutputRegister(1), r0);
+      break;
     case kS390_ShiftLeftPair:
       if (instr->InputAt(2)->IsImmediate()) {
         __ ShiftLeftPair(i.OutputRegister(0), i.OutputRegister(1),
                          i.InputRegister(0), i.InputRegister(1),
                          i.InputInt32(2));
       } else {
         __ ShiftLeftPair(i.OutputRegister(0), i.OutputRegister(1),
                          i.InputRegister(0), i.InputRegister(1), kScratchReg,
                          i.InputRegister(2));
       }
@@ skipping 1172 matching lines @@
       padding_size -= 2;
     }
   }
 }
 
 #undef __
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8