sys/external/bsd/compiler_rt/dist/test/Unit/addvdi3_test.c

   1 //===-- addvdi3_test.c - Test __addvdi3 -----------------------------------===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is dual licensed under the MIT and the University of Illinois Open
   6 // Source Licenses. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9 //
  10 // This file tests __addvdi3 for the compiler_rt library.
  11 //
  12 //===----------------------------------------------------------------------===//
  13
  14 #include "int_lib.h"
  15 #include <stdio.h>
  16
  17 // Returns: a + b
  18
  19 // Effects: aborts if a + b overflows
  20
  21 di_int __addvdi3(di_int a, di_int b);
  22
  23 int test__addvdi3(di_int a, di_int b)
  24 {
  25     di_int x = __addvdi3(a, b);
  26     di_int expected = a + b;
  27     if (x != expected)
  28         printf("error in test__addvdi3(0x%llX, 0x%llX) = %lld, expected %lld\n",
  29                 a, b, x, expected);
  30     return x != expected;
  31 }
  32
  33 int main()
  34 {
  35 //     test__addvdi3(0x8000000000000000LL, -1);  // should abort
  36 //     test__addvdi3(-1, 0x8000000000000000LL);  // should abort
  37 //     test__addvdi3(1, 0x7FFFFFFFFFFFFFFFLL);  // should abort
  38 //     test__addvdi3(0x7FFFFFFFFFFFFFFFLL, 1);  // should abort
  39
  40     if (test__addvdi3(0x8000000000000000LL, 1))
  41         return 1;
  42     if (test__addvdi3(1, 0x8000000000000000LL))
  43         return 1;
  44     if (test__addvdi3(0x8000000000000000LL, 0))
  45         return 1;
  46     if (test__addvdi3(0, 0x8000000000000000LL))
  47         return 1;
  48     if (test__addvdi3(0x7FFFFFFFFFFFFFFLL, -1))
  49         return 1;
  50     if (test__addvdi3(-1, 0x7FFFFFFFFFFFFFFLL))
  51         return 1;
  52     if (test__addvdi3(0x7FFFFFFFFFFFFFFFLL, 0))
  53         return 1;
  54     if (test__addvdi3(0, 0x7FFFFFFFFFFFFFFFLL))
  55         return 1;
  56
  57     return 0;
  58 }