| Line | Branch | Exec | Source |
|---|---|---|---|
| 1 | /* Automatically generated code, do not edit */ | ||
| 2 | /* Generated from source file: side4h.pck */ | ||
| 3 | |||
| 4 | 210243 | inline int side4h_3d_filter( const double* p0, const double* p1, const double* p2, const double* p3, const double* p4, double h0, double h1, double h2, double h3, double h4) { | |
| 5 | double a11; | ||
| 6 | 210243 | a11 = (p1[0] - p0[0]); | |
| 7 | double a12; | ||
| 8 | 210243 | a12 = (p1[1] - p0[1]); | |
| 9 | double a13; | ||
| 10 | 210243 | a13 = (p1[2] - p0[2]); | |
| 11 | double a14; | ||
| 12 | 210243 | a14 = (h0 - h1); | |
| 13 | double a21; | ||
| 14 | 210243 | a21 = (p2[0] - p0[0]); | |
| 15 | double a22; | ||
| 16 | 210243 | a22 = (p2[1] - p0[1]); | |
| 17 | double a23; | ||
| 18 | 210243 | a23 = (p2[2] - p0[2]); | |
| 19 | double a24; | ||
| 20 | 210243 | a24 = (h0 - h2); | |
| 21 | double a31; | ||
| 22 | 210243 | a31 = (p3[0] - p0[0]); | |
| 23 | double a32; | ||
| 24 | 210243 | a32 = (p3[1] - p0[1]); | |
| 25 | double a33; | ||
| 26 | 210243 | a33 = (p3[2] - p0[2]); | |
| 27 | double a34; | ||
| 28 | 210243 | a34 = (h0 - h3); | |
| 29 | double a41; | ||
| 30 | 210243 | a41 = (p4[0] - p0[0]); | |
| 31 | double a42; | ||
| 32 | 210243 | a42 = (p4[1] - p0[1]); | |
| 33 | double a43; | ||
| 34 | 210243 | a43 = (p4[2] - p0[2]); | |
| 35 | double a44; | ||
| 36 | 210243 | a44 = (h0 - h4); | |
| 37 | double Delta1; | ||
| 38 | 210243 | Delta1 = (((a21 * ((a32 * a43) - (a33 * a42))) - (a31 * ((a22 * a43) - (a23 * a42)))) + (a41 * ((a22 * a33) - (a23 * a32)))); | |
| 39 | double Delta2; | ||
| 40 | 210243 | Delta2 = (((a11 * ((a32 * a43) - (a33 * a42))) - (a31 * ((a12 * a43) - (a13 * a42)))) + (a41 * ((a12 * a33) - (a13 * a32)))); | |
| 41 | double Delta3; | ||
| 42 | 210243 | Delta3 = (((a11 * ((a22 * a43) - (a23 * a42))) - (a21 * ((a12 * a43) - (a13 * a42)))) + (a41 * ((a12 * a23) - (a13 * a22)))); | |
| 43 | double Delta4; | ||
| 44 | 210243 | Delta4 = (((a11 * ((a22 * a33) - (a23 * a32))) - (a21 * ((a12 * a33) - (a13 * a32)))) + (a31 * ((a12 * a23) - (a13 * a22)))); | |
| 45 | double r; | ||
| 46 | 210243 | r = ((((Delta1 * a14) - (Delta2 * a24)) + (Delta3 * a34)) - (Delta4 * a44)); | |
| 47 | double eps; | ||
| 48 | 210243 | double max1 = fabs(a11); | |
| 49 |
2/2✓ Branch 0 taken 82395 times.
✓ Branch 1 taken 127848 times.
|
210243 | if( (max1 < fabs(a21)) ) |
| 50 | { | ||
| 51 | 82395 | max1 = fabs(a21); | |
| 52 | } | ||
| 53 |
2/2✓ Branch 0 taken 56083 times.
✓ Branch 1 taken 154160 times.
|
210243 | if( (max1 < fabs(a31)) ) |
| 54 | { | ||
| 55 | 56083 | max1 = fabs(a31); | |
| 56 | } | ||
| 57 | 210243 | double max2 = fabs(a12); | |
| 58 |
2/2✓ Branch 0 taken 105484 times.
✓ Branch 1 taken 104759 times.
|
210243 | if( (max2 < fabs(a13)) ) |
| 59 | { | ||
| 60 | 105484 | max2 = fabs(a13); | |
| 61 | } | ||
| 62 |
2/2✓ Branch 0 taken 61067 times.
✓ Branch 1 taken 149176 times.
|
210243 | if( (max2 < fabs(a22)) ) |
| 63 | { | ||
| 64 | 61067 | max2 = fabs(a22); | |
| 65 | } | ||
| 66 |
2/2✓ Branch 0 taken 37128 times.
✓ Branch 1 taken 173115 times.
|
210243 | if( (max2 < fabs(a23)) ) |
| 67 | { | ||
| 68 | 37128 | max2 = fabs(a23); | |
| 69 | } | ||
| 70 | 210243 | double max3 = fabs(a22); | |
| 71 |
2/2✓ Branch 0 taken 109993 times.
✓ Branch 1 taken 100250 times.
|
210243 | if( (max3 < fabs(a23)) ) |
| 72 | { | ||
| 73 | 109993 | max3 = fabs(a23); | |
| 74 | } | ||
| 75 |
2/2✓ Branch 0 taken 72332 times.
✓ Branch 1 taken 137911 times.
|
210243 | if( (max3 < fabs(a32)) ) |
| 76 | { | ||
| 77 | 72332 | max3 = fabs(a32); | |
| 78 | } | ||
| 79 |
2/2✓ Branch 0 taken 45946 times.
✓ Branch 1 taken 164297 times.
|
210243 | if( (max3 < fabs(a33)) ) |
| 80 | { | ||
| 81 | 45946 | max3 = fabs(a33); | |
| 82 | } | ||
| 83 | double lower_bound_1; | ||
| 84 | double upper_bound_1; | ||
| 85 | int Delta4_sign; | ||
| 86 | int int_tmp_result; | ||
| 87 | 210243 | lower_bound_1 = max1; | |
| 88 | 210243 | upper_bound_1 = max1; | |
| 89 |
2/2✓ Branch 0 taken 81298 times.
✓ Branch 1 taken 128945 times.
|
210243 | if( (max2 < lower_bound_1) ) |
| 90 | { | ||
| 91 | 81298 | lower_bound_1 = max2; | |
| 92 | } | ||
| 93 | else | ||
| 94 | { | ||
| 95 |
2/2✓ Branch 0 taken 128087 times.
✓ Branch 1 taken 858 times.
|
128945 | if( (max2 > upper_bound_1) ) |
| 96 | { | ||
| 97 | 128087 | upper_bound_1 = max2; | |
| 98 | } | ||
| 99 | } | ||
| 100 |
2/2✓ Branch 0 taken 35230 times.
✓ Branch 1 taken 175013 times.
|
210243 | if( (max3 < lower_bound_1) ) |
| 101 | { | ||
| 102 | 35230 | lower_bound_1 = max3; | |
| 103 | } | ||
| 104 | else | ||
| 105 | { | ||
| 106 |
2/2✓ Branch 0 taken 33272 times.
✓ Branch 1 taken 141741 times.
|
175013 | if( (max3 > upper_bound_1) ) |
| 107 | { | ||
| 108 | 33272 | upper_bound_1 = max3; | |
| 109 | } | ||
| 110 | } | ||
| 111 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 210243 times.
|
210243 | if( (lower_bound_1 < 1.63288018496748314939e-98) ) |
| 112 | { | ||
| 113 | ✗ | return FPG_UNCERTAIN_VALUE; | |
| 114 | } | ||
| 115 | else | ||
| 116 | { | ||
| 117 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 210243 times.
|
210243 | if( (upper_bound_1 > 7.23700557733225980357e+75) ) |
| 118 | { | ||
| 119 | ✗ | return FPG_UNCERTAIN_VALUE; | |
| 120 | } | ||
| 121 | 210243 | eps = (5.11071278299732992696e-15 * ((max2 * max3) * max1)); | |
| 122 |
1/2✓ Branch 0 taken 210243 times.
✗ Branch 1 not taken.
|
210243 | if( (Delta4 > eps) ) |
| 123 | { | ||
| 124 | 210243 | int_tmp_result = 1; | |
| 125 | } | ||
| 126 | else | ||
| 127 | { | ||
| 128 | ✗ | if( (Delta4 < -eps) ) | |
| 129 | { | ||
| 130 | ✗ | int_tmp_result = -1; | |
| 131 | } | ||
| 132 | else | ||
| 133 | { | ||
| 134 | ✗ | return FPG_UNCERTAIN_VALUE; | |
| 135 | } | ||
| 136 | } | ||
| 137 | } | ||
| 138 | 210243 | Delta4_sign = int_tmp_result; | |
| 139 | int int_tmp_result_FFWKCAA; | ||
| 140 | 210243 | double max4 = max1; | |
| 141 |
2/2✓ Branch 0 taken 28812 times.
✓ Branch 1 taken 181431 times.
|
210243 | if( (max4 < fabs(a41)) ) |
| 142 | { | ||
| 143 | 28812 | max4 = fabs(a41); | |
| 144 | } | ||
| 145 | 210243 | double max5 = max2; | |
| 146 |
2/2✓ Branch 0 taken 54339 times.
✓ Branch 1 taken 155904 times.
|
210243 | if( (max5 < max3) ) |
| 147 | { | ||
| 148 | 54339 | max5 = max3; | |
| 149 | } | ||
| 150 | 210243 | double max6 = fabs(a14); | |
| 151 |
2/2✓ Branch 0 taken 100809 times.
✓ Branch 1 taken 109434 times.
|
210243 | if( (max6 < fabs(a24)) ) |
| 152 | { | ||
| 153 | 100809 | max6 = fabs(a24); | |
| 154 | } | ||
| 155 |
2/2✓ Branch 0 taken 73940 times.
✓ Branch 1 taken 136303 times.
|
210243 | if( (max6 < fabs(a34)) ) |
| 156 | { | ||
| 157 | 73940 | max6 = fabs(a34); | |
| 158 | } | ||
| 159 |
2/2✓ Branch 0 taken 34765 times.
✓ Branch 1 taken 175478 times.
|
210243 | if( (max6 < fabs(a44)) ) |
| 160 | { | ||
| 161 | 34765 | max6 = fabs(a44); | |
| 162 | } | ||
| 163 | 210243 | double max7 = max3; | |
| 164 |
2/2✓ Branch 0 taken 22902 times.
✓ Branch 1 taken 187341 times.
|
210243 | if( (max7 < fabs(a42)) ) |
| 165 | { | ||
| 166 | 22902 | max7 = fabs(a42); | |
| 167 | } | ||
| 168 |
2/2✓ Branch 0 taken 15751 times.
✓ Branch 1 taken 194492 times.
|
210243 | if( (max7 < fabs(a43)) ) |
| 169 | { | ||
| 170 | 15751 | max7 = fabs(a43); | |
| 171 | } | ||
| 172 | 210243 | lower_bound_1 = max4; | |
| 173 | 210243 | upper_bound_1 = max4; | |
| 174 |
2/2✓ Branch 0 taken 71608 times.
✓ Branch 1 taken 138635 times.
|
210243 | if( (max5 < lower_bound_1) ) |
| 175 | { | ||
| 176 | 71608 | lower_bound_1 = max5; | |
| 177 | } | ||
| 178 | else | ||
| 179 | { | ||
| 180 |
2/2✓ Branch 0 taken 137491 times.
✓ Branch 1 taken 1144 times.
|
138635 | if( (max5 > upper_bound_1) ) |
| 181 | { | ||
| 182 | 137491 | upper_bound_1 = max5; | |
| 183 | } | ||
| 184 | } | ||
| 185 |
2/2✓ Branch 0 taken 10329 times.
✓ Branch 1 taken 199914 times.
|
210243 | if( (max6 < lower_bound_1) ) |
| 186 | { | ||
| 187 | 10329 | lower_bound_1 = max6; | |
| 188 | } | ||
| 189 | else | ||
| 190 | { | ||
| 191 |
2/2✓ Branch 0 taken 165041 times.
✓ Branch 1 taken 34873 times.
|
199914 | if( (max6 > upper_bound_1) ) |
| 192 | { | ||
| 193 | 165041 | upper_bound_1 = max6; | |
| 194 | } | ||
| 195 | } | ||
| 196 |
2/2✓ Branch 0 taken 25383 times.
✓ Branch 1 taken 184860 times.
|
210243 | if( (max7 < lower_bound_1) ) |
| 197 | { | ||
| 198 | 25383 | lower_bound_1 = max7; | |
| 199 | } | ||
| 200 | else | ||
| 201 | { | ||
| 202 |
2/2✓ Branch 0 taken 3144 times.
✓ Branch 1 taken 181716 times.
|
184860 | if( (max7 > upper_bound_1) ) |
| 203 | { | ||
| 204 | 3144 | upper_bound_1 = max7; | |
| 205 | } | ||
| 206 | } | ||
| 207 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 210243 times.
|
210243 | if( (lower_bound_1 < 2.89273249588395194294e-74) ) |
| 208 | { | ||
| 209 | ✗ | return FPG_UNCERTAIN_VALUE; | |
| 210 | } | ||
| 211 | else | ||
| 212 | { | ||
| 213 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 210243 times.
|
210243 | if( (upper_bound_1 > 7.23700557733225980357e+75) ) |
| 214 | { | ||
| 215 | ✗ | return FPG_UNCERTAIN_VALUE; | |
| 216 | } | ||
| 217 | 210243 | eps = (3.17768858673611390687e-14 * (((max5 * max7) * max4) * max6)); | |
| 218 |
2/2✓ Branch 0 taken 63938 times.
✓ Branch 1 taken 146305 times.
|
210243 | if( (r > eps) ) |
| 219 | { | ||
| 220 | 63938 | int_tmp_result_FFWKCAA = 1; | |
| 221 | } | ||
| 222 | else | ||
| 223 | { | ||
| 224 |
2/2✓ Branch 0 taken 141039 times.
✓ Branch 1 taken 5266 times.
|
146305 | if( (r < -eps) ) |
| 225 | { | ||
| 226 | 141039 | int_tmp_result_FFWKCAA = -1; | |
| 227 | } | ||
| 228 | else | ||
| 229 | { | ||
| 230 | 5266 | return FPG_UNCERTAIN_VALUE; | |
| 231 | } | ||
| 232 | } | ||
| 233 | } | ||
| 234 | 204977 | return (Delta4_sign * int_tmp_result_FFWKCAA); | |
| 235 | } | ||
| 236 |