blob: df651bc8b35b90df6d2a576fea5518024cdeb3ad [file] [log] [blame]
/*
* Copyright 2016 Google Inc.
*
* Use of this source code is governed by a BSD-style license that can be
* found in the LICENSE file.
*/
#ifndef SKSL_CONTEXT
#define SKSL_CONTEXT
#include "ir/SkSLType.h"
#include "ir/SkSLExpression.h"
namespace SkSL {
/**
* Contains compiler-wide objects, which currently means the core types.
*/
class Context {
public:
Context()
: fInvalid_Type(new Type(SkString("<INVALID>")))
, fVoid_Type(new Type(SkString("void")))
, fDouble_Type(new Type(SkString("double"), true))
, fDVec2_Type(new Type(SkString("dvec2"), *fDouble_Type, 2))
, fDVec3_Type(new Type(SkString("dvec3"), *fDouble_Type, 3))
, fDVec4_Type(new Type(SkString("dvec4"), *fDouble_Type, 4))
, fFloat_Type(new Type(SkString("float"), true, { fDouble_Type.get() }))
, fVec2_Type(new Type(SkString("vec2"), *fFloat_Type, 2))
, fVec3_Type(new Type(SkString("vec3"), *fFloat_Type, 3))
, fVec4_Type(new Type(SkString("vec4"), *fFloat_Type, 4))
, fUInt_Type(new Type(SkString("uint"), true, { fFloat_Type.get(), fDouble_Type.get() }))
, fUVec2_Type(new Type(SkString("uvec2"), *fUInt_Type, 2))
, fUVec3_Type(new Type(SkString("uvec3"), *fUInt_Type, 3))
, fUVec4_Type(new Type(SkString("uvec4"), *fUInt_Type, 4))
, fInt_Type(new Type(SkString("int"), true, { fUInt_Type.get(), fFloat_Type.get(),
fDouble_Type.get() }))
, fIVec2_Type(new Type(SkString("ivec2"), *fInt_Type, 2))
, fIVec3_Type(new Type(SkString("ivec3"), *fInt_Type, 3))
, fIVec4_Type(new Type(SkString("ivec4"), *fInt_Type, 4))
, fBool_Type(new Type(SkString("bool"), false))
, fBVec2_Type(new Type(SkString("bvec2"), *fBool_Type, 2))
, fBVec3_Type(new Type(SkString("bvec3"), *fBool_Type, 3))
, fBVec4_Type(new Type(SkString("bvec4"), *fBool_Type, 4))
, fMat2x2_Type(new Type(SkString("mat2"), *fFloat_Type, 2, 2))
, fMat2x3_Type(new Type(SkString("mat2x3"), *fFloat_Type, 2, 3))
, fMat2x4_Type(new Type(SkString("mat2x4"), *fFloat_Type, 2, 4))
, fMat3x2_Type(new Type(SkString("mat3x2"), *fFloat_Type, 3, 2))
, fMat3x3_Type(new Type(SkString("mat3"), *fFloat_Type, 3, 3))
, fMat3x4_Type(new Type(SkString("mat3x4"), *fFloat_Type, 3, 4))
, fMat4x2_Type(new Type(SkString("mat4x2"), *fFloat_Type, 4, 2))
, fMat4x3_Type(new Type(SkString("mat4x3"), *fFloat_Type, 4, 3))
, fMat4x4_Type(new Type(SkString("mat4"), *fFloat_Type, 4, 4))
, fDMat2x2_Type(new Type(SkString("dmat2"), *fFloat_Type, 2, 2))
, fDMat2x3_Type(new Type(SkString("dmat2x3"), *fFloat_Type, 2, 3))
, fDMat2x4_Type(new Type(SkString("dmat2x4"), *fFloat_Type, 2, 4))
, fDMat3x2_Type(new Type(SkString("dmat3x2"), *fFloat_Type, 3, 2))
, fDMat3x3_Type(new Type(SkString("dmat3"), *fFloat_Type, 3, 3))
, fDMat3x4_Type(new Type(SkString("dmat3x4"), *fFloat_Type, 3, 4))
, fDMat4x2_Type(new Type(SkString("dmat4x2"), *fFloat_Type, 4, 2))
, fDMat4x3_Type(new Type(SkString("dmat4x3"), *fFloat_Type, 4, 3))
, fDMat4x4_Type(new Type(SkString("dmat4"), *fFloat_Type, 4, 4))
, fSampler1D_Type(new Type(SkString("sampler1D"), SpvDim1D, false, false, false, true))
, fSampler2D_Type(new Type(SkString("sampler2D"), SpvDim2D, false, false, false, true))
, fSampler3D_Type(new Type(SkString("sampler3D"), SpvDim3D, false, false, false, true))
, fSamplerExternalOES_Type(new Type(SkString("samplerExternalOES"), SpvDim2D, false, false,
false, true))
, fSamplerCube_Type(new Type(SkString("samplerCube"), SpvDimCube, false, false, false, true))
, fSampler2DRect_Type(new Type(SkString("sampler2DRect"), SpvDimRect, false, false, false,
true))
, fSampler1DArray_Type(new Type(SkString("sampler1DArray")))
, fSampler2DArray_Type(new Type(SkString("sampler2DArray")))
, fSamplerCubeArray_Type(new Type(SkString("samplerCubeArray")))
, fSamplerBuffer_Type(new Type(SkString("samplerBuffer")))
, fSampler2DMS_Type(new Type(SkString("sampler2DMS")))
, fSampler2DMSArray_Type(new Type(SkString("sampler2DMSArray")))
, fSampler1DShadow_Type(new Type(SkString("sampler1DShadow")))
, fSampler2DShadow_Type(new Type(SkString("sampler2DShadow")))
, fSamplerCubeShadow_Type(new Type(SkString("samplerCubeShadow")))
, fSampler2DRectShadow_Type(new Type(SkString("sampler2DRectShadow")))
, fSampler1DArrayShadow_Type(new Type(SkString("sampler1DArrayShadow")))
, fSampler2DArrayShadow_Type(new Type(SkString("sampler2DArrayShadow")))
, fSamplerCubeArrayShadow_Type(new Type(SkString("samplerCubeArrayShadow")))
// Related to below FIXME, gsampler*s don't currently expand to cover integer case.
, fISampler2D_Type(new Type(SkString("isampler2D"), SpvDim2D, false, false, false, true))
// FIXME express these as "gimage2D" that expand to image2D, iimage2D, and uimage2D.
, fImage2D_Type(new Type(SkString("image2D"), SpvDim2D, false, false, false, true))
, fIImage2D_Type(new Type(SkString("iimage2D"), SpvDim2D, false, false, false, true))
// FIXME express these as "gsubpassInput" that expand to subpassInput, isubpassInput,
// and usubpassInput.
, fSubpassInput_Type(new Type(SkString("subpassInput"), SpvDimSubpassData, false, false,
false, false))
, fSubpassInputMS_Type(new Type(SkString("subpassInputMS"), SpvDimSubpassData, false, false,
true, false))
// FIXME figure out what we're supposed to do with the gsampler et al. types)
, fGSampler1D_Type(new Type(SkString("$gsampler1D"), static_type(*fSampler1D_Type)))
, fGSampler2D_Type(new Type(SkString("$gsampler2D"), static_type(*fSampler2D_Type)))
, fGSampler3D_Type(new Type(SkString("$gsampler3D"), static_type(*fSampler3D_Type)))
, fGSamplerCube_Type(new Type(SkString("$gsamplerCube"), static_type(*fSamplerCube_Type)))
, fGSampler2DRect_Type(new Type(SkString("$gsampler2DRect"), static_type(*fSampler2DRect_Type)))
, fGSampler1DArray_Type(new Type(SkString("$gsampler1DArray"),
static_type(*fSampler1DArray_Type)))
, fGSampler2DArray_Type(new Type(SkString("$gsampler2DArray"),
static_type(*fSampler2DArray_Type)))
, fGSamplerCubeArray_Type(new Type(SkString("$gsamplerCubeArray"),
static_type(*fSamplerCubeArray_Type)))
, fGSamplerBuffer_Type(new Type(SkString("$gsamplerBuffer"), static_type(*fSamplerBuffer_Type)))
, fGSampler2DMS_Type(new Type(SkString("$gsampler2DMS"), static_type(*fSampler2DMS_Type)))
, fGSampler2DMSArray_Type(new Type(SkString("$gsampler2DMSArray"),
static_type(*fSampler2DMSArray_Type)))
, fGSampler2DArrayShadow_Type(new Type(SkString("$gsampler2DArrayShadow"),
static_type(*fSampler2DArrayShadow_Type)))
, fGSamplerCubeArrayShadow_Type(new Type(SkString("$gsamplerCubeArrayShadow"),
static_type(*fSamplerCubeArrayShadow_Type)))
, fGenType_Type(new Type(SkString("$genType"), { fFloat_Type.get(), fVec2_Type.get(),
fVec3_Type.get(), fVec4_Type.get() }))
, fGenDType_Type(new Type(SkString("$genDType"), { fDouble_Type.get(), fDVec2_Type.get(),
fDVec3_Type.get(), fDVec4_Type.get() }))
, fGenIType_Type(new Type(SkString("$genIType"), { fInt_Type.get(), fIVec2_Type.get(),
fIVec3_Type.get(), fIVec4_Type.get() }))
, fGenUType_Type(new Type(SkString("$genUType"), { fUInt_Type.get(), fUVec2_Type.get(),
fUVec3_Type.get(), fUVec4_Type.get() }))
, fGenBType_Type(new Type(SkString("$genBType"), { fBool_Type.get(), fBVec2_Type.get(),
fBVec3_Type.get(), fBVec4_Type.get() }))
, fMat_Type(new Type(SkString("$mat"), { fMat2x2_Type.get(), fMat2x3_Type.get(),
fMat2x4_Type.get(), fMat3x2_Type.get(),
fMat3x3_Type.get(), fMat3x4_Type.get(),
fMat4x2_Type.get(), fMat4x3_Type.get(),
fMat4x4_Type.get(), fDMat2x2_Type.get(),
fDMat2x3_Type.get(), fDMat2x4_Type.get(),
fDMat3x2_Type.get(), fDMat3x3_Type.get(),
fDMat3x4_Type.get(), fDMat4x2_Type.get(),
fDMat4x3_Type.get(), fDMat4x4_Type.get() }))
, fVec_Type(new Type(SkString("$vec"), { fInvalid_Type.get(), fVec2_Type.get(),
fVec3_Type.get(), fVec4_Type.get() }))
, fGVec_Type(new Type(SkString("$gvec")))
, fGVec2_Type(new Type(SkString("$gvec2")))
, fGVec3_Type(new Type(SkString("$gvec3")))
, fGVec4_Type(new Type(SkString("$gvec4"), static_type(*fVec4_Type)))
, fDVec_Type(new Type(SkString("$dvec"), { fInvalid_Type.get(), fDVec2_Type.get(),
fDVec3_Type.get(), fDVec4_Type.get() }))
, fIVec_Type(new Type(SkString("$ivec"), { fInvalid_Type.get(), fIVec2_Type.get(),
fIVec3_Type.get(), fIVec4_Type.get() }))
, fUVec_Type(new Type(SkString("$uvec"), { fInvalid_Type.get(), fUVec2_Type.get(),
fUVec3_Type.get(), fUVec4_Type.get() }))
, fBVec_Type(new Type(SkString("$bvec"), { fInvalid_Type.get(), fBVec2_Type.get(),
fBVec3_Type.get(), fBVec4_Type.get() }))
, fSkCaps_Type(new Type(SkString("$sk_Caps")))
, fDefined_Expression(new Defined(*fInvalid_Type)) {}
static std::vector<const Type*> static_type(const Type& t) {
return { &t, &t, &t, &t };
}
const std::unique_ptr<Type> fInvalid_Type;
const std::unique_ptr<Type> fVoid_Type;
const std::unique_ptr<Type> fDouble_Type;
const std::unique_ptr<Type> fDVec2_Type;
const std::unique_ptr<Type> fDVec3_Type;
const std::unique_ptr<Type> fDVec4_Type;
const std::unique_ptr<Type> fFloat_Type;
const std::unique_ptr<Type> fVec2_Type;
const std::unique_ptr<Type> fVec3_Type;
const std::unique_ptr<Type> fVec4_Type;
const std::unique_ptr<Type> fUInt_Type;
const std::unique_ptr<Type> fUVec2_Type;
const std::unique_ptr<Type> fUVec3_Type;
const std::unique_ptr<Type> fUVec4_Type;
const std::unique_ptr<Type> fInt_Type;
const std::unique_ptr<Type> fIVec2_Type;
const std::unique_ptr<Type> fIVec3_Type;
const std::unique_ptr<Type> fIVec4_Type;
const std::unique_ptr<Type> fBool_Type;
const std::unique_ptr<Type> fBVec2_Type;
const std::unique_ptr<Type> fBVec3_Type;
const std::unique_ptr<Type> fBVec4_Type;
const std::unique_ptr<Type> fMat2x2_Type;
const std::unique_ptr<Type> fMat2x3_Type;
const std::unique_ptr<Type> fMat2x4_Type;
const std::unique_ptr<Type> fMat3x2_Type;
const std::unique_ptr<Type> fMat3x3_Type;
const std::unique_ptr<Type> fMat3x4_Type;
const std::unique_ptr<Type> fMat4x2_Type;
const std::unique_ptr<Type> fMat4x3_Type;
const std::unique_ptr<Type> fMat4x4_Type;
const std::unique_ptr<Type> fDMat2x2_Type;
const std::unique_ptr<Type> fDMat2x3_Type;
const std::unique_ptr<Type> fDMat2x4_Type;
const std::unique_ptr<Type> fDMat3x2_Type;
const std::unique_ptr<Type> fDMat3x3_Type;
const std::unique_ptr<Type> fDMat3x4_Type;
const std::unique_ptr<Type> fDMat4x2_Type;
const std::unique_ptr<Type> fDMat4x3_Type;
const std::unique_ptr<Type> fDMat4x4_Type;
const std::unique_ptr<Type> fSampler1D_Type;
const std::unique_ptr<Type> fSampler2D_Type;
const std::unique_ptr<Type> fSampler3D_Type;
const std::unique_ptr<Type> fSamplerExternalOES_Type;
const std::unique_ptr<Type> fSamplerCube_Type;
const std::unique_ptr<Type> fSampler2DRect_Type;
const std::unique_ptr<Type> fSampler1DArray_Type;
const std::unique_ptr<Type> fSampler2DArray_Type;
const std::unique_ptr<Type> fSamplerCubeArray_Type;
const std::unique_ptr<Type> fSamplerBuffer_Type;
const std::unique_ptr<Type> fSampler2DMS_Type;
const std::unique_ptr<Type> fSampler2DMSArray_Type;
const std::unique_ptr<Type> fSampler1DShadow_Type;
const std::unique_ptr<Type> fSampler2DShadow_Type;
const std::unique_ptr<Type> fSamplerCubeShadow_Type;
const std::unique_ptr<Type> fSampler2DRectShadow_Type;
const std::unique_ptr<Type> fSampler1DArrayShadow_Type;
const std::unique_ptr<Type> fSampler2DArrayShadow_Type;
const std::unique_ptr<Type> fSamplerCubeArrayShadow_Type;
const std::unique_ptr<Type> fISampler2D_Type;
const std::unique_ptr<Type> fImage2D_Type;
const std::unique_ptr<Type> fIImage2D_Type;
const std::unique_ptr<Type> fSubpassInput_Type;
const std::unique_ptr<Type> fSubpassInputMS_Type;
const std::unique_ptr<Type> fGSampler1D_Type;
const std::unique_ptr<Type> fGSampler2D_Type;
const std::unique_ptr<Type> fGSampler3D_Type;
const std::unique_ptr<Type> fGSamplerCube_Type;
const std::unique_ptr<Type> fGSampler2DRect_Type;
const std::unique_ptr<Type> fGSampler1DArray_Type;
const std::unique_ptr<Type> fGSampler2DArray_Type;
const std::unique_ptr<Type> fGSamplerCubeArray_Type;
const std::unique_ptr<Type> fGSamplerBuffer_Type;
const std::unique_ptr<Type> fGSampler2DMS_Type;
const std::unique_ptr<Type> fGSampler2DMSArray_Type;
const std::unique_ptr<Type> fGSampler2DArrayShadow_Type;
const std::unique_ptr<Type> fGSamplerCubeArrayShadow_Type;
const std::unique_ptr<Type> fGenType_Type;
const std::unique_ptr<Type> fGenDType_Type;
const std::unique_ptr<Type> fGenIType_Type;
const std::unique_ptr<Type> fGenUType_Type;
const std::unique_ptr<Type> fGenBType_Type;
const std::unique_ptr<Type> fMat_Type;
const std::unique_ptr<Type> fVec_Type;
const std::unique_ptr<Type> fGVec_Type;
const std::unique_ptr<Type> fGVec2_Type;
const std::unique_ptr<Type> fGVec3_Type;
const std::unique_ptr<Type> fGVec4_Type;
const std::unique_ptr<Type> fDVec_Type;
const std::unique_ptr<Type> fIVec_Type;
const std::unique_ptr<Type> fUVec_Type;
const std::unique_ptr<Type> fBVec_Type;
const std::unique_ptr<Type> fSkCaps_Type;
// dummy expression used to mark that a variable has a value during dataflow analysis (when it
// could have several different values, or the analyzer is otherwise unable to assign it a
// specific expression)
const std::unique_ptr<Expression> fDefined_Expression;
private:
class Defined : public Expression {
public:
Defined(const Type& type)
: INHERITED(Position(), kDefined_Kind, type) {}
virtual SkString description() const override {
return SkString("<defined>");
}
typedef Expression INHERITED;
};
};
} // namespace
#endif