if ~ defined SPIRV
define SPIRV
redefine SPIRV SPIRV
namespace SPIRV

element Capability
iterate n, Matrix,Shader,Geometry,Tessellation,Addresses,Linkage,Kernel,\
  Vector16,Float16Buffer,Float16,Float64,Int64,Int64Atomics,ImageBasic,\
  ImageReadWrite,ImageMipmap ; <truncated>

  element Capability.n: Capability + % - 1
end iterate

;calminstruction(id) enum type,name
struc(id) enum type,name
if defined SPIRV.type.name
        id = 1 metadataof SPIRV.type.name - 1 elementof (1 metadataof SPIRV.type.name)
else
        err `name, " not of type ", `type
end if
end struc

end namespace ; SPIRV

macro OpCapability C
        local id
        dw 17,2
        id SPIRV.enum Capability,C
        dd id
end macro

end if

OpCapability Shader
OpCapability GroupNonUniformArithmetic    

struc(base) ENUM line& ; define enum group
        element base
        iterate L,line
                match name==id,L
                        element base.name : base + id
                else
                        err "translation failure"
                end match
        end iterate
end struc    

; instructions requiring no parameters (size 1)
iterate <op,N>,\
        OpNop,0,\
        OpFunctionEnd,56,\
        OpEmitVertex,218,\; Geometry, (IGNORED) requires only one stream present
        OpEndPrimitive,219,\; Geometry, (IGNORED) requires only one stream present
        OpKill,252,\; (IGNORED) only valid in Fragment Execution Model
        OpReturn,253,\; (IGNORED) return type must be void, and last instruction in block
        OpUnreachable,255,\
        OpNoLine,317,\
        \; RESERVED:
        OpTerminateInvocation,4416,\
        OpIgnoreIntersectionKHR,4448,\
        OpTerminateRayKHR,4449,\
        OpIgnoreIntersectionNV,5335,\
        OpTerminateRayNV,5336,\
        OpBeginInvocationInterlockEXT,5364,\
        OpEndInvocationInterlockEXT,5365,\
        OpDemoteToHelperInvocationEXT,5380
macro op
dw N,1
end macro
end iterate


; instructions selecting from an enum group (size 2):
iterate <op,N,group>,\
        OpCapability,17,Capability
macro op G
        dw N,2
        SPIRV.enum_out group,G
end macro
end iterate


; instructions requiring only a string parameter (size 2+)
iterate <op,N>,\
        OpSourceContinued,2,\; (IGNORED) OpSourceContinued requires previous instruction to be OpSourceContinued or OpSource
        OpSourceExtension,4,\
        OpExtension,10,\
        OpModuleProcessed,330
macro op line&
local start,words
start:
dw N,words
SPIRV.string line
words := ($ - start) shr 2
end macro
end iterate