src/mesa/main/api_validate.c

   1 /*
   2  * Mesa 3-D graphics library
   3  * Version:  7.1
   4  *
   5  * Copyright (C) 1999-2007  Brian Paul   All Rights Reserved.
   6  *
   7  * Permission is hereby granted, free of charge, to any person obtaining a
   8  * copy of this software and associated documentation files (the "Software"),
   9  * to deal in the Software without restriction, including without limitation
  10  * the rights to use, copy, modify, merge, publish, distribute, sublicense,
  11  * and/or sell copies of the Software, and to permit persons to whom the
  12  * Software is furnished to do so, subject to the following conditions:
  13  *
  14  * The above copyright notice and this permission notice shall be included
  15  * in all copies or substantial portions of the Software.
  16  *
  17  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
  18  * OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
  19  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.  IN NO EVENT SHALL
  20  * BRIAN PAUL BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN
  21  * AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
  22  * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
  23  */
  24
  25 #include "glheader.h"
  26 #include "api_validate.h"
  27 #include "context.h"
  28 #include "imports.h"
  29 #include "mtypes.h"
  30 #include "state.h"
  31
  32
  33 /**
  34  * Find the max index in the given element/index buffer
  35  */
  36 static GLuint
  37 max_buffer_index(GLcontext *ctx, GLuint count, GLenum type,
  38                  const void *indices,
  39                  struct gl_buffer_object *elementBuf)
  40 {
  41    const GLubyte *map = NULL;
  42    GLuint max = 0;
  43    GLint i;
  44
  45    if (elementBuf->Name) {
  46       /* elements are in a user-defined buffer object.  need to map it */
  47       map = ctx->Driver.MapBuffer(ctx,
  48                                   GL_ELEMENT_ARRAY_BUFFER_ARB,
  49                                   GL_READ_ONLY,
  50                                   elementBuf);
  51       /* Actual address is the sum of pointers */
  52       indices = (const GLvoid *) ADD_POINTERS(map, (const GLubyte *) indices);
  53    }
  54
  55    if (type == GL_UNSIGNED_INT) {
  56       for (i = 0; i < count; i++)
  57          if (((GLuint *) indices)[i] > max)
  58             max = ((GLuint *) indices)[i];
  59    }
  60    else if (type == GL_UNSIGNED_SHORT) {
  61       for (i = 0; i < count; i++)
  62          if (((GLushort *) indices)[i] > max)
  63             max = ((GLushort *) indices)[i];
  64    }
  65    else {
  66       ASSERT(type == GL_UNSIGNED_BYTE);
  67       for (i = 0; i < count; i++)
  68          if (((GLubyte *) indices)[i] > max)
  69             max = ((GLubyte *) indices)[i];
  70    }
  71
  72    if (map) {
  73       ctx->Driver.UnmapBuffer(ctx,
  74                               GL_ELEMENT_ARRAY_BUFFER_ARB,
  75                               ctx->Array.ElementArrayBufferObj);
  76    }
  77
  78    return max;
  79 }
  80
  81 static GLboolean
  82 check_valid_to_render(GLcontext *ctx, char *function)
  83 {
  84    if (ctx->DrawBuffer->_Status != GL_FRAMEBUFFER_COMPLETE_EXT) {
  85       _mesa_error(ctx, GL_INVALID_FRAMEBUFFER_OPERATION_EXT,
  86                   "glDraw%s(incomplete framebuffer)", function);
  87       return GL_FALSE;
  88    }
  89
  90    /* Always need vertex positions, unless a vertex program is in use */
  91    if (!ctx->VertexProgram._Current &&
  92        !ctx->Array.ArrayObj->Vertex.Enabled &&
  93        !ctx->Array.ArrayObj->VertexAttrib[0].Enabled)
  94       return GL_FALSE;
  95
  96    return GL_TRUE;
  97 }
  98
  99 GLboolean
 100 _mesa_validate_DrawElements(GLcontext *ctx,
 101                             GLenum mode, GLsizei count, GLenum type,
 102                             const GLvoid *indices)
 103 {
 104    ASSERT_OUTSIDE_BEGIN_END_WITH_RETVAL(ctx,  GL_FALSE);
 105
 106    if (count <= 0) {
 107       if (count < 0)
 108          _mesa_error(ctx, GL_INVALID_VALUE, "glDrawElements(count)" );
 109       return GL_FALSE;
 110    }
 111
 112    if (mode > GL_POLYGON) {
 113       _mesa_error(ctx, GL_INVALID_ENUM, "glDrawElements(mode)" );
 114       return GL_FALSE;
 115    }
 116
 117    if (type != GL_UNSIGNED_INT &&
 118        type != GL_UNSIGNED_BYTE &&
 119        type != GL_UNSIGNED_SHORT)
 120    {
 121       _mesa_error(ctx, GL_INVALID_ENUM, "glDrawElements(type)" );
 122       return GL_FALSE;
 123    }
 124
 125    if (ctx->NewState)
 126       _mesa_update_state(ctx);
 127
 128    if (!check_valid_to_render(ctx, "Elements"))
 129       return GL_FALSE;
 130
 131    /* Vertex buffer object tests */
 132    if (ctx->Array.ElementArrayBufferObj->Name) {
 133       /* use indices in the buffer object */
 134       GLuint indexBytes;
 135
 136       if (!ctx->Array.ElementArrayBufferObj->Size) {
 137          _mesa_warning(ctx,
 138                        "glDrawElements called with empty array elements buffer");
 139          return GL_FALSE;
 140       }
 141
 142       if (type == GL_UNSIGNED_INT) {
 143          indexBytes = count * sizeof(GLuint);
 144       }
 145       else if (type == GL_UNSIGNED_BYTE) {
 146          indexBytes = count * sizeof(GLubyte);
 147       }
 148       else {
 149          ASSERT(type == GL_UNSIGNED_SHORT);
 150          indexBytes = count * sizeof(GLushort);
 151       }
 152
 153       /* make sure count doesn't go outside buffer bounds */
 154       if (indexBytes > (GLuint) ctx->Array.ElementArrayBufferObj->Size) {
 155          _mesa_warning(ctx, "glDrawElements index out of buffer bounds");
 156          return GL_FALSE;
 157       }
 158    }
 159    else {
 160       /* not using a VBO */
 161       if (!indices)
 162          return GL_FALSE;
 163    }
 164
 165    if (ctx->Const.CheckArrayBounds) {
 166       /* find max array index */
 167       GLuint max = max_buffer_index(ctx, count, type, indices,
 168                                     ctx->Array.ElementArrayBufferObj);
 169       if (max >= ctx->Array._MaxElement) {
 170          /* the max element is out of bounds of one or more enabled arrays */
 171          return GL_FALSE;
 172       }
 173    }
 174
 175    return GL_TRUE;
 176 }
 177
 178 GLboolean
 179 _mesa_validate_DrawRangeElements(GLcontext *ctx, GLenum mode,
 180                                  GLuint start, GLuint end,
 181                                  GLsizei count, GLenum type,
 182                                  const GLvoid *indices)
 183 {
 184    ASSERT_OUTSIDE_BEGIN_END_WITH_RETVAL(ctx, GL_FALSE);
 185
 186    if (count <= 0) {
 187       if (count < 0)
 188          _mesa_error(ctx, GL_INVALID_VALUE, "glDrawRangeElements(count)" );
 189       return GL_FALSE;
 190    }
 191
 192    if (mode > GL_POLYGON) {
 193       _mesa_error(ctx, GL_INVALID_ENUM, "glDrawRangeElements(mode)" );
 194       return GL_FALSE;
 195    }
 196
 197    if (end < start) {
 198       _mesa_error(ctx, GL_INVALID_VALUE, "glDrawRangeElements(end<start)");
 199       return GL_FALSE;
 200    }
 201
 202    if (type != GL_UNSIGNED_INT &&
 203        type != GL_UNSIGNED_BYTE &&
 204        type != GL_UNSIGNED_SHORT) {
 205       _mesa_error(ctx, GL_INVALID_ENUM, "glDrawRangeElements(type)" );
 206       return GL_FALSE;
 207    }
 208
 209    if (ctx->NewState)
 210       _mesa_update_state(ctx);
 211
 212    if (!check_valid_to_render(ctx, "RangeElements"))
 213       return GL_FALSE;
 214
 215    /* Vertex buffer object tests */
 216    if (ctx->Array.ElementArrayBufferObj->Name) {
 217       /* use indices in the buffer object */
 218       GLuint indexBytes;
 219
 220       if (type == GL_UNSIGNED_INT) {
 221          indexBytes = count * sizeof(GLuint);
 222       }
 223       else if (type == GL_UNSIGNED_BYTE) {
 224          indexBytes = count * sizeof(GLubyte);
 225       }
 226       else {
 227          ASSERT(type == GL_UNSIGNED_SHORT);
 228          indexBytes = count * sizeof(GLushort);
 229       }
 230
 231       /* make sure count doesn't go outside buffer bounds */
 232       if (indexBytes > ctx->Array.ElementArrayBufferObj->Size) {
 233          _mesa_warning(ctx, "glDrawRangeElements index out of buffer bounds");
 234          return GL_FALSE;
 235       }
 236    }
 237    else {
 238       /* not using a VBO */
 239       if (!indices)
 240          return GL_FALSE;
 241    }
 242
 243    if (ctx->Const.CheckArrayBounds) {
 244       GLuint max = max_buffer_index(ctx, count, type, indices,
 245                                     ctx->Array.ElementArrayBufferObj);
 246       if (max >= ctx->Array._MaxElement) {
 247          /* the max element is out of bounds of one or more enabled arrays */
 248          return GL_FALSE;
 249       }
 250    }
 251
 252    return GL_TRUE;
 253 }
 254
 255
 256 /**
 257  * Called from the tnl module to error check the function parameters and
 258  * verify that we really can draw something.
 259  */
 260 GLboolean
 261 _mesa_validate_DrawArrays(GLcontext *ctx,
 262                           GLenum mode, GLint start, GLsizei count)
 263 {
 264    ASSERT_OUTSIDE_BEGIN_END_WITH_RETVAL(ctx, GL_FALSE);
 265
 266    if (count <= 0) {
 267       if (count < 0)
 268          _mesa_error(ctx, GL_INVALID_VALUE, "glDrawArrays(count)" );
 269       return GL_FALSE;
 270    }
 271
 272    if (mode > GL_POLYGON) {
 273       _mesa_error(ctx, GL_INVALID_ENUM, "glDrawArrays(mode)" );
 274       return GL_FALSE;
 275    }
 276
 277    if (ctx->NewState)
 278       _mesa_update_state(ctx);
 279
 280    if (!check_valid_to_render(ctx, "Arrays"))
 281       return GL_FALSE;
 282
 283    if (ctx->Const.CheckArrayBounds) {
 284       if (start + count > (GLint) ctx->Array._MaxElement)
 285          return GL_FALSE;
 286    }
 287
 288    return GL_TRUE;
 289 }