-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathSpirV.ml
2876 lines (2875 loc) · 122 KB
/
SpirV.ml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
open Batteries;;
module IdMap = Map.Make(Int32);;
exception Id_not_found of Int32.t;;
type id =
int32
and word =
int32
and big_int =
Big_int.
big_int
and big_int_or_float =
| BigInt of big_int | Float of float
and ext_inst_fn =
unit -> word list
and id_result_type =
id
and id_result =
id
and id_memory_semantics =
id
and id_scope =
id
and id_ref =
id
and literal_integer =
int32
and literal_string =
string
and literal_context_dependent_number =
big_int_or_float
and literal_ext_inst_integer =
ext_inst_fn
and literal_spec_constant_op_integer =
spec_op
and pair_literal_integer_id_ref =
(int32 * id)
and pair_id_ref_literal_integer =
(id * int32)
and pair_id_ref_id_ref =
(id * id)
and image_operands =
ImageOperandsNone
| ImageOperandsBias of id_ref
| ImageOperandsLod of id_ref
| ImageOperandsGrad of id_ref * id_ref
| ImageOperandsConstOffset of id_ref
| ImageOperandsOffset of id_ref
| ImageOperandsConstOffsets of id_ref
| ImageOperandsSample of id_ref
| ImageOperandsMinLod of id_ref
and f_p_fast_math_mode =
FPFastMathModeNone
| FPFastMathModeNotNaN
| FPFastMathModeNotInf
| FPFastMathModeNSZ
| FPFastMathModeAllowRecip
| FPFastMathModeFast
and selection_control =
SelectionControlNone
| SelectionControlFlatten
| SelectionControlDontFlatten
and loop_control =
LoopControlNone
| LoopControlUnroll
| LoopControlDontUnroll
| LoopControlDependencyInfinite
| LoopControlDependencyLength of literal_integer
and function_control =
FunctionControlNone
| FunctionControlInline
| FunctionControlDontInline
| FunctionControlPure
| FunctionControlConst
and memory_semantics =
MemorySemanticsRelaxed
| MemorySemanticsNone
| MemorySemanticsAcquire
| MemorySemanticsRelease
| MemorySemanticsAcquireRelease
| MemorySemanticsSequentiallyConsistent
| MemorySemanticsUniformMemory
| MemorySemanticsSubgroupMemory
| MemorySemanticsWorkgroupMemory
| MemorySemanticsCrossWorkgroupMemory
| MemorySemanticsAtomicCounterMemory
| MemorySemanticsImageMemory
and memory_access =
MemoryAccessNone
| MemoryAccessVolatile
| MemoryAccessAligned of literal_integer
| MemoryAccessNontemporal
and kernel_profiling_info =
KernelProfilingInfoNone
| KernelProfilingInfoCmdExecTime
and source_language =
SourceLanguageUnknown
| SourceLanguageESSL
| SourceLanguageGLSL
| SourceLanguageOpenCL_C
| SourceLanguageOpenCL_CPP
and execution_model =
ExecutionModelVertex
| ExecutionModelTessellationControl
| ExecutionModelTessellationEvaluation
| ExecutionModelGeometry
| ExecutionModelFragment
| ExecutionModelGLCompute
| ExecutionModelKernel
and addressing_model =
AddressingModelLogical
| AddressingModelPhysical32
| AddressingModelPhysical64
and memory_model =
MemoryModelSimple
| MemoryModelGLSL450
| MemoryModelOpenCL
and execution_mode =
ExecutionModeInvocations of literal_integer
| ExecutionModeSpacingEqual
| ExecutionModeSpacingFractionalEven
| ExecutionModeSpacingFractionalOdd
| ExecutionModeVertexOrderCw
| ExecutionModeVertexOrderCcw
| ExecutionModePixelCenterInteger
| ExecutionModeOriginUpperLeft
| ExecutionModeOriginLowerLeft
| ExecutionModeEarlyFragmentTests
| ExecutionModePointMode
| ExecutionModeXfb
| ExecutionModeDepthReplacing
| ExecutionModeDepthGreater
| ExecutionModeDepthLess
| ExecutionModeDepthUnchanged
| ExecutionModeLocalSize of literal_integer * literal_integer
* literal_integer
| ExecutionModeLocalSizeHint of literal_integer * literal_integer
* literal_integer
| ExecutionModeInputPoints
| ExecutionModeInputLines
| ExecutionModeInputLinesAdjacency
| ExecutionModeTriangles
| ExecutionModeInputTrianglesAdjacency
| ExecutionModeQuads
| ExecutionModeIsolines
| ExecutionModeOutputVertices of literal_integer
| ExecutionModeOutputPoints
| ExecutionModeOutputLineStrip
| ExecutionModeOutputTriangleStrip
| ExecutionModeVecTypeHint of literal_integer
| ExecutionModeContractionOff
| ExecutionModeInitializer
| ExecutionModeFinalizer
| ExecutionModeSubgroupSize of literal_integer
| ExecutionModeSubgroupsPerWorkgroup of literal_integer
and storage_class =
StorageClassUniformConstant
| StorageClassInput
| StorageClassUniform
| StorageClassOutput
| StorageClassWorkgroup
| StorageClassCrossWorkgroup
| StorageClassPrivate
| StorageClassFunction
| StorageClassGeneric
| StorageClassPushConstant
| StorageClassAtomicCounter
| StorageClassImage
and dim =
Dim1D
| Dim2D
| Dim3D
| DimCube
| DimRect
| DimBuffer
| DimSubpassData
and sampler_addressing_mode =
SamplerAddressingModeNone
| SamplerAddressingModeClampToEdge
| SamplerAddressingModeClamp
| SamplerAddressingModeRepeat
| SamplerAddressingModeRepeatMirrored
and sampler_filter_mode =
SamplerFilterModeNearest
| SamplerFilterModeLinear
and image_format =
ImageFormatUnknown
| ImageFormatRgba32f
| ImageFormatRgba16f
| ImageFormatR32f
| ImageFormatRgba8
| ImageFormatRgba8Snorm
| ImageFormatRg32f
| ImageFormatRg16f
| ImageFormatR11fG11fB10f
| ImageFormatR16f
| ImageFormatRgba16
| ImageFormatRgb10A2
| ImageFormatRg16
| ImageFormatRg8
| ImageFormatR16
| ImageFormatR8
| ImageFormatRgba16Snorm
| ImageFormatRg16Snorm
| ImageFormatRg8Snorm
| ImageFormatR16Snorm
| ImageFormatR8Snorm
| ImageFormatRgba32i
| ImageFormatRgba16i
| ImageFormatRgba8i
| ImageFormatR32i
| ImageFormatRg32i
| ImageFormatRg16i
| ImageFormatRg8i
| ImageFormatR16i
| ImageFormatR8i
| ImageFormatRgba32ui
| ImageFormatRgba16ui
| ImageFormatRgba8ui
| ImageFormatR32ui
| ImageFormatRgb10a2ui
| ImageFormatRg32ui
| ImageFormatRg16ui
| ImageFormatRg8ui
| ImageFormatR16ui
| ImageFormatR8ui
and image_channel_order =
ImageChannelOrderR
| ImageChannelOrderA
| ImageChannelOrderRG
| ImageChannelOrderRA
| ImageChannelOrderRGB
| ImageChannelOrderRGBA
| ImageChannelOrderBGRA
| ImageChannelOrderARGB
| ImageChannelOrderIntensity
| ImageChannelOrderLuminance
| ImageChannelOrderRx
| ImageChannelOrderRGx
| ImageChannelOrderRGBx
| ImageChannelOrderDepth
| ImageChannelOrderDepthStencil
| ImageChannelOrderSRGB
| ImageChannelOrderSRGBx
| ImageChannelOrderSRGBA
| ImageChannelOrderSBGRA
| ImageChannelOrderABGR
and image_channel_data_type =
ImageChannelDataTypeSnormInt8
| ImageChannelDataTypeSnormInt16
| ImageChannelDataTypeUnormInt8
| ImageChannelDataTypeUnormInt16
| ImageChannelDataTypeUnormShort565
| ImageChannelDataTypeUnormShort555
| ImageChannelDataTypeUnormInt101010
| ImageChannelDataTypeSignedInt8
| ImageChannelDataTypeSignedInt16
| ImageChannelDataTypeSignedInt32
| ImageChannelDataTypeUnsignedInt8
| ImageChannelDataTypeUnsignedInt16
| ImageChannelDataTypeUnsignedInt32
| ImageChannelDataTypeHalfFloat
| ImageChannelDataTypeFloat
| ImageChannelDataTypeUnormInt24
| ImageChannelDataTypeUnormInt101010_2
and f_p_rounding_mode =
FPRoundingModeRTE
| FPRoundingModeRTZ
| FPRoundingModeRTP
| FPRoundingModeRTN
and linkage_type =
LinkageTypeExport
| LinkageTypeImport
and access_qualifier =
AccessQualifierReadOnly
| AccessQualifierWriteOnly
| AccessQualifierReadWrite
and function_parameter_attribute =
FunctionParameterAttributeZext
| FunctionParameterAttributeSext
| FunctionParameterAttributeByVal
| FunctionParameterAttributeSret
| FunctionParameterAttributeNoAlias
| FunctionParameterAttributeNoCapture
| FunctionParameterAttributeNoWrite
| FunctionParameterAttributeNoReadWrite
and built_in =
BuiltInPosition
| BuiltInPointSize
| BuiltInClipDistance
| BuiltInCullDistance
| BuiltInVertexId
| BuiltInInstanceId
| BuiltInPrimitiveId
| BuiltInInvocationId
| BuiltInLayer
| BuiltInViewportIndex
| BuiltInTessLevelOuter
| BuiltInTessLevelInner
| BuiltInTessCoord
| BuiltInPatchVertices
| BuiltInFragCoord
| BuiltInPointCoord
| BuiltInFrontFacing
| BuiltInSampleId
| BuiltInSamplePosition
| BuiltInSampleMask
| BuiltInFragDepth
| BuiltInHelperInvocation
| BuiltInNumWorkgroups
| BuiltInWorkgroupSize
| BuiltInWorkgroupId
| BuiltInLocalInvocationId
| BuiltInGlobalInvocationId
| BuiltInLocalInvocationIndex
| BuiltInWorkDim
| BuiltInGlobalSize
| BuiltInEnqueuedWorkgroupSize
| BuiltInGlobalOffset
| BuiltInGlobalLinearId
| BuiltInSubgroupSize
| BuiltInSubgroupMaxSize
| BuiltInNumSubgroups
| BuiltInNumEnqueuedSubgroups
| BuiltInSubgroupId
| BuiltInSubgroupLocalInvocationId
| BuiltInVertexIndex
| BuiltInInstanceIndex
| BuiltInSubgroupEqMaskKHR
| BuiltInSubgroupGeMaskKHR
| BuiltInSubgroupGtMaskKHR
| BuiltInSubgroupLeMaskKHR
| BuiltInSubgroupLtMaskKHR
| BuiltInBaseVertex
| BuiltInBaseInstance
| BuiltInDrawIndex
and scope =
ScopeCrossDevice
| ScopeDevice
| ScopeWorkgroup
| ScopeSubgroup
| ScopeInvocation
and group_operation =
GroupOperationReduce
| GroupOperationInclusiveScan
| GroupOperationExclusiveScan
and kernel_enqueue_flags =
KernelEnqueueFlagsNoWait
| KernelEnqueueFlagsWaitKernel
| KernelEnqueueFlagsWaitWorkGroup
and capability =
CapabilityMatrix
| CapabilityShader
| CapabilityGeometry
| CapabilityTessellation
| CapabilityAddresses
| CapabilityLinkage
| CapabilityKernel
| CapabilityVector16
| CapabilityFloat16Buffer
| CapabilityFloat16
| CapabilityFloat64
| CapabilityInt64
| CapabilityInt64Atomics
| CapabilityImageBasic
| CapabilityImageReadWrite
| CapabilityImageMipmap
| CapabilityPipes
| CapabilityGroups
| CapabilityDeviceEnqueue
| CapabilityLiteralSampler
| CapabilityAtomicStorage
| CapabilityInt16
| CapabilityTessellationPointSize
| CapabilityGeometryPointSize
| CapabilityImageGatherExtended
| CapabilityStorageImageMultisample
| CapabilityUniformBufferArrayDynamicIndexing
| CapabilitySampledImageArrayDynamicIndexing
| CapabilityStorageBufferArrayDynamicIndexing
| CapabilityStorageImageArrayDynamicIndexing
| CapabilityClipDistance
| CapabilityCullDistance
| CapabilityImageCubeArray
| CapabilitySampleRateShading
| CapabilityImageRect
| CapabilitySampledRect
| CapabilityGenericPointer
| CapabilityInt8
| CapabilityInputAttachment
| CapabilitySparseResidency
| CapabilityMinLod
| CapabilitySampled1D
| CapabilityImage1D
| CapabilitySampledCubeArray
| CapabilitySampledBuffer
| CapabilityImageBuffer
| CapabilityImageMSArray
| CapabilityStorageImageExtendedFormats
| CapabilityImageQuery
| CapabilityDerivativeControl
| CapabilityInterpolationFunction
| CapabilityTransformFeedback
| CapabilityGeometryStreams
| CapabilityStorageImageReadWithoutFormat
| CapabilityStorageImageWriteWithoutFormat
| CapabilityMultiViewport
| CapabilitySubgroupDispatch
| CapabilityNamedBarrier
| CapabilityPipeStorage
| CapabilitySubgroupBallotKHR
| CapabilityDrawParameters
and decoration =
DecorationRelaxedPrecision
| DecorationSpecId of literal_integer
| DecorationBlock
| DecorationBufferBlock
| DecorationRowMajor
| DecorationColMajor
| DecorationArrayStride of literal_integer
| DecorationMatrixStride of literal_integer
| DecorationGLSLShared
| DecorationGLSLPacked
| DecorationCPacked
| DecorationBuiltIn of built_in
| DecorationNoPerspective
| DecorationFlat
| DecorationPatch
| DecorationCentroid
| DecorationSample
| DecorationInvariant
| DecorationRestrict
| DecorationAliased
| DecorationVolatile
| DecorationConstant
| DecorationCoherent
| DecorationNonWritable
| DecorationNonReadable
| DecorationUniform
| DecorationSaturatedConversion
| DecorationStream of literal_integer
| DecorationLocation of literal_integer
| DecorationComponent of literal_integer
| DecorationIndex of literal_integer
| DecorationBinding of literal_integer
| DecorationDescriptorSet of literal_integer
| DecorationOffset of literal_integer
| DecorationXfbBuffer of literal_integer
| DecorationXfbStride of literal_integer
| DecorationFuncParamAttr of function_parameter_attribute
| DecorationFPRoundingMode of f_p_rounding_mode
| DecorationFPFastMathMode of f_p_fast_math_mode list
| DecorationLinkageAttributes of literal_string * linkage_type
| DecorationNoContraction
| DecorationInputAttachmentIndex of literal_integer
| DecorationAlignment of literal_integer
| DecorationMaxByteOffset of literal_integer
and op =
[
| `OpNop
| `OpUndef of id_result_type * id_result
| `OpSourceContinued of literal_string
| `OpSource of source_language * literal_integer * id_ref option
* literal_string option
| `OpSourceExtension of literal_string
| `OpName of id_ref * literal_string
| `OpMemberName of id_ref * literal_integer * literal_string
| `OpString of id_result * literal_string
| `OpLine of id_ref * literal_integer * literal_integer
| `OpExtension of literal_string
| `OpExtInstImport of id_result * literal_string
| `OpExtInst of id_result_type * id_result * id_ref
* literal_ext_inst_integer
| `OpMemoryModel of addressing_model * memory_model
| `OpEntryPoint of execution_model * id_ref * literal_string
* id_ref list
| `OpExecutionMode of id_ref * execution_mode
| `OpCapability of capability
| `OpTypeVoid of id_result
| `OpTypeBool of id_result
| `OpTypeInt of id_result * literal_integer * literal_integer
| `OpTypeFloat of id_result * literal_integer
| `OpTypeVector of id_result * id_ref * literal_integer
| `OpTypeMatrix of id_result * id_ref * literal_integer
| `OpTypeImage of id_result * id_ref * dim * literal_integer
* literal_integer * literal_integer * literal_integer
* image_format * access_qualifier option
| `OpTypeSampler of id_result
| `OpTypeSampledImage of id_result * id_ref
| `OpTypeArray of id_result * id_ref * id_ref
| `OpTypeRuntimeArray of id_result * id_ref
| `OpTypeStruct of id_result * id_ref list
| `OpTypeOpaque of id_result * literal_string
| `OpTypePointer of id_result * storage_class * id_ref
| `OpTypeFunction of id_result * id_ref * id_ref list
| `OpTypeEvent of id_result
| `OpTypeDeviceEvent of id_result
| `OpTypeReserveId of id_result
| `OpTypeQueue of id_result
| `OpTypePipe of id_result * access_qualifier
| `OpTypeForwardPointer of id_ref * storage_class
| `OpConstantTrue of id_result_type * id_result
| `OpConstantFalse of id_result_type * id_result
| `OpConstant of id_result_type * id_result
* literal_context_dependent_number
| `OpConstantComposite of id_result_type * id_result * id_ref list
| `OpConstantSampler of id_result_type * id_result
* sampler_addressing_mode * literal_integer
* sampler_filter_mode
| `OpConstantNull of id_result_type * id_result
| `OpSpecConstantTrue of id_result_type * id_result
| `OpSpecConstantFalse of id_result_type * id_result
| `OpSpecConstant of id_result_type * id_result
* literal_context_dependent_number
| `OpSpecConstantComposite of id_result_type * id_result * id_ref list
| `OpSpecConstantOp of id_result_type * id_result
* literal_spec_constant_op_integer
| `OpFunction of id_result_type * id_result * function_control list
* id_ref
| `OpFunctionParameter of id_result_type * id_result
| `OpFunctionEnd
| `OpFunctionCall of id_result_type * id_result * id_ref * id_ref list
| `OpVariable of id_result_type * id_result * storage_class
* id_ref option
| `OpImageTexelPointer of id_result_type * id_result * id_ref * id_ref
* id_ref
| `OpLoad of id_result_type * id_result * id_ref
* (memory_access list) option
| `OpStore of id_ref * id_ref * (memory_access list) option
| `OpCopyMemory of id_ref * id_ref * (memory_access list) option
| `OpCopyMemorySized of id_ref * id_ref * id_ref
* (memory_access list) option
| `OpAccessChain of id_result_type * id_result * id_ref * id_ref list
| `OpInBoundsAccessChain of id_result_type * id_result * id_ref
* id_ref list
| `OpPtrAccessChain of id_result_type * id_result * id_ref * id_ref
* id_ref list
| `OpArrayLength of id_result_type * id_result * id_ref * literal_integer
| `OpGenericPtrMemSemantics of id_result_type * id_result * id_ref
| `OpInBoundsPtrAccessChain of id_result_type * id_result * id_ref
* id_ref * id_ref list
| `OpDecorate of id_ref * decoration
| `OpMemberDecorate of id_ref * literal_integer * decoration
| `OpDecorationGroup of id_result
| `OpGroupDecorate of id_ref * id_ref list
| `OpGroupMemberDecorate of id_ref * pair_id_ref_literal_integer list
| `OpVectorExtractDynamic of id_result_type * id_result * id_ref * id_ref
| `OpVectorInsertDynamic of id_result_type * id_result * id_ref * id_ref
* id_ref
| `OpVectorShuffle of id_result_type * id_result * id_ref * id_ref
* literal_integer list
| `OpCompositeConstruct of id_result_type * id_result * id_ref list
| `OpCompositeExtract of id_result_type * id_result * id_ref
* literal_integer list
| `OpCompositeInsert of id_result_type * id_result * id_ref * id_ref
* literal_integer list
| `OpCopyObject of id_result_type * id_result * id_ref
| `OpTranspose of id_result_type * id_result * id_ref
| `OpSampledImage of id_result_type * id_result * id_ref * id_ref
| `OpImageSampleImplicitLod of id_result_type * id_result * id_ref
* id_ref * (image_operands list) option
| `OpImageSampleExplicitLod of id_result_type * id_result * id_ref
* id_ref * image_operands list
| `OpImageSampleDrefImplicitLod of id_result_type * id_result * id_ref
* id_ref * id_ref
* (image_operands list) option
| `OpImageSampleDrefExplicitLod of id_result_type * id_result * id_ref
* id_ref * id_ref
* image_operands list
| `OpImageSampleProjImplicitLod of id_result_type * id_result * id_ref
* id_ref
* (image_operands list) option
| `OpImageSampleProjExplicitLod of id_result_type * id_result * id_ref
* id_ref * image_operands list
| `OpImageSampleProjDrefImplicitLod of id_result_type * id_result
* id_ref * id_ref * id_ref
* (image_operands list) option
| `OpImageSampleProjDrefExplicitLod of id_result_type * id_result
* id_ref * id_ref * id_ref
* image_operands list
| `OpImageFetch of id_result_type * id_result * id_ref * id_ref
* (image_operands list) option
| `OpImageGather of id_result_type * id_result * id_ref * id_ref * id_ref
* (image_operands list) option
| `OpImageDrefGather of id_result_type * id_result * id_ref * id_ref
* id_ref * (image_operands list) option
| `OpImageRead of id_result_type * id_result * id_ref * id_ref
* (image_operands list) option
| `OpImageWrite of id_ref * id_ref * id_ref
* (image_operands list) option
| `OpImage of id_result_type * id_result * id_ref
| `OpImageQueryFormat of id_result_type * id_result * id_ref
| `OpImageQueryOrder of id_result_type * id_result * id_ref
| `OpImageQuerySizeLod of id_result_type * id_result * id_ref * id_ref
| `OpImageQuerySize of id_result_type * id_result * id_ref
| `OpImageQueryLod of id_result_type * id_result * id_ref * id_ref
| `OpImageQueryLevels of id_result_type * id_result * id_ref
| `OpImageQuerySamples of id_result_type * id_result * id_ref
| `OpConvertFToU of id_result_type * id_result * id_ref
| `OpConvertFToS of id_result_type * id_result * id_ref
| `OpConvertSToF of id_result_type * id_result * id_ref
| `OpConvertUToF of id_result_type * id_result * id_ref
| `OpUConvert of id_result_type * id_result * id_ref
| `OpSConvert of id_result_type * id_result * id_ref
| `OpFConvert of id_result_type * id_result * id_ref
| `OpQuantizeToF16 of id_result_type * id_result * id_ref
| `OpConvertPtrToU of id_result_type * id_result * id_ref
| `OpSatConvertSToU of id_result_type * id_result * id_ref
| `OpSatConvertUToS of id_result_type * id_result * id_ref
| `OpConvertUToPtr of id_result_type * id_result * id_ref
| `OpPtrCastToGeneric of id_result_type * id_result * id_ref
| `OpGenericCastToPtr of id_result_type * id_result * id_ref
| `OpGenericCastToPtrExplicit of id_result_type * id_result * id_ref
* storage_class
| `OpBitcast of id_result_type * id_result * id_ref
| `OpSNegate of id_result_type * id_result * id_ref
| `OpFNegate of id_result_type * id_result * id_ref
| `OpIAdd of id_result_type * id_result * id_ref * id_ref
| `OpFAdd of id_result_type * id_result * id_ref * id_ref
| `OpISub of id_result_type * id_result * id_ref * id_ref
| `OpFSub of id_result_type * id_result * id_ref * id_ref
| `OpIMul of id_result_type * id_result * id_ref * id_ref
| `OpFMul of id_result_type * id_result * id_ref * id_ref
| `OpUDiv of id_result_type * id_result * id_ref * id_ref
| `OpSDiv of id_result_type * id_result * id_ref * id_ref
| `OpFDiv of id_result_type * id_result * id_ref * id_ref
| `OpUMod of id_result_type * id_result * id_ref * id_ref
| `OpSRem of id_result_type * id_result * id_ref * id_ref
| `OpSMod of id_result_type * id_result * id_ref * id_ref
| `OpFRem of id_result_type * id_result * id_ref * id_ref
| `OpFMod of id_result_type * id_result * id_ref * id_ref
| `OpVectorTimesScalar of id_result_type * id_result * id_ref * id_ref
| `OpMatrixTimesScalar of id_result_type * id_result * id_ref * id_ref
| `OpVectorTimesMatrix of id_result_type * id_result * id_ref * id_ref
| `OpMatrixTimesVector of id_result_type * id_result * id_ref * id_ref
| `OpMatrixTimesMatrix of id_result_type * id_result * id_ref * id_ref
| `OpOuterProduct of id_result_type * id_result * id_ref * id_ref
| `OpDot of id_result_type * id_result * id_ref * id_ref
| `OpIAddCarry of id_result_type * id_result * id_ref * id_ref
| `OpISubBorrow of id_result_type * id_result * id_ref * id_ref
| `OpUMulExtended of id_result_type * id_result * id_ref * id_ref
| `OpSMulExtended of id_result_type * id_result * id_ref * id_ref
| `OpAny of id_result_type * id_result * id_ref
| `OpAll of id_result_type * id_result * id_ref
| `OpIsNan of id_result_type * id_result * id_ref
| `OpIsInf of id_result_type * id_result * id_ref
| `OpIsFinite of id_result_type * id_result * id_ref
| `OpIsNormal of id_result_type * id_result * id_ref
| `OpSignBitSet of id_result_type * id_result * id_ref
| `OpLessOrGreater of id_result_type * id_result * id_ref * id_ref
| `OpOrdered of id_result_type * id_result * id_ref * id_ref
| `OpUnordered of id_result_type * id_result * id_ref * id_ref
| `OpLogicalEqual of id_result_type * id_result * id_ref * id_ref
| `OpLogicalNotEqual of id_result_type * id_result * id_ref * id_ref
| `OpLogicalOr of id_result_type * id_result * id_ref * id_ref
| `OpLogicalAnd of id_result_type * id_result * id_ref * id_ref
| `OpLogicalNot of id_result_type * id_result * id_ref
| `OpSelect of id_result_type * id_result * id_ref * id_ref * id_ref
| `OpIEqual of id_result_type * id_result * id_ref * id_ref
| `OpINotEqual of id_result_type * id_result * id_ref * id_ref
| `OpUGreaterThan of id_result_type * id_result * id_ref * id_ref
| `OpSGreaterThan of id_result_type * id_result * id_ref * id_ref
| `OpUGreaterThanEqual of id_result_type * id_result * id_ref * id_ref
| `OpSGreaterThanEqual of id_result_type * id_result * id_ref * id_ref
| `OpULessThan of id_result_type * id_result * id_ref * id_ref
| `OpSLessThan of id_result_type * id_result * id_ref * id_ref
| `OpULessThanEqual of id_result_type * id_result * id_ref * id_ref
| `OpSLessThanEqual of id_result_type * id_result * id_ref * id_ref
| `OpFOrdEqual of id_result_type * id_result * id_ref * id_ref
| `OpFUnordEqual of id_result_type * id_result * id_ref * id_ref
| `OpFOrdNotEqual of id_result_type * id_result * id_ref * id_ref
| `OpFUnordNotEqual of id_result_type * id_result * id_ref * id_ref
| `OpFOrdLessThan of id_result_type * id_result * id_ref * id_ref
| `OpFUnordLessThan of id_result_type * id_result * id_ref * id_ref
| `OpFOrdGreaterThan of id_result_type * id_result * id_ref * id_ref
| `OpFUnordGreaterThan of id_result_type * id_result * id_ref * id_ref
| `OpFOrdLessThanEqual of id_result_type * id_result * id_ref * id_ref
| `OpFUnordLessThanEqual of id_result_type * id_result * id_ref * id_ref
| `OpFOrdGreaterThanEqual of id_result_type * id_result * id_ref * id_ref
| `OpFUnordGreaterThanEqual of id_result_type * id_result * id_ref
* id_ref
| `OpShiftRightLogical of id_result_type * id_result * id_ref * id_ref
| `OpShiftRightArithmetic of id_result_type * id_result * id_ref * id_ref
| `OpShiftLeftLogical of id_result_type * id_result * id_ref * id_ref
| `OpBitwiseOr of id_result_type * id_result * id_ref * id_ref
| `OpBitwiseXor of id_result_type * id_result * id_ref * id_ref
| `OpBitwiseAnd of id_result_type * id_result * id_ref * id_ref
| `OpNot of id_result_type * id_result * id_ref
| `OpBitFieldInsert of id_result_type * id_result * id_ref * id_ref
* id_ref * id_ref
| `OpBitFieldSExtract of id_result_type * id_result * id_ref * id_ref
* id_ref
| `OpBitFieldUExtract of id_result_type * id_result * id_ref * id_ref
* id_ref
| `OpBitReverse of id_result_type * id_result * id_ref
| `OpBitCount of id_result_type * id_result * id_ref
| `OpDPdx of id_result_type * id_result * id_ref
| `OpDPdy of id_result_type * id_result * id_ref
| `OpFwidth of id_result_type * id_result * id_ref
| `OpDPdxFine of id_result_type * id_result * id_ref
| `OpDPdyFine of id_result_type * id_result * id_ref
| `OpFwidthFine of id_result_type * id_result * id_ref
| `OpDPdxCoarse of id_result_type * id_result * id_ref
| `OpDPdyCoarse of id_result_type * id_result * id_ref
| `OpFwidthCoarse of id_result_type * id_result * id_ref
| `OpEmitVertex
| `OpEndPrimitive
| `OpEmitStreamVertex of id_ref
| `OpEndStreamPrimitive of id_ref
| `OpControlBarrier of id_scope * id_scope * id_memory_semantics
| `OpMemoryBarrier of id_scope * id_memory_semantics
| `OpAtomicLoad of id_result_type * id_result * id_ref * id_scope
* id_memory_semantics
| `OpAtomicStore of id_ref * id_scope * id_memory_semantics * id_ref
| `OpAtomicExchange of id_result_type * id_result * id_ref * id_scope
* id_memory_semantics * id_ref
| `OpAtomicCompareExchange of id_result_type * id_result * id_ref
* id_scope * id_memory_semantics
* id_memory_semantics * id_ref * id_ref
| `OpAtomicCompareExchangeWeak of id_result_type * id_result * id_ref
* id_scope * id_memory_semantics
* id_memory_semantics * id_ref * id_ref
| `OpAtomicIIncrement of id_result_type * id_result * id_ref * id_scope
* id_memory_semantics
| `OpAtomicIDecrement of id_result_type * id_result * id_ref * id_scope
* id_memory_semantics
| `OpAtomicIAdd of id_result_type * id_result * id_ref * id_scope
* id_memory_semantics * id_ref
| `OpAtomicISub of id_result_type * id_result * id_ref * id_scope
* id_memory_semantics * id_ref
| `OpAtomicSMin of id_result_type * id_result * id_ref * id_scope
* id_memory_semantics * id_ref
| `OpAtomicUMin of id_result_type * id_result * id_ref * id_scope
* id_memory_semantics * id_ref
| `OpAtomicSMax of id_result_type * id_result * id_ref * id_scope
* id_memory_semantics * id_ref
| `OpAtomicUMax of id_result_type * id_result * id_ref * id_scope
* id_memory_semantics * id_ref
| `OpAtomicAnd of id_result_type * id_result * id_ref * id_scope
* id_memory_semantics * id_ref
| `OpAtomicOr of id_result_type * id_result * id_ref * id_scope
* id_memory_semantics * id_ref
| `OpAtomicXor of id_result_type * id_result * id_ref * id_scope
* id_memory_semantics * id_ref
| `OpPhi of id_result_type * id_result * pair_id_ref_id_ref list
| `OpLoopMerge of id_ref * id_ref * loop_control list
| `OpSelectionMerge of id_ref * selection_control list
| `OpLabel of id_result
| `OpBranch of id_ref
| `OpBranchConditional of id_ref * id_ref * id_ref * literal_integer list
| `OpSwitch of id_ref * id_ref * pair_literal_integer_id_ref list
| `OpKill
| `OpReturn
| `OpReturnValue of id_ref
| `OpUnreachable
| `OpLifetimeStart of id_ref * literal_integer
| `OpLifetimeStop of id_ref * literal_integer
| `OpGroupAsyncCopy of id_result_type * id_result * id_scope * id_ref
* id_ref * id_ref * id_ref * id_ref
| `OpGroupWaitEvents of id_scope * id_ref * id_ref
| `OpGroupAll of id_result_type * id_result * id_scope * id_ref
| `OpGroupAny of id_result_type * id_result * id_scope * id_ref
| `OpGroupBroadcast of id_result_type * id_result * id_scope * id_ref
* id_ref
| `OpGroupIAdd of id_result_type * id_result * id_scope * group_operation
* id_ref
| `OpGroupFAdd of id_result_type * id_result * id_scope * group_operation
* id_ref
| `OpGroupFMin of id_result_type * id_result * id_scope * group_operation
* id_ref
| `OpGroupUMin of id_result_type * id_result * id_scope * group_operation
* id_ref
| `OpGroupSMin of id_result_type * id_result * id_scope * group_operation
* id_ref
| `OpGroupFMax of id_result_type * id_result * id_scope * group_operation
* id_ref
| `OpGroupUMax of id_result_type * id_result * id_scope * group_operation
* id_ref
| `OpGroupSMax of id_result_type * id_result * id_scope * group_operation
* id_ref
| `OpReadPipe of id_result_type * id_result * id_ref * id_ref * id_ref
* id_ref
| `OpWritePipe of id_result_type * id_result * id_ref * id_ref * id_ref
* id_ref
| `OpReservedReadPipe of id_result_type * id_result * id_ref * id_ref
* id_ref * id_ref * id_ref * id_ref
| `OpReservedWritePipe of id_result_type * id_result * id_ref * id_ref
* id_ref * id_ref * id_ref * id_ref
| `OpReserveReadPipePackets of id_result_type * id_result * id_ref
* id_ref * id_ref * id_ref
| `OpReserveWritePipePackets of id_result_type * id_result * id_ref
* id_ref * id_ref * id_ref
| `OpCommitReadPipe of id_ref * id_ref * id_ref * id_ref
| `OpCommitWritePipe of id_ref * id_ref * id_ref * id_ref
| `OpIsValidReserveId of id_result_type * id_result * id_ref
| `OpGetNumPipePackets of id_result_type * id_result * id_ref * id_ref
* id_ref
| `OpGetMaxPipePackets of id_result_type * id_result * id_ref * id_ref
* id_ref
| `OpGroupReserveReadPipePackets of id_result_type * id_result * id_scope
* id_ref * id_ref * id_ref * id_ref
| `OpGroupReserveWritePipePackets of id_result_type * id_result
* id_scope * id_ref * id_ref
* id_ref * id_ref
| `OpGroupCommitReadPipe of id_scope * id_ref * id_ref * id_ref * id_ref
| `OpGroupCommitWritePipe of id_scope * id_ref * id_ref * id_ref * id_ref
| `OpEnqueueMarker of id_result_type * id_result * id_ref * id_ref
* id_ref * id_ref
| `OpEnqueueKernel of id_result_type * id_result * id_ref * id_ref
* id_ref * id_ref * id_ref * id_ref * id_ref
* id_ref * id_ref * id_ref * id_ref list
| `OpGetKernelNDrangeSubGroupCount of id_result_type * id_result * id_ref
* id_ref * id_ref * id_ref * id_ref
| `OpGetKernelNDrangeMaxSubGroupSize of id_result_type * id_result
* id_ref * id_ref * id_ref
* id_ref * id_ref
| `OpGetKernelWorkGroupSize of id_result_type * id_result * id_ref
* id_ref * id_ref * id_ref
| `OpGetKernelPreferredWorkGroupSizeMultiple of id_result_type
* id_result * id_ref
* id_ref * id_ref
* id_ref
| `OpRetainEvent of id_ref
| `OpReleaseEvent of id_ref
| `OpCreateUserEvent of id_result_type * id_result
| `OpIsValidEvent of id_result_type * id_result * id_ref
| `OpSetUserEventStatus of id_ref * id_ref
| `OpCaptureEventProfilingInfo of id_ref * id_ref * id_ref
| `OpGetDefaultQueue of id_result_type * id_result
| `OpBuildNDRange of id_result_type * id_result * id_ref * id_ref
* id_ref
| `OpImageSparseSampleImplicitLod of id_result_type * id_result * id_ref
* id_ref
* (image_operands list) option
| `OpImageSparseSampleExplicitLod of id_result_type * id_result * id_ref
* id_ref * image_operands list
| `OpImageSparseSampleDrefImplicitLod of id_result_type * id_result
* id_ref * id_ref * id_ref
* (image_operands list) option
| `OpImageSparseSampleDrefExplicitLod of id_result_type * id_result
* id_ref * id_ref * id_ref
* image_operands list
| `OpImageSparseSampleProjImplicitLod of id_result_type * id_result
* id_ref * id_ref
* (image_operands list) option
| `OpImageSparseSampleProjExplicitLod of id_result_type * id_result
* id_ref * id_ref
* image_operands list
| `OpImageSparseSampleProjDrefImplicitLod of id_result_type * id_result
* id_ref * id_ref * id_ref
* (image_operands list)
option
| `OpImageSparseSampleProjDrefExplicitLod of id_result_type * id_result
* id_ref * id_ref * id_ref
* image_operands list
| `OpImageSparseFetch of id_result_type * id_result * id_ref * id_ref
* (image_operands list) option
| `OpImageSparseGather of id_result_type * id_result * id_ref * id_ref
* id_ref * (image_operands list) option
| `OpImageSparseDrefGather of id_result_type * id_result * id_ref
* id_ref * id_ref
* (image_operands list) option
| `OpImageSparseTexelsResident of id_result_type * id_result * id_ref
| `OpNoLine
| `OpAtomicFlagTestAndSet of id_result_type * id_result * id_ref
* id_scope * id_memory_semantics
| `OpAtomicFlagClear of id_ref * id_scope * id_memory_semantics
| `OpImageSparseRead of id_result_type * id_result * id_ref * id_ref
* (image_operands list) option
| `OpSizeOf of id_result_type * id_result * id_ref
| `OpTypePipeStorage of id_result
| `OpConstantPipeStorage of id_result_type * id_result * literal_integer
* literal_integer * literal_integer
| `OpCreatePipeFromPipeStorage of id_result_type * id_result * id_ref
| `OpGetKernelLocalSizeForSubgroupCount of id_result_type * id_result
* id_ref * id_ref * id_ref
* id_ref * id_ref
| `OpGetKernelMaxNumSubgroups of id_result_type * id_result * id_ref
* id_ref * id_ref * id_ref
| `OpTypeNamedBarrier of id_result
| `OpNamedBarrierInitialize of id_result_type * id_result * id_ref
| `OpMemoryNamedBarrier of id_ref * id_scope * id_memory_semantics
| `OpModuleProcessed of literal_string
| `OpSubgroupBallotKHR of id_result_type * id_result * id_ref
| `OpSubgroupFirstInvocationKHR of id_result_type * id_result * id_ref
]
and spec_op =
[
| `SConvert of id_ref
| `FConvert of id_ref
| `SNegate of id_ref
| `Not of id_ref
| `IAdd of id_ref * id_ref
| `ISub of id_ref * id_ref
| `IMul of id_ref * id_ref
| `UDiv of id_ref * id_ref
| `SDiv of id_ref * id_ref
| `UMod of id_ref * id_ref
| `SRem of id_ref * id_ref
| `SMod of id_ref * id_ref
| `ShiftRightLogical of id_ref * id_ref
| `ShiftRightArithmetic of id_ref * id_ref
| `ShiftLeftLogical of id_ref * id_ref
| `BitwiseOr of id_ref * id_ref
| `BitwiseXor of id_ref * id_ref
| `BitwiseAnd of id_ref * id_ref
| `VectorShuffle of id_ref * id_ref * literal_integer list
| `CompositeExtract of id_ref * literal_integer list
| `CompositeInsert of id_ref * id_ref * literal_integer list
| `LogicalOr of id_ref * id_ref
| `LogicalAnd of id_ref * id_ref
| `LogicalNot of id_ref
| `LogicalEqual of id_ref * id_ref
| `LogicalNotEqual of id_ref * id_ref
| `Select of id_ref * id_ref * id_ref
| `IEqual of id_ref * id_ref
| `INotEqual of id_ref * id_ref
| `ULessThan of id_ref * id_ref
| `SLessThan of id_ref * id_ref
| `UGreaterThan of id_ref * id_ref
| `SGreaterThan of id_ref * id_ref
| `ULessThanEqual of id_ref * id_ref
| `SLessThanEqual of id_ref * id_ref
| `UGreaterThanEqual of id_ref * id_ref
| `SGreaterThanEqual of id_ref * id_ref
| `QuantizeToF16 of id_ref
| `ConvertFToS of id_ref
| `ConvertSToF of id_ref
| `ConvertFToU of id_ref
| `ConvertUToF of id_ref
| `UConvert of id_ref
| `ConvertPtrToU of id_ref
| `ConvertUToPtr of id_ref
| `GenericCastToPtr of id_ref
| `PtrCastToGeneric of id_ref
| `Bitcast of id_ref
| `FNegate of id_ref
| `FAdd of id_ref * id_ref
| `FSub of id_ref * id_ref
| `FMul of id_ref * id_ref
| `FDiv of id_ref * id_ref
| `FRem of id_ref * id_ref
| `FMod of id_ref * id_ref
| `AccessChain of id_ref * id_ref list
| `InBoundsAccessChain of id_ref * id_ref list
| `PtrAccessChain of id_ref * id_ref * id_ref list
| `InBoundsPtrAccessChain of id_ref * id_ref * id_ref list
];;
let magic_number = 0x07230203l;;
let version = (1, 1);;
let version_word = 0x00010100l;;
let generator_number = 0xfadel;;
let word_of_int (i : int32) = i;;
let word_of_id (id : id) =
if id < 0l then failwith "spirv ids must be positive" else id;;
let word_of_float (f : float) = let open IO
in
let buf = output_string ()
in
(write_float buf f;
let str = close_out buf in
let rec write_to_int32 n acc ls =
match ls with
| h :: t ->
let value = Int32.of_int @@ (Char.code h) in
let acc = Int32.logor acc (Int32.shift_left value (8 * n))
in write_to_int32 (n + 1) acc t
| [] -> acc
in write_to_int32 0 0l (String.to_list str));;
let words_of_context_dependent_number (size : int) (value : big_int_or_float)
=
let word_size = 32 in
let words_of_sized_big_int n =
let round_up_divisible divisor n =
(n / divisor) + (if (n mod divisor) > 0 then 1 else 0) in
let word_count = round_up_divisible word_size size in
let extract_word i =
Int32.of_int @@
(Big_int.int_of_big_int @@ (Big_int.extract_big_int n (32 * i) 32)) in
let rec extract_words i =
if i < word_count
then (extract_word i) :: (extract_words (i + 1))
else []
in extract_words 0
in
match value with
| BigInt n -> words_of_sized_big_int n
| Float f ->
if size = 32
then [ word_of_float f ]
else
raise
(Invalid_argument
"cannot write float literals of sizes other than 32 bits");;
let words_of_string (str : string) =
let len = String.length str in
let word_count = (len / 4) + (if (len mod 4) >= 0 then 1 else 0) in
let buffer = Array.make word_count 0l in
let add_char_to_word ch offset word =
Int32.logor word