annotate tests/test-u64.c @ 40057:b06060465f09

maint: Run 'make update-copyright'
author Paul Eggert <eggert@cs.ucla.edu>
date Tue, 01 Jan 2019 00:25:11 +0100
parents 10eb9086bea0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
11439
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
1 /* Test of <u64.h>
40057
b06060465f09 maint: Run 'make update-copyright'
Paul Eggert <eggert@cs.ucla.edu>
parents: 19484
diff changeset
2 Copyright (C) 2009-2019 Free Software Foundation, Inc.
11439
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
3
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
4 This program is free software: you can redistribute it and/or modify
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
5 it under the terms of the GNU General Public License as published by
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
6 the Free Software Foundation; either version 3 of the License, or
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
7 (at your option) any later version.
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
8
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
9 This program is distributed in the hope that it will be useful,
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
12 GNU General Public License for more details.
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
13
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
14 You should have received a copy of the GNU General Public License
19190
9759915b2aca all: prefer https: URLs
Paul Eggert <eggert@cs.ucla.edu>
parents: 18626
diff changeset
15 along with this program. If not, see <https://www.gnu.org/licenses/>. */
11439
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
16
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
17 /* Written by Simon Josefsson <simon@josefsson.org>, 2009. */
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
18
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
19 #include <config.h>
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
20
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
21 #include <u64.h>
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
22
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
23 int
12210
441d8820b5a5 tests: avoid some compiler warnings
Eric Blake <ebb9@byu.net>
parents: 11439
diff changeset
24 main (void)
11439
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
25 {
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
26 u64 i = u64init (42, 4711);
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
27 u64 j, k, l;
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
28
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
29 j = u64hilo (42, 4711);
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
30
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
31 if (u64lt (i, j) || u64lt (j, i))
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
32 return 1;
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
33
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
34 i = u64hilo (0, 42);
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
35 j = u64hilo (0, 43);
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
36
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
37 if (!u64lt (i, j))
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
38 return 1;
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
39
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
40 k = u64plus (i, j);
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
41 l = u64hilo (0, 42 + 43);
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
42
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
43 if (u64lt (k, l) || u64lt (l, k))
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
44 return 1;
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
45
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
46 return 0;
6e7d92bffeec Add u64-tests module.
Simon Josefsson <simon@josefsson.org>
parents:
diff changeset
47 }