[spirv] [tracking] SPIR-V dialect

[antiagainst]

(NOTE: This is not updated anymore. Please see https://mlir.llvm.org/docs/Dialects/SPIR-V/ for supported features.)

This is a tracking bug for completing the SPIR-V dialect. It will be periodically updated to provide the current status. Anybody interested in helping is very welcome to pick up tasks here! :)

Core infrastructure

• Dialect skeleton (scaffolding, registration, etc.)
• Serialization & deserialization skeleton
• Script to query SPIR-V HLSL and JSON spec to auto-generate SPIR-V dialect op definitions
• TableGen backend to auto-generate SPIR-V (de)serialization logic
• Version/extension/capability support
• Extension library organization

For Vulkan compute

• Module structure
• Types
  • Scalar types
    • void, bool, Int, float
    • Integer signedness
  • Vector
  • (Runtime) Array
  • Struct
• Operations
  • Constants
  • Spec constants
    • Scalar spec constants
    • Composite spec constants
  • Variables
  • Arithmetic ops
  • Bit ops ([spirv] Define bit ops #173)
  • Logical ops
  • Barrier ops
  • Conversion ops ([spirv] Define cast ops #174)
  • Composite ops
  • Atomic ops
  • GLSL ops
• Control flow
  • Structured selection
  • Structured loop
  • Phi
  • Switch

For Vulkan graphics

[TODO]

For OpenCL

[TODO]