hal/metal/msl/lowering.lisp
in-package#:luv.msl
defclassmsl-target
language-version:initarg:language-version:initform"4.0":readermsl-target-language-version
:documentation
The Metal language policy selected for one direct shader lowering.
defparameter*metal-4-target*
defclassmsl-source-occurrence
expression:initarg:expression:readermsl-source-occurrence-expression
text:initarg:text:readermsl-source-occurrence-text
:documentation
One rendered occurrence retaining its originating shader expression.
defclassmsl-field
type:initarg:type:readermsl-field-type
name:initarg:name:readermsl-field-name
attribute:initarg:attribute:readermsl-field-attribute
origin:initarg:origin:readermsl-field-origin
array-length:initarg:array-length:initformnil:readermsl-field-array-length
:documentation
One rendered structure field retaining its shader declaration for #YA4KDP.
defclassmsl-structure-declaration
name:initarg:name:readermsl-structure-name
fields:initarg:fields:readermsl-structure-fields
defclassmsl-parameter
type:initarg:type:readermsl-parameter-type
name:initarg:name:readermsl-parameter-name
attribute:initarg:attribute:readermsl-parameter-attribute
origin:initarg:origin:initformnil:readermsl-parameter-origin
:documentation
One entry-point parameter and the resource, if any, which produced it.
defclassmsl-variable-statement
type:initarg:type:readermsl-variable-statement-type
name:initarg:name:readermsl-variable-statement-name
value:initarg:value:readermsl-variable-statement-value
origin:initarg:origin:readermsl-variable-statement-origin
:documentation
One local declaration retaining its semantic shader binding.
defclassmsl-output-statement
field:initarg:field:readermsl-output-statement-field
value:initarg:value:readermsl-output-statement-value
origin:initarg:origin:readermsl-output-statement-origin
:documentation
One output assignment retaining its semantic shader assignment.
defclassmsl-if-statement
condition:initarg:condition:readermsl-if-statement-condition
statements:initarg:statements:readermsl-if-statement-statements
origin:initarg:origin:readermsl-if-statement-origin
defclassmsl-mesh-output-counts-statement
lane:initarg:lane:readermsl-mesh-output-counts-lane
vertex-count:initarg:vertex-count:readermsl-mesh-output-counts-vertex-count
primitive-count:initarg:primitive-count:readermsl-mesh-output-counts-primitive-count
origin:initarg:origin:readermsl-mesh-output-counts-origin
defclassmsl-mesh-vertex-statement
index:initarg:index:readermsl-mesh-vertex-index
vertex-type:initarg:vertex-type:readermsl-mesh-vertex-type
values:initarg:values:readermsl-mesh-vertex-values
origin:initarg:origin:readermsl-mesh-vertex-origin
defclassmsl-mesh-primitive-statement
index:initarg:index:readermsl-mesh-primitive-index
indices:initarg:indices:readermsl-mesh-primitive-indices
topology:initarg:topology:readermsl-mesh-primitive-topology
primitive-type:initarg:primitive-type:initformnil:readermsl-mesh-primitive-type
values:initarg:values:initformnil:readermsl-mesh-primitive-values
origin:initarg:origin:readermsl-mesh-primitive-origin
defclassmsl-task-payload-store-statement
field:initarg:field:readermsl-task-payload-store-field
index:initarg:index:initformnil:readermsl-task-payload-store-index
value:initarg:value:readermsl-task-payload-store-value
origin:initarg:origin:readermsl-task-payload-store-origin
defclassmsl-emit-mesh-workgroups-statement
lane:initarg:lane:readermsl-emit-mesh-workgroups-lane
workgroups:initarg:workgroups:readermsl-emit-mesh-workgroups-counts
origin:initarg:origin:readermsl-emit-mesh-workgroups-origin
defclassmsl-counted-fold-statement
type:initarg:type:readermsl-counted-fold-statement-type
state-name:initarg:state-name:readermsl-counted-fold-statement-state-name
initial:initarg:initial:readermsl-counted-fold-statement-initial
index-name:initarg:index-name:readermsl-counted-fold-statement-index-name
index-type:initarg:index-type:readermsl-counted-fold-statement-index-type
count:initarg:count:readermsl-counted-fold-statement-count
bindings:initarg:bindings:initformnil:readermsl-counted-fold-statement-bindings
update:initarg:update:readermsl-counted-fold-statement-update
until-bindings:initarg:until-bindings:initformnil:readermsl-counted-fold-statement-until-bindings
until:initarg:until:initformnil:readermsl-counted-fold-statement-until
origin:initarg:origin:readermsl-counted-fold-statement-origin
defclassmsl-entry-point
stage:initarg:stage:readermsl-entry-point-stage
return-type:initarg:return-type:readermsl-entry-point-return-type
name:initarg:name:readermsl-entry-point-name
parameters:initarg:parameters:readermsl-entry-point-parameters
statements:initarg:statements:readermsl-entry-point-statements
defclassmsl-document
target:initarg:target:readermsl-document-target
specification:initarg:specification:readermsl-document-specification
declarations:initarg:declarations:readermsl-document-declarations
entry-point:initarg:entry-point:readermsl-document-entry-point
source:initarg:source:accessormsl-document-source
expression-occurrences:initarg:expression-occurrences:readermsl-document-expression-occurrences
occurrence-expression:initarg:occurrence-expression:readermsl-document-occurrence-expression
defclassmsl-lowering-context
target:initarg:target:readermsl-context-target
specification:initarg:specification:readermsl-context-specification
references:initform
make-hash-table:test#'eq
:readermsl-context-referencesexpression-occurrences:initform
make-hash-table:test#'eq
:readermsl-context-expression-occurrencesoccurrence-expression:initform
make-hash-table:test#'eq
:readermsl-context-occurrence-expressionfunction-call-results:initform
make-hash-table:test#'eq
:readermsl-context-function-call-resultspending-statements:initformnil:accessormsl-context-pending-statements
fold-counter:initform0:accessormsl-context-fold-counter
defunmsl-identifier
name
defunmsl-type-name
case
shader:shader-type-name
:bool"bool"
:float"float"
:uint"uint"
:uint64"ulong"
:vec2"float2"
:vec3"float3"
:vec4"float4"
:uvec2"uint2"
:uvec3"uint3"
:uvec4"uint4"
:texture-2d"texture2d<float>"
:depth-texture-2d"depth2d<float>"
:uint-texture-2d"texture2d<uint>"
:sampler"sampler"
otherwise
error'shader:shader-language-error:formsource-form:reason:unsupported-msl-type:details
shader:shader-type-nametype
defunmsl-structure-name-for
name&optionalsuffix
let
capitalize-next-pt
with-output-to-string
stream
loopforcharacteracross
string-downcase
ifstringname
alphanumericpcharacter
dowrite-char
ifcapitalize-next-p
streamchar-upcasecharacter
charactersetfcapitalize-next-pnil
elsedosetfcapitalize-next-pt
whensuffix
write-stringsuffixstream
defunmsl-float-literal
value
let*
raw
string-downcase
write-to-string
coercevalue'single-float
normalized
map'string
lambda
rawcharacter
if
findcharacter"sfdl":test#'char=
#\echaracterdefunmsl-semantic-words
name
substitute#\Space#\-
string-downcase
symbol-namename
defunmsl-factor-description
factor
let
name
msl-semantic-words
carfactor
power
cdrfactor
casepower
1name
2
formatnil"~A squared"name
3
formatnil"~A cubed"name
otherwise
formatnil"~A to the ~A power"namepower
defunmsl-factor-product-description
factors
defunmsl-tensor-description
order
caseorder
0"scalar"
1"vector"
otherwise
formatnil"tensor of order ~D"order
defunmsl-character-description
specification
case
math:quantity-specification-characterspecification
:point"point-valued"
:absolute
:difference"difference-valued"
defunmsl-quantity-predicate
specification
let*
kind
math:quantity-specification-kindspecification
unit-factors
math:unit-expression-factors
math:quantity-specification-unitspecification
dimension-factors
math:dimension-factors
math:quantity-specification-dimensionspecification
with-output-to-string
stream
formatstream"a ~A ~A"
msl-character-descriptionspecification
msl-tensor-description
math:quantity-specification-tensor-orderspecification
whenkind
cond
write-string", unitless and dimensionless"stream
t
ifunit-factors
write-string", unitless"stream
ifdimension-factors
write-string", and dimensionless"stream
defunmsl-capitalize-sentence
text
defunmsl-quantity-sentence
specification
let
name
math:quantity-specification-namespecification
defunmsl-lane-name
positions
defunmsl-layout-sentences
let
occupiednil
sentencesnil
dolist
projection
math:quantity-layout-projectionslayout
let*
positions
math:quantity-projection-positionsprojection
specification
math:quantity-projection-specificationprojection
name
math:quantity-specification-namespecification
lanes
msl-lane-namepositions
setfoccupied
nconc
copy-listpositions
occupiedpush
formatnil"The ~A~A ~A ~A ~A~A."
sentencesifsampled-p"sampled """
laneslet
whenuncovered
pushsentences
nreversesentences
defgenericmsl-origin-quantity-specification
origin
:documentation
Return the homogeneous quantity carried by origin.
defmethodmsl-origin-quantity-specificationnil
origint
defmethodmsl-origin-quantity-specification
shader:shader-declaration-quantity-specificationorigin
defmethodmsl-origin-quantity-specification
shader:shader-expression-quantity-specification
shader:shader-assignment-valueorigin
defmethodmsl-origin-quantity-specification
originshader:shader-resource
shader:shader-resource-sample-quantity-specificationorigin
defgenericmsl-origin-quantity-layout
origin
:documentation
Return the component quantity layout carried by origin.
defmethodmsl-origin-quantity-layoutnil
origint
defmethodmsl-origin-quantity-layout
shader:shader-declaration-quantity-layoutorigin
defmethodmsl-origin-quantity-layout
shader:shader-expression-quantity-layout
shader:shader-assignment-valueorigin
defmethodmsl-origin-quantity-layout
originshader:shader-resource
shader:shader-resource-sample-quantity-layoutorigin
defunmsl-semantic-sentences
origin&keysampled-punannotated-p
let
specification
cond
specification
list
msl-quantity-sentencespecification
unannotated-p
list"This numeric value has no quantity annotation."
defunwrite-msl-semantic-comments
dolist
sentence
defunnote-msl-occurrence
let
occurrence
setfexpression
occurrencedefunmsl-occurrence-text
occurrence
msl-source-occurrence-textoccurrence
defgenericlower-msl-expression
contextexpression
:documentation
Render one shader expression and retain a source occurrence for it.
defmethodlower-msl-expression
defmethodlower-msl-expression
let*
target
shader:shader-reference-targetexpression
text
cond
text
let
t
error'shader:shader-language-error:form
shader:shader-expression-source-formexpression
:reason:unsupported-msl-reference:detailsdefmethodlower-msl-expression
let
index
note-msl-occurrencecontextexpression
formatnil"payload.~A[~A]"
msl-identifier
shader:shader-object-name
shader:shader-payload-element-fieldexpression
msl-occurrence-textindex
defmethodlower-msl-expression
let
index
note-msl-occurrencecontextexpression
formatnil"~A[~A]"
msl-identifier
shader:shader-object-name
shader:shader-buffer-element-bufferexpression
msl-occurrence-textindex
defmethodlower-msl-expression
defmethodlower-msl-expression
multiple-value-bind
cached-resultcached-p
ifcached-p
let
unwind-protect
progn
dolist
binding
shader:shader-function-call-bindingsexpression
unless
multiple-value-bind
old-referenceold-reference-p
push
listbindingold-referenceold-reference-p
saved-referenceslet*
binding-expression
name
value
setflocal-statementsname
setflocal-statements
nconclocal-statements
list
make-instance'msl-variable-statement:type
msl-type-name
:namename:valuevalue:originbindingshader:shader-expression-typebinding-expression
let*
result
result-text
msl-occurrence-textresult
setflocal-statements
msl-context-pending-statementscontext
nconcouter-statementslocal-statements
result-textdefmethodlower-msl-expression
let
condition
consequent
alternative
note-msl-occurrencecontextexpression
formatnil"(~A ? ~A : ~A)"
msl-occurrence-textcondition
msl-occurrence-textconsequent
msl-occurrence-textalternative
defmethodlower-msl-expression
let*
ordinal
incf
msl-context-fold-countercontext
state-name
formatnil"fold_state_~D"ordinal
index-name
formatnil"fold_index_~D"ordinal
count
initial
index-binding
lang:arithmetic-counted-fold-index-bindingexpression
state-binding
lang:arithmetic-counted-fold-state-bindingexpression
multiple-value-bind
old-indexold-index-p
multiple-value-bind
old-stateold-state-p
setfindex-namestate-name
let*
preheader-statements
until-expression
lang:arithmetic-counted-fold-untilexpression
until
until-statements
local-statementsnil
dolist
binding
lang:arithmetic-counted-fold-bindingsexpression
let*
binding-expression
name
value
setflocal-statements
setfname
setflocal-statements
nconclocal-statements
list
make-instance'msl-variable-statement:type
msl-type-name
:namename:valuevalue:originbindingshader:shader-expression-typebinding-expression
let
update
setflocal-statements
setf
msl-context-pending-statementscontext
nconcpreheader-statements
list
make-instance'msl-counted-fold-statement:type
msl-type-name
:state-namestate-name:initialinitial:index-nameindex-name:index-typeshader:shader-expression-typeexpression
msl-type-name
:countcount:bindingslocal-statements:updateupdate:until-bindingsuntil-statements:untiluntil:originexpressionshader:shader-expression-type
lang:arithmetic-counted-fold-countexpression
dolist
binding
lang:arithmetic-counted-fold-bindingsexpression
ifold-index-p
setfold-index
defgenericlower-msl-shader-map-application
:documentation
Render one semantic shader-map application for MSL.
defmethodlower-msl-shader-map-application
declare
ignorecontext
error'shader:shader-language-error:form
shader:shader-expression-source-formapplication
:reason:unsupported-msl-shader-map:detailsclass-name
class-ofdefinition
defmethodlower-msl-shader-map-application
declare
ignoredefinition
let*
point
rows
mapcar
lambda
row
shader:shader-map-application-rowsapplication
homogeneous
formatnil"float4(~A, 1.0f)"point
clip-components
mapcar
lambda
rowsrow
formatnil"dot(~A, ~A)"rowhomogeneous
defmethodlower-msl-expression
let*
application
shader:shader-map-projection-applicationexpression
definition
shader:shader-map-application-definitionapplication
point
rows
mapcar
lambda
row
shader:shader-map-application-rowsapplication
homogeneous
formatnil"float4(~A, 1.0f)"point
clip-components
mapcar
lambda
rowsrow
formatnil"dot(~A, ~A)"rowhomogeneous
normalized
formatnil"(float3(~{~A~^, ~}) / ~A)"
subseqclip-components03
fourthclip-components
scale
formatnil"float3(~{~A~^, ~})"
offset
formatnil"float3(~{~A~^, ~})"
defmethodlower-msl-expression
defunlower-msl-quantity-boundary
let
lowered
defmethodlower-msl-expression
defmethodlower-msl-expression
defmethodlower-msl-expression
defmethodlower-msl-expression
let*
defmethodlower-msl-expression
declare
ignorecontext
error'shader:shader-language-error:form
shader:shader-expression-source-formexpression
:reason:unsupported-msl-expression:detailsclass-name
class-ofexpression
defunlower-msl-operands
contextexpression
defunlower-msl-infix-call
let
operands
defunlower-msl-function-call
let
operands
defunlower-msl-chained-function-call
let
operands
note-msl-occurrencecontextexpression
reduce
lambda
leftright
formatnil"~A(~A, ~A)"nameleftright
restoperands
:initial-valuefirstoperands
defmethodshader:lower-shader-call
error'shader:shader-language-error:form
shader:shader-expression-source-formexpression
:reason:unsupported-msl-operator:detailsoperatordefmacrodefine-msl-infix-operator
operatortext
`defmethodshader:lower-shader-call
declare
ignoreoperator
defmethodshader:lower-shader-call
Lower ldb to a logical shift and mask in the operand's own width.
declare
ignoreoperator
let*
operands
shader:shader-call-operandsexpression
value
size
shader:shader-bit-field-sizeexpression
position
shader:shader-bit-field-positionexpression
width
shader:shader-type-bit-width
shader:shader-expression-typeexpression
shift
cond
defmacrodefine-msl-function-operator
operatorname
`defmethodshader:lower-shader-call
declare
ignoreoperator
defmacrodefine-msl-chained-function-operator
operatorname
`defmethodshader:lower-shader-call
declare
ignoreoperator
defunlower-msl-vector-constructor
contextexpression
let
operands
defmacrodefine-msl-vector-constructor
operator
`defmethodshader:lower-shader-call
declare
ignoreoperator
defmethodshader:lower-shader-call
declare
ignoreoperator
defmethodshader:lower-shader-call
declare
ignoreoperator
defmethodshader:lower-shader-call
declare
ignoreoperator
defmethodshader:lower-shader-call
declare
ignoreoperator
let*
operand
components
string-downcase
string
first
shader:shader-call-parametersexpression
defmethodshader:lower-shader-call
declare
ignoreoperator
destructuring-bind
texturesamplercoordinate
shader:shader-call-operandsexpression
let*
lowered
sample
formatnil"~A.sample(~A, ~A)"
msl-occurrence-text
firstlowered
msl-occurrence-text
secondlowered
msl-occurrence-text
thirdlowered
defmethodshader:lower-shader-call
declare
ignoreoperator
let
operands
note-msl-occurrencecontextexpression
destructuring-bind
texturesamplercoordinatedepth-reference
operandsformatnil"~A.sample_compare(~A, ~A, ~A)"texturesamplercoordinatedepth-reference
defunmsl-interface-attribute
stagedeclaration
let
direction
shader:shader-interface-directiondeclaration
location
shader:shader-interface-locationdeclaration
built-in
shader:shader-interface-built-indeclaration
interpolation
shader:shader-interface-interpolationdeclaration
source-form
cond
casebuilt-in
:local-invocation-index"[[thread_index_in_threadgroup]]"
:local-invocation-id"[[thread_position_in_threadgroup]]"
:workgroup-id"[[threadgroup_position_in_grid]]"
:num-workgroups"[[threadgroups_per_grid]]"
:workgroup-size"[[threads_per_threadgroup]]"
otherwise
built-in
formatnil"[[attribute(~D)]]"location
formatnil"[[color(~D)]]"location
t
formatnil"[[user(locn~D)~@[, ~A~]]]"location
caseinterpolation
:flat"flat"
otherwisenil
defunmsl-interface-structure
make-instance'msl-structure-declaration:name:fields
defunmsl-built-in-input-parameter
stagedeclaration
defunmsl-uniform-structure
resource
make-instance'msl-structure-declaration:name:fields
mapcar
lambda
member
shader:shader-uniform-block-membersresource
defunmsl-task-payload-structure
payload
make-instance'msl-structure-declaration:name:fields
mapcar
lambda
field
make-instance'msl-field:type:name:attributenil:originfield:array-length
shader:shader-task-payload-field-element-countfield
shader:shader-task-payload-fieldspayload
defunmsl-resource-parameter
resource
unless
zerop
shader:shader-resource-descriptor-setresource
error'shader:shader-language-error:form
shader:shader-object-source-formresource
:reason:unsupported-msl-descriptor-set:detailsshader:shader-resource-descriptor-setresource
let*
casekind
:uniform-block
:storage-buffer
make-instance'msl-parameter:type
formatnil"const device ~A*"
:namename:attributemsl-type-name
shader:shader-storage-buffer-element-typeresource
shader:shader-object-source-formresource
formatnil"[[buffer(~D)]]"binding
:originresource:texture-2d
:sampler
make-instance'msl-parameter:type"sampler":namename:attribute
formatnil"[[sampler(~D)]]"binding
:originresourceotherwise
error'shader:shader-language-error:form
shader:shader-object-source-formresource
:reason:unsupported-msl-resource:detailskinddefunregister-msl-declaration-references
dolist
input
shader:shader-specification-inputsspecification
setf
if
shader:shader-interface-built-ininput
dolist
resource
shader:shader-specification-resourcesspecification
let
resource-name
setfresource-name
when
dolist
member
shader:shader-uniform-block-membersresource
setf
let
contextpayload
shader:shader-specification-task-payloadspecification
whenpayload
dolist
field
shader:shader-task-payload-fieldspayload
unless
shader:shader-task-payload-field-element-countfield
setf
defmethodwrite-msl-declaration
dolist
field
msl-structure-fieldsdeclaration
formatstream" ~A ~A~A~@[ ~A~];~%"
msl-field-typefield
msl-field-namefield
if
msl-field-array-lengthfield
formatnil"[~D]"
""msl-field-array-lengthfield
msl-field-attributefield
formatstream"};~%"
defvar*msl-statement-indentation*1
defunwrite-msl-indent
stream&optional
extra0
defunmsl-position-adjusted-text
declarationvalue
if
eq:position
shader:shader-interface-built-indeclaration
The shared camera graph intentionally retains Vulkan's framebuffer-oriented clip Y. Metal owns the target conversion.
formatnil"float4((~A).x, -(~A).y, (~A).z, (~A).w)"valuevaluevaluevalue
valuedefunmsl-control-condition-text
condition
defmethodwrite-msl-statement
statementmsl-variable-statement
streamwrite-msl-indentstream
write-msl-indentstream
formatstream"~A ~A = ~A;~%"
msl-variable-statement-typestatement
msl-variable-statement-namestatement
msl-occurrence-text
msl-variable-statement-valuestatement
defmethodwrite-msl-statement
statementmsl-output-statement
streamlet*
origin
msl-output-statement-originstatement
output
shader:shader-assignment-outputorigin
value
msl-occurrence-text
msl-output-statement-valuestatement
text
write-msl-indentstream
formatstream"result.~A = ~A;~%"
msl-output-statement-fieldstatement
textdefmethodwrite-msl-statement
statementmsl-if-statement
streamwrite-msl-indentstream
formatstream"if ~A {~%"
msl-control-condition-text
msl-occurrence-text
msl-if-statement-conditionstatement
let
dolist
child
msl-if-statement-statementsstatement
write-msl-indentstream
formatstream"}~%"
defmethodwrite-msl-statement
statementmsl-mesh-output-counts-statement
streamwrite-msl-indentstream
formatstream"// publishes ~A vertices and ~A primitives~%"
msl-occurrence-text
msl-mesh-output-counts-vertex-countstatement
msl-occurrence-text
msl-mesh-output-counts-primitive-countstatement
write-msl-indentstream
formatstream"if (~A == 0u)~%"
msl-mesh-output-counts-lanestatement
formatstream"mesh_out.set_primitive_count(~A);~%"
msl-occurrence-text
msl-mesh-output-counts-primitive-countstatement
defmethodwrite-msl-statement
statementmsl-mesh-vertex-statement
streamwrite-msl-indentstream
formatstream"mesh_out.set_vertex(~A, ~A{~{~A~^, ~}});~%"
msl-occurrence-text
msl-mesh-vertex-indexstatement
msl-mesh-vertex-typestatement
loopforin
msl-mesh-vertex-valuesstatement
collectdefmethodwrite-msl-statement
statementmsl-mesh-primitive-statement
streamlet*
primitive-index
msl-occurrence-text
msl-mesh-primitive-indexstatement
indices
msl-occurrence-text
msl-mesh-primitive-indicesstatement
components
ecase
msl-mesh-primitive-topologystatement
:points'
nil
:lines'
"x""y"
:triangles'
"x""y""z"
loopforcomponentincomponentsforoffsetfrom0do
write-msl-indentstream
formatstream"mesh_out.set_index((~A * ~Du) + ~Du, ~A~A);~%"primitive-indexwidthoffsetindices
ifcomponent
formatnil".~A"component
""when
msl-mesh-primitive-typestatement
write-msl-indentstream
formatstream"mesh_out.set_primitive(~A, ~A{~{~A~^, ~}});~%"primitive-index
msl-mesh-primitive-typestatement
defmethodwrite-msl-statement
statementmsl-task-payload-store-statement
streamwrite-msl-indentstream
formatstream"payload.~A~A = ~A;~%"
msl-task-payload-store-fieldstatement
if
msl-task-payload-store-indexstatement
""msl-occurrence-text
msl-task-payload-store-valuestatement
defmethodwrite-msl-statement
statementmsl-emit-mesh-workgroups-statement
streamwrite-msl-indentstream
formatstream"if (~A == 0u)~%"
msl-emit-mesh-workgroups-lanestatement
formatstream"mesh_grid.set_threadgroups_per_grid(~A);~%"
msl-occurrence-text
msl-emit-mesh-workgroups-countsstatement
defmethodwrite-msl-statement
statementmsl-counted-fold-statement
streamwrite-msl-indentstream
formatstream"~A ~A = ~A;~%"
msl-counted-fold-statement-typestatement
msl-counted-fold-statement-state-namestatement
msl-occurrence-text
msl-counted-fold-statement-initialstatement
let*
index-type
msl-counted-fold-statement-index-typestatement
unsigned-p
string=index-type"uint"
write-msl-indentstream
formatstream"for (~A ~A = ~A; ~A < ~A; ~A += ~A) {~%"index-type
msl-counted-fold-statement-index-namestatement
ifunsigned-p"0u""0.0f"
msl-counted-fold-statement-index-namestatement
msl-occurrence-text
msl-counted-fold-statement-countstatement
msl-counted-fold-statement-index-namestatement
ifunsigned-p"1u""1.0f"
let
until
msl-counted-fold-statement-untilstatement
whenuntil
let
dolist
binding
msl-counted-fold-statement-until-bindingsstatement
dolist
binding
msl-counted-fold-statement-bindingsstatement
formatstream"~A ~A = ~A;~%"
msl-variable-statement-typebinding
msl-variable-statement-namebinding
msl-occurrence-text
msl-variable-statement-valuebinding
formatstream"~A = ~A;~%"
msl-counted-fold-statement-state-namestatement
msl-occurrence-text
msl-counted-fold-statement-updatestatement
write-msl-indentstream
formatstream"}~%"
defunmsl-stage-qualifier
stage
ecasestage
:vertex"vertex"
:fragment"fragment"
:compute"kernel"
:task"[[object]]"
:mesh"[[mesh]]"
defunwrite-msl-entry-point
entry-pointstream
formatstream"~A ~A ~A("
msl-stage-qualifier
msl-entry-point-stageentry-point
msl-entry-point-return-typeentry-point
msl-entry-point-nameentry-point
loopforparameterin
msl-entry-point-parametersentry-point
forfirstp=tthennildounlessfirstp
formatstream",~%"
when
msl-parameter-originparameter
unlessfirstp
write-string" "stream
formatstream"~A ~A~@[ ~A~]"
msl-parameter-typeparameter
msl-parameter-nameparameter
msl-parameter-attributeparameter
let
void-p
formatstream") {~%"
unlessvoid-p
let
dolist
statement
msl-entry-point-statementsentry-point
unlessvoid-p
formatstream" return result;~%"
formatstream"}~%"
defunrender-msl-document
with-output-to-string
stream
formatstream"#include <metal_stdlib>~%~%using namespace metal;~%"
dolist
declaration
msl-document-declarationsdocument
terpristream
terpristream
defunmsl-local-invocation-index-name
specification
msl-identifier
shader:shader-object-name
find:local-invocation-index
shader:shader-specification-inputsspecification
:key#'shader:shader-interface-built-indefgenericlower-msl-statement
contextstatement
:documentation
Lower one semantic shader statement to structured MSL.
defunlower-msl-expression-with-pending
contextexpression
let
value
defmethodlower-msl-statement
multiple-value-bind
valuepending
appendpending
list
make-instance'msl-output-statement:field
msl-identifier
:valuevalue:originstatementshader:shader-object-name
shader:shader-assignment-outputstatement
defmethodlower-msl-statement
multiple-value-bind
conditionpending
appendpending
list
make-instance'msl-if-statement:conditioncondition:statements
mapcan
:originstatementlambda
child
shader:shader-conditional-statement-statementsstatement
defmethodlower-msl-statement
let
vertex-count
primitive-count
append
list
make-instance'msl-mesh-output-counts-statement:lane
msl-local-invocation-index-name
:vertex-countvertex-count:primitive-countprimitive-count:originstatementmsl-context-specificationcontext
defunlower-msl-declaration-values
contextvalues
let
pendingnil
lowerednil
dolist
pairvalues
let
value
setfpending
push
cons
loweredcarpair
valuevalues
nreverselowered
pendingdefmethodlower-msl-statement
let
index
let
multiple-value-bind
valuesvalue-pending
appendpendingvalue-pending
list
defmethodlower-msl-statement
let
index
indices
let
multiple-value-bind
valuesvalue-pending
let*
specification
msl-context-specificationcontext
mesh-output
shader:shader-specification-mesh-outputspecification
appendpendingvalue-pending
list
make-instance'msl-mesh-primitive-statement:indexindex:indicesindices:topology
shader:shader-mesh-output-topologymesh-output
:primitive-type:valuesvalues:originstatementdefmethodlower-msl-statement
let
index
and
shader:shader-task-payload-store-indexstatement
value
append
list
make-instance'msl-task-payload-store-statement:field
msl-identifier
:indexindex:valuevalue:originstatementshader:shader-object-name
shader:shader-task-payload-store-fieldstatement
defmethodlower-msl-statement
multiple-value-bind
workgroupspending
appendpending
list
make-instance'msl-emit-mesh-workgroups-statement:lane
msl-local-invocation-index-name
:workgroupsworkgroups:originstatementmsl-context-specificationcontext
defunlower-msl-bindings
contextspecification
let
statementsnil
dolist
statementsbinding
shader:shader-specification-bindingsspecification
let*
expression
name
value
setfstatements
setfname
setfstatements
defunlower-msl-statements
contextspecification
mapcan
lambda
statement
shader:shader-specification-statementsspecification
defunmsl-uniform-structures
specification
loopforresourcein
shader:shader-specification-resourcesspecification
whencollectmsl-uniform-structureresource
defunfinish-msl-document
let
document
make-instance'msl-document:targettarget:specificationspecification:declarationsdeclarations:entry-pointentry-point:source"":expression-occurrences
msl-context-expression-occurrencescontext
:occurrence-expressionmsl-context-occurrence-expressioncontext
setf
documentmsl-document-sourcedocument
defunlower-traditional-msl-specification
let*
stage
shader:shader-specification-stagespecification
base-name
shader:shader-object-namespecification
ordinary-inputs
remove-if#'shader:shader-interface-built-in
shader:shader-specification-inputsspecification
built-in-inputs
remove-if-not#'shader:shader-interface-built-in
shader:shader-specification-inputsspecification
input-structure
whenordinary-inputs
output-structure
input-parameter-name"stage_in"
unless
memberstage'
:vertex:fragment
error'shader:shader-language-error:form
shader:shader-object-source-formspecification
:reason:unsupported-msl-stage:detailsstagelet
entry-point
make-instance'msl-entry-point:stagestage:return-type
msl-structure-nameoutput-structure
:namemsl-identifierbase-name
:parametersappend
:statementswheninput-structure
list
make-instance'msl-parameter:type
msl-structure-nameinput-structure
:nameinput-parameter-name:attribute"[[stage_in]]"defunmsl-workgroup-parameters
stagespecification
mapcar
lambda
input
shader:shader-specification-inputsspecification
defunmsl-payload-parameter
stagepayload
whenpayload
make-instance'msl-parameter:type
formatnil"object_data ~A~A&"
:name"payload":attribute"[[payload]]"if
eqstage:mesh
"const """defunlower-task-msl-specification
let*
payload
shader:shader-specification-task-payloadspecification
payload-structure
finish-msl-documenttargetspecificationcontext
make-instance'msl-entry-point:stage:task:return-type"void":name
msl-identifier
:parameters:statementsshader:shader-object-namespecification
defunmsl-mesh-topology-name
topology
ecasetopology
:points"point"
:lines"line"
:triangles"triangle"
defunlower-mesh-msl-specification
let*
base-name
shader:shader-object-namespecification
mesh-output
shader:shader-specification-mesh-outputspecification
vertex-structure
primitive-outputs
shader:shader-mesh-output-primitive-outputsmesh-output
primitive-structure
payload
shader:shader-specification-task-payloadspecification
payload-structure
mesh-type
formatnil"metal::mesh<~A, ~A, ~D, ~D, metal::topology::~A>"
msl-structure-namevertex-structure
ifprimitive-structure
msl-structure-nameprimitive-structure
"void"shader:shader-mesh-output-max-verticesmesh-output
shader:shader-mesh-output-max-primitivesmesh-output
msl-mesh-topology-name
shader:shader-mesh-output-topologymesh-output
finish-msl-documenttargetspecificationcontext
append
removenil
listvertex-structureprimitive-structurepayload-structure
msl-uniform-structuresspecification
make-instance'msl-entry-point:stage:mesh:return-type"void":name
msl-identifierbase-name
:parameters:statementsdefmethodshader:lower-shader-specification
targetmsl-target
specificationshader:shader-specification
Lower the shared shader graph directly to a structured MSL document.
let
case
shader:shader-specification-stagespecification
:vertex:fragment
:task
:mesh
otherwise
error'shader:shader-language-error:form
shader:shader-object-source-formspecification
:reason:unsupported-msl-stage:detailsshader:shader-specification-stagespecification
defuncompile-msl
defclass msl-target
The Metal language policy selected for one direct shader lowering.
defclass msl-source-occurrence
One rendered occurrence retaining its originating shader expression.
defclass msl-field
One rendered structure field retaining its shader declaration for #YA4KDP.
define-style type
Headings, paragraphs, figures and their IDs, mentions, marks.
defclass msl-parameter
One entry-point parameter and the resource, if any, which produced it.
defclass msl-variable-statement
One local declaration retaining its semantic shader binding.
defclass msl-output-statement
One output assignment retaining its semantic shader assignment.
defmacro declarations
(&body body)The declarations BODY makes, read as a rule body, for a rule to include: the way to write a mixin.
defun drain-msl-pending-statements
(context)defclass context
A MuPDF context: its allocator, its store, and its error stack.
defun msl-identifier
(name)define-arithmetic-operator =
Test whether two compatible scalars are equal.
define-arithmetic-operator or
Logical disjunction of tests and raw truth values.
define-arithmetic-operator and
Logical conjunction of tests and raw truth values.
defun msl-type-name
(type &optional source-form)defun find-shader-type
(designator &optional source-form)defun msl-structure-name-for
(name &optional suffix)defun msl-float-literal
(value)defun msl-semantic-words
(name)defun msl-factor-description
(factor)defun msl-factor-product-description
(factors)defun msl-tensor-description
(order)defun msl-character-description
(specification)defun quantity-specification-non-negative-p
(specification)Whether SPECIFICATION's named definition declares a non-negative amount. Only a named absolute can promise this; anonymous derived results never do.
defun msl-quantity-predicate
(specification)defun dimension-factors
(dimension)defun msl-quantity-sentence
(specification)defun msl-lane-name
(positions)defun msl-layout-sentences
(layout &key sampled-p)defclass layout
How the children of a list are arranged.
defgeneric msl-origin-quantity-specification
(origin)Return the homogeneous quantity carried by ORIGIN.
defclass shader-variable-declaration
A represented shader value with optional backend-neutral semantic meaning.
defgeneric shader-binding-expression
(binding)defclass shader-resource
A descriptor resource and, for textures, the represented meaning and colour transfer of the value returned by sampling.
defgeneric msl-origin-quantity-layout
(origin)Return the component quantity layout carried by ORIGIN.
defgeneric shader-expression-quantity-layout
(expression)defun msl-semantic-sentences
(origin &key sampled-p unannotated-p)defun write-msl-semantic-comments
(origin stream indentation &key sampled-p unannotated-p)defun indentation
(line)defun note-msl-occurrence
(context expression text)defun msl-occurrence-text
(occurrence)defgeneric lower-msl-expression
(context expression)Render one shader EXPRESSION and retain a source occurrence for it.
defgeneric shader-literal-value
(literal)defgeneric shader-reference-target
(reference)defclass shader-function-parameter-binding
A lexical alias for one already parsed shader-function argument.
defgeneric shader-expression-source-form
(expression)defgeneric shader-object-name
(object)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.
defclass shader-function-call
An inspectable typed call whose body is inlined during backend lowering.
defclass shader-conditional
A typed value conditional from the shared language.
defclass shader-counted-fold
A typed bounded fold lowered as structured target control flow.
defgeneric lower-msl-shader-map-application
(definition context application)Render one semantic shader-map application for MSL.
defclass definition
One top-level defining form of a source file.
defclass shader-map-application
The homogeneous result of applying a represented semantic map.
defclass shader-projective-map-definition
A four-row homogeneous map with a separately checked sampling projection.
defclass shader-map-projection
A virtual sampling product projected from a homogeneous map application.
defun lower-msl-quantity-boundary
(context expression operand)defclass shader-interpretation
A checked semantic name for a represented value, with no codegen effect.
defun shader-interpretation-operand
(expression)defclass shader-quantity-construction
An explicitly meaningful value constructed from semantically raw source.
defun shader-quantity-construction-operand
(expression)defclass shader-quantity-assumption
An explicit assumption that an opaque represented value has a meaning.
defun shader-quantity-assumption-operand
(expression)defclass shader-representation
An explicit exposure of a semantic value's raw machine representation.
defun shader-representation-operand
(expression)defclass shader-unit-conversion
An explicit linear unit conversion that may emit numerical scaling.
defgeneric shader-unit-conversion-operand
(expression)defgeneric shader-unit-conversion-factor
(expression)defun lower-msl-operands
(context expression)defun lower-msl-infix-call
(context expression operator)defun lower-msl-function-call
(context expression name)defun lower-msl-chained-function-call
(context expression name)defmacro define-msl-infix-operator
(operator text)define-shader-operator ldb
Extract the unsigned bit field (BYTE SIZE POSITION) of one unsigned scalar.
defclass shader-bit-field-call
An LDB call whose byte specifier is part of the operator, not an operand.
define-arithmetic-operator +
Addition over compatible quantities.
define-arithmetic-operator -
Subtraction or unary negation.
define-arithmetic-operator *
Multiplication and scalar scaling.
define-arithmetic-operator /
Division of two represented quantities.
define-arithmetic-operator mod
The non-negative remainder of integer division.
define-arithmetic-operator <
Test whether one compatible scalar is less than another.
define-arithmetic-operator <=
Test whether one compatible scalar is at most another.
define-arithmetic-operator >
Test whether one compatible scalar is greater than another.
define-arithmetic-operator >=
Test whether one compatible scalar is at least another.
defmacro define-msl-function-operator
(operator name)define-arithmetic-operator dot
The inner product of two vectors.
define-arithmetic-operator mix
Interpolate compatible quantities by a scalar amount.
define-arithmetic-operator abs
The componentwise absolute value of a raw value.
define-arithmetic-operator sqrt
The componentwise square root of a raw value.
define-arithmetic-operator expt
Raise a dimensionless value to a dimensionless power.
define-arithmetic-operator clamp
Constrain a quantity between compatible bounds.
define-arithmetic-operator smoothstep
Produce dimensionless progress across compatible edges.
define-arithmetic-operator step
Compare compatible quantities and produce dimensionless values.
define-arithmetic-operator normalize
Normalize a dimensionless vector.
defmacro define-msl-chained-function-operator
(operator name)define-arithmetic-operator min
The minimum of compatible quantities.
define-arithmetic-operator max
The maximum of compatible quantities.
defun lower-msl-vector-constructor
(context expression)defmacro define-msl-vector-constructor
(operator)define-shader-operator uint
Convert one scalar float or unsigned value to a 32-bit unsigned integer.
define-shader-operator uint64
Convert one scalar float or unsigned value to a 64-bit unsigned integer.
define-shader-operator float
Convert one scalar float or unsigned value to a 32-bit float.
define-shader-operator swizzle
Select and reorder vector components by a designator such as :XYZ or :RGB.
define-shader-operator sample
Sample a two-dimensional texture through a sampler at a UV coordinate.
define-shader-operator sample-compare
Compare a depth reference through a comparison sampler at a UV coordinate.
define-shader-operator texel-load
Load one exact two-dimensional texel at an unsigned integer coordinate.
defun msl-interface-attribute
(stage declaration)defclass declaration
PROPERTY: VALUES; -- the property a keyword, the values a list written space-separated.
defun msl-interface-structure
(name suffix stage declarations)defun msl-built-in-input-parameter
(stage declaration)defun msl-uniform-structure
(resource)defun msl-task-payload-structure
(payload)defun msl-resource-parameter
(resource)defun register-msl-declaration-references
(context specification input-parameter-name)defclass shader-uniform-block
One descriptor-backed uniform block with ordered, inspectable members.
defgeneric write-msl-declaration
(declaration stream)defgeneric write-msl-statement
(statement stream)defun write-msl-indent
(stream &optional (extra 0))defun msl-position-adjusted-text
(declaration value)defun msl-control-condition-text
(condition)defun msl-stage-qualifier
(stage)defun write-msl-entry-point
(entry-point stream)defun render-msl-document
(document)defclass document
An open document and the context it was opened in.
defun msl-local-invocation-index-name
(specification)defgeneric lower-msl-statement
(context statement)Lower one semantic shader statement to structured MSL.
defun lower-msl-expression-with-pending
(context expression)defun lower-msl-declaration-values
(context values)defun lower-msl-bindings
(context specification)defun lower-msl-statements
(context specification)defun msl-uniform-structures
(specification)defun finish-msl-document
(target specification context declarations entry-point)defun lower-traditional-msl-specification
(target specification context)defun msl-workgroup-parameters
(stage specification)defun msl-payload-parameter
(stage payload)defun lower-task-msl-specification
(target specification context)defun msl-mesh-topology-name
(topology)defun lower-mesh-msl-specification
(target specification context)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
defun compile-msl
(specification &optional (target *metal-4-target*))defun write-msl
(document pathname)Generated MSL remains a view of semantic objects
Generated source is useful to read, but it is not a new semantic store. The MSL fields, parameters, local statements, and output statements retain the declaration, resource, binding, or assignment which produced them. Rendering asks those existing #C6E3LA objects for their quantity specification or component layout…
Direct Metal Shading Language lowering for luv's mathematical shaders.
The source shader graph stays unchanged. This sibling compiler produces a small structured document and records every rendered expression occurrence, rather than routing Metal through SPIR-V or accumulating one opaque string.