1284345Ssjg#include "builtin-arith-overflow.h"
2284345Ssjg
3284345Ssjg#define TESTS(type, min, max) \
4284345SsjgT (100, signed type, unsigned type, unsigned type, -1, 0, 0, mul, 0) \
5284345SsjgT (101, signed type, unsigned type, unsigned type, -1, 1, (unsigned type) -1, mul, 1) \
6284345SsjgT (102, unsigned type, signed type, unsigned type, 12, -3, (unsigned type) -36, mul, 1) \
7284345SsjgT (103, signed type, unsigned type, unsigned type, 3, 4, 12, mul, 0) \
8284345SsjgT (104, unsigned type, signed type, unsigned type, (unsigned type) -1 / 12, 12, (unsigned type) -1 / 12 * 12, mul, 0) \
9284345SsjgT (105, unsigned type, signed type, unsigned type, (unsigned type) -1 / 12, 13, (unsigned type) -1 / 12 * 13, mul, 1) \
10284345SsjgT (106, unsigned type, unsigned type, signed type, 0, 0, 0, mul, 0) \
11284345SsjgT (107, unsigned type, unsigned type, signed type, max / 31, 31, (signed type) ((unsigned type) max / 31 * 31), mul, 0) \
12284345SsjgT (108, unsigned type, unsigned type, signed type, max / 31, 32, (signed type) ((unsigned type) max / 31 * 32), mul, 1) \
13284345SsjgT (109, unsigned type, unsigned type, signed type, max / 31, 65, (signed type) ((unsigned type) max / 31 * 65), mul, 1) \
14284345SsjgT (110, signed type, unsigned type, signed type, -1, 7, -7, mul, 0) \
15284345SsjgT (111, unsigned type, signed type, signed type, 2, min / 2, min, mul, 0) \
16284345SsjgT (112, signed type, unsigned type, signed type, max / 12, 13, (signed type) ((unsigned type) max / 12 * 13), mul, 1) \
17284345SsjgT (113, unsigned type, signed type, signed type, (unsigned type) max + 19, 0, 0, mul, 0) \
18284345SsjgT (114, signed type, unsigned type, signed type, 0, (unsigned type) max + 1, 0, mul, 0) \
19T (115, unsigned type, signed type, signed type, (unsigned type) max + 1, -1, min, mul, 0) \
20T (116, signed type, unsigned type, signed type, -1, (unsigned type) max + 2, max, mul, 1) \
21T (117, signed type, signed type, unsigned type, min / 64, -64, (unsigned type) min, mul, 0) \
22T (118, signed type, signed type, unsigned type, min / 32, -33, ((unsigned type) max + 1) / 32 * 33, mul, 0) \
23T (119, signed type, signed type, unsigned type, min / 32, -65, ((unsigned type) max + 1) / 32 * 65, mul, 1) \
24T (120, signed type, signed type, unsigned type, -1, -1, 1, mul, 0) \
25T (121, signed type, signed type, unsigned type, 0, 0, 0, mul, 0) \
26T (122, signed type, signed type, unsigned type, 0, -6, 0, mul, 0) \
27T (123, signed type, signed type, unsigned type, -15, 0, 0, mul, 0) \
28T (124, signed type, signed type, unsigned type, -1, 1, ~(unsigned type) 0, mul, 1) \
29T (125, signed type, signed type, unsigned type, -17, 5, (unsigned type) -17 * 5, mul, 1) \
30T (126, signed type, signed type, unsigned type, 7, max / 7, max / 7 * 7, mul, 0) \
31T (127, signed type, signed type, unsigned type, max / 7, 8, (unsigned type) max / 7 * 8, mul, 0) \
32T (128, signed type, signed type, unsigned type, 15, max / 7, (unsigned type) max / 7 * 15, mul, 1) \
33T (129, signed type, unsigned type, signed type, min, 5, min + 5, add, 0) \
34T (130, unsigned type, signed type, signed type, ~(unsigned type) 0, min, max, add, 0) \
35T (131, signed type, unsigned type, signed type, max, 1, min, add, 1) \
36T (132, unsigned type, signed type, signed type, max / 2, max / 2 + 1, max, add, 0) \
37T (133, signed type, unsigned type, signed type, max / 2 + 1, max / 2 + 1, min, add, 1) \
38T (134, signed type, unsigned type, unsigned type, min, ~(unsigned type) 0, max, add, 0) \
39T (135, unsigned type, signed type, unsigned type, ~(unsigned type) 0, min + 1, (unsigned type) max + 1, add, 0) \
40T (136, signed type, unsigned type, unsigned type, 1, ~(unsigned type) 0, 0, add, 1) \
41T (137, unsigned type, signed type, unsigned type, 2, -3, ~(unsigned type) 0, add, 1) \
42T (138, signed type, unsigned type, signed type, min, 1, max, sub, 1) \
43T (139, signed type, unsigned type, signed type, min + 1, 1, min, sub, 0) \
44T (140, signed type, unsigned type, signed type, max, (unsigned type) max + 1, -1, sub, 0) \
45T (141, signed type, unsigned type, signed type, max, ~(unsigned type) 0, min, sub, 0) \
46T (142, signed type, unsigned type, signed type, max - 1, ~(unsigned type) 0, max, sub, 1) \
47T (143, signed type, unsigned type, unsigned type, -1, 0, ~(unsigned type) 0, sub, 1) \
48T (144, signed type, unsigned type, unsigned type, -1, ~(unsigned type) 0, 0, sub, 1) \
49T (145, signed type, unsigned type, unsigned type, min, 0, min, sub, 1) \
50T (146, signed type, unsigned type, unsigned type, max, max, 0, sub, 0) \
51T (147, signed type, unsigned type, unsigned type, max, (unsigned type) max + 1, -1, sub, 1) \
52T (148, signed type, unsigned type, unsigned type, max - 1, max, -1, sub, 1) \
53T (149, unsigned type, signed type, signed type, 0, max, -max, sub, 0) \
54T (150, unsigned type, signed type, signed type, (unsigned type) max + 1, 0, min, sub, 1) \
55T (151, unsigned type, signed type, signed type, (unsigned type) max + 1, 1, max, sub, 0) \
56T (152, unsigned type, unsigned type, signed type, 0, (unsigned type) max + 1, min, add, 1) \
57T (153, signed type, signed type, unsigned type, -1, 0, -1, add, 1) \
58T (154, unsigned type, signed type, unsigned type, 5, 6, -1, sub, 1) \
59T (155, unsigned type, signed type, unsigned type, ~(unsigned type) 0, max, (unsigned type) max + 1, sub, 0) \
60T (156, unsigned type, signed type, unsigned type, (unsigned type) max + 1, min, 0, sub, 1) \
61T (157, signed type, signed type, unsigned type, 3, -2, 1, add, 0) \
62T (158, signed type, signed type, unsigned type, 3, -4, -1, add, 1) \
63T (159, signed type, signed type, unsigned type, -3, -4, -7, add, 1) \
64T (160, signed type, signed type, unsigned type, -5, 4, -1, add, 1) \
65T (161, signed type, signed type, unsigned type, -5, 5, 0, add, 0) \
66T (162, signed type, signed type, unsigned type, min, 1, min + 1, add, 1) \
67T (163, unsigned type, unsigned type, signed type, max, 1, min, add, 1) \
68T (164, unsigned type, unsigned type, signed type, max - 1, 1, max, add, 0) \
69T (165, unsigned type, unsigned type, signed type, ~(unsigned type) 0, ~(unsigned type) 0, ~(unsigned type) 0 - 1, add, 1) \
70T (166, unsigned type, unsigned type, signed type, (unsigned type) max + 3, 2, min, sub, 1) \
71T (167, unsigned type, unsigned type, signed type, (unsigned type) max + 2, 2, max, sub, 0) \
72T (168, unsigned type, unsigned type, signed type, (unsigned type) max + 2, (unsigned type) max + 3, -1, sub, 0) \
73T (169, unsigned type, unsigned type, signed type, 0, (unsigned type) max + 1, min, sub, 0) \
74T (170, unsigned type, unsigned type, signed type, 0, (unsigned type) max + 2, max, sub, 1) \
75T (171, signed type, signed type, unsigned type, 3, 2, 1, sub, 0) \
76T (172, signed type, signed type, unsigned type, 3, 4, -1, sub, 1) \
77T (173, signed type, signed type, unsigned type, -3, 4, -7, sub, 1) \
78T (174, signed type, signed type, unsigned type, -5, -4, -1, sub, 1) \
79T (175, signed type, signed type, unsigned type, -5, -5, 0, sub, 0) \
80T (176, signed type, signed type, unsigned type, min, -1, min + 1, sub, 1)
81