tests/tcg/sh4/test-macl.c

   1 /* SPDX-License-Identifier: GPL-2.0-or-later */
   2
   3 #include <stdint.h>
   4 #include <stdlib.h>
   5 #include <stdio.h>
   6
   7 #define MACL_S_MIN  (-(1ll << 47))
   8 #define MACL_S_MAX  ((1ll << 47) - 1)
   9
  10 int64_t mac_l(int64_t mac, const int32_t *a, const int32_t *b)
  11 {
  12     register uint32_t macl __asm__("macl") = mac;
  13     register uint32_t mach __asm__("mach") = mac >> 32;
  14
  15     asm volatile("mac.l @%0+,@%1+"
  16                  : "+r"(a), "+r"(b), "+x"(macl), "+x"(mach));
  17
  18     return ((uint64_t)mach << 32) | macl;
  19 }
  20
  21 typedef struct {
  22     int64_t mac;
  23     int32_t a, b;
  24     int64_t res[2];
  25 } Test;
  26
  27 __attribute__((noinline))
  28 void test(const Test *t, int sat)
  29 {
  30     int64_t res;
  31
  32     if (sat) {
  33         asm volatile("sets");
  34     } else {
  35         asm volatile("clrs");
  36     }
  37     res = mac_l(t->mac, &t->a, &t->b);
  38
  39     if (res != t->res[sat]) {
  40         fprintf(stderr, "%#llx + (%#x * %#x) = %#llx -- got %#llx\n",
  41                 t->mac, t->a, t->b, t->res[sat], res);
  42         abort();
  43     }
  44 }
  45
  46 int main()
  47 {
  48     static const Test tests[] = {
  49         { 0x00007fff12345678ll, INT32_MAX, INT32_MAX,
  50           { 0x40007ffe12345679ll, MACL_S_MAX } },
  51         { MACL_S_MIN, -1, 1,
  52           { 0xffff7fffffffffffll, MACL_S_MIN } },
  53         { INT64_MIN, -1, 1,
  54           { INT64_MAX, MACL_S_MIN } },
  55         { 0x00007fff00000000ll, INT32_MAX, INT32_MAX,
  56           { 0x40007ffe00000001ll, MACL_S_MAX } },
  57         { 4, 1, 2, { 6, 6 } },
  58         { -4, -1, -2, { -2, -2 } },
  59     };
  60
  61     for (int i = 0; i < sizeof(tests) / sizeof(tests[0]); ++i) {
  62         for (int j = 0; j < 2; ++j) {
  63             test(&tests[i], j);
  64         }
  65     }
  66     return 0;
  67 }