1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
|
/* PR tree-optimization/112941 */
/* { dg-do compile { target bitint } } */
/* { dg-options "-std=c23 -O2" } */
#if __BITINT_MAXWIDTH__ >= 4096
void
f1 (_BitInt(4096) *p, int r, _BitInt(115) s, _BitInt(128) t, _BitInt(231) u)
{
p[0] *= (unsigned _BitInt(2048)) r;
p[1] *= (unsigned _BitInt(2048)) s;
p[2] *= (unsigned _BitInt(2048)) t;
p[3] *= (unsigned _BitInt(2048)) u;
}
void
f2 (_BitInt(4094) *p, int r, _BitInt(115) s, _BitInt(128) t, _BitInt(231) u)
{
p[0] /= (unsigned _BitInt(2048)) r;
p[1] /= (unsigned _BitInt(2048)) s;
p[2] /= (unsigned _BitInt(2048)) t;
p[3] /= (unsigned _BitInt(2048)) u;
}
void
f3 (_BitInt(4096) *p, int r, _BitInt(115) s, _BitInt(128) t, _BitInt(231) u)
{
p[0] *= (unsigned _BitInt(2110)) r;
p[1] *= (unsigned _BitInt(2110)) s;
p[2] *= (unsigned _BitInt(2110)) t;
p[3] *= (unsigned _BitInt(2110)) u;
}
void
f4 (_BitInt(4094) *p, int r, _BitInt(115) s, _BitInt(128) t, _BitInt(231) u)
{
p[0] /= (unsigned _BitInt(2110)) r;
p[1] /= (unsigned _BitInt(2110)) s;
p[2] /= (unsigned _BitInt(2110)) t;
p[3] /= (unsigned _BitInt(2110)) u;
}
void
f5 (unsigned _BitInt(4096) *p, int r, _BitInt(115) s, _BitInt(128) t, _BitInt(231) u)
{
p[0] *= (unsigned _BitInt(2048)) r;
p[1] *= (unsigned _BitInt(2048)) s;
p[2] *= (unsigned _BitInt(2048)) t;
p[3] *= (unsigned _BitInt(2048)) u;
}
void
f6 (unsigned _BitInt(4094) *p, int r, _BitInt(115) s, _BitInt(128) t, _BitInt(231) u)
{
p[0] /= (unsigned _BitInt(2048)) r;
p[1] /= (unsigned _BitInt(2048)) s;
p[2] /= (unsigned _BitInt(2048)) t;
p[3] /= (unsigned _BitInt(2048)) u;
}
void
f7 (unsigned _BitInt(4096) *p, int r, _BitInt(115) s, _BitInt(128) t, _BitInt(231) u)
{
p[0] *= (unsigned _BitInt(2110)) r;
p[1] *= (unsigned _BitInt(2110)) s;
p[2] *= (unsigned _BitInt(2110)) t;
p[3] *= (unsigned _BitInt(2110)) u;
}
void
f8 (unsigned _BitInt(4094) *p, int r, _BitInt(115) s, _BitInt(128) t, _BitInt(231) u)
{
p[0] /= (unsigned _BitInt(2110)) r;
p[1] /= (unsigned _BitInt(2110)) s;
p[2] /= (unsigned _BitInt(2110)) t;
p[3] /= (unsigned _BitInt(2110)) u;
}
#if __SIZEOF_INT128__
void
f9 (_BitInt(4096) *p, __int128 r)
{
p[0] *= (unsigned _BitInt(2048)) r;
}
void
f10 (_BitInt(4094) *p, __int128 r)
{
p[0] /= (unsigned _BitInt(2048)) r;
}
void
f11 (_BitInt(4096) *p, __int128 r)
{
p[0] *= (unsigned _BitInt(2110)) r;
}
void
f12 (_BitInt(4094) *p, __int128 r)
{
p[0] /= (unsigned _BitInt(2110)) r;
}
void
f13 (unsigned _BitInt(4096) *p, __int128 r)
{
p[0] *= (unsigned _BitInt(2048)) r;
}
void
f14 (unsigned _BitInt(4094) *p, __int128 r)
{
p[0] /= (unsigned _BitInt(2048)) r;
}
void
f15 (unsigned _BitInt(4096) *p, __int128 r)
{
p[0] *= (unsigned _BitInt(2110)) r;
}
void
f16 (unsigned _BitInt(4094) *p, __int128 r)
{
p[0] /= (unsigned _BitInt(2110)) r;
}
#endif
#else
int i;
#endif
|
