xref: /aosp_15_r20/external/compiler-rt/test/builtins/Unit/subvsi3_test.c (revision 7c3d14c8b49c529e04be81a3ce6f5cc23712e4c6)
1*7c3d14c8STreehugger Robot //===-- subvsi3_test.c - Test __subvsi3 -----------------------------------===//
2*7c3d14c8STreehugger Robot //
3*7c3d14c8STreehugger Robot //                     The LLVM Compiler Infrastructure
4*7c3d14c8STreehugger Robot //
5*7c3d14c8STreehugger Robot // This file is dual licensed under the MIT and the University of Illinois Open
6*7c3d14c8STreehugger Robot // Source Licenses. See LICENSE.TXT for details.
7*7c3d14c8STreehugger Robot //
8*7c3d14c8STreehugger Robot //===----------------------------------------------------------------------===//
9*7c3d14c8STreehugger Robot //
10*7c3d14c8STreehugger Robot // This file tests __subvsi3 for the compiler_rt library.
11*7c3d14c8STreehugger Robot //
12*7c3d14c8STreehugger Robot //===----------------------------------------------------------------------===//
13*7c3d14c8STreehugger Robot 
14*7c3d14c8STreehugger Robot #include "int_lib.h"
15*7c3d14c8STreehugger Robot #include <stdio.h>
16*7c3d14c8STreehugger Robot #include <stdlib.h>
17*7c3d14c8STreehugger Robot 
18*7c3d14c8STreehugger Robot // Returns: a - b
19*7c3d14c8STreehugger Robot 
20*7c3d14c8STreehugger Robot // Effects: aborts if a - b overflows
21*7c3d14c8STreehugger Robot 
22*7c3d14c8STreehugger Robot COMPILER_RT_ABI si_int __subvsi3(si_int a, si_int b);
23*7c3d14c8STreehugger Robot 
test__subvsi3(si_int a,si_int b)24*7c3d14c8STreehugger Robot int test__subvsi3(si_int a, si_int b)
25*7c3d14c8STreehugger Robot {
26*7c3d14c8STreehugger Robot     si_int x = __subvsi3(a, b);
27*7c3d14c8STreehugger Robot     si_int expected = a - b;
28*7c3d14c8STreehugger Robot     if (x != expected)
29*7c3d14c8STreehugger Robot         printf("error in test__subvsi3(0x%X, 0x%X) = %d, expected %d\n",
30*7c3d14c8STreehugger Robot                a, b, x, expected);
31*7c3d14c8STreehugger Robot     return x != expected;
32*7c3d14c8STreehugger Robot }
33*7c3d14c8STreehugger Robot 
main()34*7c3d14c8STreehugger Robot int main()
35*7c3d14c8STreehugger Robot {
36*7c3d14c8STreehugger Robot //     test__subvsi3(0x80000000, 1);  // should abort
37*7c3d14c8STreehugger Robot //     test__subvsi3(0, 0x80000000);  // should abort
38*7c3d14c8STreehugger Robot //     test__subvsi3(1, 0x80000000);  // should abort
39*7c3d14c8STreehugger Robot //     test__subvsi3(0x7FFFFFFF, -1);  // should abort
40*7c3d14c8STreehugger Robot //     test__subvsi3(-2, 0x7FFFFFFF);  // should abort
41*7c3d14c8STreehugger Robot 
42*7c3d14c8STreehugger Robot     if (test__subvsi3(0x80000000, -1))
43*7c3d14c8STreehugger Robot         return 1;
44*7c3d14c8STreehugger Robot     if (test__subvsi3(0x80000000, 0))
45*7c3d14c8STreehugger Robot         return 1;
46*7c3d14c8STreehugger Robot     if (test__subvsi3(-1, 0x80000000))
47*7c3d14c8STreehugger Robot         return 1;
48*7c3d14c8STreehugger Robot     if (test__subvsi3(0x7FFFFFFF, 1))
49*7c3d14c8STreehugger Robot         return 1;
50*7c3d14c8STreehugger Robot     if (test__subvsi3(0x7FFFFFFF, 0))
51*7c3d14c8STreehugger Robot         return 1;
52*7c3d14c8STreehugger Robot     if (test__subvsi3(1, 0x7FFFFFFF))
53*7c3d14c8STreehugger Robot         return 1;
54*7c3d14c8STreehugger Robot     if (test__subvsi3(0, 0x7FFFFFFF))
55*7c3d14c8STreehugger Robot         return 1;
56*7c3d14c8STreehugger Robot     if (test__subvsi3(-1, 0x7FFFFFFF))
57*7c3d14c8STreehugger Robot         return 1;
58*7c3d14c8STreehugger Robot 
59*7c3d14c8STreehugger Robot     return 0;
60*7c3d14c8STreehugger Robot }
61