1*57718be8SEnji Cooper /* $NetBSD: t_div.c,v 1.2 2011/07/07 11:12:18 jruoho Exp $ */
2*57718be8SEnji Cooper
3*57718be8SEnji Cooper /*-
4*57718be8SEnji Cooper * Copyright (c) 2001 The NetBSD Foundation, Inc.
5*57718be8SEnji Cooper * All rights reserved.
6*57718be8SEnji Cooper *
7*57718be8SEnji Cooper * Redistribution and use in source and binary forms, with or without
8*57718be8SEnji Cooper * modification, are permitted provided that the following conditions
9*57718be8SEnji Cooper * are met:
10*57718be8SEnji Cooper * 1. Redistributions of source code must retain the above copyright
11*57718be8SEnji Cooper * notice, this list of conditions and the following disclaimer.
12*57718be8SEnji Cooper * 2. Redistributions in binary form must reproduce the above copyright
13*57718be8SEnji Cooper * notice, this list of conditions and the following disclaimer in the
14*57718be8SEnji Cooper * documentation and/or other materials provided with the distribution.
15*57718be8SEnji Cooper *
16*57718be8SEnji Cooper * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
17*57718be8SEnji Cooper * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
18*57718be8SEnji Cooper * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
19*57718be8SEnji Cooper * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
20*57718be8SEnji Cooper * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
21*57718be8SEnji Cooper * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
22*57718be8SEnji Cooper * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
23*57718be8SEnji Cooper * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
24*57718be8SEnji Cooper * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
25*57718be8SEnji Cooper * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
26*57718be8SEnji Cooper * POSSIBILITY OF SUCH DAMAGE.
27*57718be8SEnji Cooper */
28*57718be8SEnji Cooper
29*57718be8SEnji Cooper #include <atf-c.h>
30*57718be8SEnji Cooper
31*57718be8SEnji Cooper #include <stdio.h>
32*57718be8SEnji Cooper #include <stdlib.h>
33*57718be8SEnji Cooper
34*57718be8SEnji Cooper #define NUM 1999236
35*57718be8SEnji Cooper #define DENOM 1000000
36*57718be8SEnji Cooper #define QUOT 1
37*57718be8SEnji Cooper #define REM 999236
38*57718be8SEnji Cooper
39*57718be8SEnji Cooper ATF_TC(div_basic);
ATF_TC_HEAD(div_basic,tc)40*57718be8SEnji Cooper ATF_TC_HEAD(div_basic, tc)
41*57718be8SEnji Cooper {
42*57718be8SEnji Cooper
43*57718be8SEnji Cooper atf_tc_set_md_var(tc, "descr", "Test div(3) for correctness");
44*57718be8SEnji Cooper }
45*57718be8SEnji Cooper
ATF_TC_BODY(div_basic,tc)46*57718be8SEnji Cooper ATF_TC_BODY(div_basic, tc)
47*57718be8SEnji Cooper {
48*57718be8SEnji Cooper div_t d;
49*57718be8SEnji Cooper
50*57718be8SEnji Cooper d = div(NUM, DENOM);
51*57718be8SEnji Cooper
52*57718be8SEnji Cooper ATF_CHECK(d.quot == QUOT);
53*57718be8SEnji Cooper ATF_CHECK(d.rem == REM);
54*57718be8SEnji Cooper }
55*57718be8SEnji Cooper
56*57718be8SEnji Cooper ATF_TC(ldiv_basic);
ATF_TC_HEAD(ldiv_basic,tc)57*57718be8SEnji Cooper ATF_TC_HEAD(ldiv_basic, tc)
58*57718be8SEnji Cooper {
59*57718be8SEnji Cooper
60*57718be8SEnji Cooper atf_tc_set_md_var(tc, "descr", "Test ldiv(3) for correctness");
61*57718be8SEnji Cooper }
62*57718be8SEnji Cooper
ATF_TC_BODY(ldiv_basic,tc)63*57718be8SEnji Cooper ATF_TC_BODY(ldiv_basic, tc)
64*57718be8SEnji Cooper {
65*57718be8SEnji Cooper ldiv_t ld;
66*57718be8SEnji Cooper
67*57718be8SEnji Cooper ld = ldiv(NUM, DENOM);
68*57718be8SEnji Cooper
69*57718be8SEnji Cooper ATF_CHECK(ld.quot == QUOT);
70*57718be8SEnji Cooper ATF_CHECK(ld.rem == REM);
71*57718be8SEnji Cooper }
72*57718be8SEnji Cooper
73*57718be8SEnji Cooper ATF_TC(lldiv_basic);
ATF_TC_HEAD(lldiv_basic,tc)74*57718be8SEnji Cooper ATF_TC_HEAD(lldiv_basic, tc)
75*57718be8SEnji Cooper {
76*57718be8SEnji Cooper
77*57718be8SEnji Cooper atf_tc_set_md_var(tc, "descr", "Test lllldiv(3) for correctness");
78*57718be8SEnji Cooper }
79*57718be8SEnji Cooper
ATF_TC_BODY(lldiv_basic,tc)80*57718be8SEnji Cooper ATF_TC_BODY(lldiv_basic, tc)
81*57718be8SEnji Cooper {
82*57718be8SEnji Cooper lldiv_t lld;
83*57718be8SEnji Cooper
84*57718be8SEnji Cooper lld = lldiv(NUM, DENOM);
85*57718be8SEnji Cooper
86*57718be8SEnji Cooper ATF_CHECK(lld.quot == QUOT);
87*57718be8SEnji Cooper ATF_CHECK(lld.rem == REM);
88*57718be8SEnji Cooper }
89*57718be8SEnji Cooper
ATF_TP_ADD_TCS(tp)90*57718be8SEnji Cooper ATF_TP_ADD_TCS(tp)
91*57718be8SEnji Cooper {
92*57718be8SEnji Cooper
93*57718be8SEnji Cooper ATF_TP_ADD_TC(tp, div_basic);
94*57718be8SEnji Cooper ATF_TP_ADD_TC(tp, ldiv_basic);
95*57718be8SEnji Cooper ATF_TP_ADD_TC(tp, lldiv_basic);
96*57718be8SEnji Cooper
97*57718be8SEnji Cooper return atf_no_error();
98*57718be8SEnji Cooper }
99