#include "include/core/SkBitmap.h"
#include "include/core/SkCanvas.h"
#include "include/core/SkColor.h"
#include "include/core/SkData.h"
#include "include/core/SkImageInfo.h"
#include "include/core/SkPaint.h"
#include "include/core/SkRect.h"
#include "include/core/SkRefCnt.h"
#include "include/core/SkShader.h"
#include "include/core/SkSpan.h"
#include "include/core/SkString.h"
#include "include/core/SkSurface.h"
#include "include/core/SkTypes.h"
#include "include/effects/SkRuntimeEffect.h"
#include "include/gpu/GpuTypes.h"
#include "include/gpu/GrDirectContext.h"
#include "include/gpu/ganesh/SkSurfaceGanesh.h"
#include "include/private/base/SkTArray.h"
#include "include/sksl/SkSLVersion.h"
#include "src/base/SkArenaAlloc.h"
#include "src/base/SkEnumBitMask.h"
#include "src/base/SkStringView.h"
#include "src/core/SkRasterPipeline.h"
#include "src/core/SkRasterPipelineOpContexts.h"
#include "src/core/SkRasterPipelineOpList.h"
#include "src/core/SkRuntimeEffectPriv.h"
#include "src/gpu/ganesh/GrCaps.h"
#include "src/gpu/ganesh/GrDirectContextPriv.h"
#include "src/gpu/ganesh/GrShaderCaps.h"
#include "src/sksl/SkSLCompiler.h"
#include "src/sksl/SkSLProgramKind.h"
#include "src/sksl/SkSLProgramSettings.h"
#include "src/sksl/SkSLUtil.h"
#include "src/sksl/analysis/SkSLProgramVisitor.h"
#include "src/sksl/codegen/SkSLRasterPipelineBuilder.h"
#include "src/sksl/codegen/SkSLRasterPipelineCodeGenerator.h"
#include "src/sksl/ir/SkSLFunctionDeclaration.h"
#include "src/sksl/ir/SkSLModifierFlags.h"
#include "src/sksl/ir/SkSLProgram.h"
#include "src/sksl/ir/SkSLProgramElement.h"
#include "src/sksl/ir/SkSLStatement.h"
#include "src/sksl/ir/SkSLType.h"
#include "src/sksl/ir/SkSLVarDeclarations.h"
#include "src/sksl/ir/SkSLVariable.h"
#include "src/sksl/tracing/SkSLDebugTracePriv.h"
#include "tests/CtsEnforcement.h"
#include "tests/Test.h"
#include "tools/Resources.h"
#include <algorithm>
#include <cstddef>
#include <cstdint>
#include <memory>
#include <regex>
#include <string>
#include <string_view>
#include <vector>

Classes
struct	UniformData

Namespaces
namespace	SkSL

Macros
#define	ADRENO "Adreno \\‍(TM\\) "

#define	NVIDIA "(Tegra\|Quadro\|RTX\|GTX) "

#define	DEF_GANESH_SKSL_TEST(flags, ctsEnforcement, name, path) /* Ganesh is disabled */

#define	DEF_GRAPHITE_SKSL_TEST(flags, ctsEnforcement, name, path) /* Graphite is disabled */

#define	SKSL_TEST(flags, ctsEnforcement, name, path)

Typedefs
using	SkSLTestFlags = SkEnumBitMask< SkSLTestFlag >

Enumerations
enum class	SkSLTestFlag : int { CPU = 1 << 0 , ES3 = 1 << 1 , GPU = 1 << 2 , GPU_ES3 = 1 << 3 , UsesNaN = 1 << 4 }

Functions
static constexpr bool	is_cpu (SkSLTestFlags flags)

static constexpr bool	is_gpu (SkSLTestFlags flags)

static constexpr bool	is_strict_es2 (SkSLTestFlags flags)

static SkBitmap	bitmap_from_shader (skiatest::Reporter r, SkSurface surface, sk_sp< SkRuntimeEffect > effect)

static bool	gpu_generates_nan (skiatest::Reporter r, GrDirectContext ctx)

static SkString	load_source (skiatest::Reporter r, const char testFile, const char *permutationSuffix)

static bool	failure_is_expected (std::string_view deviceName, std::string_view backendAPI, std::string_view name, skiatest::TestType testType)

static void	test_one_permutation (skiatest::Reporter r, std::string_view deviceName, std::string_view backendAPI, SkSurface surface, const char name, const char testFile, skiatest::TestType testType, const char *permutationSuffix, const SkRuntimeEffect::Options &options)

static void	test_permutations (skiatest::Reporter r, std::string_view deviceName, std::string_view backendAPI, SkSurface surface, const char name, const char testFile, skiatest::TestType testType, bool strictES2)

static void	test_cpu (skiatest::Reporter r, const char name, const char *testFile, SkSLTestFlags flags)

static void	test_clone (skiatest::Reporter r, const char testFile, SkSLTestFlags flags)

static void	report_rp_pass (skiatest::Reporter r, const char testFile, SkSLTestFlags flags)

static void	report_rp_fail (skiatest::Reporter r, const char testFile, SkSLTestFlags flags, const char *reason)

static void	test_raster_pipeline (skiatest::Reporter r, const char testFile, SkSLTestFlags flags)

Variables
static constexpr int	kWidth = 2

static constexpr int	kHeight = 2

static constexpr float	kUniformColorBlack [] = {0.0f, 0.0f, 0.0f, 1.0f}

static constexpr float	kUniformColorRed [] = {1.0f, 0.0f, 0.0f, 1.0f}

static constexpr float	kUniformColorGreen [] = {0.0f, 1.0f, 0.0f, 1.0f}

static constexpr float	kUniformColorBlue [] = {0.0f, 0.0f, 1.0f, 1.0f}

static constexpr float	kUniformColorWhite [] = {1.0f, 1.0f, 1.0f, 1.0f}

static constexpr float	kUniformTestInputs [] = {-1.25f, 0.0f, 0.75f, 2.25f}

static constexpr float	kUniformUnknownInput [] = {1.0f}

static constexpr float	kUniformTestMatrix2x2 []

static constexpr float	kUniformTestMatrix3x3 []

static constexpr float	kUniformTestMatrix4x4 []

static constexpr float	kUniformTestArray [] = {1, 2, 3, 4, 5}

static constexpr float	kUniformTestArrayNegative [] = {-1, -2, -3, -4, -5}

static constexpr UniformData	kUniformData []

constexpr SkSLTestFlags	CPU = SkSLTestFlag::CPU

constexpr SkSLTestFlags	ES3 = SkSLTestFlag::ES3

constexpr SkSLTestFlags	GPU = SkSLTestFlag::GPU

constexpr SkSLTestFlags	GPU_ES3 = SkSLTestFlag::GPU_ES3

constexpr SkSLTestFlags	UsesNaN = SkSLTestFlag::UsesNaN

constexpr auto	kApiLevel_T = CtsEnforcement::kApiLevel_T

constexpr auto	kApiLevel_U = CtsEnforcement::kApiLevel_U

constexpr auto	kApiLevel_V = CtsEnforcement::kApiLevel_V

constexpr auto	kNever = CtsEnforcement::kNever

constexpr auto	kNextRelease = CtsEnforcement::kNextRelease

Macro Definition Documentation

◆ ADRENO

#define ADRENO "Adreno \\‍(TM\\) "

◆ DEF_GANESH_SKSL_TEST

#define DEF_GANESH_SKSL_TEST	(	flags,
		ctsEnforcement,
		name,
		path
	)	/* Ganesh is disabled */

Definition at line 911 of file SkSLTest.cpp.

◆ DEF_GRAPHITE_SKSL_TEST

#define DEF_GRAPHITE_SKSL_TEST	(	flags,
		ctsEnforcement,
		name,
		path
	)	/* Graphite is disabled */

Definition at line 931 of file SkSLTest.cpp.

◆ NVIDIA

#define NVIDIA "(Tegra|Quadro|RTX|GTX) "

◆ SKSL_TEST

#define SKSL_TEST	(	flags,
		ctsEnforcement,
		name,
		path
	)

Value:

    DEF_CONDITIONAL_TEST(SkSL##name##_CPU, r, is_cpu(flags)) { test_cpu(r, #name, path, flags); } \
    DEF_TEST(SkSL##name##_RP, r) { test_raster_pipeline(r, path, flags); }                        \
    DEF_TEST(SkSL##name##_Clone, r) { test_clone(r, path, flags); }                               \
    DEF_GANESH_SKSL_TEST(flags, ctsEnforcement, name, path)                                       \
    DEF_GRAPHITE_SKSL_TEST(flags, std::max(kApiLevel_V, ctsEnforcement), name, path)

Definition at line 934 of file SkSLTest.cpp.

Typedef Documentation

◆ SkSLTestFlags

using SkSLTestFlags = SkEnumBitMask<SkSLTestFlag>

Definition at line 110 of file SkSLTest.cpp.

Enumeration Type Documentation

◆ SkSLTestFlag

enum class SkSLTestFlag : int

strong

Enumerator
CPU	`CPU` tests must pass when painted to a CPU-backed surface via SkRuntimeEffect.
ES3	`ES3` tests must pass when executed directly on the CPU via the SkRasterPipeline backend. They aren't compatible with SkRuntimeEffect, since they use non-ES2 features.
GPU	`GPU` tests must pass when painted to a GPU-backed surface via SkRuntimeEffect.
GPU_ES3	`GPU_ES3` tests must pass on ES3-compatible GPUs when "enforce ES2 restrictions" is off.
UsesNaN	`UsesNaN` tests rely on NaN values, so they are only expected to pass on GPUs that generate them (which is not a requirement, even with ES3).

Definition at line 87 of file SkSLTest.cpp.

                        : int {
    /** `CPU` tests must pass when painted to a CPU-backed surface via SkRuntimeEffect. */
    CPU     = 1 << 0,
 
    /**
     * `ES3` tests must pass when executed directly on the CPU via the SkRasterPipeline backend.
     * They aren't compatible with SkRuntimeEffect, since they use non-ES2 features.
     */
    ES3     = 1 << 1,
 
    /** `GPU` tests must pass when painted to a GPU-backed surface via SkRuntimeEffect. */
    GPU     = 1 << 2,
 
    /** `GPU_ES3` tests must pass on ES3-compatible GPUs when "enforce ES2 restrictions" is off. */
    GPU_ES3 = 1 << 3,
 
    /**
     * `UsesNaN` tests rely on NaN values, so they are only expected to pass on GPUs that generate
     * them (which is not a requirement, even with ES3).
     */
    UsesNaN = 1 << 4,
};

Function Documentation

◆ bitmap_from_shader()

static SkBitmap bitmap_from_shader	(	skiatest::Reporter *	r,
		SkSurface *	surface,
		sk_sp< SkRuntimeEffect >	effect
	)

static

Definition at line 163 of file SkSLTest.cpp.

                                                                  {
 
    SkRuntimeShaderBuilder builder(effect);
    for (const UniformData& data : kUniformData) {
        SkRuntimeShaderBuilder::BuilderUniform uniform = builder.uniform(data.name);
        if (uniform.fVar) {
            uniform.set(data.span.data(), data.span.size());
        }
    }
 
    sk_sp<SkShader> shader = builder.makeShader();
    if (!shader) {
        return SkBitmap{};
    }
 
    surface->getCanvas()->clear(SK_ColorBLACK);
 
    SkPaint paintShader;
    paintShader.setShader(shader);
    surface->getCanvas()->drawRect(SkRect::MakeWH(kWidth, kHeight), paintShader);
 
    SkBitmap bitmap;
    REPORTER_ASSERT(r, bitmap.tryAllocPixels(surface->imageInfo()));
    REPORTER_ASSERT(r, surface->readPixels(bitmap, /*srcX=*/0, /*srcY=*/0));
    return bitmap;
}

◆ failure_is_expected()

static bool failure_is_expected	(	std::string_view	deviceName,
		std::string_view	backendAPI,
		std::string_view	name,
		skiatest::TestType	testType
	)

static

Definition at line 238 of file SkSLTest.cpp.

                                                           {  // skiatest::TestType::kGraphite
    enum TestTypeMatcher { CPU, Ganesh, Graphite, GPU /* either Ganesh or Graphite */ };
 
    struct TestDisable {
        std::optional<std::regex> deviceName;
        std::optional<std::string_view> backendAPI;
        std::optional<TestTypeMatcher> testTypeMatcher;
        std::optional<bool> platform;
    };
 
    using TestDisableMap = THashMap<std::string_view, std::vector<TestDisable>>;
 
    // TODO(b/40044139): migrate test-disable list from dm_flags into this map
    static SkNoDestructor<TestDisableMap> testDisableMap{[] {
        #define ADRENO "Adreno \\(TM\\) "
        #define NVIDIA "(Tegra|Quadro|RTX|GTX) "
 
        TestDisableMap disables;
        constexpr std::nullopt_t _ = std::nullopt;
        using regex = std::regex;
 
#if defined(SK_BUILD_FOR_UNIX)
        constexpr bool kLinux = true;
#else
        constexpr bool kLinux = false;
#endif
#if defined(SK_BUILD_FOR_MAC)
        constexpr bool kMac = true;
#else
        constexpr bool kMac = false;
#endif
#if defined(SK_BUILD_FOR_IOS)
        constexpr bool kiOS = true;
#else
        constexpr bool kiOS = false;
#endif
#if defined(SK_BUILD_FOR_WIN)
        constexpr bool kWindows = true;
#else
        constexpr bool kWindows = false;
#endif
#if defined(SK_BUILD_FOR_ANDROID)
        constexpr bool kAndroid = true;
#else
        constexpr bool kAndroid = false;
#endif
 
        // - Apple --------------------------------------------------------------------------------
        // MacOS/iOS do not handle short-circuit evaluation properly in OpenGL (chromium:307751)
        for (const char* test : {"LogicalAndShortCircuit",
                                 "LogicalOrShortCircuit"}) {
            disables[test].push_back({_, "OpenGL", GPU, kMac || kiOS});
        }
 
        // ANGLE has a handful of Mac-specific bugs.
        for (const char* test : {"MatrixScalarNoOpFolding",         // anglebug.com/7525
                                 "MatrixScalarMath",                // anglebug.com/7525
                                 "SwizzleIndexStore",               // Apple bug FB12055941
                                 "OutParamsAreDistinctFromGlobal",  // anglebug.com/7145
                                 "IntrinsicMixFloatES3"}) {         // anglebug.com/7245
            disables[test].push_back({_, "ANGLE", GPU, kMac});
        }
 
        // Switch fallthrough has some issues on iOS.
        for (const char* test : {"SwitchWithFallthrough",
                                 "SwitchWithFallthroughGroups"}) {
            disables[test].push_back({_, "OpenGL", GPU, kiOS});
        }
 
        // - ARM ----------------------------------------------------------------------------------
        // Mali 400 is a very old driver its share of quirks, particularly in relation to matrices.
        for (const char* test : {"Matrices",                // b/40043539
                                 "MatrixNoOpFolding",
                                 "MatrixScalarMath",        // b/40043764
                                 "MatrixSwizzleStore",
                                 "MatrixScalarNoOpFolding", // b/40044644
                                 "UnaryPositiveNegative",
                                 "Cross"}) {
            disables[test].push_back({regex("Mali-400"), _, GPU, _});
        }
 
        // - Nvidia -------------------------------------------------------------------------------
        // Tegra3 has several issues, but the inability to break from a for loop is a common theme.
        for (const char* test : {"Switch",                            // b/40043561
                                 "SwitchDefaultOnly",                 //  "      "
                                 "SwitchWithFallthrough",             //  "      "
                                 "SwitchWithFallthroughAndVarDecls",  //  "      "
                                 "SwitchWithFallthroughGroups",       //  "      "
                                 "SwitchWithLoops",                   //  "      "
                                 "SwitchCaseFolding",                 //  "      "
                                 "LoopFloat",                         //  "      "
                                 "LoopInt",                           //  "      "
                                 "MatrixScalarNoOpFolding",           // b/40044644
                                 "MatrixScalarMath",                  // b/40043764
                                 "MatrixFoldingES2",                  // b/40043017
                                 "MatrixEquality",                    // b/40043017
                                 "IntrinsicFract",
                                 "ModifiedStructParametersCannotBeInlined"}) {
            disables[test].push_back({regex("Tegra 3"), _, GPU, _});
        }
 
        // Various Nvidia GPUs generate errors when assembling weird matrices, and erroneously
        // constant-fold expressions with side-effects in constructors when compiling GLSL.
        for (const char* test : {"MatrixConstructorsES2",    // b/40043524
                                 "MatrixConstructorsES3",    // b/40043524
                                 "MatrixScalarNoOpFolding",  // b/40044644
                                 "PreserveSideEffects",      // b/40044140
                                 "StructFieldNoFolding"}) {  // b/40044479
            disables[test].push_back({regex(NVIDIA), "OpenGL", _, _});
            disables[test].push_back({regex(NVIDIA), "ANGLE GL", _, _});
        }
 
        disables["IntrinsicMixFloatES3"].push_back({regex("RTX "), "Vulkan", _, kWindows});
 
        // The Golo features P400s with older and buggier drivers than usual.
        for (const char* test : {"PreserveSideEffects",  // b/40044140
                                 "CommaSideEffects"}) {
            disables[test].push_back({regex("Quadro P400"), _, _, kLinux});
        }
 
        // b/318725123
        for (const char* test : {"UniformArray",
                                 "TemporaryIndexLookup",
                                 "MatrixIndexLookup"}) {
            disables[test].push_back({regex("Quadro P400"), "Dawn Vulkan", Graphite, kWindows});
        }
 
        // - PowerVR ------------------------------------------------------------------------------
        for (const char* test : {"OutParamsAreDistinct",              // b/40044222
                                 "OutParamsAreDistinctFromGlobal"}) {
            disables[test].push_back({regex("PowerVR Rogue GE8300"), _, GPU, _});
        }
 
        // - Radeon -------------------------------------------------------------------------------
        for (const char* test : {"DeadReturnES3",              // b/301326132
                                 "IntrinsicAll",               // b/40045114
                                 "MatrixConstructorsES3",      // b/40043524
                                 "MatrixScalarNoOpFolding",    // b/40044644
                                 "StructIndexStore",           // b/40045236
                                 "SwizzleIndexLookup",         // b/40045254
                                 "SwizzleIndexStore"}) {       // b/40045254
            disables[test].push_back({regex("Radeon.*(R9|HD)"), "OpenGL", GPU, _});
            disables[test].push_back({regex("Radeon.*(R9|HD)"), "ANGLE GL", GPU, _});
        }
 
        // The Radeon Vega 6 doesn't return zero for the derivative of a uniform.
        for (const char* test : {"IntrinsicDFdy",
                                 "IntrinsicDFdx",
                                 "IntrinsicFwidth"}) {
            disables[test].push_back({regex("AMD RADV RENOIR"), _, GPU, _});
        }
 
        // - Adreno -------------------------------------------------------------------------------
        // Disable broken tests on Android with Adreno GPUs (b/40043413, b/40045254)
        for (const char* test : {"ArrayCast",
                                 "ArrayComparison",
                                 "CommaSideEffects",
                                 "IntrinsicMixFloatES2",
                                 "IntrinsicClampFloat",
                                 "SwitchWithFallthrough",
                                 "SwitchWithFallthroughGroups",
                                 "SwizzleIndexLookup",
                                 "SwizzleIndexStore"}) {
            disables[test].push_back({regex(ADRENO "[3456]"), _, _, kAndroid});
        }
 
        // Older Adreno 5/6xx drivers report a pipeline error or silently fail when handling inouts.
        for (const char* test : {"VoidInSequenceExpressions",  // b/295217166
                                 "InoutParameters",            // b/40043966
                                 "OutParams",
                                 "OutParamsDoubleSwizzle",
                                 "OutParamsNoInline",
                                 "OutParamsFunctionCallInArgument"}) {
            disables[test].push_back({regex(ADRENO "[56]"), "Vulkan", _, kAndroid});
        }
 
        for (const char* test : {"MatrixToVectorCast",     // b/40043288
                                 "StructsInFunctions"}) {  // b/40043024
            disables[test].push_back({regex(ADRENO "[345]"), "OpenGL", _, kAndroid});
        }
 
        // Constructing a matrix from vectors and scalars can be surprisingly finicky (b/40043539)
        for (const char* test : {"Matrices",
                                 "MatrixNoOpFolding"}) {
            disables[test].push_back({regex(ADRENO "3"), "OpenGL", _, kAndroid});
        }
 
        // Adreno 600 doesn't handle isinf() in OpenGL correctly. (b/40043464)
        disables["IntrinsicIsInf"].push_back({regex(ADRENO "6"), "OpenGL", _, kAndroid});
 
        // Older Adreno drivers crash when presented with an empty block (b/40044390)
        disables["EmptyBlocksES3"].push_back({regex(ADRENO "(540|630)"), _, _, kAndroid});
 
        // Adrenos alias out-params to globals improperly (b/40044222)
        disables["OutParamsAreDistinctFromGlobal"].push_back({regex(ADRENO "[3456]"), "OpenGL",
                                                              _, kAndroid});
        // Adreno generates the wrong result for this test. (b/40044477)
        disables["StructFieldFolding"].push_back({regex(ADRENO "[56]"), "OpenGL",
                                                        _, kAndroid});
 
        // b/318726662
        for (const char* test : {"PrefixExpressionsES2",
                                 "MatrixToVectorCast",
                                 "MatrixConstructorsES2"}) {
            disables[test].push_back({regex(ADRENO "620"), "Vulkan", Graphite, kAndroid});
        }
 
        // - Intel --------------------------------------------------------------------------------
        // Disable various tests on Intel.
        // Intrinsic floor() on Intel + ANGLE + DirectX is broken (anglebug.com/5588)
        disables["IntrinsicFloor"].push_back({regex("Intel.*(Iris|HD)"), "ANGLE D3D", _, _});
 
        // Intrinsic not() and mix() are broken on Intel GPUs in Metal. (b/40045105)
        for (const char* test : {"IntrinsicNot",
                                 "IntrinsicMixFloatES3"}) {
            disables[test].push_back({regex("Intel.*(Iris|6000)"), "Metal", _, kMac});
        }
 
        // Swizzled-index store is broken across many Intel GPUs. (b/40045254)
        disables["SwizzleIndexStore"].push_back({regex("Intel"), "OpenGL", _, kMac});
        disables["SwizzleIndexStore"].push_back({regex("Intel.*Iris"), _, _, kWindows});
 
        // vec4(mat2) conversions can lead to a crash on Intel + ANGLE (b/40043275)
        for (const char* test : {"VectorToMatrixCast",
                                 "VectorScalarMath",
                                 "TrivialArgumentsInlineDirectly"}) {
            disables[test].push_back({regex("Intel"), "ANGLE", _, kWindows});
        }
 
        for (const char* test : {"MatrixFoldingES2",
                                 "MatrixEquality",
                                 "TemporaryIndexLookup",  // b/40045228
                                 "SwizzleIndexLookup"}) { // b/40045254
            disables[test].push_back({regex("Intel.*(Iris|4400)"), "OpenGL", _, kWindows});
            disables[test].push_back({regex("Intel.*(Iris|4400)"), "ANGLE",  _, kWindows});
        }
 
        for (const char* test : {"ReturnsValueOnEveryPathES3",      // b/40043548
                                 "OutParamsAreDistinctFromGlobal",  // b/40044222
                                 "StructFieldFolding"}) {           // b/40044477
            disables[test].push_back({regex("Intel"), "OpenGL", _, kWindows});
            disables[test].push_back({regex("Intel"), "ANGLE GL", _, kWindows});
        }
 
        for (const char* test : {"SwitchDefaultOnly",               // b/40043548
                                 "ReturnsValueOnEveryPathES3"}) {   // b/40045205
            disables[test].push_back({regex("Intel"), "Vulkan", _, kLinux});
        }
 
        for (const char* test : {"SwitchDefaultOnly"}) {
            disables[test].push_back({regex("Intel"), "ANGLE", _, kWindows});
        }
 
        for (const char* test : {"SwizzleAsLValueES3"}) {  // https://anglebug.com/8260
            disables[test].push_back({regex("Intel"), _, _, kWindows});
            disables[test].push_back({_, "ANGLE", _, kWindows});
        }
 
        // Some Intel GPUs don't return zero for the derivative of a uniform.
        for (const char* test : {"IntrinsicDFdy",
                                 "IntrinsicDFdx",
                                 "IntrinsicFwidth"}) {
            disables[test].push_back({regex("Intel"), _, GPU, _});
        }
 
        disables["LoopFloat"].push_back({regex("Intel.*(Iris|6000)"), _, _, kMac});  // b/40043507
 
        #undef ADRENO
        #undef NVIDIA
 
        return disables;
    }()};
 
    if (const std::vector<TestDisable>* testDisables = testDisableMap->find(name)) {
        for (const TestDisable& d : *testDisables) {
            if (d.platform.has_value() && !*d.platform) {
                continue;  // disable applies to a different platform
            }
            if (d.backendAPI.has_value() && !skstd::contains(backendAPI, *d.backendAPI)) {
                continue;  // disable applies to a different backend API
            }
            if (d.deviceName.has_value() &&
                !std::regex_search(deviceName.begin(), deviceName.end(), *d.deviceName)) {
                continue;  // disable applies to a different device
            }
            if (d.testTypeMatcher == CPU && testType != skiatest::TestType::kCPU) {
                continue;  // disable only applies to CPU
            }
            if (d.testTypeMatcher == Ganesh && testType != skiatest::TestType::kGanesh) {
                continue;  // disable only applies to Ganesh
            }
            if (d.testTypeMatcher == Graphite && testType != skiatest::TestType::kGraphite) {
                continue;  // disable only applies to Graphites
            }
            if (d.testTypeMatcher == GPU && testType == skiatest::TestType::kCPU) {
                continue;  // disable only applies to GPU
            }
            // This test was disabled.
            return true;
        }
    }
 
    // This test was not in our disable list.
    return false;
}

◆ gpu_generates_nan()

static bool gpu_generates_nan	(	skiatest::Reporter *	r,
		GrDirectContext *	ctx
	)

static

Definition at line 192 of file SkSLTest.cpp.

                                                                         {
#if defined(SK_BUILD_FOR_MAC) || defined(SK_BUILD_FOR_IOS)
    // The Metal shader compiler (which is also used under-the-hood for some GL/GLES contexts on
    // these platforms) enables fast-math by default. That prevents NaN-based tests from passing:
    // https://developer.apple.com/documentation/metal/mtlcompileoptions/1515914-fastmathenabled
    return false;
#else
    // If we don't have infinity support, we definitely won't generate NaNs
    if (!ctx->priv().caps()->shaderCaps()->fInfinitySupport) {
        return false;
    }
 
    auto effect = SkRuntimeEffect::MakeForShader(SkString(R"(
        #version 300
        uniform half4 colorGreen, colorRed;
 
        half4 main(float2 xy) {
            return isnan(colorGreen.r / colorGreen.b) ? colorGreen : colorRed;
        }
    )")).effect;
    REPORTER_ASSERT(r, effect);
 
    const SkImageInfo info = SkImageInfo::MakeN32Premul(kWidth, kHeight);
    sk_sp<SkSurface> surface(SkSurfaces::RenderTarget(ctx, skgpu::Budgeted::kNo, info));
 
    SkBitmap bitmap = bitmap_from_shader(r, surface.get(), effect);
    REPORTER_ASSERT(r, !bitmap.empty());
 
    SkColor color = bitmap.getColor(0, 0);
    REPORTER_ASSERT(r, color == SK_ColorGREEN || color == SK_ColorRED);
    return color == SK_ColorGREEN;
#endif
}

◆ is_cpu()

static constexpr bool is_cpu ( SkSLTestFlags flags )

staticconstexpr

Definition at line 112 of file SkSLTest.cpp.

                                                  {
    return SkToBool(flags & SkSLTestFlag::CPU);
}

◆ is_gpu()

static constexpr bool is_gpu ( SkSLTestFlags flags )

staticconstexpr

Definition at line 116 of file SkSLTest.cpp.

                                                  {
    return (flags & SkSLTestFlag::GPU) || (flags & SkSLTestFlag::GPU_ES3);
}

◆ is_strict_es2()

static constexpr bool is_strict_es2 ( SkSLTestFlags flags )

staticconstexpr

Definition at line 120 of file SkSLTest.cpp.

                                                         {
    return !(flags & SkSLTestFlag::GPU_ES3) && !(flags & SkSLTestFlag::ES3);
}

◆ load_source()

static SkString load_source	(	skiatest::Reporter *	r,
		const char *	testFile,
		const char *	permutationSuffix
	)

static

Definition at line 226 of file SkSLTest.cpp.

                                                           {
    SkString resourcePath = SkStringPrintf("sksl/%s", testFile);
    sk_sp<SkData> shaderData = GetResourceAsData(resourcePath.c_str());
    if (!shaderData) {
        ERRORF(r, "%s%s: Unable to load file", testFile, permutationSuffix);
        return SkString("");
    }
    return SkString{reinterpret_cast<const char*>(shaderData->bytes()), shaderData->size()};
}

◆ report_rp_fail()

static void report_rp_fail	(	skiatest::Reporter *	r,
		const char *	testFile,
		SkSLTestFlags	flags,
		const char *	reason
	)

static

Definition at line 786 of file SkSLTest.cpp.

                                               {
    if ((flags & SkSLTestFlag::CPU) || (flags & SkSLTestFlag::ES3)) {
        ERRORF(r, "%s: %s", testFile, reason);
    }
}

◆ report_rp_pass()

static void report_rp_pass	(	skiatest::Reporter *	r,
		const char *	testFile,
		SkSLTestFlags	flags
	)

static

Definition at line 780 of file SkSLTest.cpp.

                                                                                           {
    if (!(flags & SkSLTestFlag::CPU) && !(flags & SkSLTestFlag::ES3)) {
        ERRORF(r, "NEW: %s", testFile);
    }
}

◆ test_clone()

static void test_clone	(	skiatest::Reporter *	r,
		const char *	testFile,
		SkSLTestFlags	flags
	)

static

Definition at line 740 of file SkSLTest.cpp.

                                                                                       {
    SkString shaderString = load_source(r, testFile, "");
    if (shaderString.isEmpty()) {
        return;
    }
    SkSL::ProgramSettings settings;
    // TODO(skia:11209): Can we just put the correct #version in the source files that need this?
    settings.fMaxVersionAllowed = is_strict_es2(flags) ? SkSL::Version::k100 : SkSL::Version::k300;
    SkSL::Compiler compiler;
    std::unique_ptr<SkSL::Program> program = compiler.convertProgram(
            SkSL::ProgramKind::kRuntimeShader, shaderString.c_str(), settings);
    if (!program) {
        ERRORF(r, "%s", compiler.errorText().c_str());
        return;
    }
 
    // Clone every expression in the program, and ensure that its clone generates the same
    // description as the original.
    class CloneVisitor : public SkSL::ProgramVisitor {
    public:
        CloneVisitor(skiatest::Reporter* r) : fReporter(r) {}
 
        bool visitExpression(const SkSL::Expression& expr) override {
            std::string original = expr.description();
            std::string cloned = expr.clone()->description();
            REPORTER_ASSERT(fReporter, original == cloned,
                            "Mismatch after clone!\nOriginal: %s\nCloned: %s\n",
                            original.c_str(), cloned.c_str());
 
            return INHERITED::visitExpression(expr);
        }
 
        skiatest::Reporter* fReporter;
 
        using INHERITED = ProgramVisitor;
    };
 
    CloneVisitor{r}.visit(*program);
}

◆ test_cpu()

static void test_cpu	(	skiatest::Reporter *	r,
		const char *	name,
		const char *	testFile,
		SkSLTestFlags	flags
	)

static

Definition at line 637 of file SkSLTest.cpp.

                                          {
    SkASSERT(flags & SkSLTestFlag::CPU);
 
    // Create a raster-backed surface.
    const SkImageInfo info = SkImageInfo::MakeN32Premul(kWidth, kHeight);
    sk_sp<SkSurface> surface(SkSurfaces::Raster(info));
 
    test_permutations(r, "CPU", "SkRP", surface.get(), name, testFile,
                      skiatest::TestType::kCPU, /*strictES2=*/true);
}

◆ test_one_permutation()

static void test_one_permutation	(	skiatest::Reporter *	r,
		std::string_view	deviceName,
		std::string_view	backendAPI,
		SkSurface *	surface,
		const char *	name,
		const char *	testFile,
		skiatest::TestType	testType,
		const char *	permutationSuffix,
		const SkRuntimeEffect::Options &	options
	)

static

Definition at line 547 of file SkSLTest.cpp.

                                                                        {
    SkString shaderString = load_source(r, testFile, permutationSuffix);
    if (shaderString.isEmpty()) {
        return;
    }
    SkRuntimeEffect::Result result = SkRuntimeEffect::MakeForShader(shaderString, options);
    if (!result.effect) {
        ERRORF(r, "%s%s: %s", testFile, permutationSuffix, result.errorText.c_str());
        return;
    }
    if (failure_is_expected(deviceName, backendAPI, name, testType)) {
        // Some driver bugs can be catastrophic (e.g. crashing dm entirely), so we don't even try to
        // run a shader if we expect that it might fail.
        SkDebugf("%s: skipped %.*s%s\n", testFile, (int)backendAPI.size(), backendAPI.data(),
                                         permutationSuffix);
        return;
    }
 
    SkBitmap bitmap = bitmap_from_shader(r, surface, result.effect);
    if (bitmap.empty()) {
        ERRORF(r, "%s%s: Unable to build shader", testFile, permutationSuffix);
        return;
    }
 
    bool success = true;
    SkColor color[kHeight][kWidth];
    for (int y = 0; y < kHeight; ++y) {
        for (int x = 0; x < kWidth; ++x) {
            color[y][x] = bitmap.getColor(x, y);
            if (color[y][x] != SK_ColorGREEN) {
                success = false;
            }
        }
    }
 
    if (!success) {
        static_assert(kWidth  == 2);
        static_assert(kHeight == 2);
 
        SkString message = SkStringPrintf("Expected%s: solid green. Actual output from %.*s using "
                                          "%.*s:\n"
                                          "RRGGBBAA RRGGBBAA\n"
                                          "%02X%02X%02X%02X %02X%02X%02X%02X\n"
                                          "%02X%02X%02X%02X %02X%02X%02X%02X",
                                          permutationSuffix,
                                          (int)deviceName.size(), deviceName.data(),
                                          (int)backendAPI.size(), backendAPI.data(),
 
                                          SkColorGetR(color[0][0]), SkColorGetG(color[0][0]),
                                          SkColorGetB(color[0][0]), SkColorGetA(color[0][0]),
 
                                          SkColorGetR(color[0][1]), SkColorGetG(color[0][1]),
                                          SkColorGetB(color[0][1]), SkColorGetA(color[0][1]),
 
                                          SkColorGetR(color[1][0]), SkColorGetG(color[1][0]),
                                          SkColorGetB(color[1][0]), SkColorGetA(color[1][0]),
 
                                          SkColorGetR(color[1][1]), SkColorGetG(color[1][1]),
                                          SkColorGetB(color[1][1]), SkColorGetA(color[1][1]));
 
        ERRORF(r, "%s", message.c_str());
    }
}

◆ test_permutations()

static void test_permutations	(	skiatest::Reporter *	r,
		std::string_view	deviceName,
		std::string_view	backendAPI,
		SkSurface *	surface,
		const char *	name,
		const char *	testFile,
		skiatest::TestType	testType,
		bool	strictES2
	)

static

Definition at line 619 of file SkSLTest.cpp.

                                              {
    SkRuntimeEffect::Options options = strictES2 ? SkRuntimeEffect::Options{}
                                                 : SkRuntimeEffectPriv::ES3Options();
    options.forceUnoptimized = false;
    test_one_permutation(r, deviceName, backendAPI, surface, name, testFile, testType, "", options);
 
    options.forceUnoptimized = true;
    test_one_permutation(r, deviceName, backendAPI, surface, name, testFile, testType,
                         " (Unoptimized)", options);
}

◆ test_raster_pipeline()

static void test_raster_pipeline	(	skiatest::Reporter *	r,
		const char *	testFile,
		SkSLTestFlags	flags
	)

static

Definition at line 795 of file SkSLTest.cpp.

                                                      {
    SkString shaderString = load_source(r, testFile, "");
    if (shaderString.isEmpty()) {
        return;
    }
 
    // In Raster Pipeline, we can compile and run test shaders directly, without involving a surface
    // at all.
    SkSL::Compiler compiler;
    SkSL::ProgramSettings settings;
    settings.fMaxVersionAllowed = SkSL::Version::k300;
    std::unique_ptr<SkSL::Program> program = compiler.convertProgram(
            SkSL::ProgramKind::kRuntimeShader, shaderString.c_str(), settings);
    if (!program) {
        ERRORF(r, "%s: Unexpected compilation error\n%s", testFile, compiler.errorText().c_str());
        return;
    }
    const SkSL::FunctionDeclaration* main = program->getFunction("main");
    if (!main) {
        ERRORF(r, "%s: Program must have a 'main' function", testFile);
        return;
    }
 
    // Match up uniforms from the program against our list of test uniforms, and build up a data
    // buffer of uniform floats.
    size_t offset = 0;
    TArray<SkRuntimeEffect::Uniform> uniforms;
    const SkSL::Context& ctx(compiler.context());
 
    for (const SkSL::ProgramElement* elem : program->elements()) {
        // Variables (uniform, etc.)
        if (elem->is<SkSL::GlobalVarDeclaration>()) {
            const SkSL::GlobalVarDeclaration& global = elem->as<SkSL::GlobalVarDeclaration>();
            const SkSL::VarDeclaration& varDecl = global.declaration()->as<SkSL::VarDeclaration>();
            const SkSL::Variable& var = *varDecl.var();
 
            if (var.type().isEffectChild()) {
                ERRORF(r, "%s: Test program cannot contain child effects", testFile);
                return;
            }
            // 'uniform' variables
            if (var.modifierFlags().isUniform()) {
                uniforms.push_back(SkRuntimeEffectPriv::VarAsUniform(var, ctx, &offset));
            }
        }
    }
 
    TArray<float> uniformValues;
    for (const SkRuntimeEffect::Uniform& programUniform : uniforms) {
        bool foundMatch = false;
        for (const UniformData& data : kUniformData) {
            if (data.name == programUniform.name) {
                SkASSERT(data.span.size() * sizeof(float) == programUniform.sizeInBytes());
                foundMatch = true;
                uniformValues.push_back_n(data.span.size(), data.span.data());
                break;
            }
        }
        if (!foundMatch) {
            report_rp_fail(r, testFile, flags, "unsupported uniform");
            return;
        }
    }
 
    // Compile our program.
    SkArenaAlloc alloc(/*firstHeapAllocation=*/1000);
    SkRasterPipeline pipeline(&alloc);
    SkSL::DebugTracePriv debugTrace;
    std::unique_ptr<SkSL::RP::Program> rasterProg =
            SkSL::MakeRasterPipelineProgram(*program,
                                            *main->definition(),
                                            &debugTrace);
    if (!rasterProg) {
        report_rp_fail(r, testFile, flags, "code is not supported");
        return;
    }
 
    // Append the SkSL program to the raster pipeline.
    pipeline.appendConstantColor(&alloc, SkColors::kTransparent);
    rasterProg->appendStages(&pipeline, &alloc, /*callbacks=*/nullptr, SkSpan(uniformValues));
 
    // Move the float values from RGBA into an 8888 memory buffer.
    uint32_t out[SkRasterPipeline_kMaxStride_highp] = {};
    SkRasterPipeline_MemoryCtx outCtx{/*pixels=*/out, /*stride=*/SkRasterPipeline_kMaxStride_highp};
    pipeline.append(SkRasterPipelineOp::store_8888, &outCtx);
    pipeline.run(0, 0, 1, 1);
 
    // Make sure the first pixel (exclusively) of `out` is green. If the program compiled
    // successfully, we expect it to run without error, and will assert if it doesn't.
    uint32_t expected = 0xFF00FF00;
    if (out[0] != expected) {
        ERRORF(r, "%s: Raster Pipeline failed. Expected solid green, got ARGB:%02X%02X%02X%02X",
                  testFile,
                  (out[0] >> 24) & 0xFF,
                  (out[0] >> 16) & 0xFF,
                  (out[0] >> 8) & 0xFF,
                  out[0] & 0xFF);
        return;
    }
 
    // Success!
    report_rp_pass(r, testFile, flags);
}

Variable Documentation

◆ CPU

constexpr SkSLTestFlags CPU = SkSLTestFlag::CPU

constexpr

Test flags:

CPU: this test should pass on the CPU backend
GPU: this test should pass on the Ganesh GPU backends
GPU_ES3: this test should pass on an ES3-compatible GPU when "enforce ES2 restrictions" is off

CtsEnforcement: Android CTS (go/wtf/cts) enforces that devices must pass this test at the given API level. CTS and Android SkQP builds should only run tests on devices greater than the provided API level, but other test binaries (dm/fm) should run every test, regardless of this value.

Definition at line 955 of file SkSLTest.cpp.

◆ ES3

constexpr SkSLTestFlags ES3 = SkSLTestFlag::ES3

constexpr

Definition at line 956 of file SkSLTest.cpp.

◆ GPU

constexpr SkSLTestFlags GPU = SkSLTestFlag::GPU

constexpr

Definition at line 957 of file SkSLTest.cpp.

◆ GPU_ES3

constexpr SkSLTestFlags GPU_ES3 = SkSLTestFlag::GPU_ES3

constexpr

Definition at line 958 of file SkSLTest.cpp.

◆ kApiLevel_T

constexpr auto kApiLevel_T = CtsEnforcement::kApiLevel_T

constexpr

Definition at line 960 of file SkSLTest.cpp.

◆ kApiLevel_U

constexpr auto kApiLevel_U = CtsEnforcement::kApiLevel_U

constexpr

Definition at line 961 of file SkSLTest.cpp.

◆ kApiLevel_V

constexpr auto kApiLevel_V = CtsEnforcement::kApiLevel_V

constexpr

Definition at line 962 of file SkSLTest.cpp.

◆ kHeight

constexpr int kHeight = 2

staticconstexpr

Definition at line 85 of file SkSLTest.cpp.

◆ kNever

constexpr auto kNever = CtsEnforcement::kNever

constexpr

Definition at line 963 of file SkSLTest.cpp.

◆ kNextRelease

constexpr auto kNextRelease = CtsEnforcement::kNextRelease

constexpr

Definition at line 964 of file SkSLTest.cpp.

◆ kUniformColorBlack

constexpr float kUniformColorBlack[] = {0.0f, 0.0f, 0.0f, 1.0f}

staticconstexpr

Definition at line 129 of file SkSLTest.cpp.

◆ kUniformColorBlue

constexpr float kUniformColorBlue[] = {0.0f, 0.0f, 1.0f, 1.0f}

staticconstexpr

Definition at line 132 of file SkSLTest.cpp.

◆ kUniformColorGreen

constexpr float kUniformColorGreen[] = {0.0f, 1.0f, 0.0f, 1.0f}

staticconstexpr

Definition at line 131 of file SkSLTest.cpp.

◆ kUniformColorRed

constexpr float kUniformColorRed[] = {1.0f, 0.0f, 0.0f, 1.0f}

staticconstexpr

Definition at line 130 of file SkSLTest.cpp.

◆ kUniformColorWhite

constexpr float kUniformColorWhite[] = {1.0f, 1.0f, 1.0f, 1.0f}

staticconstexpr

Definition at line 133 of file SkSLTest.cpp.

◆ kUniformData

constexpr UniformData kUniformData[]

staticconstexpr

Initial value:

= {
        {"colorBlack", kUniformColorBlack},
        {"colorRed", kUniformColorRed},
        {"colorGreen", kUniformColorGreen},
        {"colorBlue", kUniformColorBlue},
        {"colorWhite", kUniformColorWhite},
        {"testInputs", kUniformTestInputs},
        {"unknownInput", kUniformUnknownInput},
        {"testMatrix2x2", kUniformTestMatrix2x2},
        {"testMatrix3x3", kUniformTestMatrix3x3},
        {"testMatrix4x4", kUniformTestMatrix4x4},
        {"testArray", kUniformTestArray},
        {"testArrayNegative", kUniformTestArrayNegative},
}

Definition at line 148 of file SkSLTest.cpp.

◆ kUniformTestArray

constexpr float kUniformTestArray[] = {1, 2, 3, 4, 5}

staticconstexpr

Definition at line 145 of file SkSLTest.cpp.

◆ kUniformTestArrayNegative

constexpr float kUniformTestArrayNegative[] = {-1, -2, -3, -4, -5}

staticconstexpr

Definition at line 146 of file SkSLTest.cpp.

◆ kUniformTestInputs

constexpr float kUniformTestInputs[] = {-1.25f, 0.0f, 0.75f, 2.25f}

staticconstexpr

Definition at line 134 of file SkSLTest.cpp.

◆ kUniformTestMatrix2x2

constexpr float kUniformTestMatrix2x2[]

staticconstexpr

Initial value:

= {1.0f, 2.0f,

3.0f, 4.0f}

Definition at line 136 of file SkSLTest.cpp.

◆ kUniformTestMatrix3x3

constexpr float kUniformTestMatrix3x3[]

staticconstexpr

Initial value:

= {1.0f, 2.0f, 3.0f,
                                                  4.0f, 5.0f, 6.0f,
                                                  7.0f, 8.0f, 9.0f}

Definition at line 138 of file SkSLTest.cpp.

◆ kUniformTestMatrix4x4

constexpr float kUniformTestMatrix4x4[]

staticconstexpr

Initial value:

= {1.0f,  2.0f,  3.0f,  4.0f,
                                                  5.0f,  6.0f,  7.0f,  8.0f,
                                                  9.0f,  10.0f, 11.0f, 12.0f,
                                                  13.0f, 14.0f, 15.0f, 16.0f}

Definition at line 141 of file SkSLTest.cpp.

◆ kUniformUnknownInput

constexpr float kUniformUnknownInput[] = {1.0f}

staticconstexpr

Definition at line 135 of file SkSLTest.cpp.

◆ kWidth

constexpr int kWidth = 2

staticconstexpr

Definition at line 84 of file SkSLTest.cpp.

◆ UsesNaN

constexpr SkSLTestFlags UsesNaN = SkSLTestFlag::UsesNaN

constexpr

Definition at line 959 of file SkSLTest.cpp.

Classes

Namespaces

Macros

Typedefs

Enumerations

Functions

Variables

Macro Definition Documentation

◆ ADRENO

◆ DEF_GANESH_SKSL_TEST

◆ DEF_GRAPHITE_SKSL_TEST

◆ NVIDIA

◆ SKSL_TEST

Typedef Documentation

◆ SkSLTestFlags

Enumeration Type Documentation

◆ SkSLTestFlag

Function Documentation

◆ bitmap_from_shader()

◆ failure_is_expected()

◆ gpu_generates_nan()

◆ is_cpu()

◆ is_gpu()

◆ is_strict_es2()

◆ load_source()

◆ report_rp_fail()

◆ report_rp_pass()

◆ test_clone()

◆ test_cpu()

◆ test_one_permutation()

◆ test_permutations()

◆ test_raster_pipeline()

Variable Documentation

◆ CPU

◆ ES3

◆ GPU

◆ GPU_ES3

◆ kApiLevel_T

◆ kApiLevel_U

◆ kApiLevel_V

◆ kHeight

◆ kNever

◆ kNextRelease

◆ kUniformColorBlack

◆ kUniformColorBlue

◆ kUniformColorGreen

◆ kUniformColorRed

◆ kUniformColorWhite

◆ kUniformData

◆ kUniformTestArray

◆ kUniformTestArrayNegative

◆ kUniformTestInputs

◆ kUniformTestMatrix2x2

◆ kUniformTestMatrix3x3

◆ kUniformTestMatrix4x4

◆ kUniformUnknownInput

◆ kWidth

◆ UsesNaN