1*4766a86cSSiva Chandra Reddy //===-- Template to diff single-input-single-output functions ---*- C++ -*-===//
2*4766a86cSSiva Chandra Reddy //
3*4766a86cSSiva Chandra Reddy // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*4766a86cSSiva Chandra Reddy // See https://llvm.org/LICENSE.txt for license information.
5*4766a86cSSiva Chandra Reddy // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*4766a86cSSiva Chandra Reddy //
7*4766a86cSSiva Chandra Reddy //===----------------------------------------------------------------------===//
8*4766a86cSSiva Chandra Reddy
9*4766a86cSSiva Chandra Reddy #ifndef LLVM_LIBC_FUZZING_MATH_SINGLE_INPUT_SINGLE_OUTPUT_DIFF_H
10*4766a86cSSiva Chandra Reddy #define LLVM_LIBC_FUZZING_MATH_SINGLE_INPUT_SINGLE_OUTPUT_DIFF_H
11*4766a86cSSiva Chandra Reddy
12*4766a86cSSiva Chandra Reddy #include "fuzzing/math/Compare.h"
13*4766a86cSSiva Chandra Reddy
14*4766a86cSSiva Chandra Reddy #include <stddef.h>
15*4766a86cSSiva Chandra Reddy #include <stdint.h>
16*4766a86cSSiva Chandra Reddy
17*4766a86cSSiva Chandra Reddy template <typename T> using SingleInputSingleOutputFunc = T (*)(T);
18*4766a86cSSiva Chandra Reddy
19*4766a86cSSiva Chandra Reddy template <typename T>
SingleInputSingleOutputDiff(SingleInputSingleOutputFunc<T> func1,SingleInputSingleOutputFunc<T> func2,const uint8_t * data,size_t size)20*4766a86cSSiva Chandra Reddy void SingleInputSingleOutputDiff(SingleInputSingleOutputFunc<T> func1,
21*4766a86cSSiva Chandra Reddy SingleInputSingleOutputFunc<T> func2,
22*4766a86cSSiva Chandra Reddy const uint8_t *data, size_t size) {
23*4766a86cSSiva Chandra Reddy if (size < sizeof(T))
24*4766a86cSSiva Chandra Reddy return;
25*4766a86cSSiva Chandra Reddy
26*4766a86cSSiva Chandra Reddy T x = *reinterpret_cast<const T *>(data);
27*4766a86cSSiva Chandra Reddy
28*4766a86cSSiva Chandra Reddy T result1 = func1(x);
29*4766a86cSSiva Chandra Reddy T result2 = func2(x);
30*4766a86cSSiva Chandra Reddy
31*4766a86cSSiva Chandra Reddy if (!ValuesEqual(result1, result2))
32*4766a86cSSiva Chandra Reddy __builtin_trap();
33*4766a86cSSiva Chandra Reddy }
34*4766a86cSSiva Chandra Reddy
35*4766a86cSSiva Chandra Reddy template <typename T1, typename T2>
36*4766a86cSSiva Chandra Reddy using SingleInputSingleOutputWithSideEffectFunc = T1 (*)(T1, T2 *);
37*4766a86cSSiva Chandra Reddy
38*4766a86cSSiva Chandra Reddy template <typename T1, typename T2>
SingleInputSingleOutputWithSideEffectDiff(SingleInputSingleOutputWithSideEffectFunc<T1,T2> func1,SingleInputSingleOutputWithSideEffectFunc<T1,T2> func2,const uint8_t * data,size_t size)39*4766a86cSSiva Chandra Reddy void SingleInputSingleOutputWithSideEffectDiff(
40*4766a86cSSiva Chandra Reddy SingleInputSingleOutputWithSideEffectFunc<T1, T2> func1,
41*4766a86cSSiva Chandra Reddy SingleInputSingleOutputWithSideEffectFunc<T1, T2> func2,
42*4766a86cSSiva Chandra Reddy const uint8_t *data, size_t size) {
43*4766a86cSSiva Chandra Reddy if (size < sizeof(T1))
44*4766a86cSSiva Chandra Reddy return;
45*4766a86cSSiva Chandra Reddy
46*4766a86cSSiva Chandra Reddy T1 x = *reinterpret_cast<const T1 *>(data);
47*4766a86cSSiva Chandra Reddy T2 sideEffect1, sideEffect2;
48*4766a86cSSiva Chandra Reddy
49*4766a86cSSiva Chandra Reddy T1 result1 = func1(x, &sideEffect1);
50*4766a86cSSiva Chandra Reddy T1 result2 = func2(x, &sideEffect2);
51*4766a86cSSiva Chandra Reddy
52*4766a86cSSiva Chandra Reddy if (!ValuesEqual(result1, result2))
53*4766a86cSSiva Chandra Reddy __builtin_trap();
54*4766a86cSSiva Chandra Reddy
55*4766a86cSSiva Chandra Reddy if (!ValuesEqual(sideEffect1, sideEffect2))
56*4766a86cSSiva Chandra Reddy __builtin_trap();
57*4766a86cSSiva Chandra Reddy }
58*4766a86cSSiva Chandra Reddy
59*4766a86cSSiva Chandra Reddy #endif // LLVM_LIBC_FUZZING_MATH_SINGLE_INPUT_SINGLE_OUTPUT_DIFF_H
60