hal/webgpu/wgsl/lowering.lisp
in-package#:luv.wgsl
defclasswgsl-target
overrides:initarg:overrides:initformnil:readerwgsl-target-overrides
:documentation
The WebGPU target policy for one lowering.
OVERRIDES is an ordered list of shader source-value symbols which should stay pipeline-overridable instead of becoming their already checked literal defaults. Other source values retain the native folded-literal semantics.
defclasswgsl-source-occurrence
expression:initarg:expression:readerwgsl-source-occurrence-expression
text:initarg:text:readerwgsl-source-occurrence-text
defclasswgsl-override
name:initarg:name:readerwgsl-override-name
identifier:initarg:identifier:readerwgsl-override-identifier
type:initarg:type:readerwgsl-override-type
default:initarg:default:readerwgsl-override-default
:documentation
One scalar WGSL override retained with its Lisp source identity.
defclasswgsl-variable-statement
type:initarg:type:readerwgsl-variable-statement-type
name:initarg:name:readerwgsl-variable-statement-name
value:initarg:value:readerwgsl-variable-statement-value
defclasswgsl-output-statement
declaration:initarg:declaration:readerwgsl-output-statement-declaration
field:initarg:field:readerwgsl-output-statement-field
value:initarg:value:readerwgsl-output-statement-value
defclasswgsl-if-statement
condition:initarg:condition:readerwgsl-if-statement-condition
statements:initarg:statements:readerwgsl-if-statement-statements
defclasswgsl-counted-fold-statement
type:initarg:type:readerwgsl-counted-fold-statement-type
state-name:initarg:state-name:readerwgsl-counted-fold-statement-state-name
initial:initarg:initial:readerwgsl-counted-fold-statement-initial
index-name:initarg:index-name:readerwgsl-counted-fold-statement-index-name
index-type:initarg:index-type:readerwgsl-counted-fold-statement-index-type
count:initarg:count:readerwgsl-counted-fold-statement-count
bindings:initarg:bindings:initformnil:readerwgsl-counted-fold-statement-bindings
update:initarg:update:readerwgsl-counted-fold-statement-update
until-bindings:initarg:until-bindings:initformnil:readerwgsl-counted-fold-statement-until-bindings
until:initarg:until:initformnil:readerwgsl-counted-fold-statement-until
defclasswgsl-document
target:initarg:target:readerwgsl-document-target
specification:initarg:specification:readerwgsl-document-specification
source:initarg:source:readerwgsl-document-source
overrides:initarg:overrides:readerwgsl-document-overrides
expression-occurrences:initarg:expression-occurrences:readerwgsl-document-expression-occurrences
occurrence-expression:initarg:occurrence-expression:readerwgsl-document-occurrence-expression
defclasswgsl-lowering-context
target:initarg:target:readerwgsl-context-target
specification:initarg:specification:readerwgsl-context-specification
references:initform
make-hash-table:test#'eq
:readerwgsl-context-referencesexpression-occurrences:initform
make-hash-table:test#'eq
:readerwgsl-context-expression-occurrencesoccurrence-expression:initform
make-hash-table:test#'eq
:readerwgsl-context-occurrence-expressionfunction-call-results:initform
make-hash-table:test#'eq
:readerwgsl-context-function-call-resultspending-statements:initformnil:accessorwgsl-context-pending-statements
fold-counter:initform0:accessorwgsl-context-fold-counter
encountered-overrides:initform
make-hash-table:test#'eq
:readerwgsl-context-encountered-overridesdefunwgsl-identifier
name
Spell name as a deterministic non-reserved WGSL identifier.
defunwgsl-structure-name
namesuffix
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
write-stringsuffixstream
defunwgsl-type-name
case
shader:shader-type-name
:bool"bool"
:float"f32"
:uint"u32"
:vec2"vec2<f32>"
:vec3"vec3<f32>"
:vec4"vec4<f32>"
:uvec2"vec2<u32>"
:uvec3"vec3<u32>"
:uvec4"vec4<u32>"
otherwise
error'shader:shader-language-error:formsource-form:reason:unsupported-wgsl-type:details
shader:shader-type-nametype
defunwgsl-float-literal
value
let*
raw
string-downcase
write-to-string
coercevalue'single-float
normalized
map'string
lambda
rawcharacter
if
findcharacter"sfdl":test#'char=
#\echaracterdefunnote-wgsl-occurrence
let
occurrence
setfexpression
occurrencedefunwgsl-occurrence-text
occurrence
wgsl-source-occurrence-textoccurrence
defunwgsl-override-name-p
contextname
defunensure-wgsl-override
contextexpression
let
name
shader:shader-expression-source-formexpression
or
let
type
shader:shader-expression-typeexpression
unless
error'shader:shader-language-error:formname:reason:non-scalar-wgsl-override:details
shader:shader-type-nametype
setf
defmethodlower-wgsl-expression
let
source
shader:shader-expression-source-formexpression
defmethodlower-wgsl-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-wgsl-reference:detailsdefmethodlower-wgsl-expression
defmethodlower-wgsl-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'wgsl-variable-statement:type
wgsl-type-name
:namename:valuevalueshader:shader-expression-typebinding-expression
let*
result
result-text
wgsl-occurrence-textresult
setflocal-statements
wgsl-context-pending-statementscontext
nconcouter-statementslocal-statements
result-textdefmethodlower-wgsl-expression
let
condition
consequent
alternative
WGSL has no conditional expression. select is valid here because shader
expressions are pure; ordered effects live in shader statements.
note-wgsl-occurrencecontextexpression
formatnil"select(~A, ~A, ~A)"
wgsl-occurrence-textalternative
wgsl-occurrence-textconsequent
wgsl-occurrence-textcondition
defmethodlower-wgsl-expression
let*
ordinal
incf
wgsl-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-statementsname
setflocal-statements
nconclocal-statements
list
make-instance'wgsl-variable-statement:type
wgsl-type-name
:namename:valuevalueshader:shader-expression-typebinding-expression
let
update
setflocal-statements
wgsl-context-pending-statementscontext
nconcpreheader-statements
list
make-instance'wgsl-counted-fold-statement:type
wgsl-type-name
:state-namestate-name:initialinitial:index-nameindex-name:index-typeshader:shader-expression-typeexpression
wgsl-type-name
:countcount:bindingslocal-statements:updateupdate:until-bindingsuntil-statements:untiluntilshader:shader-expression-type
lang:arithmetic-counted-fold-countexpression
dolist
binding
lang:arithmetic-counted-fold-bindingsexpression
ifold-index-p
setfold-index
defunlower-wgsl-quantity-boundary
let
lowered
defmethodlower-wgsl-expression
defmethodlower-wgsl-expression
defmethodlower-wgsl-expression
let*
operand
factor
shader:shader-unit-conversion-factorexpression
defmethodlower-wgsl-expression
declare
ignorecontext
error'shader:shader-language-error:form
shader:shader-expression-source-formexpression
:reason:unsupported-wgsl-expression:detailsclass-name
class-ofexpression
defunlower-wgsl-operands
contextexpression
defunlower-wgsl-infix-call
let
operands
defunlower-wgsl-function-call
let
operands
defunlower-wgsl-chained-function-call
let
operands
note-wgsl-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-wgsl-operator:detailsoperatordefmacrodefine-wgsl-infix-operator
operatortext
`defmethodshader:lower-shader-call
declare
ignoreoperator
defmacrodefine-wgsl-function-operator
operatorname
`defmethodshader:lower-shader-call
declare
ignoreoperator
defmacrodefine-wgsl-chained-function-operator
operatorname
`defmethodshader:lower-shader-call
declare
ignoreoperator
defunlower-wgsl-vector-constructor
contextexpression
let
operands
defmacrodefine-wgsl-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
let*
operand
components
string-downcase
string
first
shader:shader-call-parametersexpression
defunwgsl-interface-attribute
let
location
shader:shader-interface-locationdeclaration
built-in
shader:shader-interface-built-indeclaration
interpolation
shader:shader-interface-interpolationdeclaration
source-form
defunwrite-wgsl-interface-structure
let
name
formatstream"struct ~A {~%"name
dolist
formatstream" ~A ~A: ~A,~%"
formatstream"}~%~%"
namedefunwrite-wgsl-uniform-block
streamresource
let
structure-name
resource-name
formatstream"struct ~A {~%"structure-name
dolist
member
shader:shader-uniform-block-membersresource
formatstream" ~A: ~A,~%"
formatstream"}~%"
formatstream"@group(~D) @binding(~D) var<uniform> ~A: ~A;~%~%"
shader:shader-resource-descriptor-setresource
shader:shader-resource-bindingresource
resource-namestructure-namedefunregister-wgsl-references
contextspecification
dolist
input
shader:shader-specification-inputsspecification
setf
dolist
contextresource
shader:shader-specification-resourcesspecification
unless
error'shader:shader-language-error:form
shader:shader-object-source-formresource
:reason:unsupported-wgsl-resource:detailsshader:shader-type-opaque-kind
shader:shader-declaration-typeresource
let
resource-name
setfresource-name
dolist
member
shader:shader-uniform-block-membersresource
setf
defmethodlower-wgsl-statement
let
value
append
list
make-instance'wgsl-output-statement:declaration
shader:shader-assignment-outputstatement
:fieldwgsl-identifier
:valuevalueshader:shader-object-name
shader:shader-assignment-outputstatement
defmethodlower-wgsl-statement
let
condition
append
list
make-instance'wgsl-if-statement:conditioncondition:statements
mapcan
lambda
child
shader:shader-conditional-statement-statementsstatement
defmethodlower-wgsl-statement
declare
ignorecontext
error'shader:shader-language-error:form
shader:shader-statement-source-formstatement
:reason:unsupported-wgsl-statement:detailsclass-name
class-ofstatement
defunwgsl-index-zero
defunwgsl-index-one
defvar*wgsl-statement-indentation*1
defunwrite-wgsl-indent
stream&optional
extra0
defmethodwrite-wgsl-statement-form
statementwgsl-variable-statement
streamwrite-wgsl-indentstream
formatstream"let ~A: ~A = ~A;~%"
wgsl-variable-statement-namestatement
wgsl-variable-statement-typestatement
wgsl-occurrence-text
wgsl-variable-statement-valuestatement
defmethodwrite-wgsl-statement-form
statementwgsl-output-statement
streamlet*
declaration
wgsl-output-statement-declarationstatement
value
wgsl-occurrence-text
wgsl-output-statement-valuestatement
text
if
eq:position
shader:shader-interface-built-indeclaration
The shared camera graph intentionally retains Vulkan's framebuffer-oriented clip Y. WebGPU owns this conversion.
formatnil"vec4<f32>((~A).x, -(~A).y, (~A).z, (~A).w)"valuevaluevaluevalue
valuewrite-wgsl-indentstream
formatstream"result.~A = ~A;~%"
wgsl-output-statement-fieldstatement
textdefmethodwrite-wgsl-statement-form
statementwgsl-if-statement
streamwrite-wgsl-indentstream
let
dolist
child
wgsl-if-statement-statementsstatement
write-wgsl-indentstream
formatstream"}~%"
defmethodwrite-wgsl-statement-form
statementwgsl-counted-fold-statement
streamwrite-wgsl-indentstream
formatstream"var ~A: ~A = ~A;~%"
wgsl-counted-fold-statement-state-namestatement
wgsl-counted-fold-statement-typestatement
wgsl-occurrence-text
wgsl-counted-fold-statement-initialstatement
write-wgsl-indentstream
formatstream"for (var ~A: ~A = ~A; ~A < ~A; ~A = ~A + ~A) {~%"
wgsl-counted-fold-statement-index-namestatement
wgsl-counted-fold-statement-index-typestatement
wgsl-index-zero
wgsl-counted-fold-statement-index-typestatement
wgsl-counted-fold-statement-index-namestatement
wgsl-occurrence-text
wgsl-counted-fold-statement-countstatement
wgsl-counted-fold-statement-index-namestatement
wgsl-counted-fold-statement-index-namestatement
wgsl-index-one
wgsl-counted-fold-statement-index-typestatement
let
dolist
binding
wgsl-counted-fold-statement-until-bindingsstatement
when
wgsl-counted-fold-statement-untilstatement
write-wgsl-indentstream
dolist
binding
wgsl-counted-fold-statement-bindingsstatement
write-wgsl-indentstream
formatstream"~A = ~A;~%"
wgsl-counted-fold-statement-state-namestatement
wgsl-occurrence-text
wgsl-counted-fold-statement-updatestatement
write-wgsl-indentstream
formatstream"}~%"
defunrender-wgsl-document
contextstatements
let*
specification
wgsl-context-specificationcontext
stage
shader:shader-specification-stagespecification
inputs
shader:shader-specification-inputsspecification
outputs
shader:shader-specification-outputsspecification
unless
memberstage'
:vertex:fragment
error'shader:shader-language-error:form
shader:shader-object-source-formspecification
:reason:unsupported-wgsl-stage:detailsstagewith-output-to-string
stream
dolist
formatstream"override ~A: ~A = ~A;~%"
wgsl-override-identifieroverride
wgsl-override-typeoverride
wgsl-float-literal
wgsl-override-defaultoverride
when
terpristream
dolist
resource
shader:shader-specification-resourcesspecification
let
input-name
output-name
formatstream"@~(~A~)~%fn ~A(stage_in: ~A) -> ~A {~%"stage
wgsl-identifier
input-nameoutput-nameshader:shader-object-namespecification
formatstream" var result: ~A;~%"output-name
let
dolist
statementstatements
formatstream" return result;~%}~%"
defmethodshader:lower-shader-specification
targetwgsl-target
specificationshader:shader-specification
Lower the shared shader graph directly to deterministic WGSL.
let
unless
member
shader:shader-specification-stagespecification
':vertex:fragment
error'shader:shader-language-error:form
shader:shader-object-source-formspecification
:reason:unsupported-wgsl-stage:detailsshader:shader-specification-stagespecification
let
statementsnil
dolist
binding
shader:shader-specification-bindingsspecification
let*
expression
name
value
setfstatementsname
setfstatements
nconcstatements
list
make-instance'wgsl-variable-statement:type
wgsl-type-name
:namename:valuevalueshader:shader-expression-typeexpression
dolist
statement
shader:shader-specification-statementsspecification
setfstatements
make-instance'wgsl-document:targettarget:specificationspecification:source:overrides:expression-occurrences
wgsl-context-expression-occurrencescontext
:occurrence-expressionwgsl-context-occurrence-expressioncontext
defuncompile-wgsl
specification&keyoverrides
defunwrite-wgsl
documentpathname
with-open-file
pathnamestreampathname:direction:output:if-exists:supersede:if-does-not-exist:create
defclass wgsl-target
The WebGPU target policy for one lowering. OVERRIDES is an ordered list of shader source-value symbols which should stay pipeline-overridable instead of becoming their already checked literal defaults. Other source values retain the native folded-literal semantics.
defclass wgsl-override
One scalar WGSL override retained with its Lisp source identity.
define-style type
Headings, paragraphs, figures and their IDs, mentions, marks.
defclass declaration
PROPERTY: VALUES; -- the property a keyword, the values a list written space-separated.
defun wgsl-identifier
(name)define-arithmetic-operator or
Logical disjunction of tests and raw truth values.
defun wgsl-structure-name
(name suffix)defun wgsl-type-name
(type &optional source-form)defun find-shader-type
(designator &optional source-form)defun wgsl-float-literal
(value)defun note-wgsl-occurrence
(context expression text)defclass context
A MuPDF context: its allocator, its store, and its error stack.
defun wgsl-occurrence-text
(occurrence)defun drain-wgsl-pending-statements
(context)defun wgsl-override-name-p
(context name)defun ensure-wgsl-override
(context expression)defgeneric shader-expression-source-form
(expression)define-arithmetic-operator =
Test whether two compatible scalars are equal.
defgeneric shader-literal-value
(literal)defgeneric lower-wgsl-expression
(context expression)define-arithmetic-operator and
Logical conjunction of tests and raw truth values.
defgeneric shader-reference-target
(reference)defclass shader-function-parameter-binding
A lexical alias for one already parsed shader-function argument.
defgeneric shader-binding-expression
(binding)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.
defun lower-wgsl-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-wgsl-operands
(context expression)defun lower-wgsl-infix-call
(context expression operator)defun lower-wgsl-function-call
(context expression name)defun lower-wgsl-chained-function-call
(context expression name)defmacro define-wgsl-infix-operator
(operator text)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-wgsl-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-wgsl-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-wgsl-vector-constructor
(context expression)defmacro define-wgsl-vector-constructor
(operator)define-shader-operator uint
Convert one scalar float or unsigned value to a 32-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.
defun wgsl-interface-attribute
(declaration)defun write-wgsl-interface-structure
(stream specification suffix declarations)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 write-wgsl-uniform-block
(stream resource)defun register-wgsl-references
(context specification)defclass shader-uniform-block
One descriptor-backed uniform block with ordered, inspectable members.
defgeneric lower-wgsl-statement
(context statement)defclass shader-statement
One ordered shader effect or structured group of shader effects.
defun wgsl-index-zero
(type)defun wgsl-index-one
(type)defun write-wgsl-indent
(stream &optional (extra 0))defgeneric write-wgsl-statement-form
(statement stream)defun encountered-wgsl-overrides
(context)defun render-wgsl-document
(context statements)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-wgsl
(specification &key overrides)defun write-wgsl
(document pathname)defclass document
An open document and the context it was opened in.
Direct WebGPU Shading Language lowering for luv's mathematical shaders.
The shared graph remains the semantic source. This sibling target owns WGSL spelling, entry-point/resource ABI, pipeline overrides, structured statements, and source occurrences. The first target surface is deliberately conventional WebGPU: vertex and fragment stages, without pretending that task or mesh stages exist in standard WGSL.