C.1 GLSL ES 言語リファレンスこの付録は WebGL 用のシェーダをプログラムするために使われるGLSL ES 言語のリファレンスである GLSL ESの詳細は GLSL_ES_Specifi

Size: px

Start display at page:

Download "C.1 GLSL ES 言語リファレンスこの付録は WebGL 用のシェーダをプログラムするために使われるGLSL ES 言語のリファレンスである GLSL ESの詳細は GLSL_ES_Specifi"

ともみわかはら
5 years ago
Views:

1 付録 C OpenGL ES Shading Language

2 C.1 GLSL ES 言語リファレンスこの付録は WebGL 用のシェーダをプログラムするために使われるGLSL ES 言語のリファレンスである GLSL ESの詳細は GLSL_ES_Specification_ pdfの公式仕様書を参照していただきたいデータ型 GLSL ESは JavaScriptとはまったく別のデータ型を揃えている表 C-1 ではそれらのデータ型をまとめてある表 C-1 データ型名前説明 void int float bool vec2 vec3 vec4 関数が戻り値を持たないときや引数リストが空だということを示すときに使われる特別なデータ型例 : void myfunc(void {... } 符号付き整数値例 : int myint1 = 14; int myint2 = -7; 単精度浮動小数点数例 : float myfloat = ; true falseの論理値例 : bool mybool = true; それぞれ2 3 4 個の浮動小数点数要素を持つベクトル例 : vec3 myvec = vec3(1.0, 2.5, 0.25; C-2

3 ( 表 C-1 続き bvec2 bvec3 bvec4 ivec2 ivec3 ivec4 mat2 mat3 mat4 sampler2d samplercube それぞれ2 3 4 個の論理値要素を持つベクトル例 : bvec3 myboolvec = bvec3(true, false, false; それぞれ2 3 4 個の整数要素を持つベクトル例 : ivec3 myintvec = ivec3(12, -4, 84; それぞれの浮動小数点数行列例 : mat2 mymat = mat2( 1.0, 0.5, 2.7, 1.5 ; texture2d 関数でアクセスできる 2Dテクスチャ例 : sampler2d utexture; vec4 color = texture2d(utexture, texcoords; texturecube 関数でアクセスできるキューブにマッピングされるテクスチャ例 : samplercube uskymap; vec4 color = texturecube(uskymap, texcoords; 組み込み関数以下の表では GLSL ESの組み込み関数を示す関数は提供する機能分野に基づいて別々の表に分類されているジェネリックなgenType 型で宣言された戻り値と引数は float vec2 vec3 vec4 型にすることができるただし 1 つの関数呼び出しで使われるすべてのgenType 引数はみな同じ型でなければならない戻り値の型は引数の型によって決まる数学関数表 C-2 では GLSL ES がサポートする基本数学関数をまとめてある C-3

4 表 C-2 組み込み数学関数関数 gentype pow(, gentype n gentype exp( gentype n The constant e ( gentype exp2( gentype n gentype log( gentype log2( gentype sqrt( gentype inversesqrt( gentype abs( 戻り値 xのn 乗例 : vec2 result = pow(vec2(2.0, 3.0, vec2(4.0, 5.0; // result == vec2(16.0, 定数 e( のn 乗例 : vec2 result = exp(vec2(2.0, 3.0; // result == vec2(7.39, のn 乗例 : vec2 result = exp2(vec2(2.0, 3.0; // result == vec2(4.0, 8.0 xの自然対数例 : vec2 result = log(vec2(4.0, 8.0; // result == vec2(1.39, 2.08 xの 2を底とする対数例 : vec2 result = log2(vec2(4.0, 8.0; // result == vec2(2.0, 3.0 xの平方根例 : vec2 result = sqrt(vec2(9.0, 25.0; // result = vec2(3.0, 5.0 xの平方根の逆数つまり1 / sqrt(x を計算する例 : vec2 result = inversesqrt(vec2(9.0, 25.0; // result = vec2( , 0.04 xの絶対値例 : vec2 result = abs(vec2(-4.0, 8.0; // result = vec2(4.0, 8.0 C-4

5 ( 表 C-2 続き gentype sign( gentype floor( gentype ceil( gentype fract( gentype mod(, gentype y gentype mod(, float y gentype min(, gentype y gentype min(, float y xの符号例 : vec2 result = abs(vec2(-4.0, 8.0; // result == vec2(-1.0, 1.0 x 以下の最大の整数例 : vec2 result = floor(vec2(2.7, 14.0; // result == vec2(2.0, 14.0 x 以上の最小の整数例 : vec2 result = ceil(vec2(2.7, 14.0; // result == vec2(3.0, 14.0 xの小数部分例 : vec2 result = fract(vec2(2.7, 14.0; // result == vec2(0.7, 0.0 除算 x / y の剰余例 : vec2 result = mod(vec2(5.0, 19.5, vec2(2.0, 5.0; // result == vec2(1.0, 4.5 vec2 result = mod(vec2(5.0, 19.5, 2.0; // result == vec2(1.0, 1.5 x yの最小値例 : vec2 result = min(vec2(4.0, 15.5, vec2(2.5, 20.0; // result == vec2(2.5, 15.0 vec2 result = min(vec2(4.0, 15.5, 10.7; // result == vec2(4.0, 10.7 C-5

6 ( 表 C-2 続き gentype max(, gentype y gentype max(, float y x yの最大値例 : vec2 result = max(vec2(4.0, 15.5, vec2(2.5, 20.0; // result == vec2(4.0, 20.0 vec2 result = max(vec2(4.0, 15.5, 10.7; // result == vec2(10.7, 15.5 三角関数 GLSL ES は基本的な数学関数のほか表 C-3 のような三角関数を提供している表 C-3 組み込み三角関数関数 gentype radians( gentype degrees gentype degrees( gentype radians gentype sin( gentype angle gentype cos( gentype angle gentype tan ( gentype angle gentype asin( 戻り値ラジアンに変換されたdegrees radians(degrees == degrees * π / 180 度に変換されたradians degrees(radians == radians * 180 / π angle( 単位ラジアンの正弦 angle( 単位ラジアンの余弦 angle( 単位ラジアンの正接 xの逆正弦 [-π/2, π/2] の範囲の値を返す C-6

7 ( 表 C-3 続き gentype acos( gentype atan( gentype r gentype atan( gentype y, x の逆余弦 [0, π] の範囲の値を返す r の逆正接 [-π/2, π/2] の範囲の値を返す y/x の逆正接 [-π, π] の範囲の値を返すベクトル行列関数表 C-4 にはベクトルや行列を操作しやすくする関数をまとめてある表 C-4 組み込みのベクトル行列関数関数 float length( gentype v float distance( gentype p0, gentype p1 float dot( gentype v0, gentype v1 vec3 cross( vec3 v0, vec3 v1 戻り値ベクトルvの長さ length(v == sqrt(v.x*v.x + v.y*v.y +... 点 p0 p1の距離 distance(p0, p1 == length(p1 - p0 ベクトルv0 v1のドット積 dot(v0, v1 == v0.x*v1.x + v0.y+v1.y +... ベクトルv0 v1のクロス積 cross(v0, v1 == vec3( v0.y * v1.z - v1.y * v0.z, v0.z * v1.x - v1.z * v0.x, v0.x * v1.y - v1.x * v0.y C-7

8 ( 表 C-4 続き gentype normalize( gentype v gentype faceforward( gentype N, gentype I, gentype Nref gentype reflect( gentype I, gentype N gentype refract( gentype I, gentype N, float eta mat matrixcompmult( mat m0, mat m1 単位長に正規化されたベクトルv normalize(v == v / length(v サーフェス法線 Nrefが生成ベクトルIと反対向きになっているならベクトルNを反転する if (dot(nref, I < 0 return N else return -N 生成ベクトルIが法線 Nを持つサーフェスで反射したもの reflect(i, N == I - 2 * dot(n, I * N 生成ベクトルIが屈折率 etaで法線 Nを持つサーフェスに対して起こす屈折のベクトル屈折ベクトルは次のようにして計算する k = eta * eta * (1.0 - dot(n, I * dot(n, I if (k < 0.0 return gentype(0.0 else return eta * I - (eta * dot(n, I + sqrt(k * N 行列 m0 m1 の要素ごとの乗算ここで mat は mat2 mat3 mat4 のいずれかであるベクトルの関係演算 < > ==!= などの標準の関係演算子はすべての要素をまとめて見なければベクトルを比較できない表 C-5 にはベクトルの要素ごとの比較評価を行う関数をまとめてある C-8

9 表 C-5 組み込みのベクトル関係関数関数 bvec lessthan( vec v0, vec v1 bvec lessthanequal( vec v0, vec v1 bvec greaterthan( vec v0, vec v1 bvec greaterthanequal( vec v0, vec v1 bvec equal( vec v0, vec v1 bvec equal( bvec v0, bvec v1 bvec notequal( vec v0, vec v1 bvec notequal( bvec v0, bvec v1 戻り値 v0 < v1の要素ごとの評価 lessthan(vec2(1.0, 2.0, vec2(4.0, 2.0 == bvec2(true, false v0 <= v1の要素ごとの評価 lessthanequal(vec2(1.0, 2.0, vec2(4.0, 2.0 == bvec2(true, true v0 > v1の要素ごとの評価 greaterthan(vec2(1.0, 2.0, vec2(4.0, 2.0 == bvec2(false, false v0 >= v1の要素ごとの評価 greaterthanequal(vec2(1.0, 2.0, vec2(4.0, 2.0 == bvec2(false, true v0 == v1の要素ごとの評価 equal(vec2(1.0, 2.0, vec2(4.0, 2.0 == bvec2(false, true equal(bvec2(true, false, bvec2(false, false == bvec2(false, true v0!= v1の要素ごとの評価 notequal(vec2(1.0, 2.0, vec2(4.0, 2.0 == bvec2(true, false notequal(bvec2(true, false, bvec2(false, false == bvec2(true, false C-9

10 ( 表 C-5 続き bool any( bvec v bool all( bvec v bvec not( bvec v ベクトルvの任意の要素がtrueならtrue any(bvec3(false, false, false == true any(bvec3(false, true, false == true ベクトルvのすべての要素がtrueならtrue all(bvec3(false, true, false == false all(bvec3(true, true, true == true!vの要素ごとの評価 not(bvec2(true, false == bvec2(false, true ヘルパー関数表 C-6には範囲制限やブレンディングなどの処理で役に立つさまざまな関数をまとめてある表 C-6 組み込みヘルパー関数関数 gentype clamp(, gentype minval, gentype maxval gentype clamp(, float minval, float maxval 戻り値 xの値を [minval,maxval] の範囲つまりmax(minVal, min(maxval, x に制限する clamp( vec2(0.5, 1.7, vec2(1.0, 1.2, vec2(1.3, 1.5 == vec2(1.0, 1.5 clamp(vec2(0.5, 1.7, 0.7, 1.3 == vec2(0.7, 1.3 C-10

11 ( 表 C-6 続き gentype mix(, gentype y, gentype a gentype mix(, gentype y, float a gentype step( gentype edge, gentype step( float edge, gentype smoothstep( gentype edge0, gentype edge1, gentype smoothstep( float edge0, float edge1, xとyの間の線形補間 mix(x, y, a == x * (1.0 - a + y * a x の要素のうち edge よりも小さいものは 0.0 そうでないものは 1.0 にする xの要素のうち edge0 以下のものは 0.0 edge1 以上のものは 1.0 にする xがedge0とedge1の間にあるときには 3 次エルミート補間を返す t = clamp((x - edge0 / (edge1 - edge0, 0.0, 1.0 return t * t * (3-2 * t C-11

12 組み込み変数と定数 GLSL ESは組み込み関数のほかいくつかの定数と変数を公開している表 C-7には頂点フラグメントシェーダから読み出せる定数をまとめてあるこれらの定数の値は OpenGL ESの実装によって異なる表 C-7 定数定数最小値説明 int gl_maxvertexattribs 8 頂点属性の最大個数 int gl_maxvertexuniformvectors 128 Uniform 頂点ベクトルの最大個数 int gl_maxfragmentuniformvectors 16 Uniform フラグメントベクトルの最大個数 int gl_maxvaryingvectors 8 Varying ベクトルの最大個数 int gl_maxvertextextureimageunits 0 int gl_maxcombinedtextureimageunits 8 頂点シェーダ内のテクスチャイメージユニットの最大個数頂点シェーダとフラグメントシェーダ全体でのテクスチャイメージユニットの最大個数 int gl_maxtextureimageunits 8 テクスチャユニットの最大個数 int gl_maxdrawbuffers 1 フラグメントシェーダ内の gl_frag Data 配列に含まれる出力カラーの最大個数表 C-8 には頂点シェーダに固有でそのためフラグメントシェーダでは使えない変数をまとめてある表 C-8 頂点シェーダ変数変数 vec4 gl_position float gl_pointsize 説明頂点シェーダが計算した現在の頂点の変換射影された位置 gl.points タイプのジオメトリを描画するときに点スプライトのサイズを指定するために使われるデフォルトの値は 1.0 C-12

13 表 C-9 にはフラグメントシェーダに固有な変数をまとめてあるこれらの変数は頂点シェーダでは使えない表 C-9 フラグメントシェーダ変数変数 vec4 gl_fragcolor vec4 gl_fragcoord vec4 gl_fragdata [gl_maxdrawbuffers] vec2 gl_pointcoord bool gl_frontfacing 説明現在のフラグメントに与えられたカラー値現在のフラグメントのウィンドウからの相対座標現在のフラグメントのフラグメントデータの配列フラグメントシェーダは gl_fragcoord gl_fragdata のどちらにも値を代入してはならないポイントスプライトを描くときに gl_pointcoord はフラグメントのポイントからの 2 次元相対座標を保持する座標は 0.0 から 1.0 までであるフラグメントが前面に出ているプリミティブの一部かどうかを示す論理値 C-13

WebGL Safari WebGL Kageyama (Kobe Univ.) Visualization / 55

WebGL Safari WebGL Kageyama (Kobe Univ.) Visualization / 55 WebGL WebGL 2014.04.22 X021 2014 Kageyama (Kobe Univ.) Visualization 2014.04.22 1 / 55 WebGL Safari WebGL http://bit.ly/1qxgljb Kageyama (Kobe Univ.) Visualization 2014.04.22 2 / 55 Kageyama (Kobe Univ.)

C.1 GLSL ES 言語リファレンス この付録は WebGL 用のシェーダをプログラムするために使われるGLSL ES 言語のリファレンスである GLSL ESの詳細は GLSL_ES_Specifi

C.1 GLSL ES 言語リファレンスこの付録は WebGL 用のシェーダをプログラムするために使われるGLSL ES 言語のリファレンスである GLSL ESの詳細は GLSL_ES_Specifi