hal/metal/msl/tests.lisp
in-package#:luvcraft.tests
shader:define-shadermsl-unsigned-texel-fold-probe
:stage:fragment:resources:outputs
band-data:uint-texture-2d:binding0
curve-data:texture-2d:binding1
color:vec4:location0
let*
origin
header
count
offset
seed
total
shader:counted-fold
indexcountsumseed
let*
address
location
word
shader:define-shadermsl-vertex-index-probe
:stage:vertex:inputs:outputs
vertex-index:uint:built-in:vertex-index
instance-index:uint:built-in:instance-index
clip-position:vec4:built-in:position
let*
shader:define-shadermsl-nested-inline-call-probe
:stage:fragment:inputs:outputs
value:float:location0
result:float:location0
shader:define-shadermsl-task-probe
:stage:task:workgroup-size
3211
:payloadmsl-task-mesh-payload:inputslane:uint:built-in:local-invocation-index
local-id:uvec3:built-in:local-invocation-id
group:uvec3:built-in:workgroup-id
group-count:uvec3:built-in:num-workgroups
threads:uvec3:built-in:workgroup-size
shader:define-shadermsl-mesh-probe
:stage:mesh:workgroup-size:mesh-output
3211
:payloadmsl-task-mesh-payload:inputslane:uint:built-in:local-invocation-index
group:uvec3:built-in:workgroup-id
:topology:triangles:max-vertices32:max-primitives16:vertex:primitive
uv:vec2:location0
primitive-color:vec4:location1
let*
vertex-count
shader:uintpayload-site
primitive-count
shader:uint1.0
shader:set-mesh-output-countsvertex-countprimitive-count
when
when
shader:define-shadermsl-mesh-fragment-probe
:stage:fragment:outputs
color:vec4:location0
defunmsl-binding-named
namespecification
findname
shader:shader-specification-bindingsspecification
:key#'shader:shader-object-name:testlambda
leftright
string-equal
symbol-nameleft
symbol-nameright
defunmsl-named
nameobjectsname-function
findnameobjects:keyname-function:test#'string=
deftestblock-fragment-lowers-directly-to-structured-msl
let*
specification
document
msl:compile-mslspecification
source
msl:msl-document-sourcedocument
ok
ok
ok
ok
search"fragment BlockWorldFragmentSpecificationOutput"source
ok
search"BlockWorldFragmentSpecificationInput stage_in [[stage_in]]"source
ok
search"texture2d<float> block_atlas [[texture(0)]]"source
ok
search"sampler block_sampler [[sampler(1)]]"source
ok
search"constant FrameState& frame_state [[buffer(2)]]"source
ok
search"tile_offset_input [[user(locn8), flat]]"source
ok
search"depth2d<float> shadow_map [[texture(3)]]"source
ok
search"shadow_map.sample_compare"source
ok
search"result.color_output = rgba;"source
deftestexact-unsigned-texel-fold-lowers-directly-to-metal
let
source
msl:msl-document-source
ok
search"texture2d<uint> band_data [[texture(0)]]"source
ok
search"band_data.read"source
ok
search"for (uint fold_index_1 = 0u;"source
ok
search"% uint(4096.0f)"source
ok
search"/ uint(4096.0f)"source
ok
search"float("source
deftestnested-inline-call-materializes-each-local-once
deftestvertex-index-is-a-direct-metal-built-in-parameter
let
source
msl:msl-document-source
ok
search"uint vertex_index [[vertex_id]]"source
ok
search"uint instance_index [[instance_id]]"source
ok
search"(vertex_index + instance_index) % uint(2.0f)"source
ng
search"stage_in.vertex_index"source
ng
search"stage_in.instance_index"source
ng
search"[[stage_in]]"source
deftesttask-and-mesh-specifications-retain-their-workgroup-contracts
let*
task
mesh
payload
shader:shader-specification-task-payloadtask
mesh-output
shader:shader-specification-mesh-outputmesh
ok
equal'
3211
shader:shader-specification-workgroup-sizetask
ok
eqpayload
shader:shader-specification-task-payloadmesh
ok
eq:triangles
shader:shader-mesh-output-topologymesh-output
ok
ok
ok
deftesttask-and-mesh-effects-enforce-stage-and-collective-legality
flet
failure-reason
nameoptionsbody
handler-case
shader:shader-language-error
condition
shader:shader-language-error-reasoncondition
ok
eq:mesh-output-counts-not-uniform
failure-reason'varying-mesh-counts'
:stage:mesh:workgroup-size:mesh-output
'3211
:inputslane:uint:built-in:local-invocation-index
let*
ok
eq:mesh-workgroups-emission-must-be-last
failure-reason'nonterminal-task-emission'
:stage:task:workgroup-size
'111
:payloadmsl-task-mesh-payload:inputslane:uint:built-in:local-invocation-index
let*
shader:emit-mesh-workgroups
ok
eq:invalid-statement-for-stage
failure-reason'task-vertex-write'
:stage:task:workgroup-size
'111
:inputslane:uint:built-in:local-invocation-index
ok
eq:mesh-output-count-exceeds-limit
failure-reason'oversized-mesh-count'
:stage:mesh:workgroup-size:mesh-output
'111
:inputslane:uint:built-in:local-invocation-index
let*
vertices
shader:uint33.0
primitives
shader:uint1.0
shader:set-mesh-output-countsverticesprimitives
ok
eq:payload-index-out-of-bounds
failure-reason'payload-overrun'
:stage:task:workgroup-size
'111
:payloadmsl-task-mesh-payload:inputslane:uint:built-in:local-invocation-index
let*
shader:emit-mesh-workgroups
deftesttask-and-mesh-lower-to-metal-object-and-mesh-entry-points
let
task-source
msl:msl-document-source
mesh-source
msl:msl-document-source
ok
search"struct MslTaskMeshPayload"task-source
ok
search"ulong payload_site;"task-source
ok
search"payload.payload_site = ulong(three);"task-source
ok
search"float4 payload_position[32];"task-source
ok
search"[[object]] void msl_task_probe("task-source
ok
search"object_data MslTaskMeshPayload& payload [[payload]]"task-source
ok
search"uint lane [[thread_index_in_threadgroup]]"task-source
ok
search"uint3 local_id [[thread_position_in_threadgroup]]"task-source
ok
search"uint3 group [[threadgroup_position_in_grid]]"task-source
ok
search"uint3 group_count [[threadgroups_per_grid]]"task-source
ok
search"uint3 threads [[threads_per_threadgroup]]"task-source
ok
search"payload.payload_position[lane]"task-source
ok
search"mesh_grid.set_threadgroups_per_grid"task-source
ok
search"[[mesh]] void msl_mesh_probe("mesh-source
ok
search"metal::mesh<MslMeshProbeVertex, MslMeshProbePrimitive, 32, 16, metal::topology::triangle> mesh_out"mesh-source
ok
search"object_data const MslTaskMeshPayload& payload [[payload]]"mesh-source
ok
search"uint(payload.payload_site)"mesh-source
ok
search"mesh_out.set_primitive_count(primitive_count);"mesh-source
ok
search"mesh_out.set_vertex(lane, MslMeshProbeVertex{"mesh-source
ok
search"mesh_out.set_index"mesh-source
ok
search"mesh_out.set_primitive"mesh-source
deftestslug-atlas-derivatives-and-band-selection-lower-to-metal
let
fragment-source
msl:msl-document-source
vertex-source
msl:msl-document-source
ok
search"dfdx(stage_in.render_coordinate)"fragment-source
ok
search"dfdy(stage_in.render_coordinate)"fragment-source
ok
search"stage_in.render_coordinate.y - stage_in.band_bounds.y"fragment-source
ok
search"stage_in.render_coordinate.x - stage_in.band_bounds.x"fragment-source
ok
search"band_base + horizontal_band"fragment-source
ok
search"band_base + horizontal_band_count"fragment-source
ok
search"result.render_band_bounds = float4(stage_in.band_low.xy, stage_in.band_high.xy)"vertex-source
deftestblock-vertex-lowers-projective-map-to-msl
let*
specification
document
msl:compile-mslspecification
source
msl:msl-document-sourcedocument
binding
expression
ok
search"vertex BlockWorldVertexSpecificationOutput"source
ok
search"float3 shadow_projection ="source
ok
search"dot(frame_state.shadow_row_x, float4(stage_in.world_position, 1.0f))"source
ok
search"float3(0.5f, 0.5f, 1.0f)"source
ok
search"float3(0.5f, 0.5f, 0.0f)"source
ok
search"result.clip_position = float4((clip).x, -(clip).y, (clip).z, (clip).w);"source
ok
search"result.shadow_depth_output = shadow_depth;"source
ok
search"tile_offset_output [[user(locn8), flat]]"source
ok
deftestmsl-lowering-is-deterministic-and-does-not-perturb-spir-v
let*
specification
spir-v-before
spv:assemble-shader-specificationspecification
first
msl:msl-document-source
msl:compile-mslspecification
second
msl:msl-document-source
msl:compile-mslspecification
spir-v-after
spv:assemble-shader-specificationspecification
ok
ok
equalpspir-v-beforespir-v-after
ok
deftestmsl-occurrences-retain-expression-provenance
let*
specification
document
msl:compile-mslspecification
binding
expression
occurrences
okoccurrences
ok
every
lambda
occurrencesoccurrence
ok
some
lambda
occurrencesoccurrence
search"albedo"
msl:msl-source-occurrence-textoccurrence
deftestgenerated-msl-explains-quantities-in-plain-language
let*
specification
document
msl:compile-mslspecification
source
msl:msl-document-sourcedocument
input
first
shader:shader-specification-inputsspecification
input-structure
first
msl:msl-document-declarationsdocument
field
binding
output
first
shader:shader-specification-statementsspecification
ok
search"World position is a point-valued vector in the lattice coordinate kind, measured in cell units, and dimensionless."source
ok
search"The xy lanes hold tile local uv as a point-valued vector"source
ok
search"This numeric value has no quantity annotation."source
ok
search"View distance is a difference-valued scalar in the lattice coordinate kind, measured in cell units"source
ok
eqinput
msl:msl-field-originfield
ok
eqbinding
msl:msl-variable-statement-originstatement
ok
eqoutput
msl:msl-output-statement-origin
deftesttexture-parameters-describe-their-sampled-quantity-layout
let*
specification
document
msl:compile-mslspecification
source
msl:msl-document-sourcedocument
resource
find"BLOCK-ATLAS"
shader:shader-specification-resourcesspecification
:keylambda
:test#'string=resource
symbol-name
shader:shader-object-nameresource
ok
search"The sampled xyz lanes hold linear rgb"source
ok
search"The sampled w lane holds surface relief"source
ok
eqresource
msl:msl-parameter-originparameter
deftestslug-proof-lowers-to-direct-metal-pixel-mathematics
let*
source
msl:msl-document-sourcedocument
ok
search"fragment SlugBezierFragmentSpecificationOutput"source
ok
search"sign("source
ok
search"sqrt("source
ok
search"result.color_output"source
deftestanalytic-roundrect-lowers-to-direct-metal-distance-mathematics
let*
source
msl:msl-document-sourcedocument
ok
search"fragment RoundrectFragmentSpecificationOutput"source
ok
search"dfdx("source
ok
search"dfdy("source
ok
search"sqrt("source
ok
search"result.color_output"source
deftestslug-band-function-lexicals-stay-inside-their-metal-loops
let*
source
msl:msl-document-source
first-loop
search"for (uint fold_index_1"source
first-local
search"_local_1_axis_a"source
first-break
search"if ((fold_state_1.z * 1.0f) > 0.5f) break;"source
first-update
search"fold_state_1 = float3((fold_state_1.x"source
ok
search"texture2d<uint> band_data"source
ok
search"texture2d<float> curve_data"source
okfirst-loop
ok
search"for (uint fold_index_2"source
okfirst-break
ok
deftestcounted-fold-lowers-to-a-direct-metal-loop
let*
specification
shader:parse-shader-specification'metal-fold-probe'
:stage:fragment:inputs:outputs
'count:float:location0
result:float:location0
source
msl:msl-document-source
msl:compile-mslspecification
ok
search"float fold_state_1 = 0.0f;"source
ok
search"for (float fold_index_1 = 0.0f;"source
ok
search"fold_state_1 = (fold_state_1 + fold_index_1);"source
ok
search"result.result = fold_state_1;"source
deftestshared-conditionals-lower-inside-direct-metal-folds
let*
specification
shader:parse-shader-specification'metal-conditional-fold-probe'
:stage:fragment:inputs:outputs
'count:float:location0
limit:float:location1
result:float:location0
source
msl:msl-document-source
msl:compile-mslspecification
ok
search"fold_index_1 < stage_in.limit"source
ok
search"? (fold_state_1 + fold_index_1) : fold_state_1"source
deftestunsupported-msl-boundaries-retain-source-reasons
flet
reason-for
specification
handler-case
shader:shader-language-error
condition
shader:shader-language-error-reasoncondition
let
compute
shader:parse-shader-specification'compute-probe'
:stage:compute:outputs
'value:float:location0
shader:set-outputvalue1.0
descriptor-set
shader:parse-shader-specification'descriptor-set-probe'
:stage:fragment:outputs:resources
'value:float:location0
image:texture-2d:set1:binding0
shader:set-outputvalue1.0
ok
eq:unsupported-msl-stage
reason-forcompute
ok
eq:unsupported-msl-descriptor-set
reason-fordescriptor-set
defteststorage-buffers-and-bit-fields-lower-to-device-pointers-and-shifts
let
source
msl:msl-document-source
ok
search"const device ulong* sites [[buffer(1)]]"source
ok
search"const device uint4* words [[buffer(2)]]"source
ok
search"ulong term = sites[uint(3.0f)];"source
ok
search"words[extent].x"source
A 64-bit field masks with a 64-bit literal, a 32-bit one with a 32-bit literal, and a field reaching the top bit needs no mask.
ok
search"((term >> 4ul) & 0xFFFFFFul)"source
ok
search"((term >> 0ul) & 0xFul)"source
ok
search"(word >> 16u)"source
ok
search"uint whole = (word);"source
defmacro define-shader
(name options &body body)define-shader-operator uint
Convert one scalar float or unsigned value to a 32-bit unsigned integer.
define-shader-operator texel-load
Load one exact two-dimensional texel at an unsigned integer coordinate.
define-shader-operator swizzle
Select and reorder vector components by a designator such as :XYZ or :RGB.
define-arithmetic-operator +
Addition over compatible quantities.
define-arithmetic-operator mod
The non-negative remainder of integer division.
define-arithmetic-operator /
Division of two represented quantities.
define-shader-operator float
Convert one scalar float or unsigned value to a 32-bit float.
defmacro define-shader-function
(name parameters &body body)Define a reusable typed shader expression with ordinary source syntax. The body is parsed at each call site, so argument types and quantity meanings flow through the same operator protocol as handwritten shader expressions. LET* is lexical inside the function. The definition macro records source; its body does not…
defmacro define-task-payload
(name &body fields)define-arithmetic-operator =
Test whether two compatible scalars are equal.
define-shader-operator uint64
Convert one scalar float or unsigned value to a 64-bit unsigned integer.
define-arithmetic-operator <
Test whether one compatible scalar is less than another.
define-shader-operator payload-element
Read one indexed element of the task payload shared with a mesh shader.
defun msl-binding-named
(name specification)defgeneric shader-object-name
(object)defun msl-named
(name objects name-function)defclass document
An open document and the context it was opened in.
defun compile-msl
(specification &optional (target *metal-4-target*))defclass declaration
PROPERTY: VALUES; -- the property a keyword, the values a list written space-separated.
defun parse-shader-specification
(name options body)defgeneric shader-binding-expression
(binding)defun assemble-shader-specification
(specification)defgeneric lower-shader-specification
(target specification)Lower SPECIFICATION for TARGET without changing its source graph. TARGET participates in ordinary CLOS dispatch so each backend can own its structured product and source provenance. #JDLQPN
define-arithmetic-operator and
Logical conjunction of tests and raw truth values.
defclass msl-variable-statement
One local declaration retaining its semantic shader binding.
defclass msl-output-statement
One output assignment retaining its semantic shader assignment.
defgeneric lower-shader-call
(operator context expression)Lower EXPRESSION into CONTEXT's target product and return its value. Target context deliberately precedes operator identity in method selection: an operator implemented only for one backend must not capture another backend's context before its source-located unsupported-operation method.
The shared camera graph uses Vulkan framebuffer orientation. Metal's target boundary owns the one required clip-space Y conversion.