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

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