Difference between revisions of "GPU"

From Nintendo Switch Brew
Jump to navigation Jump to search
m (Add missing dot)
 
(22 intermediate revisions by 4 users not shown)
Line 1: Line 1:
== Mapping Memory ==
+
= Classes =
 +
See [[GPU_Classes|GPU Classes]].
  
 +
= Mapping Memory =
 
First, to map a memory region on the GPU Address Space, caching needs to be disabled by using [[SVC#svcSetMemoryAttribute|svcSetMemoryAttribute]]. The Address passed is the Virtual Address of the region that will be mapped, the size is the region size, and State0/1 are both set to 8 to disable caching of the memory region. This is done to ensure that the GPU can actually "see" the data written there, and it doesn't get stuck on some cache.
 
First, to map a memory region on the GPU Address Space, caching needs to be disabled by using [[SVC#svcSetMemoryAttribute|svcSetMemoryAttribute]]. The Address passed is the Virtual Address of the region that will be mapped, the size is the region size, and State0/1 are both set to 8 to disable caching of the memory region. This is done to ensure that the GPU can actually "see" the data written there, and it doesn't get stuck on some cache.
  
Line 7: Line 9:
 
The above process is used to map all data that will be used by the GPU, like Textures, Command Lists (a.k.a. Push Buffers), Vertex/Index buffers and Shaders. They usually have their own mapping, but Command Lists can share the same mapping.
 
The above process is used to map all data that will be used by the GPU, like Textures, Command Lists (a.k.a. Push Buffers), Vertex/Index buffers and Shaders. They usually have their own mapping, but Command Lists can share the same mapping.
  
== FIFO Commands ==
+
= FIFO Commands =
 
+
The GPU uses Nvidia's push buffer format for it's PFIFO engine. PFIFO is a special engine responsible for receiving user command lists and routing them to the appropriate engines (2D, 3D, DMA).
The GPU implements a variation of Tegra's push buffer format for it's PFIFO engine. PFIFO is a special engine responsible for receiving user command lists and routing them to the appropriate engines (2D, 3D, DMA).
 
  
 
Commands are submitted to the GPU's PFIFO engine through [[NV_services#NVGPU_IOCTL_CHANNEL_SUBMIT_GPFIFO|NVGPU_IOCTL_CHANNEL_SUBMIT_GPFIFO]].
 
Commands are submitted to the GPU's PFIFO engine through [[NV_services#NVGPU_IOCTL_CHANNEL_SUBMIT_GPFIFO|NVGPU_IOCTL_CHANNEL_SUBMIT_GPFIFO]].
Line 15: Line 16:
 
This ioctl takes an array of gpfifo entries where each entry points to a FIFO command list. This list is composed of alternating 32-bit words containing FIFO commands and their respective arguments.
 
This ioctl takes an array of gpfifo entries where each entry points to a FIFO command list. This list is composed of alternating 32-bit words containing FIFO commands and their respective arguments.
  
=== Command Structure ===
+
== Command Structure ==
 
+
{| class="wikitable" border="1"
{| class="wikitable"
 
|-
 
! scope="col"| Bits
 
! scope="col"| Description
 
|-
 
|12-0
 
|Method
 
|-
 
|15-13
 
|Subchannel
 
|-
 
|28-16
 
|Argument count (in 32-bits Words) or inline data (see below)
 
|-
 
|31-29
 
|[[#Submission_mode|Submission mode]]
 
|}
 
 
 
Note: Methods are treated as 4-byte addressable locations, and hence their numbers are written down multiplied by 4.
 
 
 
Note: The command's arguments, when present, follow the command word immediately.
 
 
 
==== Submission mode ====
 
 
 
{| class="wikitable"
 
 
|-
 
|-
! scope="col"| Mode
+
! Bits || Description
! scope="col"| Description
 
! scope="col"| Offical name
 
 
|-
 
|-
|0
+
| 0-11 || Method address
|Increasing mode (old)
 
|
 
 
|-
 
|-
|1
+
| 12 || Reserved
|Increasing mode - Tells PFIFO to read as much arguments as specified by '''argument count''', while automatically incrementing the '''method''' value. This means that each argument will be written to a different method location.
 
|INCR
 
 
|-
 
|-
|2
+
| 13-15 || Method subchannel
|Non-increasing mode (old)
 
|
 
 
|-
 
|-
|3
+
| 16-28 || Method count, immediate-data or [[#Tertiary opcode|tertiary opcode]]
|Non-increasing mode - Tells PFIFO to read as much arguments as specified by '''argument count'''. However, all arguments will be written to the same method location.
 
|NONINCR
 
 
|-
 
|-
|4
+
| 29-31 || [[#Secondary opcode|Secondary opcode]]
|Inline mode - Tells PFIFO to read '''inline data''' from bits 28-16 of the command word, thus eliminating the need to pass additional words for the arguments.
 
|IMM
 
|-
 
|5
 
|Increase-once mode - Tells PFIFO to read as much arguments as specified by '''argument count''' and automatically increments the '''method''' value once only.
 
|
 
 
|}
 
|}
  
=== Command List ===
+
Methods are treated as 4-byte addressable locations, and hence their numbers are written down multiplied by 4. The command's arguments, when present, follow the command word immediately.
 
 
All methods with values < 0x100 are special and executed by the PFIFO's DMA puller. The others are forwarded to the engine object currently bound to a given subchannel.
 
  
 +
=== Secondary opcode ===
 
{| class="wikitable" border="1"
 
{| class="wikitable" border="1"
 
|-
 
|-
! Command || Method || Subchannel || Arg Count || Mode || Name
+
! Mode || Description
|-
 
| 0x2001?000 || 0x0000 || Variable || 1 || 1 || [[#BindObject|BindObject]]
 
|-
 
| 0xA0020E00 || 0x3800 || 0 || 2 || 5 || BeginTransformFeedback
 
|-
 
| 0xA0030E30 || 0x38C0 || 0 || 3 || 5 || DrawArrays
 
|-
 
| 0xA0050E36 || 0x38D8 || 0 || 5 || 5 || DrawElements
 
|-
 
| 0xA0020E2E || 0x38B8 || 0 || 2 || 5 || PopDebugGroupId
 
|-
 
| 0xA0040E2C || 0x38B0 || 0 || 4 || 5 || PushDebugGroup
 
|-
 
| 0x2001054C || 0x1530 || 0 || 1 || 1 || ResetCounter
 
 
|-
 
|-
| 0x8001047F || 0x11FC || 0 || 1 || 4 || ResolveDepthBuffer
+
| 0 || [[#GRP0_USE_TERT|GRP0_USE_TERT]]
 
|-
 
|-
| 0x200104C4 || 0x1310 || 0 || 1 || 1 || SetAlphaRef
+
| 1 || [[#INC_METHOD|INC_METHOD]]
 
|-
 
|-
| 0x200404C7 || 0x131C || 0 || 4 || 1 || SetBlendColor
+
| 2 || [[#GRP2_USE_TERT|GRP2_USE_TERT]]
 
|-
 
|-
| 0x2001064F || 0x1BD0 || 0 || 1 || 1 || SetDepthClamp
+
| 3 || [[#NON_INC_METHOD|NON_INC_METHOD]]
 
|-
 
|-
| 0x200200CD || 0x0334 || 0 || 2 || 1 || SetInnerTessellationLevels
+
| 4 || [[#IMMD_DATA_METHOD|IMMD_DATA_METHOD]]
 
|-
 
|-
| 0x200204EC || 0x13B0 || 0 || 2 || 1 || SetLineWidth
+
| 5 || [[#ONE_INC|ONE_INC]]
 
|-
 
|-
| 0x200400C9 || 0x0324 || 0 || 4 || 1 || SetOuterTessellationLevels
+
| 6 || Reserved
 
|-
 
|-
| 0x8???0373 || 0x0DCC || 0 || Variable || 4 || SetPatchSize
+
| 7 || [[#END_PB_SEGMENT|END_PB_SEGMENT]]
|-
 
| 0x20010546 || 0x1518 || 0 || 1 || 1 || SetPointSize
 
|-
 
| 0x20030554 || 0x1550 || 0 || 3 || 1 || SetRenderEnableConditional
 
|-
 
| 0x200403EF || 0x0FBC || 0 || 4 || 1 || SetSampleMask
 
|-
 
| 0x200103D9 || 0x0F64 || 0 || 1 || 1 || SetTiledCacheTileSize
 
|-
 
| 0x20020047 || 0x011C || 0 || 2 || 1 || SetGraphMacroEntry
 
|-
 
| 0xA???0045 || 0x0114 || 0 || Variable || 5 || SetGraphMacroCode
 
 
|}
 
|}
  
Note: These still need to be heavily verified and ''could'' be wrong.
+
==== GRP0_USE_TERT ====
 +
Tells PFIFO to read [[#Tertiary opcode|tertiary opcode]] from bits 16-17 of the command word.
  
=== BindObject ===
+
==== INC_METHOD ====
 +
Tells PFIFO to read as much arguments as specified by '''method count''', while automatically incrementing the '''method address''' value. This means that each argument will be written to a different method location.
  
In order to bind an engine object to a specific subchannel, method 0 (BindObject) must be used first. The target subchannel is specified in bits 15-13 of the command word.
+
==== GRP2_USE_TERT ====
 +
Tells PFIFO to read [[#Tertiary opcode|tertiary opcode]] from bits 16-17 of the command word.
  
After the engine object is bound to the desired subchannel, setting it's value in bits 15-13 of any subsequent command word will make PFIFO forward the command to the target engine.
+
==== NON_INC_METHOD ====
 +
Tells PFIFO to read as much arguments as specified by '''method count'''. However, all arguments will be written to the same method location.
  
This method only takes one argument, an [[#Engine_IDs|engine ID]].
+
==== IMMD_DATA_METHOD ====
 +
Tells PFIFO to read '''immediate-data''' from bits 16-28 of the command word, thus eliminating the need to pass additional words for the arguments.
  
==== Engine IDs ====
+
==== ONE_INC ====
 +
Tells PFIFO to read as much arguments as specified by '''method count''' and automatically increments the '''method address''' value once only.
  
{| class="wikitable"
+
==== END_PB_SEGMENT ====
|-
+
Tells PFIFO to stop processing any further methods.
! scope="col"| ID
+
 
! scope="col"| Engine
+
=== Tertiary opcode ===
 +
{| class="wikitable" border="1"
 
|-
 
|-
|0x902D
+
! Mode || Description
|FERMI_TWOD_A (2D)
 
 
|-
 
|-
|0xB197
+
| 0 || GRP0_INC_METHOD or GRP2_NON_INC_METHOD
|MAXWELL_B (3D)
 
 
|-
 
|-
|0xB1C0
+
| 1 || GRP0_SET_SUB_DEV_MASK
|MAXWELL_COMPUTE_B
 
 
|-
 
|-
|0xA140
+
| 2 || GRP0_STORE_SUB_DEV_MASK
|KEPLER_INLINE_TO_MEMORY_B
 
 
|-
 
|-
|0xB0B5
+
| 3 || GRP0_USE_SUB_DEV_MASK
|MAXWELL_DMA_COPY_A (DMA)
 
 
|}
 
|}
  
=== Fences ===
+
== SetObject ==
 +
In order to bind an engine object to a specific subchannel, method 0 (SetObject) must be used first. The target subchannel is specified in bits 13-15 of the command word.
  
Command lists can contain fences to ensure that commands are executed on the correct order, and subsequent commands are only sent when the previously sent commands were already processed by the GPU. Fences uses the QUERY_* commands, and works like this:
+
After the engine object is bound to the desired subchannel, setting it's value in bits 13-15 of any subsequent command word will make PFIFO forward the command to the target engine.
  
* First, QUERY_ADDRESS_HIGH and QUERY_ADDRESS_LOW commands are added to the Command List, with the High/Low 32 bits part of the 64-bits GPU Virtual Address where the fence is located. This GPU Virtual Address needs to be mapped to the process Virtual Address beforehand.
+
This method only takes one argument, a [[#GPU_Classes|GPU Class ID]].
* Then, QUERY_SEQUENCE is added with a sequential number. This number is basically a incrementing counter, so the first Command List can have QUERY_SEQUENCE = 1, the next one QUERY_SEQUENCE = 2, 3, 4... and so on.
 
* Finally, QUERY_GET is added and contains the mode and other unknown data.
 
  
The above commands are added using the [[#Submission_mode|increasing mode]], since the Ids for all those 4 registers are sequential.
+
== Macro ==
 +
Macros are small programs that can be uploaded to the gpu and are capable of reading and writing to the 3D engine registers on the GPU. The macros also accepts parameters, stored on a FIFO. Macros can be called using methods starting at 0xe00, where the first method triggers the macro execution, and the second one is used to push parameters to the FIFO, that can be read from the macro program using a instruction called ''parm''. This instruction pops the FIFO and reads the next parameter, while also allowing programs to use a variable number of parameters if desired.
  
==== QUERY_GET Structure ====
+
The first parameter is written to 0xe00 + n * 2 (where n is the macro index), and all subsequent parameters should be pushed to the FIFO using 0xe01 + n * 2. The first parameter is placed at the general purpose register R1 in the macro program when execution starts.
  
{| class="wikitable"
+
Official games uses those macros to conditionally write registers, one example of such uses is the macro at 0xe24, that is used to set shader registers (including shader address and binding the c1 Constant Buffer to the shader). In some cases, it's also used to set registers unconditionally.
|-
 
! scope="col"| Bits
 
! scope="col"| Description
 
|-
 
|1-0
 
|Mode
 
|-
 
|4
 
|Fence
 
|-
 
|15-12
 
|Unit
 
|}
 
  
==== QUERY_GET Mode ====
+
== Fences ==
 +
Command lists can contain fences to ensure that commands are executed on the correct order, and subsequent commands are only sent when the previously sent commands were already processed by the GPU. Fences uses the ReportSemaphore* registers, and works like this:
  
{| class="wikitable"
+
* First, register ReportSemaphoreOffset is set to High/Low 32 bits part of the 64-bits GPU Virtual Address where the fence is located. This GPU Virtual Address needs to be mapped to the process Virtual Address beforehand.
|-
+
* Then, ReportSemaphorePayload is set with a sequential number. This number is basically a incrementing counter, so the first Command List can set ReportSemaphorePayload = 1, the next one to 2, then 3, 4... and so on.
! scope="col"| Value
+
* Finally, ReportSemaphoreControl is added and contains the mode and other unknown data.
! scope="col"| Mode
 
|-
 
|0
 
|Write
 
|-
 
|1
 
|Sync
 
|-
 
|2
 
|Write ?
 
|-
 
|3
 
|Write ?
 
|}
 
  
TODO: Move this to a separate page with all GPU Commands with descriptions. Also figure out what the other values mean.
+
The above commands are added using the [[#Submission_mode|increasing mode]], since all those 4 registers are sequential.
  
Some of the other fields are still unknown/unobserved.
+
Official games sets Operation to 0 (Release), bit 4 to 1, bits 12-15 (Unit) to 0xF, and bit 28 to 1 (OneWord). The ReportSemaphorePayload value is then written by the GPU to the address pointed to by ReportSemaphoreOffset.
 
+
On the CPU side, the game code should wait until the value at the address pointed to by ReportSemaphoreOffset is >= to the last written value. Official code waits for this condition to be true on a loop, and won't send any further commands before that.
Official games will set Mode to 0, Fence to 1 and Unit to 0xF. The QUERY_SEQUENCE value is then written by the GPU to the address pointed to by QUERY_ADDRESS.
 
On the CPU side, the game code should wait until the value at the address pointed to by QUERY_ADDRESS is >= to the last written SEQUENCE value. Official code waits for this condition to be true on a loop, and won't send any further commands before that.
 
 
 
== Vertex Data Submission ==
 
  
 +
= Vertex Data Submission =
 
Note: This is a observation on how the game Puyo Puyo Tetris sends textured squares to the GPU.
 
Note: This is a observation on how the game Puyo Puyo Tetris sends textured squares to the GPU.
  
Line 223: Line 129:
 
# VERTEX_END_GL is used with value 0 (currently unknown what this value means).
 
# VERTEX_END_GL is used with value 0 (currently unknown what this value means).
  
== Texture View ==
+
= Texture View =
 
 
 
Texture information such as address, format and size is sent to the GPU through a structure know as Texture View (a.k.a. Texture Image Control, or TIC). Each texture that the game uses needs a separate TIC, and those TICs are written to a table, one after the other. Each [[#TIC_Structure|TIC entry]] has 0x20 bytes, and is composed of 8 32-bits words where the texture information is packed.
 
Texture information such as address, format and size is sent to the GPU through a structure know as Texture View (a.k.a. Texture Image Control, or TIC). Each texture that the game uses needs a separate TIC, and those TICs are written to a table, one after the other. Each [[#TIC_Structure|TIC entry]] has 0x20 bytes, and is composed of 8 32-bits words where the texture information is packed.
  
 
The index of the TIC entries that should be used by the shader is sent to the GPU with the CB_POS/CB_DATA (0) methods. Games usually follows the following steps to write the TIC entry indexes:
 
The index of the TIC entries that should be used by the shader is sent to the GPU with the CB_POS/CB_DATA (0) methods. Games usually follows the following steps to write the TIC entry indexes:
  
* CB_ADDRESS_HIGH/LOW method is used to set the GPU Virtual Address of the Const Buffer.
+
* Macro 0xe1a is used to set CB_ADDRESS_HIGH/LOW registers to the GPU Virtual Address of the Constant Buffer set on the register 0x982 (the ''Texture Constant Buffer'' index register), and also sets CB_SIZE.
* CB_POS is used to set the write offset of the Const Buffer to 0x20 + n * 4, where ''n'' is the is the index of the active texture that will be used by the shader (?).
+
* CB_POS is used to set the write offset of the Constant Buffer to n * 4, where ''n'' is the index of the ''Handle'' being used on the shader program (this index starts at 8, so CB_POS should be at least 8 * 4 = 0x20).
* CB_DATA (0) method is used to write the value into the Const Buffer. The value is a word where the lower 20 bits is the TIC index.
+
* CB_DATA (0) method is used to write the value into the Constant Buffer. The value is a ''Handle'' where the lower 20 bits is the TIC index, and the higher 12 bits is the TSC (Texture Sampler Control) index.
  
 
The address of a given TIC entry can be calculates as:
 
The address of a given TIC entry can be calculates as:
Line 239: Line 144:
 
Where ''tic_base_address'' is the address written to TIC_ADDRESS_HIGH/LOW (methods 0x1574 and 0x1578), ''tic_index'' is the lower 20 bits of the word written into the Const Buffer with CB_DATA (0), and 0x20 is the size of each TIC entry in bytes.
 
Where ''tic_base_address'' is the address written to TIC_ADDRESS_HIGH/LOW (methods 0x1574 and 0x1578), ''tic_index'' is the lower 20 bits of the word written into the Const Buffer with CB_DATA (0), and 0x20 is the size of each TIC entry in bytes.
  
Note: More research still needs to be done on the Const Buffer and how it is used by the shader.
+
The texture is accessed on the shader using one of the texture sampling instructions (usually the TEXS instruction). One of the parameters for this instruction is the ''Handle'' index. This index start at 8, so the index 8 will access the handle at 8 * 4 = 0x20 on the ''Texture Constant Buffer''. Each shader stage has a separate Constant Buffer, so for fragment shaders, this is located at CB_ADDRESS + 4 * CB_SIZE + TEXS_index * 4 (where the first 4 is the index of the fragment shader stage, and the second 4 is the size of a word, 4 bytes).
 
 
=== TIC Structure ===
 
  
 +
== TIC Structure ==
 
{| class="wikitable" border="1"
 
{| class="wikitable" border="1"
 
|-
 
|-
 
! Word || Bits || Description
 
! Word || Bits || Description
 
|-
 
|-
| 0 || 6-0 || [[GPU_Texture_Formats#Texture_Formats|Texture Format]]
+
| 0 || 0-6 || [[GPU_Texture_Formats#Texture_Formats|Texture Format]]
 
|-
 
|-
| 0 || 9-7 || [[#Channel_Data_Type|R Channel Data Type]]
+
| 0 || 7-9 || [[#Channel_Data_Type|R Channel Data Type]]
 
|-
 
|-
| 0 || 12-10 || [[#Channel_Data_Type|G Channel Data Type]]
+
| 0 || 10-12 || [[#Channel_Data_Type|G Channel Data Type]]
 
|-
 
|-
| 0 || 15-13 || [[#Channel_Data_Type|B Channel Data Type]]
+
| 0 || 13-15 || [[#Channel_Data_Type|B Channel Data Type]]
 
|-
 
|-
| 0 || 18-16 || [[#Channel_Data_Type|A Channel Data Type]]
+
| 0 || 16-18 || [[#Channel_Data_Type|A Channel Data Type]]
 
|-
 
|-
| 1 || 31-0 || Lower 32-bits of the Texture GPU Virtual Address
+
| 1 || 0-31 || Lower 32-bits of the Texture GPU Virtual Address
 
|-
 
|-
| 2 || 15-0 || Higher 16-bits of the Texture GPU Virtual Address
+
| 2 || 0-15 || Higher 16-bits of the Texture GPU Virtual Address
 
|-
 
|-
| 4 || 15-0 || Texture Width minus 1
+
| 4 || 0-15 || Texture Width minus 1
 
|-
 
|-
| 5 || 15-0 || Texture Height minus 1
+
| 5 || 0-15 || Texture Height minus 1
 
|}
 
|}
  
==== Channel Data Type ====
+
=== Channel Data Type ===
 
 
 
{| class="wikitable" border="1"
 
{| class="wikitable" border="1"
 
|-
 
|-
Line 287: Line 190:
 
|}
 
|}
  
== References ==
+
= Shaders =
 +
See [[GPU_Shaders|GPU Shaders]].
  
 +
= References =
 
FIFO engine overview:
 
FIFO engine overview:
 
[https://envytools.readthedocs.io/en/latest/hw/fifo/intro.html]
 
[https://envytools.readthedocs.io/en/latest/hw/fifo/intro.html]

Latest revision as of 20:37, 10 May 2024

Classes

See GPU Classes.

Mapping Memory

First, to map a memory region on the GPU Address Space, caching needs to be disabled by using svcSetMemoryAttribute. The Address passed is the Virtual Address of the region that will be mapped, the size is the region size, and State0/1 are both set to 8 to disable caching of the memory region. This is done to ensure that the GPU can actually "see" the data written there, and it doesn't get stuck on some cache.

Then, NVMAP_IOC_CREATE is used to create a nvmap object with the desired size. After, NVMAP_IOC_ALLOC is used to allocate the memory on the GPU Address Space, and map data on the process Address Space into the GPU Address Space, by passing the Virtual Address as the input addr parameter, and also the Handle returned from NVMAP_IOC_CREATE. Lastly, the actual mapping is done by using NVGPU_AS_IOCTL_MAP_BUFFER_EX, and the GPU Virtual Address is returned on the offset parameter. It's also possible to manually set the offset where the mapping should be made on the GPU Address Space, by passing the address on the "offset" parameter, and setting the bit 0 of the flags parameter to 1. However, for this to work, the desired GPU Virtual Address needs to be previously reserved using NVGPU_AS_IOCTL_ALLOC_SPACE.

The above process is used to map all data that will be used by the GPU, like Textures, Command Lists (a.k.a. Push Buffers), Vertex/Index buffers and Shaders. They usually have their own mapping, but Command Lists can share the same mapping.

FIFO Commands

The GPU uses Nvidia's push buffer format for it's PFIFO engine. PFIFO is a special engine responsible for receiving user command lists and routing them to the appropriate engines (2D, 3D, DMA).

Commands are submitted to the GPU's PFIFO engine through NVGPU_IOCTL_CHANNEL_SUBMIT_GPFIFO.

This ioctl takes an array of gpfifo entries where each entry points to a FIFO command list. This list is composed of alternating 32-bit words containing FIFO commands and their respective arguments.

Command Structure

Bits Description
0-11 Method address
12 Reserved
13-15 Method subchannel
16-28 Method count, immediate-data or tertiary opcode
29-31 Secondary opcode

Methods are treated as 4-byte addressable locations, and hence their numbers are written down multiplied by 4. The command's arguments, when present, follow the command word immediately.

Secondary opcode

Mode Description
0 GRP0_USE_TERT
1 INC_METHOD
2 GRP2_USE_TERT
3 NON_INC_METHOD
4 IMMD_DATA_METHOD
5 ONE_INC
6 Reserved
7 END_PB_SEGMENT

GRP0_USE_TERT

Tells PFIFO to read tertiary opcode from bits 16-17 of the command word.

INC_METHOD

Tells PFIFO to read as much arguments as specified by method count, while automatically incrementing the method address value. This means that each argument will be written to a different method location.

GRP2_USE_TERT

Tells PFIFO to read tertiary opcode from bits 16-17 of the command word.

NON_INC_METHOD

Tells PFIFO to read as much arguments as specified by method count. However, all arguments will be written to the same method location.

IMMD_DATA_METHOD

Tells PFIFO to read immediate-data from bits 16-28 of the command word, thus eliminating the need to pass additional words for the arguments.

ONE_INC

Tells PFIFO to read as much arguments as specified by method count and automatically increments the method address value once only.

END_PB_SEGMENT

Tells PFIFO to stop processing any further methods.

Tertiary opcode

Mode Description
0 GRP0_INC_METHOD or GRP2_NON_INC_METHOD
1 GRP0_SET_SUB_DEV_MASK
2 GRP0_STORE_SUB_DEV_MASK
3 GRP0_USE_SUB_DEV_MASK

SetObject

In order to bind an engine object to a specific subchannel, method 0 (SetObject) must be used first. The target subchannel is specified in bits 13-15 of the command word.

After the engine object is bound to the desired subchannel, setting it's value in bits 13-15 of any subsequent command word will make PFIFO forward the command to the target engine.

This method only takes one argument, a GPU Class ID.

Macro

Macros are small programs that can be uploaded to the gpu and are capable of reading and writing to the 3D engine registers on the GPU. The macros also accepts parameters, stored on a FIFO. Macros can be called using methods starting at 0xe00, where the first method triggers the macro execution, and the second one is used to push parameters to the FIFO, that can be read from the macro program using a instruction called parm. This instruction pops the FIFO and reads the next parameter, while also allowing programs to use a variable number of parameters if desired.

The first parameter is written to 0xe00 + n * 2 (where n is the macro index), and all subsequent parameters should be pushed to the FIFO using 0xe01 + n * 2. The first parameter is placed at the general purpose register R1 in the macro program when execution starts.

Official games uses those macros to conditionally write registers, one example of such uses is the macro at 0xe24, that is used to set shader registers (including shader address and binding the c1 Constant Buffer to the shader). In some cases, it's also used to set registers unconditionally.

Fences

Command lists can contain fences to ensure that commands are executed on the correct order, and subsequent commands are only sent when the previously sent commands were already processed by the GPU. Fences uses the ReportSemaphore* registers, and works like this:

  • First, register ReportSemaphoreOffset is set to High/Low 32 bits part of the 64-bits GPU Virtual Address where the fence is located. This GPU Virtual Address needs to be mapped to the process Virtual Address beforehand.
  • Then, ReportSemaphorePayload is set with a sequential number. This number is basically a incrementing counter, so the first Command List can set ReportSemaphorePayload = 1, the next one to 2, then 3, 4... and so on.
  • Finally, ReportSemaphoreControl is added and contains the mode and other unknown data.

The above commands are added using the increasing mode, since all those 4 registers are sequential.

Official games sets Operation to 0 (Release), bit 4 to 1, bits 12-15 (Unit) to 0xF, and bit 28 to 1 (OneWord). The ReportSemaphorePayload value is then written by the GPU to the address pointed to by ReportSemaphoreOffset. On the CPU side, the game code should wait until the value at the address pointed to by ReportSemaphoreOffset is >= to the last written value. Official code waits for this condition to be true on a loop, and won't send any further commands before that.

Vertex Data Submission

Note: This is a observation on how the game Puyo Puyo Tetris sends textured squares to the GPU.

  1. VERTEX_ATTRIB_FORMAT (0-15) are set (only the first 3 are really used, the rest are set float, with Size = 1 and offset at 0).
  2. VERTEX_ARRAY_FETCH (0) is set with the lower 12 bits set to 0x1c (Stride) and bit 12 to 1 (Enabled).
  3. VERTEX_ARRAY_START_HIGH/LOW (0) are set to the GPU Virtual Address where the Vertex Data is located.
  4. VERTEX_ARRAY_LIMIT_HIGH/LOW (0) are set to the GPU Virtual Address where the Vertex Data is located, plus the Vertex Data size in bytes minus 1.
  5. VERTEX_BEGIN_GL is used with the primitive type set to TRIANGLE_STRIP.
  6. VERTEX_BUFFER_FIRST with value 0 (indicating the index of the first primitive to render?).
  7. VERTEX_BUFFER_COUNT is set to 4, because the Vertex Buffer with the square has 4 vertices.
  8. VERTEX_END_GL is used with value 0 (currently unknown what this value means).

Texture View

Texture information such as address, format and size is sent to the GPU through a structure know as Texture View (a.k.a. Texture Image Control, or TIC). Each texture that the game uses needs a separate TIC, and those TICs are written to a table, one after the other. Each TIC entry has 0x20 bytes, and is composed of 8 32-bits words where the texture information is packed.

The index of the TIC entries that should be used by the shader is sent to the GPU with the CB_POS/CB_DATA (0) methods. Games usually follows the following steps to write the TIC entry indexes:

  • Macro 0xe1a is used to set CB_ADDRESS_HIGH/LOW registers to the GPU Virtual Address of the Constant Buffer set on the register 0x982 (the Texture Constant Buffer index register), and also sets CB_SIZE.
  • CB_POS is used to set the write offset of the Constant Buffer to n * 4, where n is the index of the Handle being used on the shader program (this index starts at 8, so CB_POS should be at least 8 * 4 = 0x20).
  • CB_DATA (0) method is used to write the value into the Constant Buffer. The value is a Handle where the lower 20 bits is the TIC index, and the higher 12 bits is the TSC (Texture Sampler Control) index.

The address of a given TIC entry can be calculates as:

tic_entry_address = tic_base_address + tic_index * 0x20

Where tic_base_address is the address written to TIC_ADDRESS_HIGH/LOW (methods 0x1574 and 0x1578), tic_index is the lower 20 bits of the word written into the Const Buffer with CB_DATA (0), and 0x20 is the size of each TIC entry in bytes.

The texture is accessed on the shader using one of the texture sampling instructions (usually the TEXS instruction). One of the parameters for this instruction is the Handle index. This index start at 8, so the index 8 will access the handle at 8 * 4 = 0x20 on the Texture Constant Buffer. Each shader stage has a separate Constant Buffer, so for fragment shaders, this is located at CB_ADDRESS + 4 * CB_SIZE + TEXS_index * 4 (where the first 4 is the index of the fragment shader stage, and the second 4 is the size of a word, 4 bytes).

TIC Structure

Word Bits Description
0 0-6 Texture Format
0 7-9 R Channel Data Type
0 10-12 G Channel Data Type
0 13-15 B Channel Data Type
0 16-18 A Channel Data Type
1 0-31 Lower 32-bits of the Texture GPU Virtual Address
2 0-15 Higher 16-bits of the Texture GPU Virtual Address
4 0-15 Texture Width minus 1
5 0-15 Texture Height minus 1

Channel Data Type

Value Type
1 SNORM
2 UNORM
3 SINT
4 UINT
5 SNORM_FORCE_FP16
6 UNORM_FORCE_FP16
7 FLOAT

Shaders

See GPU Shaders.

References

FIFO engine overview: [1]

Method values from the Fermi family GPU (a bit older than the Tegra X1, but values seems to be mostly the same): [2]

TIC structure used on a Maxwell GPU: [3]

Values for some types used on the above XML: [4]

Command word packing code used on Mesa3d: [5]

TIC entry pack/write code used on Mesa3d: [6]