docs: Start mathifying TGSI insts.

This commit is contained in:
Corbin Simpson 2009-12-21 19:12:55 -08:00
parent 9ddeab48c8
commit e8ed3b9607
2 changed files with 224 additions and 38 deletions

View File

@ -22,7 +22,7 @@ import sys, os
# Add any Sphinx extension module names here, as strings. They can be extensions
# coming with Sphinx (named 'sphinx.ext.*') or your custom ones.
extensions = []
extensions = ['sphinx.ext.pngmath']
# Add any paths that contain templates here, relative to this directory.
templates_path = ['_templates']

View File

@ -6,196 +6,299 @@ for describing shaders. Since Gallium is inherently shaderful, shaders are
an important part of the API. TGSI is the only intermediate representation
used by all drivers.
TGSI Instruction Specification
==============================
1 Instruction Set Operations
=============================
1.1 GL_NV_vertex_program
From GL_NV_vertex_program
-------------------------
1.1.1 ARL - Address Register Load
ARL - Address Register Load
.. math::
dst.x = floor(src.x)
dst.y = floor(src.y)
dst.z = floor(src.z)
dst.w = floor(src.w)
1.1.2 MOV - Move
MOV - Move
.. math::
dst.x = src.x
dst.y = src.y
dst.z = src.z
dst.w = src.w
1.1.3 LIT - Light Coefficients
LIT - Light Coefficients
.. math::
dst.x = 1.0
dst.y = max(src.x, 0.0)
dst.z = (src.x > 0.0) ? pow(max(src.y, 0.0), clamp(src.w, -128.0, 128.0)) : 0.0
dst.w = 1.0
1.1.4 RCP - Reciprocal
RCP - Reciprocal
.. math::
dst.x = 1.0 / src.x
dst.y = 1.0 / src.x
dst.z = 1.0 / src.x
dst.w = 1.0 / src.x
1.1.5 RSQ - Reciprocal Square Root
RSQ - Reciprocal Square Root
.. math::
dst.x = 1.0 / sqrt(abs(src.x))
dst.y = 1.0 / sqrt(abs(src.x))
dst.z = 1.0 / sqrt(abs(src.x))
dst.w = 1.0 / sqrt(abs(src.x))
1.1.6 EXP - Approximate Exponential Base 2
EXP - Approximate Exponential Base 2
.. math::
dst.x = pow(2.0, floor(src.x))
dst.y = src.x - floor(src.x)
dst.z = pow(2.0, src.x)
dst.w = 1.0
1.1.7 LOG - Approximate Logarithm Base 2
LOG - Approximate Logarithm Base 2
.. math::
dst.x = floor(lg2(abs(src.x)))
dst.y = abs(src.x) / pow(2.0, floor(lg2(abs(src.x))))
dst.z = lg2(abs(src.x))
dst.w = 1.0
1.1.8 MUL - Multiply
MUL - Multiply
.. math::
dst.x = src0.x * src1.x
dst.y = src0.y * src1.y
dst.z = src0.z * src1.z
dst.w = src0.w * src1.w
1.1.9 ADD - Add
ADD - Add
.. math::
dst.x = src0.x + src1.x
dst.y = src0.y + src1.y
dst.z = src0.z + src1.z
dst.w = src0.w + src1.w
1.1.10 DP3 - 3-component Dot Product
DP3 - 3-component Dot Product
.. math::
dst.x = src0.x * src1.x + src0.y * src1.y + src0.z * src1.z
dst.y = src0.x * src1.x + src0.y * src1.y + src0.z * src1.z
dst.z = src0.x * src1.x + src0.y * src1.y + src0.z * src1.z
dst.w = src0.x * src1.x + src0.y * src1.y + src0.z * src1.z
1.1.11 DP4 - 4-component Dot Product
DP4 - 4-component Dot Product
.. math::
dst.x = src0.x * src1.x + src0.y * src1.y + src0.z * src1.z + src0.w * src1.w
dst.y = src0.x * src1.x + src0.y * src1.y + src0.z * src1.z + src0.w * src1.w
dst.z = src0.x * src1.x + src0.y * src1.y + src0.z * src1.z + src0.w * src1.w
dst.w = src0.x * src1.x + src0.y * src1.y + src0.z * src1.z + src0.w * src1.w
1.1.12 DST - Distance Vector
DST - Distance Vector
.. math::
dst.x = 1.0
dst.y = src0.y * src1.y
dst.z = src0.z
dst.w = src1.w
1.1.13 MIN - Minimum
MIN - Minimum
.. math::
dst.x = min(src0.x, src1.x)
dst.y = min(src0.y, src1.y)
dst.z = min(src0.z, src1.z)
dst.w = min(src0.w, src1.w)
1.1.14 MAX - Maximum
MAX - Maximum
.. math::
dst.x = max(src0.x, src1.x)
dst.y = max(src0.y, src1.y)
dst.z = max(src0.z, src1.z)
dst.w = max(src0.w, src1.w)
1.1.15 SLT - Set On Less Than
SLT - Set On Less Than
.. math::
dst.x = (src0.x < src1.x) ? 1.0 : 0.0
dst.y = (src0.y < src1.y) ? 1.0 : 0.0
dst.z = (src0.z < src1.z) ? 1.0 : 0.0
dst.w = (src0.w < src1.w) ? 1.0 : 0.0
1.1.16 SGE - Set On Greater Equal Than
SGE - Set On Greater Equal Than
.. math::
dst.x = (src0.x >= src1.x) ? 1.0 : 0.0
dst.y = (src0.y >= src1.y) ? 1.0 : 0.0
dst.z = (src0.z >= src1.z) ? 1.0 : 0.0
dst.w = (src0.w >= src1.w) ? 1.0 : 0.0
1.1.17 MAD - Multiply And Add
MAD - Multiply And Add
.. math::
dst.x = src0.x * src1.x + src2.x
dst.y = src0.y * src1.y + src2.y
dst.z = src0.z * src1.z + src2.z
dst.w = src0.w * src1.w + src2.w
1.2.1 SUB - Subtract
SUB - Subtract
.. math::
dst.x = src0.x - src1.x
dst.y = src0.y - src1.y
dst.z = src0.z - src1.z
dst.w = src0.w - src1.w
1.2.4 LRP - Linear Interpolate
LRP - Linear Interpolate
.. math::
dst.x = src0.x * (src1.x - src2.x) + src2.x
dst.y = src0.y * (src1.y - src2.y) + src2.y
dst.z = src0.z * (src1.z - src2.z) + src2.z
dst.w = src0.w * (src1.w - src2.w) + src2.w
1.2.5 CND - Condition
CND - Condition
.. math::
dst.x = (src2.x > 0.5) ? src0.x : src1.x
dst.y = (src2.y > 0.5) ? src0.y : src1.y
dst.z = (src2.z > 0.5) ? src0.z : src1.z
dst.w = (src2.w > 0.5) ? src0.w : src1.w
1.2.7 DP2A - 2-component Dot Product And Add
DP2A - 2-component Dot Product And Add
.. math::
dst.x = src0.x * src1.x + src0.y * src1.y + src2.x
dst.y = src0.x * src1.x + src0.y * src1.y + src2.x
dst.z = src0.x * src1.x + src0.y * src1.y + src2.x
dst.w = src0.x * src1.x + src0.y * src1.y + src2.x
1.3.4 FRAC - Fraction
FRAC - Fraction
.. math::
dst.x = src.x - floor(src.x)
dst.y = src.y - floor(src.y)
dst.z = src.z - floor(src.z)
dst.w = src.w - floor(src.w)
1.3.7 CLAMP - Clamp
CLAMP - Clamp
.. math::
dst.x = clamp(src0.x, src1.x, src2.x)
dst.y = clamp(src0.y, src1.y, src2.y)
@ -205,6 +308,8 @@ TGSI Instruction Specification
1.3.8 FLR - Floor
.. math::
dst.x = floor(src.x)
dst.y = floor(src.y)
dst.z = floor(src.z)
@ -213,6 +318,8 @@ TGSI Instruction Specification
1.3.9 ROUND - Round
.. math::
dst.x = round(src.x)
dst.y = round(src.y)
dst.z = round(src.z)
@ -221,6 +328,8 @@ TGSI Instruction Specification
1.3.10 EX2 - Exponential Base 2
.. math::
dst.x = pow(2.0, src.x)
dst.y = pow(2.0, src.x)
dst.z = pow(2.0, src.x)
@ -229,6 +338,8 @@ TGSI Instruction Specification
1.3.11 LG2 - Logarithm Base 2
.. math::
dst.x = lg2(src.x)
dst.y = lg2(src.x)
dst.z = lg2(src.x)
@ -237,6 +348,8 @@ TGSI Instruction Specification
1.3.12 POW - Power
.. math::
dst.x = pow(src0.x, src1.x)
dst.y = pow(src0.x, src1.x)
dst.z = pow(src0.x, src1.x)
@ -244,6 +357,8 @@ TGSI Instruction Specification
1.3.15 XPD - Cross Product
.. math::
dst.x = src0.y * src1.z - src1.y * src0.z
dst.y = src0.z * src1.x - src1.z * src0.x
dst.z = src0.x * src1.y - src1.x * src0.y
@ -252,6 +367,8 @@ TGSI Instruction Specification
1.4.1 ABS - Absolute
.. math::
dst.x = abs(src.x)
dst.y = abs(src.y)
dst.z = abs(src.z)
@ -260,6 +377,8 @@ TGSI Instruction Specification
1.4.2 RCC - Reciprocal Clamped
.. math::
dst.x = (1.0 / src.x) > 0.0 ? clamp(1.0 / src.x, 5.42101e-020, 1.884467e+019) : clamp(1.0 / src.x, -1.884467e+019, -5.42101e-020)
dst.y = (1.0 / src.x) > 0.0 ? clamp(1.0 / src.x, 5.42101e-020, 1.884467e+019) : clamp(1.0 / src.x, -1.884467e+019, -5.42101e-020)
dst.z = (1.0 / src.x) > 0.0 ? clamp(1.0 / src.x, 5.42101e-020, 1.884467e+019) : clamp(1.0 / src.x, -1.884467e+019, -5.42101e-020)
@ -268,6 +387,8 @@ TGSI Instruction Specification
1.4.3 DPH - Homogeneous Dot Product
.. math::
dst.x = src0.x * src1.x + src0.y * src1.y + src0.z * src1.z + src1.w
dst.y = src0.x * src1.x + src0.y * src1.y + src0.z * src1.z + src1.w
dst.z = src0.x * src1.x + src0.y * src1.y + src0.z * src1.z + src1.w
@ -276,6 +397,8 @@ TGSI Instruction Specification
1.5.1 COS - Cosine
.. math::
dst.x = cos(src.x)
dst.y = cos(src.x)
dst.z = cos(src.x)
@ -284,6 +407,8 @@ TGSI Instruction Specification
1.5.2 DDX - Derivative Relative To X
.. math::
dst.x = partialx(src.x)
dst.y = partialx(src.y)
dst.z = partialx(src.z)
@ -292,6 +417,8 @@ TGSI Instruction Specification
1.5.3 DDY - Derivative Relative To Y
.. math::
dst.x = partialy(src.x)
dst.y = partialy(src.y)
dst.z = partialy(src.z)
@ -300,6 +427,8 @@ TGSI Instruction Specification
1.5.7 KILP - Predicated Discard
.. math::
discard
@ -325,16 +454,20 @@ TGSI Instruction Specification
1.5.15 RFL - Reflection Vector
.. math::
dst.x = 2.0 * (src0.x * src1.x + src0.y * src1.y + src0.z * src1.z) / (src0.x * src0.x + src0.y * src0.y + src0.z * src0.z) * src0.x - src1.x
dst.y = 2.0 * (src0.x * src1.x + src0.y * src1.y + src0.z * src1.z) / (src0.x * src0.x + src0.y * src0.y + src0.z * src0.z) * src0.y - src1.y
dst.z = 2.0 * (src0.x * src1.x + src0.y * src1.y + src0.z * src1.z) / (src0.x * src0.x + src0.y * src0.y + src0.z * src0.z) * src0.z - src1.z
dst.w = 1.0
Considered for removal.
Considered for removal.
1.5.16 SEQ - Set On Equal
.. math::
dst.x = (src0.x == src1.x) ? 1.0 : 0.0
dst.y = (src0.y == src1.y) ? 1.0 : 0.0
dst.z = (src0.z == src1.z) ? 1.0 : 0.0
@ -343,15 +476,19 @@ TGSI Instruction Specification
1.5.17 SFL - Set On False
.. math::
dst.x = 0.0
dst.y = 0.0
dst.z = 0.0
dst.w = 0.0
Considered for removal.
Considered for removal.
1.5.18 SGT - Set On Greater Than
.. math::
dst.x = (src0.x > src1.x) ? 1.0 : 0.0
dst.y = (src0.y > src1.y) ? 1.0 : 0.0
dst.z = (src0.z > src1.z) ? 1.0 : 0.0
@ -360,6 +497,8 @@ TGSI Instruction Specification
1.5.19 SIN - Sine
.. math::
dst.x = sin(src.x)
dst.y = sin(src.x)
dst.z = sin(src.x)
@ -368,6 +507,8 @@ TGSI Instruction Specification
1.5.20 SLE - Set On Less Equal Than
.. math::
dst.x = (src0.x <= src1.x) ? 1.0 : 0.0
dst.y = (src0.y <= src1.y) ? 1.0 : 0.0
dst.z = (src0.z <= src1.z) ? 1.0 : 0.0
@ -376,6 +517,8 @@ TGSI Instruction Specification
1.5.21 SNE - Set On Not Equal
.. math::
dst.x = (src0.x != src1.x) ? 1.0 : 0.0
dst.y = (src0.y != src1.y) ? 1.0 : 0.0
dst.z = (src0.z != src1.z) ? 1.0 : 0.0
@ -384,6 +527,8 @@ TGSI Instruction Specification
1.5.22 STR - Set On True
.. math::
dst.x = 1.0
dst.y = 1.0
dst.z = 1.0
@ -431,12 +576,14 @@ TGSI Instruction Specification
1.5.30 X2D - 2D Coordinate Transformation
.. math::
dst.x = src0.x + src1.x * src2.x + src1.y * src2.y
dst.y = src0.y + src1.x * src2.z + src1.y * src2.w
dst.z = src0.x + src1.x * src2.x + src1.y * src2.y
dst.w = src0.y + src1.x * src2.z + src1.y * src2.w
Considered for removal.
Considered for removal.
1.6 GL_NV_vertex_program2
@ -451,6 +598,8 @@ TGSI Instruction Specification
1.6.2 ARR - Address Register Load With Round
.. math::
dst.x = round(src.x)
dst.y = round(src.y)
dst.z = round(src.z)
@ -478,6 +627,8 @@ TGSI Instruction Specification
1.6.6 SSG - Set Sign
.. math::
dst.x = (src.x > 0.0) ? 1.0 : (src.x < 0.0) ? -1.0 : 0.0
dst.y = (src.y > 0.0) ? 1.0 : (src.y < 0.0) ? -1.0 : 0.0
dst.z = (src.z > 0.0) ? 1.0 : (src.z < 0.0) ? -1.0 : 0.0
@ -486,6 +637,8 @@ TGSI Instruction Specification
1.8.1 CMP - Compare
.. math::
dst.x = (src0.x < 0.0) ? src1.x : src2.x
dst.y = (src0.y < 0.0) ? src1.y : src2.y
dst.z = (src0.z < 0.0) ? src1.z : src2.z
@ -494,6 +647,8 @@ TGSI Instruction Specification
1.8.2 KIL - Conditional Discard
.. math::
if (src.x < 0.0 || src.y < 0.0 || src.z < 0.0 || src.w < 0.0)
discard
endif
@ -501,6 +656,8 @@ TGSI Instruction Specification
1.8.3 SCS - Sine Cosine
.. math::
dst.x = cos(src.x)
dst.y = sin(src.x)
dst.z = 0.0
@ -514,6 +671,8 @@ TGSI Instruction Specification
1.9.1 NRM - 3-component Vector Normalise
.. math::
dst.x = src.x / (src.x * src.x + src.y * src.y + src.z * src.z)
dst.y = src.y / (src.x * src.x + src.y * src.y + src.z * src.z)
dst.z = src.z / (src.x * src.x + src.y * src.y + src.z * src.z)
@ -522,6 +681,8 @@ TGSI Instruction Specification
1.9.2 DIV - Divide
.. math::
dst.x = src0.x / src1.x
dst.y = src0.y / src1.y
dst.z = src0.z / src1.z
@ -530,6 +691,8 @@ TGSI Instruction Specification
1.9.3 DP2 - 2-component Dot Product
.. math::
dst.x = src0.x * src1.x + src0.y * src1.y
dst.y = src0.x * src1.x + src0.y * src1.y
dst.z = src0.x * src1.x + src0.y * src1.y
@ -626,6 +789,8 @@ Support for these opcodes indicated by a special pipe capability bit (TBD).
1.11.1 CEIL - Ceiling
.. math::
dst.x = ceil(src.x)
dst.y = ceil(src.y)
dst.z = ceil(src.z)
@ -634,6 +799,8 @@ Support for these opcodes indicated by a special pipe capability bit (TBD).
1.11.2 I2F - Integer To Float
.. math::
dst.x = (float) src.x
dst.y = (float) src.y
dst.z = (float) src.z
@ -642,6 +809,8 @@ Support for these opcodes indicated by a special pipe capability bit (TBD).
1.11.3 NOT - Bitwise Not
.. math::
dst.x = ~src.x
dst.y = ~src.y
dst.z = ~src.z
@ -650,6 +819,8 @@ Support for these opcodes indicated by a special pipe capability bit (TBD).
1.11.4 TRUNC - Truncate
.. math::
dst.x = trunc(src.x)
dst.y = trunc(src.y)
dst.z = trunc(src.z)
@ -658,6 +829,8 @@ Support for these opcodes indicated by a special pipe capability bit (TBD).
1.11.5 SHL - Shift Left
.. math::
dst.x = src0.x << src1.x
dst.y = src0.y << src1.x
dst.z = src0.z << src1.x
@ -666,6 +839,8 @@ Support for these opcodes indicated by a special pipe capability bit (TBD).
1.11.6 SHR - Shift Right
.. math::
dst.x = src0.x >> src1.x
dst.y = src0.y >> src1.x
dst.z = src0.z >> src1.x
@ -674,6 +849,8 @@ Support for these opcodes indicated by a special pipe capability bit (TBD).
1.11.7 AND - Bitwise And
.. math::
dst.x = src0.x & src1.x
dst.y = src0.y & src1.y
dst.z = src0.z & src1.z
@ -682,6 +859,8 @@ Support for these opcodes indicated by a special pipe capability bit (TBD).
1.11.8 OR - Bitwise Or
.. math::
dst.x = src0.x | src1.x
dst.y = src0.y | src1.y
dst.z = src0.z | src1.z
@ -690,6 +869,8 @@ Support for these opcodes indicated by a special pipe capability bit (TBD).
1.11.9 MOD - Modulus
.. math::
dst.x = src0.x % src1.x
dst.y = src0.y % src1.y
dst.z = src0.z % src1.z
@ -698,6 +879,8 @@ Support for these opcodes indicated by a special pipe capability bit (TBD).
1.11.10 XOR - Bitwise Xor
.. math::
dst.x = src0.x ^ src1.x
dst.y = src0.y ^ src1.y
dst.z = src0.z ^ src1.z
@ -706,6 +889,8 @@ Support for these opcodes indicated by a special pipe capability bit (TBD).
1.11.11 SAD - Sum Of Absolute Differences
.. math::
dst.x = abs(src0.x - src1.x) + src2.x
dst.y = abs(src0.y - src1.y) + src2.y
dst.z = abs(src0.z - src1.z) + src2.z
@ -774,6 +959,8 @@ Support for these opcodes indicated by a special pipe capability bit (TBD).
1.16.7 NRM4 - 4-component Vector Normalise
.. math::
dst.x = src.x / (src.x * src.x + src.y * src.y + src.z * src.z + src.w * src.w)
dst.y = src.y / (src.x * src.x + src.y * src.y + src.z * src.z + src.w * src.w)
dst.z = src.z / (src.x * src.x + src.y * src.y + src.z * src.z + src.w * src.w)
@ -808,7 +995,6 @@ Support for these opcodes indicated by a special pipe capability bit (TBD).
abs(x) Absolute value of x.
'|x|'
(x < 0.0) ? -x : x
ceil(x) Ceiling of x.