Lagrange
Loading...
Searching...
No Matches
detect_fp_behavior_helper.h
1/*
2 * Copyright 2023 Adobe. All rights reserved.
3 * This file is licensed to you under the Apache License, Version 2.0 (the "License");
4 * you may not use this file except in compliance with the License. You may obtain a copy
5 * of the License at http://www.apache.org/licenses/LICENSE-2.0
6 *
7 * Unless required by applicable law or agreed to in writing, software distributed under
8 * the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR REPRESENTATIONS
9 * OF ANY KIND, either express or implied. See the License for the specific language
10 * governing permissions and limitations under the License.
11 */
12#pragma once
13
14#include <lagrange/testing/detect_fp_behavior.h>
15
16namespace lagrange::testing::internal {
17
18// Call this function with the following arguments (implemented in a separate compilation unit to
19// prevent compile-time optimization from the compiler):
20//
21// d00 = 0x1.634cd6p-13
22// d01 = -0x1.1b4ec4p-15
23// d11 = 0x1.9e87c6p-12
24FloatPointBehavior detect_fp_behavior_helper(float d00, float d01, float d11);
25
26} // namespace lagrange::testing::internal