xref: /llvm-project/libc/fuzzing/math/SingleInputSingleOutputDiff.h (revision 5d56b34807e0f6e7a6684e57bec7c1751778862c)
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