1 // RUN: %clang_builtins %s %librt -o %t && %run %t
2 // REQUIRES: librt_has_mulvsi3
9 // Effects: aborts if a * b overflows
11 COMPILER_RT_ABI si_int
__mulvsi3(si_int a
, si_int b
);
13 int test__mulvsi3(si_int a
, si_int b
, si_int expected
)
15 si_int x
= __mulvsi3(a
, b
);
17 printf("error in __mulvsi3: %d * %d = %d, expected %d\n",
24 if (test__mulvsi3(0, 0, 0))
26 if (test__mulvsi3(0, 1, 0))
28 if (test__mulvsi3(1, 0, 0))
30 if (test__mulvsi3(0, 10, 0))
32 if (test__mulvsi3(10, 0, 0))
34 if (test__mulvsi3(0, 0x1234567, 0))
36 if (test__mulvsi3(0x1234567, 0, 0))
39 if (test__mulvsi3(0, -1, 0))
41 if (test__mulvsi3(-1, 0, 0))
43 if (test__mulvsi3(0, -10, 0))
45 if (test__mulvsi3(-10, 0, 0))
47 if (test__mulvsi3(0, -0x1234567, 0))
49 if (test__mulvsi3(-0x1234567, 0, 0))
52 if (test__mulvsi3(1, 1, 1))
54 if (test__mulvsi3(1, 10, 10))
56 if (test__mulvsi3(10, 1, 10))
58 if (test__mulvsi3(1, 0x1234567, 0x1234567))
60 if (test__mulvsi3(0x1234567, 1, 0x1234567))
63 if (test__mulvsi3(1, -1, -1))
65 if (test__mulvsi3(1, -10, -10))
67 if (test__mulvsi3(-10, 1, -10))
69 if (test__mulvsi3(1, -0x1234567, -0x1234567))
71 if (test__mulvsi3(-0x1234567, 1, -0x1234567))
74 // if (test__mulvsi3(0x7FFFFFFF, -2, 0x80000001)) // abort
76 // if (test__mulvsi3(-2, 0x7FFFFFFF, 0x80000001)) // abort
78 if (test__mulvsi3(0x7FFFFFFF, -1, 0x80000001))
80 if (test__mulvsi3(-1, 0x7FFFFFFF, 0x80000001))
82 if (test__mulvsi3(0x7FFFFFFF, 0, 0))
84 if (test__mulvsi3(0, 0x7FFFFFFF, 0))
86 if (test__mulvsi3(0x7FFFFFFF, 1, 0x7FFFFFFF))
88 if (test__mulvsi3(1, 0x7FFFFFFF, 0x7FFFFFFF))
90 // if (test__mulvsi3(0x7FFFFFFF, 2, 0x80000001)) // abort
92 // if (test__mulvsi3(2, 0x7FFFFFFF, 0x80000001)) // abort
95 // if (test__mulvsi3(0x80000000, -2, 0x80000000)) // abort
97 // if (test__mulvsi3(-2, 0x80000000, 0x80000000)) // abort
99 // if (test__mulvsi3(0x80000000, -1, 0x80000000)) // abort
101 // if (test__mulvsi3(-1, 0x80000000, 0x80000000)) // abort
103 if (test__mulvsi3(0x80000000, 0, 0))
105 if (test__mulvsi3(0, 0x80000000, 0))
107 if (test__mulvsi3(0x80000000, 1, 0x80000000))
109 if (test__mulvsi3(1, 0x80000000, 0x80000000))
111 // if (test__mulvsi3(0x80000000, 2, 0x80000000)) // abort
113 // if (test__mulvsi3(2, 0x80000000, 0x80000000)) // abort
116 // if (test__mulvsi3(0x80000001, -2, 0x80000001)) // abort
118 // if (test__mulvsi3(-2, 0x80000001, 0x80000001)) // abort
120 if (test__mulvsi3(0x80000001, -1, 0x7FFFFFFF))
122 if (test__mulvsi3(-1, 0x80000001, 0x7FFFFFFF))
124 if (test__mulvsi3(0x80000001, 0, 0))
126 if (test__mulvsi3(0, 0x80000001, 0))
128 if (test__mulvsi3(0x80000001, 1, 0x80000001))
130 if (test__mulvsi3(1, 0x80000001, 0x80000001))
132 // if (test__mulvsi3(0x80000001, 2, 0x80000000)) // abort
134 // if (test__mulvsi3(2, 0x80000001, 0x80000000)) // abort