File: divlu_fuzz_driver.cpp

package info (click to toggle)
libdivide 5.2.0-0.1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 17,564 kB
  • sloc: ansic: 131,647; cpp: 70,136; python: 47; makefile: 3
file content (97 lines) | stat: -rw-r--r-- 2,994 bytes parent folder | download
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
// Tests divlu and divllu, intended for use with AFL.
// This aborts on error.
// To build:
//   clang divlu_fuzz_driver.cpp divlu.c

#include <limits.h>
#include <stdint.h>
#include <stdlib.h>
#include <stdio.h>

extern "C" {
uint32_t divlu(uint32_t numhi, uint32_t numlo, uint32_t den, uint32_t *r);
uint64_t divllu(uint64_t numhi, uint64_t numlo, uint64_t den, uint64_t *r);
}

// Read one uint64.
static uint64_t read1() {
    unsigned long long res = UINT64_MAX;
    // We may read either raw bytes (faster fuzzing)
    // or text (slower fuzzing but easier to understand test cases).
    bool raw_bytes = true;
    if (raw_bytes) {
        if (fread(&res, sizeof res, 1, stdin) != 1) {
            exit(EXIT_FAILURE);
        }
    } else {
        if (scanf(" %llu ", &res) != 1) {
            exit(EXIT_FAILURE);
        }
    }
    return res;
}

static void test64(uint64_t numhi, uint64_t numlo, uint64_t denom) {
    typedef unsigned long long ullong;

    uint64_t rem;
    uint64_t quot = divllu(numhi, numlo, denom, &rem);

    uint64_t expected_rem;
    uint64_t expected_quot;
    if (numhi >= denom) {
        expected_rem = UINT64_MAX;
        expected_quot = UINT64_MAX;
    } else {
        __uint128_t num = (__uint128_t(numhi) << 64) | numlo;
        expected_quot = num / denom;
        expected_rem = num % denom;
    }
    if (expected_quot != quot) {
        fprintf(stderr, "divllu: %llu %llu / %llu -> got %llu, expected %llu\n", ullong(numhi),
            ullong(numlo), ullong(denom), ullong(quot), ullong(expected_quot));
        abort();
    }
    if (expected_rem != rem) {
        fprintf(stderr, "divllu: %llu %llu %% %llu -> got %llu, expected %llu\n", ullong(numhi),
            ullong(numlo), ullong(denom), ullong(rem), ullong(expected_rem));
        abort();
    }
}

static void test32(uint32_t numhi, uint32_t numlo, uint32_t denom) {
    typedef unsigned long long ullong;
    uint32_t rem;
    uint32_t quot = divlu(numhi, numlo, denom, &rem);

    uint32_t expected_rem;
    uint32_t expected_quot;
    if (numhi >= denom) {
        expected_rem = UINT32_MAX;
        expected_quot = UINT32_MAX;
    } else {
        uint64_t num = (uint64_t(numhi) << 32) | numlo;
        expected_quot = num / denom;
        expected_rem = num % denom;
    }
    if (expected_quot != quot) {
        fprintf(stderr, "divlu: %llu %llu / %llu -> got %llu, expected %llu\n", ullong(numhi),
            ullong(numlo), ullong(denom), ullong(quot), ullong(expected_quot));
        abort();
    }
    if (expected_rem != rem) {
        fprintf(stderr, "divlu: %llu %llu %% %llu -> got %llu, expected %llu\n", ullong(numhi),
            ullong(numlo), ullong(denom), ullong(rem), ullong(expected_rem));
        abort();
    }
}

int main(void) {
    uint64_t denom = read1();
    for (;;) {
        uint64_t numlo = read1();
        uint64_t numhi = read1();
        test32((uint32_t)numhi, (uint32_t)numlo, (uint32_t)denom);
        test64(numhi, numlo, denom);
    }
}