14766a86cSSiva Chandra Reddy //===-- Template to diff single-input-single-output functions ---*- C++ -*-===//
24766a86cSSiva Chandra Reddy //
34766a86cSSiva Chandra Reddy // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
44766a86cSSiva Chandra Reddy // See https://llvm.org/LICENSE.txt for license information.
54766a86cSSiva Chandra Reddy // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
64766a86cSSiva Chandra Reddy //
74766a86cSSiva Chandra Reddy //===----------------------------------------------------------------------===//
84766a86cSSiva Chandra Reddy
94766a86cSSiva Chandra Reddy #ifndef LLVM_LIBC_FUZZING_MATH_SINGLE_INPUT_SINGLE_OUTPUT_DIFF_H
104766a86cSSiva Chandra Reddy #define LLVM_LIBC_FUZZING_MATH_SINGLE_INPUT_SINGLE_OUTPUT_DIFF_H
114766a86cSSiva Chandra Reddy
124766a86cSSiva Chandra Reddy #include "fuzzing/math/Compare.h"
13*c120edc7SMichael Jones #include "src/__support/FPUtil/FPBits.h"
144766a86cSSiva Chandra Reddy
154766a86cSSiva Chandra Reddy #include <math.h>
164766a86cSSiva Chandra Reddy #include <stddef.h>
174766a86cSSiva Chandra Reddy #include <stdint.h>
184766a86cSSiva Chandra Reddy
194766a86cSSiva Chandra Reddy template <typename T> using SingleInputSingleOutputFunc = T (*)(T);
204766a86cSSiva Chandra Reddy
214766a86cSSiva Chandra Reddy template <typename T>
SingleInputSingleOutputDiff(SingleInputSingleOutputFunc<T> func1,SingleInputSingleOutputFunc<T> func2,const uint8_t * data,size_t size)224766a86cSSiva Chandra Reddy void SingleInputSingleOutputDiff(SingleInputSingleOutputFunc<T> func1,
234766a86cSSiva Chandra Reddy SingleInputSingleOutputFunc<T> func2,
244766a86cSSiva Chandra Reddy const uint8_t *data, size_t size) {
254766a86cSSiva Chandra Reddy if (size < sizeof(T))
264766a86cSSiva Chandra Reddy return;
274766a86cSSiva Chandra Reddy
284766a86cSSiva Chandra Reddy T x = *reinterpret_cast<const T *>(data);
294766a86cSSiva Chandra Reddy
304766a86cSSiva Chandra Reddy T result1 = func1(x);
314766a86cSSiva Chandra Reddy T result2 = func2(x);
324766a86cSSiva Chandra Reddy
334766a86cSSiva Chandra Reddy if (!ValuesEqual(result1, result2))
344766a86cSSiva Chandra Reddy __builtin_trap();
354766a86cSSiva Chandra Reddy }
364766a86cSSiva Chandra Reddy
374766a86cSSiva Chandra Reddy template <typename T1, typename T2>
384766a86cSSiva Chandra Reddy using SingleInputSingleOutputWithSideEffectFunc = T1 (*)(T1, T2 *);
394766a86cSSiva Chandra Reddy
404766a86cSSiva Chandra Reddy template <typename T1, typename T2>
SingleInputSingleOutputWithSideEffectDiff(SingleInputSingleOutputWithSideEffectFunc<T1,T2> func1,SingleInputSingleOutputWithSideEffectFunc<T1,T2> func2,const uint8_t * data,size_t size)414766a86cSSiva Chandra Reddy void SingleInputSingleOutputWithSideEffectDiff(
424766a86cSSiva Chandra Reddy SingleInputSingleOutputWithSideEffectFunc<T1, T2> func1,
434766a86cSSiva Chandra Reddy SingleInputSingleOutputWithSideEffectFunc<T1, T2> func2,
444766a86cSSiva Chandra Reddy const uint8_t *data, size_t size) {
454766a86cSSiva Chandra Reddy if (size < sizeof(T1))
464766a86cSSiva Chandra Reddy return;
474766a86cSSiva Chandra Reddy
484766a86cSSiva Chandra Reddy T1 x = *reinterpret_cast<const T1 *>(data);
494766a86cSSiva Chandra Reddy T2 sideEffect1, sideEffect2;
504766a86cSSiva Chandra Reddy
514766a86cSSiva Chandra Reddy T1 result1 = func1(x, &sideEffect1);
524766a86cSSiva Chandra Reddy T1 result2 = func2(x, &sideEffect2);
534766a86cSSiva Chandra Reddy
544766a86cSSiva Chandra Reddy if (!ValuesEqual(result1, result2))
554766a86cSSiva Chandra Reddy __builtin_trap();
564766a86cSSiva Chandra Reddy
574766a86cSSiva Chandra Reddy if (!ValuesEqual(sideEffect1, sideEffect2))
584766a86cSSiva Chandra Reddy __builtin_trap();
594766a86cSSiva Chandra Reddy }
604766a86cSSiva Chandra Reddy
614766a86cSSiva Chandra Reddy #endif // LLVM_LIBC_FUZZING_MATH_SINGLE_INPUT_SINGLE_OUTPUT_DIFF_H
62