FFmpeg coverage

Directory: ../../../ffmpeg/
File: src/libavutil/tests/softfloat.c
Date: 2026-10-20 22:17:59
Exec Total Coverage
Lines: 80 93 86.0%
Functions: 3 3 100.0%
Branches: 29 64 45.3%
Line Branch Exec Source
1 /*
2 * copyright (c) 2006 Michael Niedermayer <michaelni@gmx.at>
3 *
4 * This file is part of FFmpeg.
5 *
6 * FFmpeg is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU Lesser General Public
8 * License as published by the Free Software Foundation; either
9 * version 2.1 of the License, or (at your option) any later version.
10 *
11 * FFmpeg is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 * Lesser General Public License for more details.
15 *
16 * You should have received a copy of the GNU Lesser General Public
17 * License along with FFmpeg; if not, write to the Free Software
18 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
19 */
20
21 #include "libavutil/timer.h"
22
23 #include <inttypes.h>
24
25 #include "libavutil/softfloat.h"
26 #include "libavutil/common.h"
27 #include "libavutil/log.h"
28
29 #include <stdio.h>
30 #include <string.h>
31
32 static const SoftFloat FLOAT_0_017776489257 = {0x1234, 12};
33 static const SoftFloat FLOAT_1374_40625 = {0xabcd, 25};
34 static const SoftFloat FLOAT_0_1249694824218 = {0xFFF, 15};
35
36 1 static double add_mul(int i)
37 {
38 1 double d1 = i, d2 = i/100.0;
39
40
2/2
✓ Branch 0 taken 1000 times.
✓ Branch 1 taken 1 times.
 1001 for (int j = 0; j < 1000; j++)
41 1000 d1 = (d1+1)*d2;
42 1 return d1;
43 }
44
45 1 static SoftFloat add_mul_sf(int i)
46 {
47 1 SoftFloat one = av_int2sf(1, 0);
48 1 SoftFloat sf1 = av_int2sf(i, 0);
49 1 SoftFloat sf2 = av_div_sf(av_int2sf(i, 2), av_int2sf(200, 3));
50
51
2/2
✓ Branch 0 taken 1000 times.
✓ Branch 1 taken 1 times.
 1001 for (int j = 0; j < 1000; j++)
52 1000 sf1 = av_mul_sf(av_add_sf(sf1, one), sf2);
53 1 return sf1;
54 }
55
56 1 int main(int argc, char **argv){
57 1 SoftFloat one= av_int2sf(1, 0);
58 SoftFloat sf1, sf2, sf3;
59 double d1, d2, d3;
60 int i, j;
61
1/4
✗ Branch 0 not taken.
✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
 1 int bench = argc > 1 && !strcmp(argv[1], "-t");
62 1 av_log_set_level(AV_LOG_DEBUG);
63
64 1 d1= 1;
65
2/2
✓ Branch 0 taken 10 times.
✓ Branch 1 taken 1 times.
 11 for(i= 0; i<10; i++){
66 10 d1= 1/(d1+1);
67 }
68 1 printf("test1 double=%d\n", (int)(d1 * (1<<24)));
69
70 1 sf1= one;
71
2/2
✓ Branch 0 taken 10 times.
✓ Branch 1 taken 1 times.
 11 for(i= 0; i<10; i++){
72 10 sf1= av_div_sf(one, av_normalize_sf(av_add_sf(one, sf1)));
73 }
74 1 printf("test1 sf =%d\n", av_sf2int(sf1, 24));
75
76
77
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 1 times.
 1 if (bench) {
78 ✗ for(i= 0; i<100; i++){
79 ✗ START_TIMER
80 ✗ d1= add_mul(i);
81 ✗ STOP_TIMER("float add mul")
82 }
83 } else
84 1 d1= add_mul(99);
85 1 printf("test2 double=%d\n", (int)(d1 * (1<<24)));
86
87
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 1 times.
 1 if (bench) {
88 ✗ for(i= 0; i<100; i++){
89 ✗ START_TIMER
90 ✗ sf1= add_mul_sf(i);
91 ✗ STOP_TIMER("softfloat add mul")
92 }
93 } else
94 1 sf1= add_mul_sf(99);
95 1 printf("test2 sf =%d (%d %d)\n", av_sf2int(sf1, 24), sf1.exp, sf1.mant);
96
97 1 d1 = 0.0177764893;
98 1 d2 = 1374.40625;
99 1 d3 = 0.1249694824;
100 1 d2 += d1;
101 1 d3 += d2;
102 1 printf("test3 double: %.10lf\n", d3);
103
104 1 sf1 = FLOAT_0_017776489257;
105 1 sf2 = FLOAT_1374_40625;
106 1 sf3 = FLOAT_0_1249694824218;
107 1 sf2 = av_add_sf(sf1, sf2);
108 1 sf3 = av_add_sf(sf3, sf2);
109 1 printf("test3 softfloat: %.10lf (0x%08x %d)\n", (double)av_sf2double(sf3), sf3.mant, sf3.exp);
110
111 1 sf1 = av_int2sf(0xFFFFFFF0, 0);
112 1 printf("test4 softfloat: %.10lf (0x%08x %d)\n", (double)av_sf2double(sf1), sf1.mant, sf1.exp);
113 1 sf1 = av_int2sf(0x00000010, 0);
114 1 printf("test4 softfloat: %.10lf (0x%08x %d)\n", (double)av_sf2double(sf1), sf1.mant, sf1.exp);
115
116 1 sf1 = av_int2sf(0x1FFFFFFF, 0);
117 1 printf("test4 softfloat: %.10lf (0x%08x %d)\n", (double)av_sf2double(sf1), sf1.mant, sf1.exp);
118 1 sf1 = av_int2sf(0xE0000001, 0);
119 1 printf("test4 softfloat: %.10lf (0x%08x %d)\n", (double)av_sf2double(sf1), sf1.mant, sf1.exp);
120
121
122 1 sf1 = (SoftFloat){ 0x20000000, MIN_EXP };
123 1 sf1 = av_mul_sf(sf1, sf1);
124 1 printf("test5 softfloat: %.10lf (0x%08x %d)\n", (double)av_sf2double(sf1), sf1.mant, sf1.exp);
125
126 1 sf1 = (SoftFloat){ 0x20000000, MIN_EXP };
127 1 sf2 = (SoftFloat){ 0x20000000, MAX_EXP };
128 1 i = av_cmp_sf(sf1, sf2);
129 1 j = av_cmp_sf(sf2, sf1);
130 1 sf1 = av_div_sf(sf1, sf2);
131 1 printf("test6 softfloat: %.10lf (0x%08x %d) %d %d\n", (double)av_sf2double(sf1), sf1.mant, sf1.exp, i, j);
132
133
2/2
✓ Branch 0 taken 100 times.
✓ Branch 1 taken 1 times.
 101 for(i= -50; i<50; i++) {
134 100 sf1= av_int2sf(i, 0);
135
2/2
✓ Branch 0 taken 10000 times.
✓ Branch 1 taken 100 times.
 10100 for(j= -50; j<50; j++) {
136 int c;
137 10000 sf2= av_int2sf(j, 0);
138 10000 c = av_cmp_sf(sf1, sf2);
139
3/4
✓ Branch 0 taken 9900 times.
✓ Branch 1 taken 100 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 9900 times.
 10000 if (FFDIFFSIGN(i,j) != c && (FFDIFFSIGN(i,j)^c)<0) {
140 ✗ printf("av_cmp_sf failed at %d %d as %X\n", i, j, c);
141 }
142 10000 c = av_gt_sf(sf1, sf2);
143
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 10000 times.
 10000 if ((i>j) != c) {
144 ✗ printf("av_gt_sf failed at %d %d as %X\n", i, j, c);
145 }
146 }
147 100 sf1 = av_int2sf(1, i);
148
2/2
✓ Branch 0 taken 10000 times.
✓ Branch 1 taken 100 times.
 10100 for(j = -50; j < 50; j++) {
149 int c;
150 10000 sf2 = av_int2sf(1, j);
151 10000 c = av_cmp_sf(sf2, sf1);
152
3/4
✓ Branch 0 taken 9900 times.
✓ Branch 1 taken 100 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 9900 times.
 10000 if (FFDIFFSIGN(i,j) != c && (FFDIFFSIGN(i,j)^c) < 0) {
153 ✗ printf("av_cmp_sf failed2 at %d %d as %X\n", i, j, c);
154 }
155 10000 c = av_gt_sf(sf1, sf2);
156
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 10000 times.
 10000 if ((i<j) != c) {
157 ✗ printf("av_gt_sf failed2 at %d %d as %X\n", i, j, c);
158 }
159 }
160 }
161
162
163
2/2
✓ Branch 0 taken 144 times.
✓ Branch 1 taken 1 times.
 145 for(i= 0; i<4*36; i++){
164 int s, c;
165 double errs, errc;
166
167 144 av_sincos_sf(i*(1ULL<<32)/36/4, &s, &c);
168 144 errs = (double)s/ (1<<30) - sin(i*M_PI/36);
169 144 errc = (double)c/ (1<<30) - cos(i*M_PI/36);
170
2/4
✓ Branch 0 taken 144 times.
✗ Branch 1 not taken.
✗ Branch 2 not taken.
✓ Branch 3 taken 144 times.
 144 if (fabs(errs) > 0.000000004 || fabs(errc) >0.000000004) {
171 ✗ printf("sincos FAIL %d %f %f %f %f\n", i, (float)s/ (1<<30), (float)c/ (1<<30), sin(i*M_PI/36), cos(i*M_PI/36));
172 }
173
174 }
175 1 return 0;
176
177 }
178