MIPS: Implement MADD.S, MSUB, MADDF and MSUBF.

test/cctest/test-assembler-mips.cc

 // Copyright 2012 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
@@ skipping 5368 matching lines @@
   assm.GetCode(&desc);
   Handle<Code> code = isolate->factory()->NewCode(
       desc, Code::ComputeFlags(Code::STUB), Handle<Code>());
   F2 f = FUNCTION_CAST<F2>(code->entry());
 
   int32_t res = reinterpret_cast<int32_t>(
       CALL_GENERATED_CODE(isolate, f, 42, 42, 0, 0, 0));
   CHECK_EQ(res, 0);
 }
 
+template <class T>
+void run_madd_msub_maddf_msubf() {
+  CcTest::InitializeVM();
+  Isolate* isolate = CcTest::i_isolate();
+  HandleScope scope(isolate);
+  MacroAssembler assm(isolate, NULL, 0, v8::internal::CodeObjectRequired::kYes);
+
+  struct TestCase {
+    T fr, fs, ft, fd_add, fd_sub;
+  };
+
+  T x = std::sqrt(static_cast<T>(2.0));
+  T y = std::sqrt(static_cast<T>(3.0));
+  T z = std::sqrt(static_cast<T>(5.0));
+  T x2 = 11.11, y2 = 22.22, z2 = 33.33;
+  TestCase test_cases[] = {
+      {x, y, z, 0.0, 0.0},
+      {x, y, -z, 0.0, 0.0},
+      {x, -y, z, 0.0, 0.0},
+      {x, -y, -z, 0.0, 0.0},
+      {-x, y, z, 0.0, 0.0},
+      {-x, y, -z, 0.0, 0.0},
+      {-x, -y, z, 0.0, 0.0},
+      {-x, -y, -z, 0.0, 0.0},
+      {-3.14, 0.2345, -123.000056, 0.0, 0.0},
+      {7.3, -23.257, -357.1357, 0.0, 0.0},
+      {x2, y2, z2, 0.0, 0.0},
+      {x2, y2, -z2, 0.0, 0.0},
+      {x2, -y2, z2, 0.0, 0.0},
+      {x2, -y2, -z2, 0.0, 0.0},
+      {-x2, y2, z2, 0.0, 0.0},
+      {-x2, y2, -z2, 0.0, 0.0},
+      {-x2, -y2, z2, 0.0, 0.0},
+      {-x2, -y2, -z2, 0.0, 0.0},
+  };
+

[ivica.bogosavljevic, 2016/09/12 12:39:52]

I think we should avoid this std::is_same because it nullifies the purpose of
template functions. Instead, we should forward the assembler code to be executed
using lambda expressions. For example, please see: TEST(Ulwc1) in
test-macro-assembler-mips.cc.

[Ilija.Pavlovic1, 2016/09/12 13:41:35]

With using lambda functions we will get repeating the same code lines (lwc1 or
ldc1) in the test itself. These lines will remain unchanged.

Ack.

+  if (std::is_same<T, float>::value) {
+    __ lwc1(f4, MemOperand(a0, offsetof(TestCase, fr)));
+    __ lwc1(f6, MemOperand(a0, offsetof(TestCase, fs)));
+    __ lwc1(f8, MemOperand(a0, offsetof(TestCase, ft)));
+    __ lwc1(f16, MemOperand(a0, offsetof(TestCase, fr)));
+  } else if (std::is_same<T, double>::value) {
+    __ ldc1(f4, MemOperand(a0, offsetof(TestCase, fr)));
+    __ ldc1(f6, MemOperand(a0, offsetof(TestCase, fs)));
+    __ ldc1(f8, MemOperand(a0, offsetof(TestCase, ft)));
+    __ ldc1(f16, MemOperand(a0, offsetof(TestCase, fr)));
+  }
+
+  if (IsMipsArchVariant(kMips32r2)) {
+    if (std::is_same<T, float>::value) {
+      __ madd_s(f10, f4, f6, f8);
+      __ swc1(f10, MemOperand(a0, offsetof(TestCase, fd_add)));
+      __ msub_s(f16, f4, f6, f8);
+      __ swc1(f16, MemOperand(a0, offsetof(TestCase, fd_sub)));
+    } else if (std::is_same<T, double>::value) {
+      __ madd_d(f10, f4, f6, f8);
+      __ sdc1(f10, MemOperand(a0, offsetof(TestCase, fd_add)));
+      __ msub_d(f16, f4, f6, f8);
+      __ sdc1(f16, MemOperand(a0, offsetof(TestCase, fd_sub)));
+    }
+  } else if (IsMipsArchVariant(kMips32r6)) {
+    if (std::is_same<T, float>::value) {
+      __ maddf_s(f4, f6, f8);
+      __ swc1(f4, MemOperand(a0, offsetof(TestCase, fd_add)));
+      __ msubf_s(f16, f6, f8);
+      __ swc1(f16, MemOperand(a0, offsetof(TestCase, fd_sub)));
+    } else if (std::is_same<T, double>::value) {
+      __ maddf_d(f4, f6, f8);
+      __ sdc1(f4, MemOperand(a0, offsetof(TestCase, fd_add)));
+      __ msubf_d(f16, f6, f8);
+      __ sdc1(f16, MemOperand(a0, offsetof(TestCase, fd_sub)));
+    }
+  }
+
+  __ jr(ra);
+  __ nop();
+
+  CodeDesc desc;
+  assm.GetCode(&desc);
+  Handle<Code> code = isolate->factory()->NewCode(
+      desc, Code::ComputeFlags(Code::STUB), Handle<Code>());
+  F3 f = FUNCTION_CAST<F3>(code->entry());
+
+  const size_t kTableLength = sizeof(test_cases) / sizeof(TestCase);
+  TestCase tc;
+  for (size_t i = 0; i < kTableLength; i++) {
+    tc.fr = test_cases[i].fr;
+    tc.fs = test_cases[i].fs;
+    tc.ft = test_cases[i].ft;
+
+    (CALL_GENERATED_CODE(isolate, f, &tc, 0, 0, 0, 0));
+
+    T res_add = tc.fr + (tc.fs * tc.ft);
+    T res_sub;
+    if (IsMipsArchVariant(kMips32r2))
+      res_sub = (tc.fs * tc.ft) - tc.fr;
+    else if (IsMipsArchVariant(kMips32r6))
+      res_sub = tc.fr - (tc.fs * tc.ft);
+
+    CHECK_EQ(tc.fd_add, res_add);
+    CHECK_EQ(tc.fd_sub, res_sub);
+  }
+}
+
+TEST(madd_msub_maddf_msubf_s) { run_madd_msub_maddf_msubf<float>(); }
+
+TEST(madd_msub_maddf_msubf_d) { run_madd_msub_maddf_msubf<double>(); }
+
 #undef __