ir_constant: Don't assert on out-of-bounds array accesses

Several optimization paths, including constant folding, can lead to
accessing an ir_constant array with an out of bounds index.  The GLSL
spec lets us produce "undefined" results, but it does not let us
crash.

Fixes piglit test case glsl-array-bounds-01 and glsl-array-bounds-03.

mesa: Dump shader source before validating the shader.

This will make extracting source to produce minimal testcases for
shader compile issues easier.

r600c: fix dword miscount in blit emit code

targets/egl: Link with DRI_LIB_DEPS.

Use DRI_LIB_DEPS when linking GL/GLES state trackers.  This fixes
missing talloc symbol errors, and is hopefully more future proof.

gallivm: Fix and re-enable MMX-disabling code

Signed-off-by: José Fonseca <jfonseca@vmware.com>

mesa: fix es1/2 build hopefully

needed to add cpp rules and includes properly for es1/es2

r300g: fix context destroy under hyperz

we were destroying the mm before unrefing all the objects, so segfault.

Signed-off-by: Dave Airlie <airlied@redhat.com>

scons: Add -fno-common for 64-bit builds on Mac OS X.

This option is also needed for 64-bit builds if llvm is enabled.
Other the build fails during linking.

r600g: kill event type magic number in winsys

these events have names, use them.

configs: Add -ltalloc to linux-dri.

Fixes build after glsl2 branch merge, which added talloc dependency.

r600g: add user clip plane support.

Apart from the fact that the radeon.h/r600_states.h editing is a nightmare, this
wasn't so bad.

passes piglit user-clip test now also trivial tests.

Signed-off-by: Dave Airlie <airlied@redhat.com>

i965: Use the implied move available in most brw_wm_emit brw_math() calls.

This saves an extra message reg move in the program, though I'm not
clear on whether it will have any performance impact other than cache
footprint.  It will also fix those math calls on Sandybridge, where
the brw_eu_emit.c brw_math() support relies on the implied move being
used.

i965: Add disasm for Compr4 instruction compression.

Merge branch 'glsl2'

Conflicts:
src/mesa/program/prog_optimize.c

util: Remove check_os_katmai_support.

check_os_katmai_support checks that the operating system running on a
SSE-capable processor supports SSE. This is necessary for unpatched
2.2.x and earlier kernels. 2.4.x and later kernels support SSE.

check_os_katmai_support will disable SSE capabilities for 32-bit x86
operating systems for which there is no code path. Currently, this
function handles Linux, Windows, and several BSDs. Mac OS, Cygwin, and
Solaris are several operating systems with no code paths.

Rather than add code for the unhandled operating systems, remove this
function altogether. This will fix SSE detection on all recent 32-bit
x86 operating systems. This completely breaks functionality on unpatched
2.2.x and earlier kernels, although there are likely no Gallium3D users
on such operating systems.

r600g: drop libdrm_radeon link

glsl2: Refresh autogenerated file builtin_function.cpp.

glsl2: Add builtins profile for GLSL 1.30.

Many functions are currently wrapped with #if 0 since we haven't
implemented them yet.

linker: Include compiler.h to avoid spurious warnings about INLINE

glsl2: Silence unused variable warning

translate: Move loop variable declaration outside for loop.

Fixes MSVC build.

glcpp: Refresh autogenerated lexer and parser.

glcpp: Remove spurious newline generated by #version handling.

This was causing line numbering to be off by one.  The newline comes
from the NEWLINE token at the end of the line; there's no need to
insert one.

r300g: fix assert in the rasterizer block for r3xx-r4xx

Reported-by: Niels Ole Salscheider <niels_ole@salscheider-online.de>

ir_to_mesa: Silence unused variable warnings

ir_to_mesa: Clean up assertions in ir_to_mesa_visitor::visit(ir_texture *)

ir_to_mesa: Support texture rectangle targets

translate: Remove unused temporary register.

Assuming the side-effect of x86_make_reg is also unnecessary.

translate: Eliminate void pointer arithmetic.

Non-portable.

st/egl: Add support for EGL_KHR_fence_sync.

The extension is implemented by pipe_fence_handle.

egl: Add support for EGL_KHR_fence_sync.

Individual drivers still need to support and enable the extension.

st/egl: Add support for EGL_KHR_reusable_sync.

The extension is implemented by pipe_condvar.

egl: Add support for EGL_KHR_reusable_sync.

Individual drivers still need to support and enable the extension.

egl: Update eglext.h.

Update to version 7 for EGL_KHR_fence_sync.

r600c: blit emit updates

- set VGT_MAX_VTX_INDX to a larger value
- emit PA_SC_AA_CONFIG.  The command checker in 2.6.36+
  requires this reg.

draw_llvm: fix segfaults on non-SSE2 CPUs where it is disabled (v2)

Changes in v2:
- Change function name

Currently draw_llvm refuses to create itself on non-SSE2 CPUs due to
an alleged LLVM bug.

However, this is implemented improperly, because other parts of draw
still attempt to access draw->llvm, resulting in segfaults.

Instead, put the check in debug_get_option_draw_use_llvm, check that
before calling draw_llvm_create, and then check whether draw->llvm is
non-null everywhere else.

translate_sse: major rewrite (v5)

NOTE: Win64 is untested, and is thus currently disabled.
If you have such a system, please enable it and report whether it works.
To enable it, change src/gallium/auxiliary/translate/translate.c

Changes in v5:
- On Win64, preserve %xmm6 and %xmm7 as required by the ABI
- Use _WIN64 instead of WIN64

Changes in v4:
- Use x86_target() and x86_target_caps()
- Enable translate_sse in x86-64, but not in Win64

Changes in v3:
- Win64 support (untested)
- Use u_cpu_detect.h constants instead of #ifs

Changes in v2:
- Minimize #ifs
- Give a name to magic number CHANNELS_0001
- Add support for CPUs without SSE (only memcpy and swizzles, like non SSE2)
- Fixed comments

translate_sse is currently very limited to the point of
being useless in essentially all cases.

In particular, it only support some float32 and unorm8
formats and doesn't work on x86-64.

This commit rewrites it to support:
1. Dumb memory copy for any pair of identical formats
2. All formats that are swizzles of each other
3. Converting 32/64-bit floats and all 8/16/32-bit integers to 32-bit float
4. Converting unorm8/snorm8 to snorm16 and uscaled8/sscaled8 to sscaled16
5. Support for x86-64 (doesn't take advantage of it in any way though)

This new translate can even be useful to translate index buffers for
cards that lack 8-bit index support.

It passes the testsuite I wrote, but note that this is a major change, and more
testing would be great.

rtasm: add minimal x86-64 support and new instructions (v5)

Changes in v5:
- Add sse2_movdqa

Changes in v4:
- Use _WIN64 instead of WIN64

Changes in v3:
- Add target and target caps functions, so that they could be different in
  principle from the current CPU and they don't need #ifs to check

Changes in v2:
- Win64 support (untested)
- Use u_cpu_detect.h constants instead of #ifs

This commit adds minimal x86-64 support: only movs between registers
are supported for r8-r15, and x64_rexw() must be used to ask for 64-bit
operations.

It also adds several new instructions for the new translate_sse code.

movdqa

translate: add support for 8/16-bit indices

Currently, only 32-bit indices are supported, but some use cases
translate needs support for all types.

translate_sse: remove useless generated function wrappers

Currently translate_sse puts two trivial wrappers in the translate vtable.

These slow it down and enlarge the source code for no gain, except perhaps
the ability to set a breakpoint there, so remove them.

Breakpoints can be set on the caller of the translate functions, with no
loss of functionality.

translate_generic: factor out common code between linear and indexed

This moves the common code into a separate ALWAYS_INLINE function.

translate_generic: use memcpy if possible (v3)

Changes in v3:
- If we can do a copy, don't try to get an emit func, as that can assert(0)

Changes in v2:
- Add comment regarding copy_size

When used in GPU drivers, translate can be used to simultaneously
perform a gather operation, and convert away from unsupported formats.

In this use case, input and output formats will often be identical: clearly
it would make sense to use a memcpy in this case.

Instead, translate will insist to convert to and from 32-bit floating point
numbers.

This is not only extremely expensive, but it also loses precision for
32/64-bit integers and 64-bit floating point numbers.

This patch changes translate_generic to just use memcpy if the formats are
identical, non-blocked, and with an integral number of bytes per pixel (note
that all sensible vertex formats are like this).

drwa: Fix polygon edge flags.

Fix a copy-and-paste error introduced by
f141abdc8fdbff41e16b0ce53fa3fa8fba32a7f9.

draw: No need to make max_vertices even.

Triangle strip alternates the front/back orientation of its triangles.
max_vertices was made even so that varray never splitted a triangle
strip at the wrong positions.

It did not work with triangle strips with adjacencies.  And it is no
longer relevant with vsplit.

draw: Remove DRAW_PIPE_MAX_VERTICES and DRAW_PIPE_FLAG_MASK.

The higher bits of draw elements are no longer used for the stipple or
edge flags.

drwa: Add PRIMITIVE macro to vsplit.

PRIMITIVE is used by the indexed path to flush the entire primitive with
custom vertex count checks.  It replaces the existing fast path.

draw: last_vertex_last is always true for GS and SO.

That is, OpenGL decomposition rule is assumed.  There should be a
pipe_context state to specify the rules.

draw: Remove varray and vcache.

They have been deprecated by vsplit.

draw: Replace vcache by vsplit.

vcache decomposes primitives while vsplit splits primitives.  Splitting
is generally easier to do and is faster.  More importantly, vcache
depends on flatshade_first to decompose.  The outputs may have incorrect
vertex order which is significant to GS.

draw: Replace varray by vsplit.

vsplit is a superset of varray.  It sets the split flags comparing to
varray.

draw: Add vsplit frontend.

vsplit is based on varray.  It sets the split flags when a primitive is
splitted.  It also has support for indexed primitives.

For indexed primitives, unlike vcache, vsplit splits the primitives
instead of decomposes them.

draw: Add new util function draw_pt_trim_count.

draw_pt_trim_count is renamed from trim in draw_pt.c.

draw: Simplify frontend interface a little.

The run method is simplified to take the start vertex and the vertex
count.

draw: Add prim flags to middle ends.

Update the middle end interface to pass the primitive flags from the
frontends to the pipeline.  No frontend sets the flags yet.

draw: Add flags to draw_prim_info.

A primitive may be splitted in frontends.  The splitted primitives
should convey certain flag bits so that the decomposer can correctly
decide the stipple or edge flags.

This commit adds flags to draw_prim_info and updates the decomposer to
honor the flags.  Frontends and middle ends will be updated later.

st/mesa: test for FEATURE defines

'struct dd_function_table' only conditionally contains
the function pointer NewFramebuffer and friends based on
FEATURE_EXT_framebuffer_* defines. (See src/mesa/main/dd.h)

Fixes the build when the features are disabled and the vfuncs
don't exist.

dri/nouveau: test for FEATURE defines

'struct dd_function_table' only conditionally contains
the function pointer NewFramebuffer and friends based on
FEATURE_EXT_framebuffer_* defines. (See src/mesa/main/dd.h)

Fixes the build when the features are disabled and the vfuncs
don't exist.

dri/radeon: test for FEATURE defines

'struct dd_function_table' only conditionally contains
the function pointer NewFramebuffer and friends based on
FEATURE_EXT_framebuffer_* defines. (See src/mesa/main/dd.h)

Fixes the build when the features are disabled and the vfuncs
don't exist.

x86: Remove unnecessary header from sse.h.

x86: Include missing headers in mmx.h.

Include compiler.h for _ASMAPI symbol.
Include mtypes.h for GLcontext symbol.

x86: Remove unnecessary header from 3dnow.h.

glsl: Clean up header file inclusion in slang_typeinfo.h.

Remove imports.h, mtypes.h, and slang_vartable.h.
Include glheader.h for GL symbols.

glsl: Include missing header in slang_codegen.h.

Include slang_vartable.h for slang_var_table symbol.

glsl: Include missing header in slang_compile_operation.h.

Include compiler.h for INLINE symbol.

glsl: Clean up header file inclusion in slang_storage.h.

Remove slang_compile.h.
Include glheader.h for GL symbols.
Include slang_compile_function.h for slang_function_scope symbol.
Include slang_compile_struct.h for slang_struct_scope symbol.
Include slang_compile_variable.h for slang_variable_scope symbol.
Include slang_typeinfo.h for slang_type_specifier symbol.
Include slang_utility.h for slang_atom_pool symbol.

glsl: Clean up header file inclusion in slang_mem.h.

slang_mem.h
Remove imports.h.
Include glheader.h for GL symbols.

slang_label.c
Include imports.h now that slang_mem.c does not include it.

glsl: Clean up header file inclusion in slang_ir.h.

Remove imports.h and slang_compile.h.
Include glheader.h for GL symbols.
Include slang_compile_variable.h for slang_variable symbol.

glsl: Include missing header in slang_link.c.

Include slang_compile.h for _slang_compile function.

glsl: Include missing headers in slang_builtin.c.

Include slang_typeinfo.h for slang_type_specifier symbol.
Include slang_compiler_struct.h for slang_struct_ symbol.

r300g: fix an invalid pointer in free

r300g: Let hyperz init fail

Signed-off-by: Marek Olšák <maraeo@gmail.com>

r300g: Fix leaks in failed context creation

This changes r300_destroy_context() so it can be called
on a partially-initialized context, and uses it when
r300_create_context() hits a fatal error.

This makes sure r300_create_context() doesn't leak memory
or neglect to call r300_update_num_contexts() when it fails.

Signed-off-by: Marek Olšák <maraeo@gmail.com>

r300g: Fix macro

This fixes a potential bug if (has_hyperz) is false
(it would still init the atom as if has_hyperz were true).

Signed-off-by: Marek Olšák <maraeo@gmail.com>

st/mesa: remove output register reads inside shaders

This is a GLSL2 regression fix.

r300/compiler: implement DP2 opcode

r300/compiler: implement SSG opcode

r300/compiler: fix allocation of temporaries in radeonTransformTEX

llvmpipe: special case triangles which fall in a single 16x16 block

Check for these and route them to a dedicated handler with one fewer
levels of recursive rasterization.

mesa: Check that _XOPEN_SOURCE is defined before using it.

llvmpipe: consolidate several loops in lp_rast_triangle

llvmpipe: remove all traces of step arrays, pos_tables

No need to calculate these values any longer, nor to store them in the
bin data.  Improves isosurf a bit more, 115->123 fps.

llvmpipe: eliminate last usage of step array in rast_tmp.h

For 16 and 64 pixel levels, calculate a mask which is linear in x and
y (ie not in the swizzle layout).

When iterating over full and partial masks, figure out position by
manipulating the bit number set in the mask, rather than relying on
postion arrays.

Similarly, calculate the lower-level c values from dcdx, dcdy and the
position rather than relying on the step array.

llvmpipe: don't refer to plane->step when dcdx or dcdy would do

llvmpipe: also use build_mask at 16, 64 pixel levels

llvmpipe: version of block4 which doesn't need the full step array

No noticable slowdown with isosurf.

llvmpipe: reorganize block4 loop, nice speedup

isosurf 95->115 fps just by exchanging the two inner loops in this
function...

gallium/docs: Cleanup debugging. Spelling, grammar, organization.

gallium/docs: Add formatting for envvar role; change debugging.

Per Jakob's request. Not super-pretty, but it's a good point for modding
later.

glsl: Fix self inclusion in slang_compile_function.h.

Fix self inclusion introduced by commit
4fef77c7c5455b983daa93cacf90d2b3baa3967e.

glsl: Include missing header in slang_ir.h.

Include prog_instruction.h for gl_inst_opcode symbol.

glsl: Clean up header file inclusion in slang_link.h.

Remove slang_compile.h.
Include mtypes.h for GLcontext symbol.

glsl: Clean up header file inclusion in slang_label.h.

Move mtypes.h and prog_instruction.h to slang_label.c.
Remove imports.h.
Include glheader.h from GL symbols.

r300g: mark HiZ/ZMask_clear atoms as non-dirty after emission in clear

glsl: Clean up header file inclusion in slang_emit.h.

Remove imports.h.
Remove mtypes.h.
Remove slang_compile.h.
Include glheader.h for GL symbols.
Include slang_vartable.h for slang_var_table symbol.

glsl: Clean up header file inclusion in slang_compile.h.

Remove imports.h.
Remove slang_typeinfo.h.
Remove slang_compile_operation.h.
Include glheader.h for GL symbols.
Include slang_utility.h for slang_atom_pool symbol.

glsl: Include missing headers in slang_compile_struct.h.

Include glheader.h for GL symbols.
Include slang_utility.h for slang_atom symbol.

r300g: do not use HiZ if HiZ RAM is not properly initialized

r300g: rename dirty_zmask -> zmask_in_use

r300g: do not clear with blitter if we clear just the ZMask RAM

This skips the blitter clear path entirely if the color is not cleared and
the depth+stencil is cleared with the ZMask.

r300g: do not use fastfill if ZMask RAM is not properly initialized

z_fastfill -> dirty_zmask[level].