pub suberror WgslIrLowerError {
  Parse(String)
  MissingType(String)
  UnsupportedType(String)
  UnsupportedExpression(String)
  UnsupportedStatement(String)
  UnknownIdentifier(String)
}

pub suberror WgslIrPipelineError {
  Lower(String)
  UnknownIdentifier(String)
  Emit(String)
  Validate(String)
  Reparse(String)
}

pub suberror WgslIrTypeSpellingError {
  MissingType(Int)
  MissingTypeName(Int)
  MissingGlobalExpression(Int)
  UnsupportedTypeSpelling(String)
}

pub suberror WgslIrValidationError {
  InvalidTypeHandle(Int)
  InvalidConstantHandle(Int)
  InvalidOverrideHandle(Int)
  InvalidGlobalVariableHandle(Int)
  InvalidGlobalExpressionHandle(Int)
  InvalidFunctionHandle(Int)
  InvalidLocalVariableHandle(Int)
  InvalidFunctionExpressionHandle(Int)
  InvalidHandleRange(Int, Int)
  InvalidEntryPoint(String)
  MissingExpressionType(Int, String)
  InvalidConditionType(String, Int, String, String)
  InvalidStoreTarget(Int)
  InvalidReturnValue(String)
  InvalidFunctionArgumentCount(String, Int, Int)
  InvalidFunctionArgumentType(String, Int)
  InvalidFunctionResult(String)
  InvalidType(String)
  InvalidGlobalVariable(String)
  InvalidExpression(String, Int)
  InvalidStatement(String)
}

pub(all) enum AddressSpace {
  Function
  Private
  WorkGroup
  Uniform
  Storage(StorageAccess)
  Handle
  Immediate
  TaskPayload
  RayPayload
  IncomingRayPayload
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum ArraySize {
  Constant(Int)
  Pending(Handle)
  Dynamic
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum AtomicFunction {
  Load
  Store
  Add
  Subtract
  And
  ExclusiveOr
  InclusiveOr
  Min
  Max
  Exchange
  CompareExchangeWeak
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Barrier {
  bits : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum BinaryOperator {
  Add
  Subtract
  Multiply
  Divide
  Modulo
  Equal
  NotEqual
  Less
  LessEqual
  Greater
  GreaterEqual
  And
  ExclusiveOr
  InclusiveOr
  LogicalAnd
  LogicalOr
  ShiftLeft
  ShiftRight
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum Binding {
  BuiltIn(BuiltIn)
  Location(Int, Interpolation?, Sampling?, Int?, Bool)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Block {
  statements : Array[Statement]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum BuiltIn {
  PrimitiveIndex
  Position(Bool)
  ViewIndex
  BaseInstance
  BaseVertex
  ClipDistances
  CullDistance
  InstanceIndex
  PointSize
  VertexIndex
  DrawIndex
  FragDepth
  PointCoord
  FrontFacing
  Barycentric(Bool)
  SampleIndex
  SampleMask
  GlobalInvocationId
  LocalInvocationId
  LocalInvocationIndex
  WorkGroupId
  WorkGroupSize
  NumWorkGroups
  NumSubgroups
  SubgroupId
  SubgroupSize
  SubgroupInvocationId
  MeshTaskSize
  CullPrimitive
  PointIndex
  LineIndices
  TriangleIndices
  VertexCount
  Vertices
  PrimitiveCount
  Primitives
  RayInvocationId
  NumRayInvocations
  InstanceCustomData
  GeometryIndex
  WorldRayOrigin
  WorldRayDirection
  ObjectRayOrigin
  ObjectRayDirection
  RayTmin
  RayTCurrentMax
  ObjectToWorld
  WorldToObject
  HitKind
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum CollectiveOperation {
  Reduce
  InclusiveScan
  ExclusiveScan
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum ConservativeDepth {
  GreaterEqual
  LessEqual
  Unchanged
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Constant {
  name : String?
  source_start : Int
  ty : Handle
  init : Handle
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ConstantArena {
  items : Array[Constant]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct CooperativeData {
  pointer : Handle
  stride : Handle
  row_major : Bool
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum CooperativeRole {
  A
  B
  C
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum CooperativeSize {
  Eight
  Sixteen
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum DerivativeAxis {
  X
  Y
  Width
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum DerivativeControl {
  Coarse
  Fine
  None
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct DiagnosticFilter {
  new_severity : Severity
  triggering_rule : FilterableTriggeringRule
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct DiagnosticFilterArena {
  items : Array[DiagnosticFilterNode]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct DiagnosticFilterNode {
  inner : DiagnosticFilter
  parent : Handle?
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum Direction {
  X
  Y
  Diagonal
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct DocComments {
  types : Array[(Handle, Array[String])]
  struct_members : Array[(Handle, Int, Array[String])]
  entry_points : Array[(Int, Array[String])]
  functions : Array[(Handle, Array[String])]
  constants : Array[(Handle, Array[String])]
  global_variables : Array[(Handle, Array[String])]
  module_comments : Array[String]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum EarlyDepthTest {
  Force
  Allow(ConservativeDepth)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct EntryPoint {
  name : String
  source_start : Int
  stage : ShaderStage
  early_depth_test : EarlyDepthTest?
  workgroup_size : Array[Int]
  workgroup_size_overrides : Array[Handle?]?
  function : Function
  mesh_info : MeshStageInfo?
  task_payload : Handle?
  incoming_ray_payload : Handle?
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum Expression {
  Literal(Literal)
  Constant(Handle)
  Override(Handle)
  ZeroValue(Handle)
  Compose(Handle, Array[Handle])
  Access(Handle, Handle)
  AccessIndex(Handle, Int)
  Component(Handle, SwizzleComponent)
  Splat(VectorSize, Handle)
  Swizzle(VectorSize, Handle, Array[SwizzleComponent])
  FunctionArgument(Int)
  GlobalVariable(Handle)
  LocalVariable(Handle)
  Load(Handle)
  AddressOf(Handle, Handle)
  AtomicCall(AtomicFunction, Array[Handle])
  ImageSample(Handle, Handle, SwizzleComponent?, Handle, Handle?, Handle?, SampleLevel, Handle?, Bool)
  ImageLoad(Handle, Handle, Handle?, Handle?, Handle?)
  ImageQuery(Handle, ImageQuery)
  Unary(UnaryOperator, Handle)
  Binary(BinaryOperator, Handle, Handle)
  FunctionCall(Handle, Array[Handle])
  Select(Handle, Handle, Handle)
  Bitcast(Handle, Handle)
  Derivative(DerivativeAxis, DerivativeControl, Handle)
  Relational(RelationalFunction, Handle)
  Math(MathFunction, Handle, Handle?, Handle?, Handle?)
  As(Handle, ScalarKind, Int?)
  CallResult(Handle)
  AtomicResult(Handle, Bool)
  WorkGroupUniformLoadResult(Handle)
  WorkGroupUniformLoad(Handle)
  ArrayLength(Handle)
  RayQueryInitialize(Handle, Handle, Handle)
  RayQueryProceed(Handle)
  RayQueryGenerateIntersection(Handle, Handle)
  RayQueryConfirmIntersection(Handle)
  RayQueryTerminate(Handle)
  RayQueryVertexPositions(Handle, Bool)
  RayQueryProceedResult
  RayQueryGetIntersection(Handle, Bool)
  SubgroupCall(SubgroupFunction, Array[Handle])
  SubgroupBallotResult
  SubgroupOperationResult(Handle)
  CooperativeLoad(CooperativeSize, CooperativeSize, CooperativeRole, CooperativeData)
  CooperativeMultiplyAdd(Handle, Handle, Handle)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ExpressionArena {
  items : Array[Expression]
  origins : Array[ExpressionOrigin]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum ExpressionOrigin {
  SourceExpression
  FoldedLocalConstant
  RetainedSourceLetExpression
  SourceLocalConstInitializer
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum FilterableTriggeringRule {
  Standard(StandardFilterableTriggeringRule)
  Unknown(String)
  User(String, String)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Function {
  name : String?
  source_start : Int
  arguments : Array[FunctionArgument]
  result : FunctionResult?
  local_variables : LocalVariableArena
  expressions : ExpressionArena
  named_expressions : Array[NamedExpression]
  body : Block
  diagnostic_filter_leaf : Handle?
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct FunctionArena {
  items : Array[Function]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct FunctionArgument {
  name : String?
  ty : Handle
  binding : Binding?
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct FunctionResult {
  ty : Handle
  binding : Binding?
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum GatherMode {
  BroadcastFirst
  Broadcast(Handle)
  Shuffle(Handle)
  ShuffleDown(Handle)
  ShuffleUp(Handle)
  ShuffleXor(Handle)
  QuadBroadcast(Handle)
  QuadSwap(Direction)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct GlobalVariable {
  name : String?
  space : AddressSpace
  binding : ResourceBinding?
  ty : Handle
  init : Handle?
  memory_decorations : MemoryDecorations
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)