SPDX: Convert all of our single license tags to Linux Kernel style
[oweals/u-boot.git] / post / lib_powerpc / fpu / 20010226-1.c
1 // SPDX-License-Identifier: GPL-2.0+
2 /*
3  * Copyright (C) 2007
4  * Wolfgang Denk, DENX Software Engineering, wd@denx.de.
5  */
6 /*
7  * This file is originally a part of the GCC testsuite.
8  */
9
10 #include <common.h>
11
12 #include <post.h>
13
14 GNU_FPOST_ATTR
15
16 #if CONFIG_POST & CONFIG_SYS_POST_FPU
17
18 int fpu_post_test_math3 (void)
19 {
20         volatile long double dfrom = 1.1;
21         volatile long double m1;
22         volatile long double m2;
23         volatile unsigned long mant_long;
24
25         m1 = dfrom / 2.0;
26         m2 = m1 * 4294967296.0;
27         mant_long = ((unsigned long) m2) & 0xffffffff;
28
29         if (mant_long != 0x8ccccccc) {
30                 post_log ("Error in FPU math3 test\n");
31                 return -1;
32         }
33         return 0;
34 }
35
36 #endif /* CONFIG_POST & CONFIG_SYS_POST_FPU */