はじめに

特に次の不明点が明確になる様にします。

• リフレクション情報はどの様に付加されるのか？
• LLVM-ILとリフレクション情報の対応付けはどうされるのか？
  もっともSPIR-VはLLVM-ILは全く関係ないと思うが。

参考

• https://www.khronos.org/registry/spir-v/specs/1.0/SPIRV.pdf

用語

• Word: 32bit
• <id>: 数字
  常に1word消費します。
• Result<id>: 命令の結果の定義？
• Literal String: null終端の文字列

デバグ命令

必須命令

• OpEntryPoint
  
  OpEntryPoint Fragment %4 "main" %31 %33 %42 %57 %4 = OpFunction %2 None %3                  ; main() %31 = OpVariable %30 Output %33 = OpVariable %32 Input %42 = OpVariable %32 Input %57 = OpVariable %32 Input

  1 2 3 4 5 6 7 8 9 10

  OpEntryPoint Fragment %4 "main" %31 %33 %42 %57 %4 = OpFunction %2 None %3                  ; main()   %31 = OpVariable %30 Output   %33 = OpVariable %32 Input   %42 = OpVariable %32 Input   %57 = OpVariable %32 Input

  
  Fragment: Execution Model
  %4: OpFunction の Result
  “main”: エントリーポイントの名前
  %31, %33,… : OpVariable の結果です。in, out を定義します。

基本命令

• OpTypeInt
  
  %13 = OpTypeInt 32 0                         ; 32-bit int, sign-less

  1	%13 = OpTypeInt 32 0                         ; 32-bit int, sign-less

• OpTypeFloat
  
  %6 = OpTypeFloat 32                         ; 32-bit float %7 = OpTypeVector %6 4                      ; vec4

  1 2 3

  %6 = OpTypeFloat 32                         ; 32-bit float   %7 = OpTypeVector %6 4                      ; vec4

  
  Result<id> LiteralNumber-width
  Result<id>: Op の戻り値（フロート型のオブジェクト？）
  width: ビット幅
• OpTypeVector
  vector 型の宣言をします。
  
  %6 = OpTypeFloat 32                         ; 32-bit float %7 = OpTypeVector %6 4                      ; vec4

  1 2 3

  %6 = OpTypeFloat 32                         ; 32-bit float   %7 = OpTypeVector %6 4                      ; vec4

  
  Result<id> <id> LiteralNumber-ComponentCount
  Result<id>: Op の戻り値( vector 型のオブジェクト？）
  <id>: Component Type
  LiteralNumber-ComponentCount: コンポーネント数

メモリ操作命令

• OpVariable
  オブジェクトをメモリに確保します。
  in, out, uniform 変数を new します。
  Result Type は OpTypePointer です。
  c.f. Result Type は結果の型情報を教える引数です。
  c.f. Result<id> は戻り値です。
  
  %6 = OpTypeFloat 32                         ; 32-bit float オブジェクトが %6 に代入されます。 %7 = OpTypeVector %6 4                      ; vec4 %32 = OpTypePointer Input %7 ; %7 へのポインタ型 %33 = OpVariable %32 Input ; メモリにオブジェクトをアロケートします。%32 にアロケートします。 ; OpVariableType に対して OpLoad/Store ができます。 %34 = OpLoad %7 %33 ;

  1 2 3 4 5 6 7 8 9 10

  %6 = OpTypeFloat 32                         ; 32-bit float オブジェクトが %6 に代入されます。   %7 = OpTypeVector %6 4                      ; vec4   %32 = OpTypePointer Input %7                ; %7 へのポインタ型   %33 = OpVariable %32 Input                  ; メモリにオブジェクトをアロケートします。%32 にアロケートします。                                               ; OpVariableType に対して OpLoad/Store ができます。 %34 = OpLoad %7 %33                         ;

• OpTypePointer
  ポインタ型の宣言です。
  Input: ポンタ変数から出力される（他の変数への input 用途: Load される）
  Output: ポインタ変数へ出力される（他の変数から output される：Store される）
  
  %32 = OpTypePointer Input %7 ; %7 型のポインタ型の宣言

  1	%32 = OpTypePointer Input %7                ; %7 型のポインタ型の宣言

• OpLoad
  %33 からロードします。
  %34 はオブジェクト（＝実態）になります。
  
  %34 = OpLoad %7 %33 ; %7 は戻り値の型、%33 は OpVariable オブジェクトへのポインタです。

  1	%34 = OpLoad %7 %33                         ; %7 は戻り値の型、%33 は OpVariable オブジェクトへのポインタです。

  
   

リフレクション情報の付加

• OpDecorate
  binding や location を指定できます。

別ページで詳細に調べます。