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