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

   1 //===-- subvti3_test.c - Test __subvti3 -----------------------------------===//
   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 __subvti3 for the compiler_rt library.
  11 //
  12 //===----------------------------------------------------------------------===//
  13
  14 #if __x86_64
  15
  16 #include "int_lib.h"
  17 #include <stdio.h>
  18 #include <stdlib.h>
  19
  20 // Returns: a - b
  21
  22 // Effects: aborts if a - b overflows
  23
  24 ti_int __subvti3(ti_int a, ti_int b);
  25
  26 int test__subvti3(ti_int a, ti_int b)
  27 {
  28     ti_int x = __subvti3(a, b);
  29     ti_int expected = a - b;
  30     if (x != expected)
  31     {
  32         twords at;
  33         at.all = a;
  34         twords bt;
  35         bt.all = b;
  36         twords xt;
  37         xt.all = x;
  38         twords expectedt;
  39         expectedt.all = expected;
  40         printf("error in test__subvsi3(0x%.16llX%.16llX, 0x%.16llX%.16llX) = "
  41                "0x%.16llX%.16llX, expected 0x%.16llX%.16llX\n",
  42                at.s.high, at.s.low, bt.s.high, bt.s.low, xt.s.high, xt.s.low,
  43                expectedt.s.high, expectedt.s.low);
  44     }
  45     return x != expected;
  46 }
  47
  48 #endif
  49
  50 int main()
  51 {
  52 #if __x86_64
  53 //     test__subvti3(make_ti(0x8000000000000000LL, 0), 1);  // should abort
  54 //     test__subvti3(0, make_ti(0x8000000000000000LL, 0));  // should abort
  55 //     test__subvti3(1, make_ti(0x8000000000000000LL, 0));  // should abort
  56 //     test__subvti3(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), -1);  // should abort
  57 //     test__subvti3(-2, make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL));  // should abort
  58
  59     if (test__subvti3(make_ti(0x8000000000000000LL, 0), -1))
  60         return 1;
  61     if (test__subvti3(make_ti(0x8000000000000000LL, 0), 0))
  62         return 1;
  63     if (test__subvti3(-1, make_ti(0x8000000000000000LL, 0)))
  64         return 1;
  65     if (test__subvti3(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), 1))
  66         return 1;
  67     if (test__subvti3(make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), 0))
  68         return 1;
  69     if (test__subvti3(1, make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL)))
  70         return 1;
  71     if (test__subvti3(0, make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL)))
  72         return 1;
  73     if (test__subvti3(-1, make_ti(0x7FFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL)))
  74         return 1;
  75
  76 #else
  77     printf("skipped\n");
  78 #endif
  79     return 0;
  80 }