compiler-rt/test/builtins/Unit/ashrdi3_test.c

   1 // RUN: %clang_builtins %s %librt -o %t && %run %t
   2 // REQUIRES: librt_has_ashrdi3
   3
   4 #include "int_lib.h"
   5 #include <stdio.h>
   6
   7 // Returns: arithmetic a >> b
   8
   9 // Precondition:  0 <= b < bits_in_dword
  10
  11 COMPILER_RT_ABI di_int __ashrdi3(di_int a, int b);
  12
  13 int test__ashrdi3(di_int a, int b, di_int expected)
  14 {
  15     di_int x = __ashrdi3(a, b);
  16     if (x != expected)
  17         printf("error in __ashrdi3: %llX >> %d = %llX, expected %llX\n",
  18                a, b, __ashrdi3(a, b), expected);
  19     return x != expected;
  20 }
  21
  22 char assumption_1[sizeof(di_int) == 2*sizeof(si_int)] = {0};
  23
  24 int main()
  25 {
  26     if (test__ashrdi3(0x0123456789ABCDEFLL, 0, 0x123456789ABCDEFLL))
  27         return 1;
  28     if (test__ashrdi3(0x0123456789ABCDEFLL, 1, 0x91A2B3C4D5E6F7LL))
  29         return 1;
  30     if (test__ashrdi3(0x0123456789ABCDEFLL, 2, 0x48D159E26AF37BLL))
  31         return 1;
  32     if (test__ashrdi3(0x0123456789ABCDEFLL, 3, 0x2468ACF13579BDLL))
  33         return 1;
  34     if (test__ashrdi3(0x0123456789ABCDEFLL, 4, 0x123456789ABCDELL))
  35         return 1;
  36
  37     if (test__ashrdi3(0x0123456789ABCDEFLL, 28, 0x12345678LL))
  38         return 1;
  39     if (test__ashrdi3(0x0123456789ABCDEFLL, 29, 0x91A2B3CLL))
  40         return 1;
  41     if (test__ashrdi3(0x0123456789ABCDEFLL, 30, 0x48D159ELL))
  42         return 1;
  43     if (test__ashrdi3(0x0123456789ABCDEFLL, 31, 0x2468ACFLL))
  44         return 1;
  45
  46     if (test__ashrdi3(0x0123456789ABCDEFLL, 32, 0x1234567LL))
  47         return 1;
  48
  49     if (test__ashrdi3(0x0123456789ABCDEFLL, 33, 0x91A2B3LL))
  50         return 1;
  51     if (test__ashrdi3(0x0123456789ABCDEFLL, 34, 0x48D159LL))
  52         return 1;
  53     if (test__ashrdi3(0x0123456789ABCDEFLL, 35, 0x2468ACLL))
  54         return 1;
  55     if (test__ashrdi3(0x0123456789ABCDEFLL, 36, 0x123456LL))
  56         return 1;
  57
  58     if (test__ashrdi3(0x0123456789ABCDEFLL, 60, 0))
  59         return 1;
  60     if (test__ashrdi3(0x0123456789ABCDEFLL, 61, 0))
  61         return 1;
  62     if (test__ashrdi3(0x0123456789ABCDEFLL, 62, 0))
  63         return 1;
  64     if (test__ashrdi3(0x0123456789ABCDEFLL, 63, 0))
  65         return 1;
  66
  67     if (test__ashrdi3(0xFEDCBA9876543210LL, 0, 0xFEDCBA9876543210LL))
  68         return 1;
  69     if (test__ashrdi3(0xFEDCBA9876543210LL, 1, 0xFF6E5D4C3B2A1908LL))
  70         return 1;
  71     if (test__ashrdi3(0xFEDCBA9876543210LL, 2, 0xFFB72EA61D950C84LL))
  72         return 1;
  73     if (test__ashrdi3(0xFEDCBA9876543210LL, 3, 0xFFDB97530ECA8642LL))
  74         return 1;
  75     if (test__ashrdi3(0xFEDCBA9876543210LL, 4, 0xFFEDCBA987654321LL))
  76         return 1;
  77
  78     if (test__ashrdi3(0xFEDCBA9876543210LL, 28, 0xFFFFFFFFEDCBA987LL))
  79         return 1;
  80     if (test__ashrdi3(0xFEDCBA9876543210LL, 29, 0xFFFFFFFFF6E5D4C3LL))
  81         return 1;
  82     if (test__ashrdi3(0xFEDCBA9876543210LL, 30, 0xFFFFFFFFFB72EA61LL))
  83         return 1;
  84     if (test__ashrdi3(0xFEDCBA9876543210LL, 31, 0xFFFFFFFFFDB97530LL))
  85         return 1;
  86
  87     if (test__ashrdi3(0xFEDCBA9876543210LL, 32, 0xFFFFFFFFFEDCBA98LL))
  88         return 1;
  89
  90     if (test__ashrdi3(0xFEDCBA9876543210LL, 33, 0xFFFFFFFFFF6E5D4CLL))
  91         return 1;
  92     if (test__ashrdi3(0xFEDCBA9876543210LL, 34, 0xFFFFFFFFFFB72EA6LL))
  93         return 1;
  94     if (test__ashrdi3(0xFEDCBA9876543210LL, 35, 0xFFFFFFFFFFDB9753LL))
  95         return 1;
  96     if (test__ashrdi3(0xFEDCBA9876543210LL, 36, 0xFFFFFFFFFFEDCBA9LL))
  97         return 1;
  98
  99     if (test__ashrdi3(0xAEDCBA9876543210LL, 60, 0xFFFFFFFFFFFFFFFALL))
 100         return 1;
 101     if (test__ashrdi3(0xAEDCBA9876543210LL, 61, 0xFFFFFFFFFFFFFFFDLL))
 102         return 1;
 103     if (test__ashrdi3(0xAEDCBA9876543210LL, 62, 0xFFFFFFFFFFFFFFFELL))
 104         return 1;
 105     if (test__ashrdi3(0xAEDCBA9876543210LL, 63, 0xFFFFFFFFFFFFFFFFLL))
 106         return 1;
 107     return 0;
 108 }