1 /* { dg-do run } */
2 /* { dg-additional-options "-ftracer" } */
3
4 extern void abort (void);
5
6 typedef long int _PyTime_t;
7 typedef enum { _PyTime_ROUND_FLOOR = 0, _PyTime_ROUND_CEILING = 1 }
8 _PyTime_round_t;
9
10 static _PyTime_t
_PyTime_Divide(const _PyTime_t t,const _PyTime_t k,const _PyTime_round_t round)11 _PyTime_Divide(const _PyTime_t t, const _PyTime_t k,
12 const _PyTime_round_t round)
13 {
14 if (round == _PyTime_ROUND_CEILING) {
15 if (t >= 0)
16 return (t + k - 1) / k;
17 else
18 return t / k;
19 }
20 else {
21 if (t >= 0)
22 return t / k;
23 else
24 return (t - (k - 1)) / k;
25 }
26 }
27
28 _PyTime_t __attribute__((noinline,noclone))
_PyTime_AsMicroseconds(_PyTime_t t,_PyTime_round_t round)29 _PyTime_AsMicroseconds(_PyTime_t t, _PyTime_round_t round)
30 {
31 return _PyTime_Divide(t, 1000, round);
32 }
33
main()34 int main()
35 {
36 if (_PyTime_AsMicroseconds (10000, _PyTime_ROUND_FLOOR) != 10)
37 abort ();
38 return 0;
39 }
40