reed | 3601f28 | 2016-02-05 11:18:39 -0800 | [diff] [blame] | 1 | /* |
| 2 | * Copyright 2016 Google Inc. |
| 3 | * |
| 4 | * Use of this source code is governed by a BSD-style license that can be |
| 5 | * found in the LICENSE file. |
| 6 | */ |
| 7 | |
| 8 | #include "Test.h" |
robertphillips | c5035e7 | 2016-03-17 06:58:39 -0700 | [diff] [blame] | 9 | #include "SkAutoPixmapStorage.h" |
reed | 3601f28 | 2016-02-05 11:18:39 -0800 | [diff] [blame] | 10 | #include "SkColor.h" |
| 11 | #include "SkHalf.h" |
mtklein | a525cb1 | 2016-02-09 08:18:10 -0800 | [diff] [blame] | 12 | #include "SkOpts.h" |
reed | 3601f28 | 2016-02-05 11:18:39 -0800 | [diff] [blame] | 13 | #include "SkPixmap.h" |
reed | dd9ffea | 2016-02-18 12:39:14 -0800 | [diff] [blame] | 14 | #include "SkPM4f.h" |
mtklein | fff055c | 2016-02-11 06:30:03 -0800 | [diff] [blame] | 15 | #include "SkRandom.h" |
reed | 3601f28 | 2016-02-05 11:18:39 -0800 | [diff] [blame] | 16 | |
Ben Wagner | 8a1036c | 2016-11-09 15:00:49 -0500 | [diff] [blame] | 17 | #include <cmath> |
| 18 | |
reed | 3601f28 | 2016-02-05 11:18:39 -0800 | [diff] [blame] | 19 | static bool eq_within_half_float(float a, float b) { |
| 20 | const float kTolerance = 1.0f / (1 << (8 + 10)); |
| 21 | |
| 22 | SkHalf ha = SkFloatToHalf(a); |
| 23 | SkHalf hb = SkFloatToHalf(b); |
| 24 | float a2 = SkHalfToFloat(ha); |
| 25 | float b2 = SkHalfToFloat(hb); |
| 26 | return fabsf(a2 - b2) <= kTolerance; |
| 27 | } |
| 28 | |
| 29 | static bool eq_within_half_float(const SkPM4f& a, const SkPM4f& b) { |
| 30 | for (int i = 0; i < 4; ++i) { |
| 31 | if (!eq_within_half_float(a.fVec[i], b.fVec[i])) { |
| 32 | return false; |
| 33 | } |
| 34 | } |
| 35 | return true; |
| 36 | } |
| 37 | |
| 38 | DEF_TEST(color_half_float, reporter) { |
| 39 | const int w = 100; |
| 40 | const int h = 100; |
| 41 | |
| 42 | SkImageInfo info = SkImageInfo::Make(w, h, kRGBA_F16_SkColorType, kPremul_SkAlphaType); |
| 43 | |
| 44 | SkAutoPixmapStorage pm; |
| 45 | pm.alloc(info); |
Mike Reed | f0ffb89 | 2017-10-03 14:47:21 -0400 | [diff] [blame] | 46 | REPORTER_ASSERT(reporter, pm.computeByteSize() == SkToSizeT(w * h * sizeof(uint64_t))); |
reed | 3601f28 | 2016-02-05 11:18:39 -0800 | [diff] [blame] | 47 | |
brianosman | e074d1f | 2016-06-24 06:31:47 -0700 | [diff] [blame] | 48 | SkColor4f c4 { 1, 0.5f, 0.25f, 0.5f }; |
reed | 3601f28 | 2016-02-05 11:18:39 -0800 | [diff] [blame] | 49 | pm.erase(c4); |
| 50 | |
| 51 | SkPM4f origpm4 = c4.premul(); |
| 52 | for (int y = 0; y < pm.height(); ++y) { |
| 53 | for (int x = 0; x < pm.width(); ++x) { |
| 54 | SkPM4f pm4 = SkPM4f::FromF16(pm.addrF16(x, y)); |
| 55 | REPORTER_ASSERT(reporter, eq_within_half_float(origpm4, pm4)); |
| 56 | } |
| 57 | } |
| 58 | } |
mtklein | a525cb1 | 2016-02-09 08:18:10 -0800 | [diff] [blame] | 59 | |
mtklein | 8ae991e | 2016-08-22 13:20:18 -0700 | [diff] [blame] | 60 | static bool is_denorm(uint16_t h) { |
| 61 | return (h & 0x7fff) < 0x0400; |
mtklein | ddb64c8 | 2016-02-11 12:48:23 -0800 | [diff] [blame] | 62 | } |
| 63 | |
mtklein | 8ae991e | 2016-08-22 13:20:18 -0700 | [diff] [blame] | 64 | static bool is_finite(uint16_t h) { |
| 65 | return (h & 0x7c00) != 0x7c00; |
| 66 | } |
| 67 | |
| 68 | DEF_TEST(SkHalfToFloat_finite_ftz, r) { |
mtklein | 58e389b | 2016-07-15 07:00:11 -0700 | [diff] [blame] | 69 | for (uint32_t h = 0; h <= 0xffff; h++) { |
mtklein | 8ae991e | 2016-08-22 13:20:18 -0700 | [diff] [blame] | 70 | if (!is_finite(h)) { |
| 71 | // _finite_ftz() only works for values that can be represented as a finite half float. |
| 72 | continue; |
mtklein | fff055c | 2016-02-11 06:30:03 -0800 | [diff] [blame] | 73 | } |
mtklein | 8ae991e | 2016-08-22 13:20:18 -0700 | [diff] [blame] | 74 | |
mtklein | a2d2f38 | 2016-08-23 08:58:12 -0700 | [diff] [blame] | 75 | // _finite_ftz() may flush denorms to zero. 0.0f will compare == with both +0.0f and -0.0f. |
| 76 | float expected = SkHalfToFloat(h), |
| 77 | alternate = is_denorm(h) ? 0.0f : expected; |
mtklein | 8ae991e | 2016-08-22 13:20:18 -0700 | [diff] [blame] | 78 | |
mtklein | a2d2f38 | 2016-08-23 08:58:12 -0700 | [diff] [blame] | 79 | float actual = SkHalfToFloat_finite_ftz(h)[0]; |
| 80 | |
| 81 | REPORTER_ASSERT(r, actual == expected || actual == alternate); |
mtklein | fff055c | 2016-02-11 06:30:03 -0800 | [diff] [blame] | 82 | } |
| 83 | } |
| 84 | |
mtklein | 8ae991e | 2016-08-22 13:20:18 -0700 | [diff] [blame] | 85 | DEF_TEST(SkFloatToHalf_finite_ftz, r) { |
mtklein | fff055c | 2016-02-11 06:30:03 -0800 | [diff] [blame] | 86 | #if 0 |
mtklein | 58e389b | 2016-07-15 07:00:11 -0700 | [diff] [blame] | 87 | for (uint64_t bits = 0; bits <= 0xffffffff; bits++) { |
mtklein | fff055c | 2016-02-11 06:30:03 -0800 | [diff] [blame] | 88 | #else |
| 89 | SkRandom rand; |
| 90 | for (int i = 0; i < 1000000; i++) { |
| 91 | uint32_t bits = rand.nextU(); |
| 92 | #endif |
| 93 | float f; |
| 94 | memcpy(&f, &bits, 4); |
mtklein | 8ae991e | 2016-08-22 13:20:18 -0700 | [diff] [blame] | 95 | |
| 96 | uint16_t expected = SkFloatToHalf(f); |
| 97 | if (!is_finite(expected)) { |
| 98 | // _finite_ftz() only works for values that can be represented as a finite half float. |
| 99 | continue; |
mtklein | fff055c | 2016-02-11 06:30:03 -0800 | [diff] [blame] | 100 | } |
mtklein | 8ae991e | 2016-08-22 13:20:18 -0700 | [diff] [blame] | 101 | |
mtklein | a2d2f38 | 2016-08-23 08:58:12 -0700 | [diff] [blame] | 102 | uint16_t alternate = expected; |
mtklein | 8ae991e | 2016-08-22 13:20:18 -0700 | [diff] [blame] | 103 | if (is_denorm(expected)) { |
mtklein | a2d2f38 | 2016-08-23 08:58:12 -0700 | [diff] [blame] | 104 | // _finite_ftz() may flush denorms to zero, and happens to keep the sign bit. |
Ben Wagner | 8a1036c | 2016-11-09 15:00:49 -0500 | [diff] [blame] | 105 | alternate = std::signbit(f) ? 0x8000 : 0x0000; |
mtklein | 8ae991e | 2016-08-22 13:20:18 -0700 | [diff] [blame] | 106 | } |
| 107 | |
| 108 | uint16_t actual = SkFloatToHalf_finite_ftz(Sk4f{f})[0]; |
mtklein | a2d2f38 | 2016-08-23 08:58:12 -0700 | [diff] [blame] | 109 | // _finite_ftz() may truncate instead of rounding, so it may be one too small. |
| 110 | REPORTER_ASSERT(r, actual == expected || actual == expected - 1 || |
| 111 | actual == alternate || actual == alternate - 1); |
mtklein | fff055c | 2016-02-11 06:30:03 -0800 | [diff] [blame] | 112 | } |
| 113 | } |