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 #ifndef SKSL_CONTEXT 9 #define SKSL_CONTEXT 10 11 #include "ir/SkSLType.h" 12 #include "ir/SkSLExpression.h" 13 14 namespace SkSL { 15 16 /** 17 * Contains compiler-wide objects, which currently means the core types. 18 */ 19 class Context { 20 public: Context()21 Context() 22 : fInvalid_Type(new Type(String("<INVALID>"))) 23 , fVoid_Type(new Type(String("void"))) 24 , fDouble_Type(new Type(String("double"), true)) 25 , fDVec2_Type(new Type(String("dvec2"), *fDouble_Type, 2)) 26 , fDVec3_Type(new Type(String("dvec3"), *fDouble_Type, 3)) 27 , fDVec4_Type(new Type(String("dvec4"), *fDouble_Type, 4)) 28 , fFloat_Type(new Type(String("float"), true, { fDouble_Type.get() })) 29 , fVec2_Type(new Type(String("vec2"), *fFloat_Type, 2)) 30 , fVec3_Type(new Type(String("vec3"), *fFloat_Type, 3)) 31 , fVec4_Type(new Type(String("vec4"), *fFloat_Type, 4)) 32 , fUInt_Type(new Type(String("uint"), true, { fFloat_Type.get(), fDouble_Type.get() })) 33 , fUVec2_Type(new Type(String("uvec2"), *fUInt_Type, 2)) 34 , fUVec3_Type(new Type(String("uvec3"), *fUInt_Type, 3)) 35 , fUVec4_Type(new Type(String("uvec4"), *fUInt_Type, 4)) 36 , fInt_Type(new Type(String("int"), true, { fUInt_Type.get(), fFloat_Type.get(), 37 fDouble_Type.get() })) 38 , fIVec2_Type(new Type(String("ivec2"), *fInt_Type, 2)) 39 , fIVec3_Type(new Type(String("ivec3"), *fInt_Type, 3)) 40 , fIVec4_Type(new Type(String("ivec4"), *fInt_Type, 4)) 41 , fBool_Type(new Type(String("bool"), false)) 42 , fBVec2_Type(new Type(String("bvec2"), *fBool_Type, 2)) 43 , fBVec3_Type(new Type(String("bvec3"), *fBool_Type, 3)) 44 , fBVec4_Type(new Type(String("bvec4"), *fBool_Type, 4)) 45 , fMat2x2_Type(new Type(String("mat2"), *fFloat_Type, 2, 2)) 46 , fMat2x3_Type(new Type(String("mat2x3"), *fFloat_Type, 2, 3)) 47 , fMat2x4_Type(new Type(String("mat2x4"), *fFloat_Type, 2, 4)) 48 , fMat3x2_Type(new Type(String("mat3x2"), *fFloat_Type, 3, 2)) 49 , fMat3x3_Type(new Type(String("mat3"), *fFloat_Type, 3, 3)) 50 , fMat3x4_Type(new Type(String("mat3x4"), *fFloat_Type, 3, 4)) 51 , fMat4x2_Type(new Type(String("mat4x2"), *fFloat_Type, 4, 2)) 52 , fMat4x3_Type(new Type(String("mat4x3"), *fFloat_Type, 4, 3)) 53 , fMat4x4_Type(new Type(String("mat4"), *fFloat_Type, 4, 4)) 54 , fDMat2x2_Type(new Type(String("dmat2"), *fFloat_Type, 2, 2)) 55 , fDMat2x3_Type(new Type(String("dmat2x3"), *fFloat_Type, 2, 3)) 56 , fDMat2x4_Type(new Type(String("dmat2x4"), *fFloat_Type, 2, 4)) 57 , fDMat3x2_Type(new Type(String("dmat3x2"), *fFloat_Type, 3, 2)) 58 , fDMat3x3_Type(new Type(String("dmat3"), *fFloat_Type, 3, 3)) 59 , fDMat3x4_Type(new Type(String("dmat3x4"), *fFloat_Type, 3, 4)) 60 , fDMat4x2_Type(new Type(String("dmat4x2"), *fFloat_Type, 4, 2)) 61 , fDMat4x3_Type(new Type(String("dmat4x3"), *fFloat_Type, 4, 3)) 62 , fDMat4x4_Type(new Type(String("dmat4"), *fFloat_Type, 4, 4)) 63 , fSampler1D_Type(new Type(String("sampler1D"), SpvDim1D, false, false, false, true)) 64 , fSampler2D_Type(new Type(String("sampler2D"), SpvDim2D, false, false, false, true)) 65 , fSampler3D_Type(new Type(String("sampler3D"), SpvDim3D, false, false, false, true)) 66 , fSamplerExternalOES_Type(new Type(String("samplerExternalOES"), SpvDim2D, false, false, 67 false, true)) 68 , fSamplerCube_Type(new Type(String("samplerCube"), SpvDimCube, false, false, false, true)) 69 , fSampler2DRect_Type(new Type(String("sampler2DRect"), SpvDimRect, false, false, false, true)) 70 , fSampler1DArray_Type(new Type(String("sampler1DArray"))) 71 , fSampler2DArray_Type(new Type(String("sampler2DArray"))) 72 , fSamplerCubeArray_Type(new Type(String("samplerCubeArray"))) 73 , fSamplerBuffer_Type(new Type(String("samplerBuffer"), SpvDimBuffer, false, false, false, 74 true)) 75 , fSampler2DMS_Type(new Type(String("sampler2DMS"))) 76 , fSampler2DMSArray_Type(new Type(String("sampler2DMSArray"))) 77 , fSampler1DShadow_Type(new Type(String("sampler1DShadow"))) 78 , fSampler2DShadow_Type(new Type(String("sampler2DShadow"))) 79 , fSamplerCubeShadow_Type(new Type(String("samplerCubeShadow"))) 80 , fSampler2DRectShadow_Type(new Type(String("sampler2DRectShadow"))) 81 , fSampler1DArrayShadow_Type(new Type(String("sampler1DArrayShadow"))) 82 , fSampler2DArrayShadow_Type(new Type(String("sampler2DArrayShadow"))) 83 , fSamplerCubeArrayShadow_Type(new Type(String("samplerCubeArrayShadow"))) 84 85 // Related to below FIXME, gsampler*s don't currently expand to cover integer case. 86 , fISampler2D_Type(new Type(String("isampler2D"), SpvDim2D, false, false, false, true)) 87 88 // FIXME express these as "gimage2D" that expand to image2D, iimage2D, and uimage2D. 89 , fImage2D_Type(new Type(String("image2D"), SpvDim2D, false, false, false, true)) 90 , fIImage2D_Type(new Type(String("iimage2D"), SpvDim2D, false, false, false, true)) 91 92 // FIXME express these as "gsubpassInput" that expand to subpassInput, isubpassInput, 93 // and usubpassInput. 94 , fSubpassInput_Type(new Type(String("subpassInput"), SpvDimSubpassData, false, false, 95 false, false)) 96 , fSubpassInputMS_Type(new Type(String("subpassInputMS"), SpvDimSubpassData, false, false, 97 true, false)) 98 99 // FIXME figure out what we're supposed to do with the gsampler et al. types) 100 , fGSampler1D_Type(new Type(String("$gsampler1D"), static_type(*fSampler1D_Type))) 101 , fGSampler2D_Type(new Type(String("$gsampler2D"), static_type(*fSampler2D_Type))) 102 , fGSampler3D_Type(new Type(String("$gsampler3D"), static_type(*fSampler3D_Type))) 103 , fGSamplerCube_Type(new Type(String("$gsamplerCube"), static_type(*fSamplerCube_Type))) 104 , fGSampler2DRect_Type(new Type(String("$gsampler2DRect"), static_type(*fSampler2DRect_Type))) 105 , fGSampler1DArray_Type(new Type(String("$gsampler1DArray"), 106 static_type(*fSampler1DArray_Type))) 107 , fGSampler2DArray_Type(new Type(String("$gsampler2DArray"), 108 static_type(*fSampler2DArray_Type))) 109 , fGSamplerCubeArray_Type(new Type(String("$gsamplerCubeArray"), 110 static_type(*fSamplerCubeArray_Type))) 111 , fGSamplerBuffer_Type(new Type(String("$gsamplerBuffer"), static_type(*fSamplerBuffer_Type))) 112 , fGSampler2DMS_Type(new Type(String("$gsampler2DMS"), static_type(*fSampler2DMS_Type))) 113 , fGSampler2DMSArray_Type(new Type(String("$gsampler2DMSArray"), 114 static_type(*fSampler2DMSArray_Type))) 115 , fGSampler2DArrayShadow_Type(new Type(String("$gsampler2DArrayShadow"), 116 static_type(*fSampler2DArrayShadow_Type))) 117 , fGSamplerCubeArrayShadow_Type(new Type(String("$gsamplerCubeArrayShadow"), 118 static_type(*fSamplerCubeArrayShadow_Type))) 119 , fGenType_Type(new Type(String("$genType"), { fFloat_Type.get(), fVec2_Type.get(), 120 fVec3_Type.get(), fVec4_Type.get() })) 121 , fGenDType_Type(new Type(String("$genDType"), { fDouble_Type.get(), fDVec2_Type.get(), 122 fDVec3_Type.get(), fDVec4_Type.get() })) 123 , fGenIType_Type(new Type(String("$genIType"), { fInt_Type.get(), fIVec2_Type.get(), 124 fIVec3_Type.get(), fIVec4_Type.get() })) 125 , fGenUType_Type(new Type(String("$genUType"), { fUInt_Type.get(), fUVec2_Type.get(), 126 fUVec3_Type.get(), fUVec4_Type.get() })) 127 , fGenBType_Type(new Type(String("$genBType"), { fBool_Type.get(), fBVec2_Type.get(), 128 fBVec3_Type.get(), fBVec4_Type.get() })) 129 , fMat_Type(new Type(String("$mat"), { fMat2x2_Type.get(), fMat2x3_Type.get(), 130 fMat2x4_Type.get(), fMat3x2_Type.get(), 131 fMat3x3_Type.get(), fMat3x4_Type.get(), 132 fMat4x2_Type.get(), fMat4x3_Type.get(), 133 fMat4x4_Type.get(), fDMat2x2_Type.get(), 134 fDMat2x3_Type.get(), fDMat2x4_Type.get(), 135 fDMat3x2_Type.get(), fDMat3x3_Type.get(), 136 fDMat3x4_Type.get(), fDMat4x2_Type.get(), 137 fDMat4x3_Type.get(), fDMat4x4_Type.get() })) 138 , fVec_Type(new Type(String("$vec"), { fInvalid_Type.get(), fVec2_Type.get(), 139 fVec3_Type.get(), fVec4_Type.get() })) 140 , fGVec_Type(new Type(String("$gvec"))) 141 , fGVec2_Type(new Type(String("$gvec2"))) 142 , fGVec3_Type(new Type(String("$gvec3"))) 143 , fGVec4_Type(new Type(String("$gvec4"), static_type(*fVec4_Type))) 144 , fDVec_Type(new Type(String("$dvec"), { fInvalid_Type.get(), fDVec2_Type.get(), 145 fDVec3_Type.get(), fDVec4_Type.get() })) 146 , fIVec_Type(new Type(String("$ivec"), { fInvalid_Type.get(), fIVec2_Type.get(), 147 fIVec3_Type.get(), fIVec4_Type.get() })) 148 , fUVec_Type(new Type(String("$uvec"), { fInvalid_Type.get(), fUVec2_Type.get(), 149 fUVec3_Type.get(), fUVec4_Type.get() })) 150 , fBVec_Type(new Type(String("$bvec"), { fInvalid_Type.get(), fBVec2_Type.get(), 151 fBVec3_Type.get(), fBVec4_Type.get() })) 152 , fSkCaps_Type(new Type(String("$sk_Caps"))) 153 , fSkArgs_Type(new Type(String("$sk_Args"))) 154 , fColorSpaceXform_Type(new Type(String("colorSpaceXform"), *fFloat_Type, 4, 4)) 155 , fDefined_Expression(new Defined(*fInvalid_Type)) {} 156 static_type(const Type & t)157 static std::vector<const Type*> static_type(const Type& t) { 158 return { &t, &t, &t, &t }; 159 } 160 161 const std::unique_ptr<Type> fInvalid_Type; 162 const std::unique_ptr<Type> fVoid_Type; 163 164 const std::unique_ptr<Type> fDouble_Type; 165 const std::unique_ptr<Type> fDVec2_Type; 166 const std::unique_ptr<Type> fDVec3_Type; 167 const std::unique_ptr<Type> fDVec4_Type; 168 169 const std::unique_ptr<Type> fFloat_Type; 170 const std::unique_ptr<Type> fVec2_Type; 171 const std::unique_ptr<Type> fVec3_Type; 172 const std::unique_ptr<Type> fVec4_Type; 173 174 const std::unique_ptr<Type> fUInt_Type; 175 const std::unique_ptr<Type> fUVec2_Type; 176 const std::unique_ptr<Type> fUVec3_Type; 177 const std::unique_ptr<Type> fUVec4_Type; 178 179 const std::unique_ptr<Type> fInt_Type; 180 const std::unique_ptr<Type> fIVec2_Type; 181 const std::unique_ptr<Type> fIVec3_Type; 182 const std::unique_ptr<Type> fIVec4_Type; 183 184 const std::unique_ptr<Type> fBool_Type; 185 const std::unique_ptr<Type> fBVec2_Type; 186 const std::unique_ptr<Type> fBVec3_Type; 187 const std::unique_ptr<Type> fBVec4_Type; 188 189 const std::unique_ptr<Type> fMat2x2_Type; 190 const std::unique_ptr<Type> fMat2x3_Type; 191 const std::unique_ptr<Type> fMat2x4_Type; 192 const std::unique_ptr<Type> fMat3x2_Type; 193 const std::unique_ptr<Type> fMat3x3_Type; 194 const std::unique_ptr<Type> fMat3x4_Type; 195 const std::unique_ptr<Type> fMat4x2_Type; 196 const std::unique_ptr<Type> fMat4x3_Type; 197 const std::unique_ptr<Type> fMat4x4_Type; 198 199 const std::unique_ptr<Type> fDMat2x2_Type; 200 const std::unique_ptr<Type> fDMat2x3_Type; 201 const std::unique_ptr<Type> fDMat2x4_Type; 202 const std::unique_ptr<Type> fDMat3x2_Type; 203 const std::unique_ptr<Type> fDMat3x3_Type; 204 const std::unique_ptr<Type> fDMat3x4_Type; 205 const std::unique_ptr<Type> fDMat4x2_Type; 206 const std::unique_ptr<Type> fDMat4x3_Type; 207 const std::unique_ptr<Type> fDMat4x4_Type; 208 209 const std::unique_ptr<Type> fSampler1D_Type; 210 const std::unique_ptr<Type> fSampler2D_Type; 211 const std::unique_ptr<Type> fSampler3D_Type; 212 const std::unique_ptr<Type> fSamplerExternalOES_Type; 213 const std::unique_ptr<Type> fSamplerCube_Type; 214 const std::unique_ptr<Type> fSampler2DRect_Type; 215 const std::unique_ptr<Type> fSampler1DArray_Type; 216 const std::unique_ptr<Type> fSampler2DArray_Type; 217 const std::unique_ptr<Type> fSamplerCubeArray_Type; 218 const std::unique_ptr<Type> fSamplerBuffer_Type; 219 const std::unique_ptr<Type> fSampler2DMS_Type; 220 const std::unique_ptr<Type> fSampler2DMSArray_Type; 221 const std::unique_ptr<Type> fSampler1DShadow_Type; 222 const std::unique_ptr<Type> fSampler2DShadow_Type; 223 const std::unique_ptr<Type> fSamplerCubeShadow_Type; 224 const std::unique_ptr<Type> fSampler2DRectShadow_Type; 225 const std::unique_ptr<Type> fSampler1DArrayShadow_Type; 226 const std::unique_ptr<Type> fSampler2DArrayShadow_Type; 227 const std::unique_ptr<Type> fSamplerCubeArrayShadow_Type; 228 229 const std::unique_ptr<Type> fISampler2D_Type; 230 231 const std::unique_ptr<Type> fImage2D_Type; 232 const std::unique_ptr<Type> fIImage2D_Type; 233 234 const std::unique_ptr<Type> fSubpassInput_Type; 235 const std::unique_ptr<Type> fSubpassInputMS_Type; 236 237 const std::unique_ptr<Type> fGSampler1D_Type; 238 const std::unique_ptr<Type> fGSampler2D_Type; 239 const std::unique_ptr<Type> fGSampler3D_Type; 240 const std::unique_ptr<Type> fGSamplerCube_Type; 241 const std::unique_ptr<Type> fGSampler2DRect_Type; 242 const std::unique_ptr<Type> fGSampler1DArray_Type; 243 const std::unique_ptr<Type> fGSampler2DArray_Type; 244 const std::unique_ptr<Type> fGSamplerCubeArray_Type; 245 const std::unique_ptr<Type> fGSamplerBuffer_Type; 246 const std::unique_ptr<Type> fGSampler2DMS_Type; 247 const std::unique_ptr<Type> fGSampler2DMSArray_Type; 248 const std::unique_ptr<Type> fGSampler2DArrayShadow_Type; 249 const std::unique_ptr<Type> fGSamplerCubeArrayShadow_Type; 250 251 const std::unique_ptr<Type> fGenType_Type; 252 const std::unique_ptr<Type> fGenDType_Type; 253 const std::unique_ptr<Type> fGenIType_Type; 254 const std::unique_ptr<Type> fGenUType_Type; 255 const std::unique_ptr<Type> fGenBType_Type; 256 257 const std::unique_ptr<Type> fMat_Type; 258 259 const std::unique_ptr<Type> fVec_Type; 260 261 const std::unique_ptr<Type> fGVec_Type; 262 const std::unique_ptr<Type> fGVec2_Type; 263 const std::unique_ptr<Type> fGVec3_Type; 264 const std::unique_ptr<Type> fGVec4_Type; 265 const std::unique_ptr<Type> fDVec_Type; 266 const std::unique_ptr<Type> fIVec_Type; 267 const std::unique_ptr<Type> fUVec_Type; 268 269 const std::unique_ptr<Type> fBVec_Type; 270 271 const std::unique_ptr<Type> fSkCaps_Type; 272 const std::unique_ptr<Type> fSkArgs_Type; 273 const std::unique_ptr<Type> fColorSpaceXform_Type; 274 275 // dummy expression used to mark that a variable has a value during dataflow analysis (when it 276 // could have several different values, or the analyzer is otherwise unable to assign it a 277 // specific expression) 278 const std::unique_ptr<Expression> fDefined_Expression; 279 280 private: 281 class Defined : public Expression { 282 public: Defined(const Type & type)283 Defined(const Type& type) 284 : INHERITED(Position(), kDefined_Kind, type) {} 285 hasSideEffects()286 bool hasSideEffects() const override { 287 return false; 288 } 289 description()290 String description() const override { 291 return String("<defined>"); 292 } 293 294 typedef Expression INHERITED; 295 }; 296 }; 297 298 } // namespace 299 300 #endif 301