Home | History | Annotate | Download | only in Unit
      1 //===-- multi3_test.c - Test __multi3 -------------------------------------===//
      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 __multi3 for the compiler_rt library.
     11 //
     12 //===----------------------------------------------------------------------===//
     13 
     14 #if __x86_64
     15 
     16 #include "int_lib.h"
     17 #include <stdio.h>
     18 
     19 ti_int __multi3(ti_int a, ti_int b);
     20 
     21 int test__multi3(ti_int a, ti_int b, ti_int expected)
     22 {
     23     ti_int x = __multi3(a, b);
     24     if (x != expected)
     25     {
     26         twords at;
     27         at.all = a;
     28         twords bt;
     29         bt.all = b;
     30         twords xt;
     31         xt.all = x;
     32         twords expectedt;
     33         expectedt.all = expected;
     34         printf("error in __multi3: 0x%.16llX%.16llX * 0x%.16llX%.16llX = "
     35                "0x%.16llX%.16llX, expected 0x%.16llX%.16llX\n",
     36                at.s.high, at.s.low, bt.s.high, bt.s.low, xt.s.high, xt.s.low,
     37                expectedt.s.high, expectedt.s.low);
     38     }
     39     return x != expected;
     40 }
     41 
     42 char assumption_1[sizeof(ti_int) == 2*sizeof(di_int)] = {0};
     43 
     44 #endif
     45 
     46 int main()
     47 {
     48 #if __x86_64
     49     if (test__multi3(0, 0, 0))
     50         return 1;
     51     if (test__multi3(0, 1, 0))
     52         return 1;
     53     if (test__multi3(1, 0, 0))
     54         return 1;
     55     if (test__multi3(0, 10, 0))
     56         return 1;
     57     if (test__multi3(10, 0, 0))
     58         return 1;
     59     if (test__multi3(0, 81985529216486895LL, 0))
     60         return 1;
     61     if (test__multi3(81985529216486895LL, 0, 0))
     62         return 1;
     63 
     64     if (test__multi3(0, -1, 0))
     65         return 1;
     66     if (test__multi3(-1, 0, 0))
     67         return 1;
     68     if (test__multi3(0, -10, 0))
     69         return 1;
     70     if (test__multi3(-10, 0, 0))
     71         return 1;
     72     if (test__multi3(0, -81985529216486895LL, 0))
     73         return 1;
     74     if (test__multi3(-81985529216486895LL, 0, 0))
     75         return 1;
     76 
     77     if (test__multi3(1, 1, 1))
     78         return 1;
     79     if (test__multi3(1, 10, 10))
     80         return 1;
     81     if (test__multi3(10, 1, 10))
     82         return 1;
     83     if (test__multi3(1, 81985529216486895LL, 81985529216486895LL))
     84         return 1;
     85     if (test__multi3(81985529216486895LL, 1, 81985529216486895LL))
     86         return 1;
     87 
     88     if (test__multi3(1, -1, -1))
     89         return 1;
     90     if (test__multi3(1, -10, -10))
     91         return 1;
     92     if (test__multi3(-10, 1, -10))
     93         return 1;
     94     if (test__multi3(1, -81985529216486895LL, -81985529216486895LL))
     95         return 1;
     96     if (test__multi3(-81985529216486895LL, 1, -81985529216486895LL))
     97         return 1;
     98 
     99     if (test__multi3(3037000499LL, 3037000499LL, 9223372030926249001LL))
    100         return 1;
    101     if (test__multi3(-3037000499LL, 3037000499LL, -9223372030926249001LL))
    102         return 1;
    103     if (test__multi3(3037000499LL, -3037000499LL, -9223372030926249001LL))
    104         return 1;
    105     if (test__multi3(-3037000499LL, -3037000499LL, 9223372030926249001LL))
    106         return 1;
    107 
    108     if (test__multi3(4398046511103LL, 2097152LL, 9223372036852678656LL))
    109         return 1;
    110     if (test__multi3(-4398046511103LL, 2097152LL, -9223372036852678656LL))
    111         return 1;
    112     if (test__multi3(4398046511103LL, -2097152LL, -9223372036852678656LL))
    113         return 1;
    114     if (test__multi3(-4398046511103LL, -2097152LL, 9223372036852678656LL))
    115         return 1;
    116 
    117     if (test__multi3(2097152LL, 4398046511103LL, 9223372036852678656LL))
    118         return 1;
    119     if (test__multi3(-2097152LL, 4398046511103LL, -9223372036852678656LL))
    120         return 1;
    121     if (test__multi3(2097152LL, -4398046511103LL, -9223372036852678656LL))
    122         return 1;
    123     if (test__multi3(-2097152LL, -4398046511103LL, 9223372036852678656LL))
    124         return 1;
    125 
    126     if (test__multi3(make_ti(0x00000000000000B5LL, 0x04F333F9DE5BE000LL),
    127                      make_ti(0x0000000000000000LL, 0x00B504F333F9DE5BLL),
    128                      make_ti(0x7FFFFFFFFFFFF328LL, 0xDF915DA296E8A000LL)))
    129         return 1;
    130 #else
    131     printf("skipped\n");
    132 #endif
    133     return 0;
    134 }
    135