blob: a1e8afa2b34bad345878b2120db628441640bfeb [file] [log] [blame]
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001//
Geoff Langcec35902014-04-16 10:52:36 -04002// Copyright (c) 2013-2014 The ANGLE Project Authors. All rights reserved.
Geoff Lange8ebe7f2013-08-05 15:03:13 -04003// Use of this source code is governed by a BSD-style license that can be
4// found in the LICENSE file.
5//
6
7// validationES3.cpp: Validation functions for OpenGL ES 3.0 entry point parameters
8
Geoff Lang2b5420c2014-11-19 14:20:15 -05009#include "libANGLE/validationES3.h"
10#include "libANGLE/validationES.h"
11#include "libANGLE/Context.h"
12#include "libANGLE/Texture.h"
13#include "libANGLE/Framebuffer.h"
14#include "libANGLE/Renderbuffer.h"
15#include "libANGLE/formatutils.h"
16#include "libANGLE/FramebufferAttachment.h"
Geoff Lange8ebe7f2013-08-05 15:03:13 -040017
18#include "common/mathutil.h"
Geoff Langa9be0dc2014-12-17 12:34:40 -050019#include "common/utilities.h"
Geoff Lange8ebe7f2013-08-05 15:03:13 -040020
21namespace gl
22{
23
Geoff Lang5d601382014-07-22 15:14:06 -040024struct ES3FormatCombination
25{
26 GLenum internalFormat;
27 GLenum format;
28 GLenum type;
29};
30
31bool operator<(const ES3FormatCombination& a, const ES3FormatCombination& b)
32{
33 return memcmp(&a, &b, sizeof(ES3FormatCombination)) < 0;
34}
35
36typedef std::set<ES3FormatCombination> ES3FormatCombinationSet;
37
38static inline void InsertES3FormatCombo(ES3FormatCombinationSet *set, GLenum internalFormat, GLenum format, GLenum type)
39{
40 ES3FormatCombination info;
41 info.internalFormat = internalFormat;
42 info.format = format;
43 info.type = type;
44 set->insert(info);
45}
46
47ES3FormatCombinationSet BuildES3FormatSet()
48{
49 ES3FormatCombinationSet set;
50
51 // Format combinations from ES 3.0.1 spec, table 3.2
52
53 // | Internal format | Format | Type |
54 // | | | |
55 InsertES3FormatCombo(&set, GL_RGBA8, GL_RGBA, GL_UNSIGNED_BYTE );
56 InsertES3FormatCombo(&set, GL_RGB5_A1, GL_RGBA, GL_UNSIGNED_BYTE );
57 InsertES3FormatCombo(&set, GL_RGBA4, GL_RGBA, GL_UNSIGNED_BYTE );
58 InsertES3FormatCombo(&set, GL_SRGB8_ALPHA8, GL_RGBA, GL_UNSIGNED_BYTE );
59 InsertES3FormatCombo(&set, GL_RGBA8_SNORM, GL_RGBA, GL_BYTE );
60 InsertES3FormatCombo(&set, GL_RGBA4, GL_RGBA, GL_UNSIGNED_SHORT_4_4_4_4 );
61 InsertES3FormatCombo(&set, GL_RGB10_A2, GL_RGBA, GL_UNSIGNED_INT_2_10_10_10_REV );
62 InsertES3FormatCombo(&set, GL_RGB5_A1, GL_RGBA, GL_UNSIGNED_INT_2_10_10_10_REV );
63 InsertES3FormatCombo(&set, GL_RGB5_A1, GL_RGBA, GL_UNSIGNED_SHORT_5_5_5_1 );
64 InsertES3FormatCombo(&set, GL_RGBA16F, GL_RGBA, GL_HALF_FLOAT );
65 InsertES3FormatCombo(&set, GL_RGBA16F, GL_RGBA, GL_HALF_FLOAT_OES );
66 InsertES3FormatCombo(&set, GL_RGBA32F, GL_RGBA, GL_FLOAT );
67 InsertES3FormatCombo(&set, GL_RGBA16F, GL_RGBA, GL_FLOAT );
68 InsertES3FormatCombo(&set, GL_RGBA8UI, GL_RGBA_INTEGER, GL_UNSIGNED_BYTE );
69 InsertES3FormatCombo(&set, GL_RGBA8I, GL_RGBA_INTEGER, GL_BYTE );
70 InsertES3FormatCombo(&set, GL_RGBA16UI, GL_RGBA_INTEGER, GL_UNSIGNED_SHORT );
71 InsertES3FormatCombo(&set, GL_RGBA16I, GL_RGBA_INTEGER, GL_SHORT );
72 InsertES3FormatCombo(&set, GL_RGBA32UI, GL_RGBA_INTEGER, GL_UNSIGNED_INT );
73 InsertES3FormatCombo(&set, GL_RGBA32I, GL_RGBA_INTEGER, GL_INT );
74 InsertES3FormatCombo(&set, GL_RGB10_A2UI, GL_RGBA_INTEGER, GL_UNSIGNED_INT_2_10_10_10_REV );
75 InsertES3FormatCombo(&set, GL_RGB8, GL_RGB, GL_UNSIGNED_BYTE );
76 InsertES3FormatCombo(&set, GL_RGB565, GL_RGB, GL_UNSIGNED_BYTE );
77 InsertES3FormatCombo(&set, GL_SRGB8, GL_RGB, GL_UNSIGNED_BYTE );
78 InsertES3FormatCombo(&set, GL_RGB8_SNORM, GL_RGB, GL_BYTE );
79 InsertES3FormatCombo(&set, GL_RGB565, GL_RGB, GL_UNSIGNED_SHORT_5_6_5 );
80 InsertES3FormatCombo(&set, GL_R11F_G11F_B10F, GL_RGB, GL_UNSIGNED_INT_10F_11F_11F_REV );
81 InsertES3FormatCombo(&set, GL_RGB9_E5, GL_RGB, GL_UNSIGNED_INT_5_9_9_9_REV );
82 InsertES3FormatCombo(&set, GL_RGB16F, GL_RGB, GL_HALF_FLOAT );
83 InsertES3FormatCombo(&set, GL_RGB16F, GL_RGB, GL_HALF_FLOAT_OES );
84 InsertES3FormatCombo(&set, GL_R11F_G11F_B10F, GL_RGB, GL_HALF_FLOAT );
85 InsertES3FormatCombo(&set, GL_R11F_G11F_B10F, GL_RGB, GL_HALF_FLOAT_OES );
86 InsertES3FormatCombo(&set, GL_RGB9_E5, GL_RGB, GL_HALF_FLOAT );
87 InsertES3FormatCombo(&set, GL_RGB9_E5, GL_RGB, GL_HALF_FLOAT_OES );
88 InsertES3FormatCombo(&set, GL_RGB32F, GL_RGB, GL_FLOAT );
89 InsertES3FormatCombo(&set, GL_RGB16F, GL_RGB, GL_FLOAT );
90 InsertES3FormatCombo(&set, GL_R11F_G11F_B10F, GL_RGB, GL_FLOAT );
91 InsertES3FormatCombo(&set, GL_RGB9_E5, GL_RGB, GL_FLOAT );
92 InsertES3FormatCombo(&set, GL_RGB8UI, GL_RGB_INTEGER, GL_UNSIGNED_BYTE );
93 InsertES3FormatCombo(&set, GL_RGB8I, GL_RGB_INTEGER, GL_BYTE );
94 InsertES3FormatCombo(&set, GL_RGB16UI, GL_RGB_INTEGER, GL_UNSIGNED_SHORT );
95 InsertES3FormatCombo(&set, GL_RGB16I, GL_RGB_INTEGER, GL_SHORT );
96 InsertES3FormatCombo(&set, GL_RGB32UI, GL_RGB_INTEGER, GL_UNSIGNED_INT );
97 InsertES3FormatCombo(&set, GL_RGB32I, GL_RGB_INTEGER, GL_INT );
98 InsertES3FormatCombo(&set, GL_RG8, GL_RG, GL_UNSIGNED_BYTE );
99 InsertES3FormatCombo(&set, GL_RG8_SNORM, GL_RG, GL_BYTE );
100 InsertES3FormatCombo(&set, GL_RG16F, GL_RG, GL_HALF_FLOAT );
101 InsertES3FormatCombo(&set, GL_RG16F, GL_RG, GL_HALF_FLOAT_OES );
102 InsertES3FormatCombo(&set, GL_RG32F, GL_RG, GL_FLOAT );
103 InsertES3FormatCombo(&set, GL_RG16F, GL_RG, GL_FLOAT );
104 InsertES3FormatCombo(&set, GL_RG8UI, GL_RG_INTEGER, GL_UNSIGNED_BYTE );
105 InsertES3FormatCombo(&set, GL_RG8I, GL_RG_INTEGER, GL_BYTE );
106 InsertES3FormatCombo(&set, GL_RG16UI, GL_RG_INTEGER, GL_UNSIGNED_SHORT );
107 InsertES3FormatCombo(&set, GL_RG16I, GL_RG_INTEGER, GL_SHORT );
108 InsertES3FormatCombo(&set, GL_RG32UI, GL_RG_INTEGER, GL_UNSIGNED_INT );
109 InsertES3FormatCombo(&set, GL_RG32I, GL_RG_INTEGER, GL_INT );
110 InsertES3FormatCombo(&set, GL_R8, GL_RED, GL_UNSIGNED_BYTE );
111 InsertES3FormatCombo(&set, GL_R8_SNORM, GL_RED, GL_BYTE );
112 InsertES3FormatCombo(&set, GL_R16F, GL_RED, GL_HALF_FLOAT );
113 InsertES3FormatCombo(&set, GL_R16F, GL_RED, GL_HALF_FLOAT_OES );
114 InsertES3FormatCombo(&set, GL_R32F, GL_RED, GL_FLOAT );
115 InsertES3FormatCombo(&set, GL_R16F, GL_RED, GL_FLOAT );
116 InsertES3FormatCombo(&set, GL_R8UI, GL_RED_INTEGER, GL_UNSIGNED_BYTE );
117 InsertES3FormatCombo(&set, GL_R8I, GL_RED_INTEGER, GL_BYTE );
118 InsertES3FormatCombo(&set, GL_R16UI, GL_RED_INTEGER, GL_UNSIGNED_SHORT );
119 InsertES3FormatCombo(&set, GL_R16I, GL_RED_INTEGER, GL_SHORT );
120 InsertES3FormatCombo(&set, GL_R32UI, GL_RED_INTEGER, GL_UNSIGNED_INT );
121 InsertES3FormatCombo(&set, GL_R32I, GL_RED_INTEGER, GL_INT );
122
123 // Unsized formats
124 InsertES3FormatCombo(&set, GL_RGBA, GL_RGBA, GL_UNSIGNED_BYTE );
125 InsertES3FormatCombo(&set, GL_RGBA, GL_RGBA, GL_UNSIGNED_SHORT_4_4_4_4 );
126 InsertES3FormatCombo(&set, GL_RGBA, GL_RGBA, GL_UNSIGNED_SHORT_5_5_5_1 );
127 InsertES3FormatCombo(&set, GL_RGB, GL_RGB, GL_UNSIGNED_BYTE );
128 InsertES3FormatCombo(&set, GL_RGB, GL_RGB, GL_UNSIGNED_SHORT_5_6_5 );
129 InsertES3FormatCombo(&set, GL_LUMINANCE_ALPHA, GL_LUMINANCE_ALPHA, GL_UNSIGNED_BYTE );
130 InsertES3FormatCombo(&set, GL_LUMINANCE, GL_LUMINANCE, GL_UNSIGNED_BYTE );
131 InsertES3FormatCombo(&set, GL_ALPHA, GL_ALPHA, GL_UNSIGNED_BYTE );
132 InsertES3FormatCombo(&set, GL_SRGB_ALPHA_EXT, GL_SRGB_ALPHA_EXT, GL_UNSIGNED_BYTE );
133 InsertES3FormatCombo(&set, GL_SRGB_EXT, GL_SRGB_EXT, GL_UNSIGNED_BYTE );
Jamie Madill689325c2015-07-20 14:36:53 -0400134 InsertES3FormatCombo(&set, GL_RG, GL_RG, GL_UNSIGNED_BYTE );
135 InsertES3FormatCombo(&set, GL_RG, GL_RG, GL_FLOAT );
136 InsertES3FormatCombo(&set, GL_RG, GL_RG, GL_HALF_FLOAT );
137 InsertES3FormatCombo(&set, GL_RG, GL_RG, GL_HALF_FLOAT_OES );
138 InsertES3FormatCombo(&set, GL_RED, GL_RED, GL_UNSIGNED_BYTE );
139 InsertES3FormatCombo(&set, GL_RED, GL_RED, GL_FLOAT );
140 InsertES3FormatCombo(&set, GL_RED, GL_RED, GL_HALF_FLOAT );
141 InsertES3FormatCombo(&set, GL_RED, GL_RED, GL_HALF_FLOAT_OES );
142 InsertES3FormatCombo(&set, GL_DEPTH_STENCIL, GL_DEPTH_STENCIL, GL_UNSIGNED_INT_24_8 );
Geoff Lang5d601382014-07-22 15:14:06 -0400143
144 // Depth stencil formats
145 InsertES3FormatCombo(&set, GL_DEPTH_COMPONENT16, GL_DEPTH_COMPONENT, GL_UNSIGNED_SHORT );
146 InsertES3FormatCombo(&set, GL_DEPTH_COMPONENT24, GL_DEPTH_COMPONENT, GL_UNSIGNED_INT );
147 InsertES3FormatCombo(&set, GL_DEPTH_COMPONENT16, GL_DEPTH_COMPONENT, GL_UNSIGNED_INT );
148 InsertES3FormatCombo(&set, GL_DEPTH_COMPONENT32F, GL_DEPTH_COMPONENT, GL_FLOAT );
149 InsertES3FormatCombo(&set, GL_DEPTH24_STENCIL8, GL_DEPTH_STENCIL, GL_UNSIGNED_INT_24_8 );
150 InsertES3FormatCombo(&set, GL_DEPTH32F_STENCIL8, GL_DEPTH_STENCIL, GL_FLOAT_32_UNSIGNED_INT_24_8_REV);
151
152 // From GL_EXT_sRGB
153 InsertES3FormatCombo(&set, GL_SRGB8_ALPHA8_EXT, GL_SRGB_ALPHA_EXT, GL_UNSIGNED_BYTE );
154 InsertES3FormatCombo(&set, GL_SRGB8, GL_SRGB_EXT, GL_UNSIGNED_BYTE );
155
156 // From GL_OES_texture_float
Jeff Muizelaarbb1a5be2015-12-02 12:03:46 -0500157 InsertES3FormatCombo(&set, GL_RGBA, GL_RGBA, GL_FLOAT );
158 InsertES3FormatCombo(&set, GL_RGB, GL_RGB, GL_FLOAT );
Geoff Lang5d601382014-07-22 15:14:06 -0400159 InsertES3FormatCombo(&set, GL_LUMINANCE_ALPHA, GL_LUMINANCE_ALPHA, GL_FLOAT );
160 InsertES3FormatCombo(&set, GL_LUMINANCE, GL_LUMINANCE, GL_FLOAT );
161 InsertES3FormatCombo(&set, GL_ALPHA, GL_ALPHA, GL_FLOAT );
162
163 // From GL_OES_texture_half_float
164 InsertES3FormatCombo(&set, GL_LUMINANCE_ALPHA, GL_LUMINANCE_ALPHA, GL_HALF_FLOAT );
165 InsertES3FormatCombo(&set, GL_LUMINANCE_ALPHA, GL_LUMINANCE_ALPHA, GL_HALF_FLOAT_OES );
166 InsertES3FormatCombo(&set, GL_LUMINANCE, GL_LUMINANCE, GL_HALF_FLOAT );
167 InsertES3FormatCombo(&set, GL_LUMINANCE, GL_LUMINANCE, GL_HALF_FLOAT_OES );
168 InsertES3FormatCombo(&set, GL_ALPHA, GL_ALPHA, GL_HALF_FLOAT );
169 InsertES3FormatCombo(&set, GL_ALPHA, GL_ALPHA, GL_HALF_FLOAT_OES );
170
171 // From GL_EXT_texture_format_BGRA8888
172 InsertES3FormatCombo(&set, GL_BGRA_EXT, GL_BGRA_EXT, GL_UNSIGNED_BYTE );
173
174 // From GL_EXT_texture_storage
175 // | Internal format | Format | Type |
176 // | | | |
177 InsertES3FormatCombo(&set, GL_ALPHA8_EXT, GL_ALPHA, GL_UNSIGNED_BYTE );
178 InsertES3FormatCombo(&set, GL_LUMINANCE8_EXT, GL_LUMINANCE, GL_UNSIGNED_BYTE );
179 InsertES3FormatCombo(&set, GL_LUMINANCE8_ALPHA8_EXT, GL_LUMINANCE_ALPHA, GL_UNSIGNED_BYTE );
180 InsertES3FormatCombo(&set, GL_ALPHA32F_EXT, GL_ALPHA, GL_FLOAT );
181 InsertES3FormatCombo(&set, GL_LUMINANCE32F_EXT, GL_LUMINANCE, GL_FLOAT );
182 InsertES3FormatCombo(&set, GL_LUMINANCE_ALPHA32F_EXT, GL_LUMINANCE_ALPHA, GL_FLOAT );
183 InsertES3FormatCombo(&set, GL_ALPHA16F_EXT, GL_ALPHA, GL_HALF_FLOAT );
184 InsertES3FormatCombo(&set, GL_ALPHA16F_EXT, GL_ALPHA, GL_HALF_FLOAT_OES );
185 InsertES3FormatCombo(&set, GL_LUMINANCE16F_EXT, GL_LUMINANCE, GL_HALF_FLOAT );
186 InsertES3FormatCombo(&set, GL_LUMINANCE16F_EXT, GL_LUMINANCE, GL_HALF_FLOAT_OES );
187 InsertES3FormatCombo(&set, GL_LUMINANCE_ALPHA16F_EXT, GL_LUMINANCE_ALPHA, GL_HALF_FLOAT );
188 InsertES3FormatCombo(&set, GL_LUMINANCE_ALPHA16F_EXT, GL_LUMINANCE_ALPHA, GL_HALF_FLOAT_OES );
189
190 // From GL_EXT_texture_storage and GL_EXT_texture_format_BGRA8888
191 InsertES3FormatCombo(&set, GL_BGRA8_EXT, GL_BGRA_EXT, GL_UNSIGNED_BYTE );
192 InsertES3FormatCombo(&set, GL_BGRA4_ANGLEX, GL_BGRA_EXT, GL_UNSIGNED_SHORT_4_4_4_4_REV_EXT);
193 InsertES3FormatCombo(&set, GL_BGRA4_ANGLEX, GL_BGRA_EXT, GL_UNSIGNED_BYTE );
194 InsertES3FormatCombo(&set, GL_BGR5_A1_ANGLEX, GL_BGRA_EXT, GL_UNSIGNED_SHORT_1_5_5_5_REV_EXT);
195 InsertES3FormatCombo(&set, GL_BGR5_A1_ANGLEX, GL_BGRA_EXT, GL_UNSIGNED_BYTE );
196
197 // From GL_ANGLE_depth_texture
198 InsertES3FormatCombo(&set, GL_DEPTH_COMPONENT32_OES, GL_DEPTH_COMPONENT, GL_UNSIGNED_INT_24_8_OES );
199
Geoff Lang5d601382014-07-22 15:14:06 -0400200 return set;
201}
202
203static bool ValidateTexImageFormatCombination(gl::Context *context, GLenum internalFormat, GLenum format, GLenum type)
204{
Ian Ewellfc7cf8e2016-01-20 15:57:46 -0500205 // For historical reasons, glTexImage2D and glTexImage3D pass in their internal format as a
206 // GLint instead of a GLenum. Therefor an invalid internal format gives a GL_INVALID_VALUE
207 // error instead of a GL_INVALID_ENUM error. As this validation function is only called in
208 // the validation codepaths for glTexImage2D/3D, we record a GL_INVALID_VALUE error.
Geoff Langbaadf232014-08-04 13:58:02 -0400209 const gl::InternalFormat &formatInfo = gl::GetInternalFormatInfo(internalFormat);
Geoff Lang5d601382014-07-22 15:14:06 -0400210 if (!formatInfo.textureSupport(context->getClientVersion(), context->getExtensions()))
211 {
Ian Ewellfc7cf8e2016-01-20 15:57:46 -0500212 context->recordError(Error(GL_INVALID_VALUE));
Geoff Langb1196682014-07-23 13:47:29 -0400213 return false;
Geoff Lang5d601382014-07-22 15:14:06 -0400214 }
215
216 // The type and format are valid if any supported internal format has that type and format
217 bool formatSupported = false;
218 bool typeSupported = false;
219
220 static const ES3FormatCombinationSet es3FormatSet = BuildES3FormatSet();
221 for (ES3FormatCombinationSet::const_iterator i = es3FormatSet.begin(); i != es3FormatSet.end(); i++)
222 {
223 if (i->format == format || i->type == type)
224 {
225 const gl::InternalFormat &info = gl::GetInternalFormatInfo(i->internalFormat);
226 bool supported = info.textureSupport(context->getClientVersion(), context->getExtensions());
Geoff Langbaadf232014-08-04 13:58:02 -0400227 if (supported && i->type == type)
Geoff Lang5d601382014-07-22 15:14:06 -0400228 {
229 typeSupported = true;
230 }
Geoff Langbaadf232014-08-04 13:58:02 -0400231 if (supported && i->format == format)
Geoff Lang5d601382014-07-22 15:14:06 -0400232 {
233 formatSupported = true;
234 }
Geoff Langbaadf232014-08-04 13:58:02 -0400235
236 // Early-out if both type and format are supported now
237 if (typeSupported && formatSupported)
238 {
239 break;
240 }
Geoff Lang5d601382014-07-22 15:14:06 -0400241 }
242 }
243
244 if (!typeSupported || !formatSupported)
245 {
Geoff Langb1196682014-07-23 13:47:29 -0400246 context->recordError(Error(GL_INVALID_ENUM));
247 return false;
Geoff Lang5d601382014-07-22 15:14:06 -0400248 }
249
250 // Check if this is a valid format combination to load texture data
251 ES3FormatCombination searchFormat;
252 searchFormat.internalFormat = internalFormat;
253 searchFormat.format = format;
254 searchFormat.type = type;
255
256 if (es3FormatSet.find(searchFormat) == es3FormatSet.end())
257 {
Geoff Langb1196682014-07-23 13:47:29 -0400258 context->recordError(Error(GL_INVALID_OPERATION));
259 return false;
Geoff Lang5d601382014-07-22 15:14:06 -0400260 }
261
262 return true;
263}
264
Ian Ewellfc7cf8e2016-01-20 15:57:46 -0500265bool ValidateES3TexImageParametersBase(Context *context,
266 GLenum target,
267 GLint level,
268 GLenum internalformat,
269 bool isCompressed,
270 bool isSubImage,
271 GLint xoffset,
272 GLint yoffset,
273 GLint zoffset,
274 GLsizei width,
275 GLsizei height,
276 GLsizei depth,
277 GLint border,
278 GLenum format,
279 GLenum type,
280 const GLvoid *pixels)
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400281{
282 // Validate image size
Austin Kinross08528e12015-10-07 16:24:40 -0700283 if (!ValidImageSizeParameters(context, target, level, width, height, depth, isSubImage))
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400284 {
Geoff Langb1196682014-07-23 13:47:29 -0400285 context->recordError(Error(GL_INVALID_VALUE));
286 return false;
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400287 }
288
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400289 // Verify zero border
290 if (border != 0)
291 {
Geoff Langb1196682014-07-23 13:47:29 -0400292 context->recordError(Error(GL_INVALID_VALUE));
293 return false;
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400294 }
295
Jamie Madill6f38f822014-06-06 17:12:20 -0400296 if (xoffset < 0 || yoffset < 0 || zoffset < 0 ||
297 std::numeric_limits<GLsizei>::max() - xoffset < width ||
298 std::numeric_limits<GLsizei>::max() - yoffset < height ||
299 std::numeric_limits<GLsizei>::max() - zoffset < depth)
300 {
Geoff Langb1196682014-07-23 13:47:29 -0400301 context->recordError(Error(GL_INVALID_VALUE));
302 return false;
Jamie Madill6f38f822014-06-06 17:12:20 -0400303 }
304
Geoff Langaae65a42014-05-26 12:43:44 -0400305 const gl::Caps &caps = context->getCaps();
306
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400307 switch (target)
308 {
309 case GL_TEXTURE_2D:
Geoff Langa9be0dc2014-12-17 12:34:40 -0500310 if (static_cast<GLuint>(width) > (caps.max2DTextureSize >> level) ||
311 static_cast<GLuint>(height) > (caps.max2DTextureSize >> level))
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400312 {
Geoff Langa9be0dc2014-12-17 12:34:40 -0500313 context->recordError(Error(GL_INVALID_VALUE));
314 return false;
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400315 }
316 break;
317
318 case GL_TEXTURE_CUBE_MAP_POSITIVE_X:
319 case GL_TEXTURE_CUBE_MAP_NEGATIVE_X:
320 case GL_TEXTURE_CUBE_MAP_POSITIVE_Y:
321 case GL_TEXTURE_CUBE_MAP_NEGATIVE_Y:
322 case GL_TEXTURE_CUBE_MAP_POSITIVE_Z:
323 case GL_TEXTURE_CUBE_MAP_NEGATIVE_Z:
Geoff Langa9be0dc2014-12-17 12:34:40 -0500324 if (!isSubImage && width != height)
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400325 {
Geoff Langa9be0dc2014-12-17 12:34:40 -0500326 context->recordError(Error(GL_INVALID_VALUE));
327 return false;
328 }
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400329
Geoff Langa9be0dc2014-12-17 12:34:40 -0500330 if (static_cast<GLuint>(width) > (caps.maxCubeMapTextureSize >> level))
331 {
332 context->recordError(Error(GL_INVALID_VALUE));
333 return false;
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400334 }
335 break;
336
337 case GL_TEXTURE_3D:
Geoff Langa9be0dc2014-12-17 12:34:40 -0500338 if (static_cast<GLuint>(width) > (caps.max3DTextureSize >> level) ||
339 static_cast<GLuint>(height) > (caps.max3DTextureSize >> level) ||
340 static_cast<GLuint>(depth) > (caps.max3DTextureSize >> level))
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400341 {
Geoff Langa9be0dc2014-12-17 12:34:40 -0500342 context->recordError(Error(GL_INVALID_VALUE));
343 return false;
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400344 }
345 break;
346
Geoff Langa9be0dc2014-12-17 12:34:40 -0500347 case GL_TEXTURE_2D_ARRAY:
348 if (static_cast<GLuint>(width) > (caps.max2DTextureSize >> level) ||
349 static_cast<GLuint>(height) > (caps.max2DTextureSize >> level) ||
Geoff Langb92c1332015-09-04 12:54:55 -0400350 static_cast<GLuint>(depth) > caps.maxArrayTextureLayers)
Geoff Langa9be0dc2014-12-17 12:34:40 -0500351 {
352 context->recordError(Error(GL_INVALID_VALUE));
353 return false;
354 }
355 break;
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400356
357 default:
Geoff Langb1196682014-07-23 13:47:29 -0400358 context->recordError(Error(GL_INVALID_ENUM));
359 return false;
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400360 }
361
Geoff Lang691e58c2014-12-19 17:03:25 -0500362 gl::Texture *texture = context->getTargetTexture(IsCubeMapTextureTarget(target) ? GL_TEXTURE_CUBE_MAP : target);
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400363 if (!texture)
364 {
Geoff Langb1196682014-07-23 13:47:29 -0400365 context->recordError(Error(GL_INVALID_OPERATION));
366 return false;
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400367 }
368
Geoff Lang69cce582015-09-17 13:20:36 -0400369 if (texture->getImmutableFormat() && !isSubImage)
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400370 {
Geoff Langb1196682014-07-23 13:47:29 -0400371 context->recordError(Error(GL_INVALID_OPERATION));
372 return false;
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400373 }
374
375 // Validate texture formats
Geoff Langa9be0dc2014-12-17 12:34:40 -0500376 GLenum actualInternalFormat = isSubImage ? texture->getInternalFormat(target, level) : internalformat;
Geoff Lang5d601382014-07-22 15:14:06 -0400377 const gl::InternalFormat &actualFormatInfo = gl::GetInternalFormatInfo(actualInternalFormat);
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400378 if (isCompressed)
379 {
tmartino7c102692015-10-02 16:43:40 -0400380 if (!actualFormatInfo.compressed)
Geoff Langd4f180b2013-09-24 13:57:44 -0400381 {
tmartino7c102692015-10-02 16:43:40 -0400382 context->recordError(Error(
383 GL_INVALID_ENUM, "internalformat is not a supported compressed internal format."));
Geoff Langb1196682014-07-23 13:47:29 -0400384 return false;
Geoff Langd4f180b2013-09-24 13:57:44 -0400385 }
386
tmartino7c102692015-10-02 16:43:40 -0400387 if (!ValidCompressedImageSize(context, actualInternalFormat, width, height))
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400388 {
tmartino7c102692015-10-02 16:43:40 -0400389 context->recordError(Error(GL_INVALID_OPERATION));
Geoff Langb1196682014-07-23 13:47:29 -0400390 return false;
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400391 }
392
Geoff Lang839ce0b2015-10-23 13:13:12 -0400393 if (!actualFormatInfo.textureSupport(context->getClientVersion(), context->getExtensions()))
394 {
395 context->recordError(Error(GL_INVALID_ENUM));
396 return false;
397 }
398
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400399 if (target == GL_TEXTURE_3D)
400 {
Geoff Langb1196682014-07-23 13:47:29 -0400401 context->recordError(Error(GL_INVALID_OPERATION));
402 return false;
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400403 }
404 }
405 else
406 {
Geoff Langbaadf232014-08-04 13:58:02 -0400407 if (!ValidateTexImageFormatCombination(context, actualInternalFormat, format, type))
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400408 {
Geoff Lang5d601382014-07-22 15:14:06 -0400409 return false;
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400410 }
411
412 if (target == GL_TEXTURE_3D && (format == GL_DEPTH_COMPONENT || format == GL_DEPTH_STENCIL))
413 {
Geoff Langb1196682014-07-23 13:47:29 -0400414 context->recordError(Error(GL_INVALID_OPERATION));
415 return false;
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400416 }
417 }
418
419 // Validate sub image parameters
420 if (isSubImage)
421 {
Geoff Langa9be0dc2014-12-17 12:34:40 -0500422 if (isCompressed != actualFormatInfo.compressed)
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400423 {
Geoff Langb1196682014-07-23 13:47:29 -0400424 context->recordError(Error(GL_INVALID_OPERATION));
425 return false;
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400426 }
427
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400428 if (width == 0 || height == 0 || depth == 0)
429 {
430 return false;
431 }
432
433 if (xoffset < 0 || yoffset < 0 || zoffset < 0)
434 {
Geoff Langb1196682014-07-23 13:47:29 -0400435 context->recordError(Error(GL_INVALID_VALUE));
436 return false;
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400437 }
438
439 if (std::numeric_limits<GLsizei>::max() - xoffset < width ||
440 std::numeric_limits<GLsizei>::max() - yoffset < height ||
441 std::numeric_limits<GLsizei>::max() - zoffset < depth)
442 {
Geoff Langb1196682014-07-23 13:47:29 -0400443 context->recordError(Error(GL_INVALID_VALUE));
444 return false;
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400445 }
446
Geoff Langa9be0dc2014-12-17 12:34:40 -0500447 if (static_cast<size_t>(xoffset + width) > texture->getWidth(target, level) ||
448 static_cast<size_t>(yoffset + height) > texture->getHeight(target, level) ||
449 static_cast<size_t>(zoffset + depth) > texture->getDepth(target, level))
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400450 {
Geoff Langb1196682014-07-23 13:47:29 -0400451 context->recordError(Error(GL_INVALID_VALUE));
452 return false;
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400453 }
454 }
455
Jamie Madillefb2a6f2013-09-24 10:22:42 -0400456 // Check for pixel unpack buffer related API errors
Shannon Woods53a94a82014-06-24 15:20:36 -0400457 gl::Buffer *pixelUnpackBuffer = context->getState().getTargetBuffer(GL_PIXEL_UNPACK_BUFFER);
Jamie Madillefb2a6f2013-09-24 10:22:42 -0400458 if (pixelUnpackBuffer != NULL)
459 {
460 // ...the data would be unpacked from the buffer object such that the memory reads required
461 // would exceed the data store size.
462 size_t widthSize = static_cast<size_t>(width);
463 size_t heightSize = static_cast<size_t>(height);
464 size_t depthSize = static_cast<size_t>(depth);
Geoff Lang5d601382014-07-22 15:14:06 -0400465 GLenum sizedFormat = GetSizedInternalFormat(actualInternalFormat, type);
Jamie Madill6f38f822014-06-06 17:12:20 -0400466
Geoff Lang5d601382014-07-22 15:14:06 -0400467 size_t pixelBytes = static_cast<size_t>(gl::GetInternalFormatInfo(sizedFormat).pixelBytes);
Jamie Madillefb2a6f2013-09-24 10:22:42 -0400468
469 if (!rx::IsUnsignedMultiplicationSafe(widthSize, heightSize) ||
470 !rx::IsUnsignedMultiplicationSafe(widthSize * heightSize, depthSize) ||
471 !rx::IsUnsignedMultiplicationSafe(widthSize * heightSize * depthSize, pixelBytes))
472 {
473 // Overflow past the end of the buffer
Geoff Langb1196682014-07-23 13:47:29 -0400474 context->recordError(Error(GL_INVALID_OPERATION));
475 return false;
Jamie Madillefb2a6f2013-09-24 10:22:42 -0400476 }
477
Jamie Madillc751d1e2014-10-21 17:46:29 -0400478 const gl::InternalFormat &formatInfo = gl::GetInternalFormatInfo(sizedFormat);
479 size_t copyBytes = formatInfo.computeBlockSize(type, width, height);
Jamie Madillefb2a6f2013-09-24 10:22:42 -0400480 size_t offset = reinterpret_cast<size_t>(pixels);
481
Jamie Madill6f38f822014-06-06 17:12:20 -0400482 if (!rx::IsUnsignedAdditionSafe(offset, copyBytes) ||
Brandon Jonesd38f9262014-06-18 16:26:45 -0700483 ((offset + copyBytes) > static_cast<size_t>(pixelUnpackBuffer->getSize())))
Jamie Madillefb2a6f2013-09-24 10:22:42 -0400484 {
485 // Overflow past the end of the buffer
Geoff Langb1196682014-07-23 13:47:29 -0400486 context->recordError(Error(GL_INVALID_OPERATION));
487 return false;
Jamie Madillefb2a6f2013-09-24 10:22:42 -0400488 }
489
490 // ...data is not evenly divisible into the number of bytes needed to store in memory a datum
491 // indicated by type.
Jamie Madillc751d1e2014-10-21 17:46:29 -0400492 if (!isCompressed)
Jamie Madillefb2a6f2013-09-24 10:22:42 -0400493 {
Jamie Madillc751d1e2014-10-21 17:46:29 -0400494 size_t dataBytesPerPixel = static_cast<size_t>(gl::GetTypeInfo(type).bytes);
495
496 if ((offset % dataBytesPerPixel) != 0)
497 {
498 context->recordError(Error(GL_INVALID_OPERATION));
499 return false;
500 }
Jamie Madillefb2a6f2013-09-24 10:22:42 -0400501 }
502
Jamie Madill7a5f7382014-03-05 15:01:24 -0500503 // ...the buffer object's data store is currently mapped.
Brandon Jonesd38f9262014-06-18 16:26:45 -0700504 if (pixelUnpackBuffer->isMapped())
Jamie Madill7a5f7382014-03-05 15:01:24 -0500505 {
Geoff Langb1196682014-07-23 13:47:29 -0400506 context->recordError(Error(GL_INVALID_OPERATION));
507 return false;
Jamie Madill7a5f7382014-03-05 15:01:24 -0500508 }
Jamie Madillefb2a6f2013-09-24 10:22:42 -0400509 }
510
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400511 return true;
512}
513
Ian Ewellfc7cf8e2016-01-20 15:57:46 -0500514bool ValidateES3TexImage2DParameters(Context *context,
515 GLenum target,
516 GLint level,
517 GLenum internalformat,
518 bool isCompressed,
519 bool isSubImage,
520 GLint xoffset,
521 GLint yoffset,
522 GLint zoffset,
523 GLsizei width,
524 GLsizei height,
525 GLsizei depth,
526 GLint border,
527 GLenum format,
528 GLenum type,
529 const GLvoid *pixels)
530{
531 if (!ValidTexture2DDestinationTarget(context, target))
532 {
533 context->recordError(Error(GL_INVALID_ENUM));
534 return false;
535 }
536
537 return ValidateES3TexImageParametersBase(context, target, level, internalformat, isCompressed,
538 isSubImage, xoffset, yoffset, zoffset, width, height,
539 depth, border, format, type, pixels);
540}
541
542bool ValidateES3TexImage3DParameters(Context *context,
543 GLenum target,
544 GLint level,
545 GLenum internalformat,
546 bool isCompressed,
547 bool isSubImage,
548 GLint xoffset,
549 GLint yoffset,
550 GLint zoffset,
551 GLsizei width,
552 GLsizei height,
553 GLsizei depth,
554 GLint border,
555 GLenum format,
556 GLenum type,
557 const GLvoid *pixels)
558{
559 if (!ValidTexture3DDestinationTarget(context, target))
560 {
561 context->recordError(Error(GL_INVALID_ENUM));
562 return false;
563 }
564
565 return ValidateES3TexImageParametersBase(context, target, level, internalformat, isCompressed,
566 isSubImage, xoffset, yoffset, zoffset, width, height,
567 depth, border, format, type, pixels);
568}
569
Geoff Lang5d601382014-07-22 15:14:06 -0400570struct EffectiveInternalFormatInfo
571{
572 GLenum mEffectiveFormat;
573 GLenum mDestFormat;
574 GLuint mMinRedBits;
575 GLuint mMaxRedBits;
576 GLuint mMinGreenBits;
577 GLuint mMaxGreenBits;
578 GLuint mMinBlueBits;
579 GLuint mMaxBlueBits;
580 GLuint mMinAlphaBits;
581 GLuint mMaxAlphaBits;
582
583 EffectiveInternalFormatInfo(GLenum effectiveFormat, GLenum destFormat, GLuint minRedBits, GLuint maxRedBits,
584 GLuint minGreenBits, GLuint maxGreenBits, GLuint minBlueBits, GLuint maxBlueBits,
585 GLuint minAlphaBits, GLuint maxAlphaBits)
586 : mEffectiveFormat(effectiveFormat), mDestFormat(destFormat), mMinRedBits(minRedBits),
587 mMaxRedBits(maxRedBits), mMinGreenBits(minGreenBits), mMaxGreenBits(maxGreenBits),
588 mMinBlueBits(minBlueBits), mMaxBlueBits(maxBlueBits), mMinAlphaBits(minAlphaBits),
589 mMaxAlphaBits(maxAlphaBits) {};
590};
591
592typedef std::vector<EffectiveInternalFormatInfo> EffectiveInternalFormatList;
593
594static EffectiveInternalFormatList BuildSizedEffectiveInternalFormatList()
595{
596 EffectiveInternalFormatList list;
597
598 // OpenGL ES 3.0.3 Specification, Table 3.17, pg 141: Effective internal format coresponding to destination internal format and
599 // linear source buffer component sizes.
600 // | Source channel min/max sizes |
601 // Effective Internal Format | N/A | R | G | B | A |
602 list.push_back(EffectiveInternalFormatInfo(GL_ALPHA8_EXT, GL_NONE, 0, 0, 0, 0, 0, 0, 1, 8));
603 list.push_back(EffectiveInternalFormatInfo(GL_R8, GL_NONE, 1, 8, 0, 0, 0, 0, 0, 0));
604 list.push_back(EffectiveInternalFormatInfo(GL_RG8, GL_NONE, 1, 8, 1, 8, 0, 0, 0, 0));
605 list.push_back(EffectiveInternalFormatInfo(GL_RGB565, GL_NONE, 1, 5, 1, 6, 1, 5, 0, 0));
606 list.push_back(EffectiveInternalFormatInfo(GL_RGB8, GL_NONE, 6, 8, 7, 8, 6, 8, 0, 0));
607 list.push_back(EffectiveInternalFormatInfo(GL_RGBA4, GL_NONE, 1, 4, 1, 4, 1, 4, 1, 4));
608 list.push_back(EffectiveInternalFormatInfo(GL_RGB5_A1, GL_NONE, 5, 5, 5, 5, 5, 5, 1, 1));
609 list.push_back(EffectiveInternalFormatInfo(GL_RGBA8, GL_NONE, 5, 8, 5, 8, 5, 8, 2, 8));
610 list.push_back(EffectiveInternalFormatInfo(GL_RGB10_A2, GL_NONE, 9, 10, 9, 10, 9, 10, 2, 2));
611
612 return list;
613}
614
615static EffectiveInternalFormatList BuildUnsizedEffectiveInternalFormatList()
616{
617 EffectiveInternalFormatList list;
618
619 // OpenGL ES 3.0.3 Specification, Table 3.17, pg 141: Effective internal format coresponding to destination internal format and
620 // linear source buffer component sizes.
621 // | Source channel min/max sizes |
622 // Effective Internal Format | Dest Format | R | G | B | A |
623 list.push_back(EffectiveInternalFormatInfo(GL_ALPHA8_EXT, GL_ALPHA, 0, UINT_MAX, 0, UINT_MAX, 0, UINT_MAX, 1, 8));
624 list.push_back(EffectiveInternalFormatInfo(GL_LUMINANCE8_EXT, GL_LUMINANCE, 1, 8, 0, UINT_MAX, 0, UINT_MAX, 0, UINT_MAX));
625 list.push_back(EffectiveInternalFormatInfo(GL_LUMINANCE8_ALPHA8_EXT, GL_LUMINANCE_ALPHA, 1, 8, 0, UINT_MAX, 0, UINT_MAX, 1, 8));
626 list.push_back(EffectiveInternalFormatInfo(GL_RGB565, GL_RGB, 1, 5, 1, 6, 1, 5, 0, UINT_MAX));
627 list.push_back(EffectiveInternalFormatInfo(GL_RGB8, GL_RGB, 6, 8, 7, 8, 6, 8, 0, UINT_MAX));
628 list.push_back(EffectiveInternalFormatInfo(GL_RGBA4, GL_RGBA, 1, 4, 1, 4, 1, 4, 1, 4));
629 list.push_back(EffectiveInternalFormatInfo(GL_RGB5_A1, GL_RGBA, 5, 5, 5, 5, 5, 5, 1, 1));
630 list.push_back(EffectiveInternalFormatInfo(GL_RGBA8, GL_RGBA, 5, 8, 5, 8, 5, 8, 5, 8));
631
632 return list;
633}
634
635static bool GetEffectiveInternalFormat(const InternalFormat &srcFormat, const InternalFormat &destFormat,
636 GLenum *outEffectiveFormat)
637{
638 const EffectiveInternalFormatList *list = NULL;
639 GLenum targetFormat = GL_NONE;
640
641 if (destFormat.pixelBytes > 0)
642 {
643 static const EffectiveInternalFormatList sizedList = BuildSizedEffectiveInternalFormatList();
644 list = &sizedList;
645 }
646 else
647 {
648 static const EffectiveInternalFormatList unsizedList = BuildUnsizedEffectiveInternalFormatList();
649 list = &unsizedList;
650 targetFormat = destFormat.format;
651 }
652
653 for (size_t curFormat = 0; curFormat < list->size(); ++curFormat)
654 {
655 const EffectiveInternalFormatInfo& formatInfo = list->at(curFormat);
656 if ((formatInfo.mDestFormat == targetFormat) &&
657 (formatInfo.mMinRedBits <= srcFormat.redBits && formatInfo.mMaxRedBits >= srcFormat.redBits) &&
658 (formatInfo.mMinGreenBits <= srcFormat.greenBits && formatInfo.mMaxGreenBits >= srcFormat.greenBits) &&
659 (formatInfo.mMinBlueBits <= srcFormat.blueBits && formatInfo.mMaxBlueBits >= srcFormat.blueBits) &&
660 (formatInfo.mMinAlphaBits <= srcFormat.alphaBits && formatInfo.mMaxAlphaBits >= srcFormat.alphaBits))
661 {
662 *outEffectiveFormat = formatInfo.mEffectiveFormat;
663 return true;
664 }
665 }
666
667 return false;
668}
669
670struct CopyConversion
671{
672 GLenum mTextureFormat;
673 GLenum mFramebufferFormat;
674
675 CopyConversion(GLenum textureFormat, GLenum framebufferFormat)
676 : mTextureFormat(textureFormat), mFramebufferFormat(framebufferFormat) { }
677
678 bool operator<(const CopyConversion& other) const
679 {
680 return memcmp(this, &other, sizeof(CopyConversion)) < 0;
681 }
682};
683
684typedef std::set<CopyConversion> CopyConversionSet;
685
686static CopyConversionSet BuildValidES3CopyTexImageCombinations()
687{
688 CopyConversionSet set;
689
690 // From ES 3.0.1 spec, table 3.15
691 set.insert(CopyConversion(GL_ALPHA, GL_RGBA));
692 set.insert(CopyConversion(GL_LUMINANCE, GL_RED));
693 set.insert(CopyConversion(GL_LUMINANCE, GL_RG));
694 set.insert(CopyConversion(GL_LUMINANCE, GL_RGB));
695 set.insert(CopyConversion(GL_LUMINANCE, GL_RGBA));
696 set.insert(CopyConversion(GL_LUMINANCE_ALPHA, GL_RGBA));
697 set.insert(CopyConversion(GL_RED, GL_RED));
698 set.insert(CopyConversion(GL_RED, GL_RG));
699 set.insert(CopyConversion(GL_RED, GL_RGB));
700 set.insert(CopyConversion(GL_RED, GL_RGBA));
701 set.insert(CopyConversion(GL_RG, GL_RG));
702 set.insert(CopyConversion(GL_RG, GL_RGB));
703 set.insert(CopyConversion(GL_RG, GL_RGBA));
704 set.insert(CopyConversion(GL_RGB, GL_RGB));
705 set.insert(CopyConversion(GL_RGB, GL_RGBA));
706 set.insert(CopyConversion(GL_RGBA, GL_RGBA));
707
708 // Necessary for ANGLE back-buffers
709 set.insert(CopyConversion(GL_ALPHA, GL_BGRA_EXT));
710 set.insert(CopyConversion(GL_LUMINANCE, GL_BGRA_EXT));
711 set.insert(CopyConversion(GL_LUMINANCE_ALPHA, GL_BGRA_EXT));
712 set.insert(CopyConversion(GL_RED, GL_BGRA_EXT));
713 set.insert(CopyConversion(GL_RG, GL_BGRA_EXT));
714 set.insert(CopyConversion(GL_RGB, GL_BGRA_EXT));
715 set.insert(CopyConversion(GL_RGBA, GL_BGRA_EXT));
716
717 set.insert(CopyConversion(GL_RED_INTEGER, GL_RED_INTEGER));
718 set.insert(CopyConversion(GL_RED_INTEGER, GL_RG_INTEGER));
719 set.insert(CopyConversion(GL_RED_INTEGER, GL_RGB_INTEGER));
720 set.insert(CopyConversion(GL_RED_INTEGER, GL_RGBA_INTEGER));
721 set.insert(CopyConversion(GL_RG_INTEGER, GL_RG_INTEGER));
722 set.insert(CopyConversion(GL_RG_INTEGER, GL_RGB_INTEGER));
723 set.insert(CopyConversion(GL_RG_INTEGER, GL_RGBA_INTEGER));
724 set.insert(CopyConversion(GL_RGB_INTEGER, GL_RGB_INTEGER));
725 set.insert(CopyConversion(GL_RGB_INTEGER, GL_RGBA_INTEGER));
726 set.insert(CopyConversion(GL_RGBA_INTEGER, GL_RGBA_INTEGER));
727
728 return set;
729}
730
731static bool IsValidES3CopyTexImageCombination(GLenum textureInternalFormat, GLenum frameBufferInternalFormat, GLuint readBufferHandle)
732{
733 const InternalFormat &textureInternalFormatInfo = GetInternalFormatInfo(textureInternalFormat);
734 const InternalFormat &framebufferInternalFormatInfo = GetInternalFormatInfo(frameBufferInternalFormat);
735
736 static const CopyConversionSet conversionSet = BuildValidES3CopyTexImageCombinations();
737 if (conversionSet.find(CopyConversion(textureInternalFormatInfo.format, framebufferInternalFormatInfo.format)) != conversionSet.end())
738 {
739 // Section 3.8.5 of the GLES 3.0.3 spec states that source and destination formats
740 // must both be signed, unsigned, or fixed point and both source and destinations
741 // must be either both SRGB or both not SRGB. EXT_color_buffer_float adds allowed
742 // conversion between fixed and floating point.
743
744 if ((textureInternalFormatInfo.colorEncoding == GL_SRGB) != (framebufferInternalFormatInfo.colorEncoding == GL_SRGB))
745 {
746 return false;
747 }
748
749 if (((textureInternalFormatInfo.componentType == GL_INT) != (framebufferInternalFormatInfo.componentType == GL_INT )) ||
750 ((textureInternalFormatInfo.componentType == GL_UNSIGNED_INT) != (framebufferInternalFormatInfo.componentType == GL_UNSIGNED_INT)))
751 {
752 return false;
753 }
754
755 if ((textureInternalFormatInfo.componentType == GL_UNSIGNED_NORMALIZED ||
756 textureInternalFormatInfo.componentType == GL_SIGNED_NORMALIZED ||
757 textureInternalFormatInfo.componentType == GL_FLOAT) &&
758 !(framebufferInternalFormatInfo.componentType == GL_UNSIGNED_NORMALIZED ||
759 framebufferInternalFormatInfo.componentType == GL_SIGNED_NORMALIZED ||
760 framebufferInternalFormatInfo.componentType == GL_FLOAT))
761 {
762 return false;
763 }
764
765 // GLES specification 3.0.3, sec 3.8.5, pg 139-140:
766 // The effective internal format of the source buffer is determined with the following rules applied in order:
767 // * If the source buffer is a texture or renderbuffer that was created with a sized internal format then the
768 // effective internal format is the source buffer's sized internal format.
769 // * If the source buffer is a texture that was created with an unsized base internal format, then the
770 // effective internal format is the source image array's effective internal format, as specified by table
771 // 3.12, which is determined from the <format> and <type> that were used when the source image array was
772 // specified by TexImage*.
773 // * Otherwise the effective internal format is determined by the row in table 3.17 or 3.18 where
774 // Destination Internal Format matches internalformat and where the [source channel sizes] are consistent
775 // with the values of the source buffer's [channel sizes]. Table 3.17 is used if the
776 // FRAMEBUFFER_ATTACHMENT_ENCODING is LINEAR and table 3.18 is used if the FRAMEBUFFER_ATTACHMENT_ENCODING
777 // is SRGB.
778 const InternalFormat *sourceEffectiveFormat = NULL;
779 if (readBufferHandle != 0)
780 {
781 // Not the default framebuffer, therefore the read buffer must be a user-created texture or renderbuffer
782 if (framebufferInternalFormatInfo.pixelBytes > 0)
783 {
784 sourceEffectiveFormat = &framebufferInternalFormatInfo;
785 }
786 else
787 {
788 // Renderbuffers cannot be created with an unsized internal format, so this must be an unsized-format
789 // texture. We can use the same table we use when creating textures to get its effective sized format.
Geoff Lang051dbc72015-01-05 15:48:58 -0500790 GLenum sizedInternalFormat = GetSizedInternalFormat(framebufferInternalFormatInfo.format, framebufferInternalFormatInfo.type);
791 sourceEffectiveFormat = &GetInternalFormatInfo(sizedInternalFormat);
Geoff Lang5d601382014-07-22 15:14:06 -0400792 }
793 }
794 else
795 {
796 // The effective internal format must be derived from the source framebuffer's channel sizes.
797 // This is done in GetEffectiveInternalFormat for linear buffers (table 3.17)
798 if (framebufferInternalFormatInfo.colorEncoding == GL_LINEAR)
799 {
800 GLenum effectiveFormat;
801 if (GetEffectiveInternalFormat(framebufferInternalFormatInfo, textureInternalFormatInfo, &effectiveFormat))
802 {
803 sourceEffectiveFormat = &GetInternalFormatInfo(effectiveFormat);
804 }
805 else
806 {
807 return false;
808 }
809 }
810 else if (framebufferInternalFormatInfo.colorEncoding == GL_SRGB)
811 {
812 // SRGB buffers can only be copied to sized format destinations according to table 3.18
813 if ((textureInternalFormatInfo.pixelBytes > 0) &&
814 (framebufferInternalFormatInfo.redBits >= 1 && framebufferInternalFormatInfo.redBits <= 8) &&
815 (framebufferInternalFormatInfo.greenBits >= 1 && framebufferInternalFormatInfo.greenBits <= 8) &&
816 (framebufferInternalFormatInfo.blueBits >= 1 && framebufferInternalFormatInfo.blueBits <= 8) &&
817 (framebufferInternalFormatInfo.alphaBits >= 1 && framebufferInternalFormatInfo.alphaBits <= 8))
818 {
819 sourceEffectiveFormat = &GetInternalFormatInfo(GL_SRGB8_ALPHA8);
820 }
821 else
822 {
823 return false;
824 }
825 }
826 else
827 {
828 UNREACHABLE();
829 return false;
830 }
831 }
832
833 if (textureInternalFormatInfo.pixelBytes > 0)
834 {
835 // Section 3.8.5 of the GLES 3.0.3 spec, pg 139, requires that, if the destination format is sized,
836 // component sizes of the source and destination formats must exactly match
837 if (textureInternalFormatInfo.redBits != sourceEffectiveFormat->redBits ||
838 textureInternalFormatInfo.greenBits != sourceEffectiveFormat->greenBits ||
839 textureInternalFormatInfo.blueBits != sourceEffectiveFormat->blueBits ||
840 textureInternalFormatInfo.alphaBits != sourceEffectiveFormat->alphaBits)
841 {
842 return false;
843 }
844 }
845
846
847 return true; // A conversion function exists, and no rule in the specification has precluded conversion
848 // between these formats.
849 }
850
851 return false;
852}
853
Ian Ewellfc7cf8e2016-01-20 15:57:46 -0500854bool ValidateES3CopyTexImageParametersBase(ValidationContext *context,
855 GLenum target,
856 GLint level,
857 GLenum internalformat,
858 bool isSubImage,
859 GLint xoffset,
860 GLint yoffset,
861 GLint zoffset,
862 GLint x,
863 GLint y,
864 GLsizei width,
865 GLsizei height,
866 GLint border)
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400867{
Jamie Madill560a8d82014-05-21 13:06:20 -0400868 GLenum textureInternalFormat;
869 if (!ValidateCopyTexImageParametersBase(context, target, level, internalformat, isSubImage,
Jamie Madill6f38f822014-06-06 17:12:20 -0400870 xoffset, yoffset, zoffset, x, y, width, height,
871 border, &textureInternalFormat))
Shannon Woods4dfed832014-03-17 20:03:39 -0400872 {
Jamie Madill560a8d82014-05-21 13:06:20 -0400873 return false;
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400874 }
875
Jamie Madillc29968b2016-01-20 11:17:23 -0500876 const auto &state = context->getState();
877 const gl::Framebuffer *framebuffer = state.getReadFramebuffer();
878 GLuint readFramebufferID = framebuffer->id();
Jamie Madill3c7fa222014-06-05 13:08:51 -0400879
Geoff Lang748f74e2014-12-01 11:25:34 -0500880 if (framebuffer->checkStatus(context->getData()) != GL_FRAMEBUFFER_COMPLETE)
Jamie Madill3c7fa222014-06-05 13:08:51 -0400881 {
Geoff Langb1196682014-07-23 13:47:29 -0400882 context->recordError(Error(GL_INVALID_FRAMEBUFFER_OPERATION));
883 return false;
Jamie Madill3c7fa222014-06-05 13:08:51 -0400884 }
885
Jamie Madillc29968b2016-01-20 11:17:23 -0500886 if (readFramebufferID != 0 && framebuffer->getSamples(context->getData()) != 0)
Jamie Madill3c7fa222014-06-05 13:08:51 -0400887 {
Geoff Langb1196682014-07-23 13:47:29 -0400888 context->recordError(Error(GL_INVALID_OPERATION));
889 return false;
Jamie Madill3c7fa222014-06-05 13:08:51 -0400890 }
891
Jamie Madillb6bda4a2015-04-20 12:53:26 -0400892 const gl::FramebufferAttachment *source = framebuffer->getReadColorbuffer();
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400893 GLenum colorbufferInternalFormat = source->getInternalFormat();
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400894
895 if (isSubImage)
896 {
Geoff Lang5d601382014-07-22 15:14:06 -0400897 if (!IsValidES3CopyTexImageCombination(textureInternalFormat, colorbufferInternalFormat,
Jamie Madillc29968b2016-01-20 11:17:23 -0500898 readFramebufferID))
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400899 {
Geoff Langb1196682014-07-23 13:47:29 -0400900 context->recordError(Error(GL_INVALID_OPERATION));
901 return false;
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400902 }
903 }
Shannon Woods4d161ba2014-03-17 18:13:30 -0400904 else
905 {
Geoff Lang5d601382014-07-22 15:14:06 -0400906 if (!gl::IsValidES3CopyTexImageCombination(internalformat, colorbufferInternalFormat,
Jamie Madillc29968b2016-01-20 11:17:23 -0500907 readFramebufferID))
Shannon Woods4d161ba2014-03-17 18:13:30 -0400908 {
Geoff Langb1196682014-07-23 13:47:29 -0400909 context->recordError(Error(GL_INVALID_OPERATION));
910 return false;
Shannon Woods4d161ba2014-03-17 18:13:30 -0400911 }
912 }
913
Geoff Lang784a8fd2013-09-24 12:33:16 -0400914 // If width or height is zero, it is a no-op. Return false without setting an error.
915 return (width > 0 && height > 0);
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400916}
917
Ian Ewellfc7cf8e2016-01-20 15:57:46 -0500918bool ValidateES3CopyTexImage2DParameters(ValidationContext *context,
919 GLenum target,
920 GLint level,
921 GLenum internalformat,
922 bool isSubImage,
923 GLint xoffset,
924 GLint yoffset,
925 GLint zoffset,
926 GLint x,
927 GLint y,
928 GLsizei width,
929 GLsizei height,
930 GLint border)
931{
932 if (!ValidTexture2DDestinationTarget(context, target))
933 {
934 context->recordError(Error(GL_INVALID_ENUM));
935 return false;
936 }
937
938 return ValidateES3CopyTexImageParametersBase(context, target, level, internalformat, isSubImage,
939 xoffset, yoffset, zoffset, x, y, width, height,
940 border);
941}
942
943bool ValidateES3CopyTexImage3DParameters(ValidationContext *context,
944 GLenum target,
945 GLint level,
946 GLenum internalformat,
947 bool isSubImage,
948 GLint xoffset,
949 GLint yoffset,
950 GLint zoffset,
951 GLint x,
952 GLint y,
953 GLsizei width,
954 GLsizei height,
955 GLint border)
956{
957 if (!ValidTexture3DDestinationTarget(context, target))
958 {
959 context->recordError(Error(GL_INVALID_ENUM));
960 return false;
961 }
962
963 return ValidateES3CopyTexImageParametersBase(context, target, level, internalformat, isSubImage,
964 xoffset, yoffset, zoffset, x, y, width, height,
965 border);
966}
967
968bool ValidateES3TexStorageParametersBase(Context *context,
969 GLenum target,
970 GLsizei levels,
971 GLenum internalformat,
972 GLsizei width,
973 GLsizei height,
974 GLsizei depth)
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400975{
976 if (width < 1 || height < 1 || depth < 1 || levels < 1)
977 {
Geoff Langb1196682014-07-23 13:47:29 -0400978 context->recordError(Error(GL_INVALID_VALUE));
979 return false;
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400980 }
981
Geoff Langb92c1332015-09-04 12:54:55 -0400982 GLsizei maxDim = std::max(width, height);
983 if (target != GL_TEXTURE_2D_ARRAY)
984 {
985 maxDim = std::max(maxDim, depth);
986 }
987
988 if (levels > gl::log2(maxDim) + 1)
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400989 {
Geoff Langb1196682014-07-23 13:47:29 -0400990 context->recordError(Error(GL_INVALID_OPERATION));
991 return false;
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400992 }
993
Geoff Langaae65a42014-05-26 12:43:44 -0400994 const gl::Caps &caps = context->getCaps();
995
Geoff Lange8ebe7f2013-08-05 15:03:13 -0400996 switch (target)
997 {
998 case GL_TEXTURE_2D:
999 {
Geoff Langaae65a42014-05-26 12:43:44 -04001000 if (static_cast<GLuint>(width) > caps.max2DTextureSize ||
1001 static_cast<GLuint>(height) > caps.max2DTextureSize)
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001002 {
Geoff Langb1196682014-07-23 13:47:29 -04001003 context->recordError(Error(GL_INVALID_VALUE));
1004 return false;
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001005 }
1006 }
1007 break;
1008
Geoff Lang01c21d22013-09-24 11:52:16 -04001009 case GL_TEXTURE_CUBE_MAP:
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001010 {
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001011 if (width != height)
1012 {
Geoff Langb1196682014-07-23 13:47:29 -04001013 context->recordError(Error(GL_INVALID_VALUE));
1014 return false;
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001015 }
1016
Geoff Langaae65a42014-05-26 12:43:44 -04001017 if (static_cast<GLuint>(width) > caps.maxCubeMapTextureSize)
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001018 {
Geoff Langb1196682014-07-23 13:47:29 -04001019 context->recordError(Error(GL_INVALID_VALUE));
1020 return false;
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001021 }
1022 }
1023 break;
1024
1025 case GL_TEXTURE_3D:
1026 {
Geoff Langaae65a42014-05-26 12:43:44 -04001027 if (static_cast<GLuint>(width) > caps.max3DTextureSize ||
1028 static_cast<GLuint>(height) > caps.max3DTextureSize ||
1029 static_cast<GLuint>(depth) > caps.max3DTextureSize)
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001030 {
Geoff Langb1196682014-07-23 13:47:29 -04001031 context->recordError(Error(GL_INVALID_VALUE));
1032 return false;
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001033 }
1034 }
1035 break;
1036
1037 case GL_TEXTURE_2D_ARRAY:
1038 {
Geoff Langaae65a42014-05-26 12:43:44 -04001039 if (static_cast<GLuint>(width) > caps.max2DTextureSize ||
1040 static_cast<GLuint>(height) > caps.max2DTextureSize ||
1041 static_cast<GLuint>(depth) > caps.maxArrayTextureLayers)
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001042 {
Geoff Langb1196682014-07-23 13:47:29 -04001043 context->recordError(Error(GL_INVALID_VALUE));
1044 return false;
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001045 }
1046 }
1047 break;
1048
1049 default:
Ian Ewellfc7cf8e2016-01-20 15:57:46 -05001050 UNREACHABLE();
Geoff Langb1196682014-07-23 13:47:29 -04001051 return false;
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001052 }
1053
Geoff Lang691e58c2014-12-19 17:03:25 -05001054 gl::Texture *texture = context->getTargetTexture(target);
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001055 if (!texture || texture->id() == 0)
1056 {
Geoff Langb1196682014-07-23 13:47:29 -04001057 context->recordError(Error(GL_INVALID_OPERATION));
1058 return false;
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001059 }
1060
Geoff Lang69cce582015-09-17 13:20:36 -04001061 if (texture->getImmutableFormat())
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001062 {
Geoff Langb1196682014-07-23 13:47:29 -04001063 context->recordError(Error(GL_INVALID_OPERATION));
1064 return false;
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001065 }
1066
Geoff Lang5d601382014-07-22 15:14:06 -04001067 const gl::InternalFormat &formatInfo = gl::GetInternalFormatInfo(internalformat);
1068 if (!formatInfo.textureSupport(context->getClientVersion(), context->getExtensions()))
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001069 {
Geoff Langb1196682014-07-23 13:47:29 -04001070 context->recordError(Error(GL_INVALID_ENUM));
1071 return false;
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001072 }
1073
Geoff Lang5d601382014-07-22 15:14:06 -04001074 if (formatInfo.pixelBytes == 0)
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001075 {
Geoff Langb1196682014-07-23 13:47:29 -04001076 context->recordError(Error(GL_INVALID_ENUM));
1077 return false;
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001078 }
1079
1080 return true;
1081}
1082
Ian Ewellfc7cf8e2016-01-20 15:57:46 -05001083bool ValidateES3TexStorage2DParameters(Context *context,
1084 GLenum target,
1085 GLsizei levels,
1086 GLenum internalformat,
1087 GLsizei width,
1088 GLsizei height,
1089 GLsizei depth)
1090{
1091 if (!ValidTexture2DTarget(context, target))
1092 {
1093 context->recordError(Error(GL_INVALID_ENUM));
1094 return false;
1095 }
1096
1097 return ValidateES3TexStorageParametersBase(context, target, levels, internalformat, width,
1098 height, depth);
1099}
1100
1101bool ValidateES3TexStorage3DParameters(Context *context,
1102 GLenum target,
1103 GLsizei levels,
1104 GLenum internalformat,
1105 GLsizei width,
1106 GLsizei height,
1107 GLsizei depth)
1108{
1109 if (!ValidTexture3DTarget(context, target))
1110 {
1111 context->recordError(Error(GL_INVALID_ENUM));
1112 return false;
1113 }
1114
1115 return ValidateES3TexStorageParametersBase(context, target, levels, internalformat, width,
1116 height, depth);
1117}
1118
Ian Ewell3ffd78b2016-01-22 16:09:42 -05001119bool ValidateGenQueries(gl::Context *context, GLsizei n, const GLuint *ids)
1120{
1121 if (context->getClientVersion() < 3)
1122 {
1123 context->recordError(Error(GL_INVALID_OPERATION, "GLES version < 3.0"));
1124 return false;
1125 }
1126
1127 return ValidateGenQueriesBase(context, n, ids);
1128}
1129
1130bool ValidateDeleteQueries(gl::Context *context, GLsizei n, const GLuint *ids)
1131{
1132 if (context->getClientVersion() < 3)
1133 {
1134 context->recordError(Error(GL_INVALID_OPERATION, "GLES version < 3.0"));
1135 return false;
1136 }
1137
1138 return ValidateDeleteQueriesBase(context, n, ids);
1139}
1140
1141bool ValidateBeginQuery(gl::Context *context, GLenum target, GLuint id)
1142{
1143 if (context->getClientVersion() < 3)
1144 {
1145 context->recordError(Error(GL_INVALID_OPERATION, "GLES version < 3.0"));
1146 return false;
1147 }
1148
1149 return ValidateBeginQueryBase(context, target, id);
1150}
1151
1152bool ValidateEndQuery(gl::Context *context, GLenum target)
1153{
1154 if (context->getClientVersion() < 3)
1155 {
1156 context->recordError(Error(GL_INVALID_OPERATION, "GLES version < 3.0"));
1157 return false;
1158 }
1159
1160 return ValidateEndQueryBase(context, target);
1161}
1162
1163bool ValidateGetQueryiv(Context *context, GLenum target, GLenum pname, GLint *params)
1164{
1165 if (context->getClientVersion() < 3)
1166 {
1167 context->recordError(Error(GL_INVALID_OPERATION, "GLES version < 3.0"));
1168 return false;
1169 }
1170
1171 return ValidateGetQueryivBase(context, target, pname);
1172}
1173
1174bool ValidateGetQueryObjectuiv(Context *context, GLuint id, GLenum pname, GLuint *params)
1175{
1176 if (context->getClientVersion() < 3)
1177 {
1178 context->recordError(Error(GL_INVALID_OPERATION, "GLES version < 3.0"));
1179 return false;
1180 }
1181
1182 return ValidateGetQueryObjectValueBase(context, id, pname);
1183}
1184
Geoff Langb1196682014-07-23 13:47:29 -04001185bool ValidateFramebufferTextureLayer(Context *context, GLenum target, GLenum attachment,
Jamie Madill570f7c82014-07-03 10:38:54 -04001186 GLuint texture, GLint level, GLint layer)
1187{
1188 if (context->getClientVersion() < 3)
1189 {
Geoff Langb1196682014-07-23 13:47:29 -04001190 context->recordError(Error(GL_INVALID_OPERATION));
1191 return false;
Jamie Madill570f7c82014-07-03 10:38:54 -04001192 }
1193
Jamie Madill55ec3b12014-07-03 10:38:57 -04001194 if (layer < 0)
1195 {
Geoff Langb1196682014-07-23 13:47:29 -04001196 context->recordError(Error(GL_INVALID_VALUE));
1197 return false;
Jamie Madill55ec3b12014-07-03 10:38:57 -04001198 }
1199
1200 if (!ValidateFramebufferTextureBase(context, target, attachment, texture, level))
1201 {
1202 return false;
1203 }
1204
1205 const gl::Caps &caps = context->getCaps();
1206 if (texture != 0)
1207 {
1208 gl::Texture *tex = context->getTexture(texture);
1209 ASSERT(tex);
1210
1211 switch (tex->getTarget())
1212 {
1213 case GL_TEXTURE_2D_ARRAY:
1214 {
1215 if (level > gl::log2(caps.max2DTextureSize))
1216 {
Geoff Langb1196682014-07-23 13:47:29 -04001217 context->recordError(Error(GL_INVALID_VALUE));
1218 return false;
Jamie Madill55ec3b12014-07-03 10:38:57 -04001219 }
1220
1221 if (static_cast<GLuint>(layer) >= caps.maxArrayTextureLayers)
1222 {
Geoff Langb1196682014-07-23 13:47:29 -04001223 context->recordError(Error(GL_INVALID_VALUE));
1224 return false;
Jamie Madill55ec3b12014-07-03 10:38:57 -04001225 }
Jamie Madill55ec3b12014-07-03 10:38:57 -04001226 }
1227 break;
1228
1229 case GL_TEXTURE_3D:
1230 {
1231 if (level > gl::log2(caps.max3DTextureSize))
1232 {
Geoff Langb1196682014-07-23 13:47:29 -04001233 context->recordError(Error(GL_INVALID_VALUE));
1234 return false;
Jamie Madill55ec3b12014-07-03 10:38:57 -04001235 }
1236
1237 if (static_cast<GLuint>(layer) >= caps.max3DTextureSize)
1238 {
Geoff Langb1196682014-07-23 13:47:29 -04001239 context->recordError(Error(GL_INVALID_VALUE));
1240 return false;
Jamie Madill55ec3b12014-07-03 10:38:57 -04001241 }
Jamie Madill55ec3b12014-07-03 10:38:57 -04001242 }
1243 break;
1244
1245 default:
Geoff Langb1196682014-07-23 13:47:29 -04001246 context->recordError(Error(GL_INVALID_OPERATION));
1247 return false;
Jamie Madill55ec3b12014-07-03 10:38:57 -04001248 }
Geoff Langa9be0dc2014-12-17 12:34:40 -05001249
1250 const gl::InternalFormat &internalFormatInfo = gl::GetInternalFormatInfo(tex->getInternalFormat(tex->getTarget(), level));
1251 if (internalFormatInfo.compressed)
1252 {
1253 context->recordError(Error(GL_INVALID_OPERATION));
1254 return false;
1255 }
Jamie Madill55ec3b12014-07-03 10:38:57 -04001256 }
1257
1258 return true;
Jamie Madill570f7c82014-07-03 10:38:54 -04001259}
1260
Geoff Langb1196682014-07-23 13:47:29 -04001261bool ValidES3ReadFormatType(Context *context, GLenum internalFormat, GLenum format, GLenum type)
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001262{
Geoff Lang5d601382014-07-22 15:14:06 -04001263 const gl::InternalFormat &internalFormatInfo = gl::GetInternalFormatInfo(internalFormat);
1264
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001265 switch (format)
1266 {
1267 case GL_RGBA:
1268 switch (type)
1269 {
1270 case GL_UNSIGNED_BYTE:
1271 break;
1272 case GL_UNSIGNED_INT_2_10_10_10_REV:
1273 if (internalFormat != GL_RGB10_A2)
1274 {
1275 return false;
1276 }
1277 break;
Geoff Lang1ec57f82013-10-16 11:43:23 -04001278 case GL_FLOAT:
Geoff Lang5d601382014-07-22 15:14:06 -04001279 if (internalFormatInfo.componentType != GL_FLOAT)
Geoff Lang1ec57f82013-10-16 11:43:23 -04001280 {
1281 return false;
1282 }
1283 break;
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001284 default:
1285 return false;
1286 }
1287 break;
1288 case GL_RGBA_INTEGER:
1289 switch (type)
1290 {
1291 case GL_INT:
Geoff Lang5d601382014-07-22 15:14:06 -04001292 if (internalFormatInfo.componentType != GL_INT)
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001293 {
1294 return false;
1295 }
1296 break;
1297 case GL_UNSIGNED_INT:
Geoff Lang5d601382014-07-22 15:14:06 -04001298 if (internalFormatInfo.componentType != GL_UNSIGNED_INT)
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001299 {
1300 return false;
1301 }
1302 break;
1303 default:
1304 return false;
1305 }
1306 break;
1307 case GL_BGRA_EXT:
1308 switch (type)
1309 {
1310 case GL_UNSIGNED_BYTE:
1311 case GL_UNSIGNED_SHORT_4_4_4_4_REV_EXT:
1312 case GL_UNSIGNED_SHORT_1_5_5_5_REV_EXT:
1313 break;
1314 default:
1315 return false;
1316 }
1317 break;
Geoff Langbdc9b2f2014-04-16 14:41:54 -04001318 case GL_RG_EXT:
1319 case GL_RED_EXT:
Geoff Langc0b9ef42014-07-02 10:02:37 -04001320 if (!context->getExtensions().textureRG)
Geoff Langbdc9b2f2014-04-16 14:41:54 -04001321 {
1322 return false;
1323 }
1324 switch (type)
1325 {
1326 case GL_UNSIGNED_BYTE:
1327 break;
1328 default:
1329 return false;
1330 }
1331 break;
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001332 default:
1333 return false;
1334 }
1335 return true;
1336}
1337
Corentin Walleze0902642014-11-04 12:32:15 -08001338bool ValidateES3RenderbufferStorageParameters(gl::Context *context, GLenum target, GLsizei samples,
1339 GLenum internalformat, GLsizei width, GLsizei height)
1340{
1341 if (!ValidateRenderbufferStorageParametersBase(context, target, samples, internalformat, width, height))
1342 {
1343 return false;
1344 }
1345
1346 //The ES3 spec(section 4.4.2) states that the internal format must be sized and not an integer format if samples is greater than zero.
1347 const gl::InternalFormat &formatInfo = gl::GetInternalFormatInfo(internalformat);
1348 if ((formatInfo.componentType == GL_UNSIGNED_INT || formatInfo.componentType == GL_INT) && samples > 0)
1349 {
1350 context->recordError(Error(GL_INVALID_OPERATION));
1351 return false;
1352 }
1353
1354 // The behavior is different than the ANGLE version, which would generate a GL_OUT_OF_MEMORY.
1355 const TextureCaps &formatCaps = context->getTextureCaps().get(internalformat);
1356 if (static_cast<GLuint>(samples) > formatCaps.getMaxSamples())
1357 {
Olli Etuaho84c9f592016-03-09 14:37:25 +02001358 context->recordError(
1359 Error(GL_INVALID_OPERATION,
1360 "Samples must not be greater than maximum supported value for the format."));
Corentin Walleze0902642014-11-04 12:32:15 -08001361 return false;
1362 }
1363
1364 return true;
1365}
1366
Austin Kinross08332632015-05-05 13:35:47 -07001367bool ValidateInvalidateFramebuffer(Context *context, GLenum target, GLsizei numAttachments,
1368 const GLenum *attachments)
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001369{
Austin Kinross08332632015-05-05 13:35:47 -07001370 if (context->getClientVersion() < 3)
1371 {
1372 context->recordError(Error(GL_INVALID_OPERATION, "Operation only supported on ES 3.0 and above"));
1373 return false;
1374 }
1375
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001376 bool defaultFramebuffer = false;
1377
1378 switch (target)
1379 {
1380 case GL_DRAW_FRAMEBUFFER:
1381 case GL_FRAMEBUFFER:
Shannon Woods53a94a82014-06-24 15:20:36 -04001382 defaultFramebuffer = context->getState().getDrawFramebuffer()->id() == 0;
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001383 break;
1384 case GL_READ_FRAMEBUFFER:
Shannon Woods53a94a82014-06-24 15:20:36 -04001385 defaultFramebuffer = context->getState().getReadFramebuffer()->id() == 0;
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001386 break;
1387 default:
Austin Kinross08332632015-05-05 13:35:47 -07001388 context->recordError(Error(GL_INVALID_ENUM, "Invalid framebuffer target"));
1389 return false;
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001390 }
1391
Austin Kinross08332632015-05-05 13:35:47 -07001392 return ValidateDiscardFramebufferBase(context, target, numAttachments, attachments, defaultFramebuffer);
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001393}
1394
Jamie Madillc29968b2016-01-20 11:17:23 -05001395bool ValidateClearBuffer(ValidationContext *context)
Jamie Madill13f7d7d2014-06-20 13:21:27 -04001396{
1397 if (context->getClientVersion() < 3)
1398 {
Geoff Langb1196682014-07-23 13:47:29 -04001399 context->recordError(Error(GL_INVALID_OPERATION));
1400 return false;
Jamie Madill13f7d7d2014-06-20 13:21:27 -04001401 }
1402
Shannon Woods53a94a82014-06-24 15:20:36 -04001403 const gl::Framebuffer *fbo = context->getState().getDrawFramebuffer();
Geoff Lang748f74e2014-12-01 11:25:34 -05001404 if (!fbo || fbo->checkStatus(context->getData()) != GL_FRAMEBUFFER_COMPLETE)
Jamie Madill13f7d7d2014-06-20 13:21:27 -04001405 {
Geoff Langb1196682014-07-23 13:47:29 -04001406 context->recordError(Error(GL_INVALID_FRAMEBUFFER_OPERATION));
1407 return false;
Jamie Madill13f7d7d2014-06-20 13:21:27 -04001408 }
1409
1410 return true;
1411}
1412
Geoff Langb1196682014-07-23 13:47:29 -04001413bool ValidateGetUniformuiv(Context *context, GLuint program, GLint location, GLuint* params)
Jamie Madill0063c512014-08-25 15:47:53 -04001414{
1415 if (context->getClientVersion() < 3)
1416 {
Geoff Langb1196682014-07-23 13:47:29 -04001417 context->recordError(Error(GL_INVALID_OPERATION));
1418 return false;
Jamie Madill0063c512014-08-25 15:47:53 -04001419 }
1420
Jamie Madill78f41802014-08-25 15:47:55 -04001421 return ValidateGetUniformBase(context, program, location);
Jamie Madill0063c512014-08-25 15:47:53 -04001422}
1423
Jamie Madillb885e572015-02-03 16:16:04 -05001424bool ValidateReadBuffer(Context *context, GLenum src)
1425{
1426 if (context->getClientVersion() < 3)
1427 {
1428 context->recordError(Error(GL_INVALID_OPERATION));
1429 return false;
1430 }
1431
1432 Framebuffer *readFBO = context->getState().getReadFramebuffer();
1433
1434 if (readFBO == nullptr)
1435 {
1436 context->recordError(gl::Error(GL_INVALID_OPERATION, "No active read framebuffer."));
1437 return false;
1438 }
1439
1440 if (src == GL_NONE)
1441 {
1442 return true;
1443 }
1444
Olli Etuaho84c9f592016-03-09 14:37:25 +02001445 if (src != GL_BACK && (src < GL_COLOR_ATTACHMENT0 || src > GL_COLOR_ATTACHMENT31))
Jamie Madillb885e572015-02-03 16:16:04 -05001446 {
1447 context->recordError(gl::Error(GL_INVALID_ENUM, "Unknown enum for 'src' in ReadBuffer"));
1448 return false;
1449 }
1450
1451 if (readFBO->id() == 0)
1452 {
1453 if (src != GL_BACK)
1454 {
1455 const char *errorMsg = "'src' must be GL_NONE or GL_BACK when reading from the default framebuffer.";
1456 context->recordError(gl::Error(GL_INVALID_OPERATION, errorMsg));
1457 return false;
1458 }
1459 }
1460 else
1461 {
1462 GLuint drawBuffer = static_cast<GLuint>(src - GL_COLOR_ATTACHMENT0);
1463
1464 if (drawBuffer >= context->getCaps().maxDrawBuffers)
1465 {
1466 const char *errorMsg = "'src' is greater than MAX_DRAW_BUFFERS.";
1467 context->recordError(gl::Error(GL_INVALID_OPERATION, errorMsg));
1468 return false;
1469 }
1470 }
1471
1472 return true;
1473}
1474
Jamie Madill86af3d22015-07-21 15:14:07 -04001475bool ValidateCompressedTexImage3D(Context *context,
1476 GLenum target,
1477 GLint level,
1478 GLenum internalformat,
1479 GLsizei width,
1480 GLsizei height,
1481 GLsizei depth,
1482 GLint border,
1483 GLsizei imageSize,
1484 const GLvoid *data)
1485{
1486 if (context->getClientVersion() < 3)
1487 {
1488 context->recordError(Error(GL_INVALID_OPERATION));
1489 return false;
1490 }
1491
1492 const InternalFormat &formatInfo = GetInternalFormatInfo(internalformat);
1493 if (imageSize < 0 ||
1494 static_cast<GLuint>(imageSize) !=
1495 formatInfo.computeBlockSize(GL_UNSIGNED_BYTE, width, height))
1496 {
1497 context->recordError(Error(GL_INVALID_VALUE));
1498 return false;
1499 }
1500
1501 // 3D texture target validation
1502 if (target != GL_TEXTURE_3D && target != GL_TEXTURE_2D_ARRAY)
1503 {
1504 context->recordError(
1505 Error(GL_INVALID_ENUM, "Must specify a valid 3D texture destination target"));
1506 return false;
1507 }
1508
1509 // validateES3TexImageFormat sets the error code if there is an error
Ian Ewellfc7cf8e2016-01-20 15:57:46 -05001510 if (!ValidateES3TexImage3DParameters(context, target, level, internalformat, true, false, 0, 0,
1511 0, width, height, depth, border, GL_NONE, GL_NONE, data))
Jamie Madill86af3d22015-07-21 15:14:07 -04001512 {
1513 return false;
1514 }
1515
1516 return true;
1517}
Austin Kinrossbc781f32015-10-26 09:27:38 -07001518
1519bool ValidateBindVertexArray(Context *context, GLuint array)
1520{
1521 if (context->getClientVersion() < 3)
1522 {
1523 context->recordError(Error(GL_INVALID_OPERATION));
1524 return false;
1525 }
1526
1527 return ValidateBindVertexArrayBase(context, array);
1528}
1529
1530bool ValidateDeleteVertexArrays(Context *context, GLsizei n)
1531{
1532 if (context->getClientVersion() < 3)
1533 {
1534 context->recordError(Error(GL_INVALID_OPERATION));
1535 return false;
1536 }
1537
1538 return ValidateDeleteVertexArraysBase(context, n);
1539}
1540
1541bool ValidateGenVertexArrays(Context *context, GLsizei n)
1542{
1543 if (context->getClientVersion() < 3)
1544 {
1545 context->recordError(Error(GL_INVALID_OPERATION));
1546 return false;
1547 }
1548
1549 return ValidateGenVertexArraysBase(context, n);
1550}
1551
1552bool ValidateIsVertexArray(Context *context)
1553{
1554 if (context->getClientVersion() < 3)
1555 {
1556 context->recordError(Error(GL_INVALID_OPERATION));
1557 return false;
1558 }
1559
1560 return true;
1561}
Geoff Langc5629752015-12-07 16:29:04 -05001562
1563bool ValidateProgramBinary(Context *context,
1564 GLuint program,
1565 GLenum binaryFormat,
1566 const void *binary,
1567 GLint length)
1568{
1569 if (context->getClientVersion() < 3)
1570 {
1571 context->recordError(Error(GL_INVALID_OPERATION));
1572 return false;
1573 }
1574
1575 return ValidateProgramBinaryBase(context, program, binaryFormat, binary, length);
1576}
1577
1578bool ValidateGetProgramBinary(Context *context,
1579 GLuint program,
1580 GLsizei bufSize,
1581 GLsizei *length,
1582 GLenum *binaryFormat,
1583 void *binary)
1584{
1585 if (context->getClientVersion() < 3)
1586 {
1587 context->recordError(Error(GL_INVALID_OPERATION));
1588 return false;
1589 }
1590
1591 return ValidateGetProgramBinaryBase(context, program, bufSize, length, binaryFormat, binary);
1592}
1593
1594bool ValidateProgramParameter(Context *context, GLuint program, GLenum pname, GLint value)
1595{
1596 if (context->getClientVersion() < 3)
1597 {
1598 context->recordError(Error(GL_INVALID_OPERATION));
1599 return false;
1600 }
1601
1602 if (GetValidProgram(context, program) == nullptr)
1603 {
1604 return false;
1605 }
1606
1607 switch (pname)
1608 {
1609 case GL_PROGRAM_BINARY_RETRIEVABLE_HINT:
1610 break;
1611
1612 default:
1613 context->recordError(Error(GL_INVALID_ENUM, "Invalid pname: 0x%X", pname));
1614 return false;
1615 }
1616
1617 return true;
1618}
Jamie Madillc29968b2016-01-20 11:17:23 -05001619
1620bool ValidateBlitFramebuffer(Context *context,
1621 GLint srcX0,
1622 GLint srcY0,
1623 GLint srcX1,
1624 GLint srcY1,
1625 GLint dstX0,
1626 GLint dstY0,
1627 GLint dstX1,
1628 GLint dstY1,
1629 GLbitfield mask,
1630 GLenum filter)
1631{
1632 if (context->getClientVersion() < 3)
1633 {
1634 context->recordError(Error(GL_INVALID_OPERATION));
1635 return false;
1636 }
1637
1638 return ValidateBlitFramebufferParameters(context, srcX0, srcY0, srcX1, srcY1, dstX0, dstY0,
1639 dstX1, dstY1, mask, filter);
Geoff Lange8ebe7f2013-08-05 15:03:13 -04001640}
Jamie Madillc29968b2016-01-20 11:17:23 -05001641
1642bool ValidateClearBufferiv(ValidationContext *context,
1643 GLenum buffer,
1644 GLint drawbuffer,
1645 const GLint *value)
1646{
1647 switch (buffer)
1648 {
1649 case GL_COLOR:
1650 if (drawbuffer < 0 ||
1651 static_cast<GLuint>(drawbuffer) >= context->getCaps().maxDrawBuffers)
1652 {
1653 context->recordError(Error(GL_INVALID_VALUE));
1654 return false;
1655 }
1656 break;
1657
1658 case GL_STENCIL:
1659 if (drawbuffer != 0)
1660 {
1661 context->recordError(Error(GL_INVALID_VALUE));
1662 return false;
1663 }
1664 break;
1665
1666 default:
1667 context->recordError(Error(GL_INVALID_ENUM));
1668 return false;
1669 }
1670
1671 return ValidateClearBuffer(context);
1672}
1673
1674bool ValidateClearBufferuiv(ValidationContext *context,
1675 GLenum buffer,
1676 GLint drawbuffer,
1677 const GLuint *value)
1678{
1679 switch (buffer)
1680 {
1681 case GL_COLOR:
1682 if (drawbuffer < 0 ||
1683 static_cast<GLuint>(drawbuffer) >= context->getCaps().maxDrawBuffers)
1684 {
1685 context->recordError(Error(GL_INVALID_VALUE));
1686 return false;
1687 }
1688 break;
1689
1690 default:
1691 context->recordError(Error(GL_INVALID_ENUM));
1692 return false;
1693 }
1694
1695 return ValidateClearBuffer(context);
1696}
1697
1698bool ValidateClearBufferfv(ValidationContext *context,
1699 GLenum buffer,
1700 GLint drawbuffer,
1701 const GLfloat *value)
1702{
1703 switch (buffer)
1704 {
1705 case GL_COLOR:
1706 if (drawbuffer < 0 ||
1707 static_cast<GLuint>(drawbuffer) >= context->getCaps().maxDrawBuffers)
1708 {
1709 context->recordError(Error(GL_INVALID_VALUE));
1710 return false;
1711 }
1712 break;
1713
1714 case GL_DEPTH:
1715 if (drawbuffer != 0)
1716 {
1717 context->recordError(Error(GL_INVALID_VALUE));
1718 return false;
1719 }
1720 break;
1721
1722 default:
1723 context->recordError(Error(GL_INVALID_ENUM));
1724 return false;
1725 }
1726
1727 return ValidateClearBuffer(context);
1728}
1729
1730bool ValidateClearBufferfi(ValidationContext *context,
1731 GLenum buffer,
1732 GLint drawbuffer,
1733 GLfloat depth,
1734 GLint stencil)
1735{
1736 switch (buffer)
1737 {
1738 case GL_DEPTH_STENCIL:
1739 if (drawbuffer != 0)
1740 {
1741 context->recordError(Error(GL_INVALID_VALUE));
1742 return false;
1743 }
1744 break;
1745
1746 default:
1747 context->recordError(Error(GL_INVALID_ENUM));
1748 return false;
1749 }
1750
1751 return ValidateClearBuffer(context);
1752}
1753
1754bool ValidateDrawBuffers(ValidationContext *context, GLsizei n, const GLenum *bufs)
1755{
1756 if (context->getClientVersion() < 3)
1757 {
1758 context->recordError(Error(GL_INVALID_OPERATION, "Context does not support GLES3."));
1759 return false;
1760 }
1761
1762 return ValidateDrawBuffersBase(context, n, bufs);
1763}
1764
1765bool ValidateCopyTexSubImage3D(Context *context,
1766 GLenum target,
1767 GLint level,
1768 GLint xoffset,
1769 GLint yoffset,
1770 GLint zoffset,
1771 GLint x,
1772 GLint y,
1773 GLsizei width,
1774 GLsizei height)
1775{
1776 if (context->getClientVersion() < 3)
1777 {
1778 context->recordError(Error(GL_INVALID_OPERATION));
1779 return false;
1780 }
1781
Ian Ewellfc7cf8e2016-01-20 15:57:46 -05001782 return ValidateES3CopyTexImage3DParameters(context, target, level, GL_NONE, true, xoffset,
1783 yoffset, zoffset, x, y, width, height, 0);
Jamie Madillc29968b2016-01-20 11:17:23 -05001784}
1785
Jamie Madill73a84962016-02-12 09:27:23 -05001786bool ValidateTexImage3D(Context *context,
1787 GLenum target,
1788 GLint level,
1789 GLint internalformat,
1790 GLsizei width,
1791 GLsizei height,
1792 GLsizei depth,
1793 GLint border,
1794 GLenum format,
1795 GLenum type,
1796 const GLvoid *pixels)
1797{
1798 if (context->getClientVersion() < 3)
1799 {
1800 context->recordError(Error(GL_INVALID_OPERATION));
1801 return false;
1802 }
1803
1804 return ValidateES3TexImage3DParameters(context, target, level, internalformat, false, false, 0,
1805 0, 0, width, height, depth, border, format, type,
1806 pixels);
1807}
1808
1809bool ValidateTexSubImage3D(Context *context,
1810 GLenum target,
1811 GLint level,
1812 GLint xoffset,
1813 GLint yoffset,
1814 GLint zoffset,
1815 GLsizei width,
1816 GLsizei height,
1817 GLsizei depth,
1818 GLenum format,
1819 GLenum type,
1820 const GLvoid *pixels)
1821{
1822 if (context->getClientVersion() < 3)
1823 {
1824 context->recordError(Error(GL_INVALID_OPERATION));
1825 return false;
1826 }
1827
1828 return ValidateES3TexImage3DParameters(context, target, level, GL_NONE, false, true, xoffset,
1829 yoffset, zoffset, width, height, depth, 0, format, type,
1830 pixels);
1831}
1832
1833bool ValidateCompressedTexSubImage3D(Context *context,
1834 GLenum target,
1835 GLint level,
1836 GLint xoffset,
1837 GLint yoffset,
1838 GLint zoffset,
1839 GLsizei width,
1840 GLsizei height,
1841 GLsizei depth,
1842 GLenum format,
1843 GLsizei imageSize,
1844 const GLvoid *data)
1845{
1846 if (context->getClientVersion() < 3)
1847 {
1848 context->recordError(Error(GL_INVALID_OPERATION));
1849 return false;
1850 }
1851
1852 const InternalFormat &formatInfo = GetInternalFormatInfo(format);
1853 if (imageSize < 0 ||
1854 static_cast<GLuint>(imageSize) !=
1855 formatInfo.computeBlockSize(GL_UNSIGNED_BYTE, width, height))
1856 {
1857 context->recordError(Error(GL_INVALID_VALUE));
1858 return false;
1859 }
1860
1861 if (!data)
1862 {
1863 context->recordError(Error(GL_INVALID_VALUE));
1864 return false;
1865 }
1866
1867 return ValidateES3TexImage3DParameters(context, target, level, GL_NONE, true, true, 0, 0, 0,
1868 width, height, depth, 0, GL_NONE, GL_NONE, data);
1869}
1870
Jamie Madillc29968b2016-01-20 11:17:23 -05001871} // namespace gl