ic11

type Assignment struct {
	Pos lexer.Position

	Left  string `@Ident "="`
	Right *Expr  `@@`
}

type Binary struct {
	Pos lexer.Position

	LHS *Primary `@@`
	Op  string   `@( "|" "|" | "&" "&" | "!" "=" | ("!"|"<"|">") "="? | "=" "=" | "+" | "-" | "/" | "*" )`
	RHS *Primary `@@`
}

type BuiltinArity0Func struct {
	Pos lexer.Position
	Op  string `@("yield" | "rand") "(" ")"`
}

type BuiltinArity1Func struct {
	Pos lexer.Position
	Op  string `` /* 180-byte string literal not displayed */

	Arg *Expr `"(" @@ ")"`
}

type BuiltinArity2Func struct {
	Pos  lexer.Position
	Op   string `@("load" | "mod" | "xor" | "nor" | "max" | "min" )`
	Arg1 *Expr  `"(" @@ ","`
	Arg2 *Expr  `@@ ")"`
}

type BuiltinArity3Func struct {
	Pos  lexer.Position
	Op   string `@("store" | "store_batch" | "load_batch")`
	Arg1 *Expr  `"(" @@ ","`
	Arg2 *Expr  ` @@ ","`
	Arg3 *Expr  `@@ ")"`
}

type CallFunc struct {
	Pos lexer.Position

	Ident string  `@Ident`
	Index []*Expr `"(" (@@ ("," @@)*)? ")"`
}

type Compiler struct {
	// contains filtered or unexported fields
}

type CompilerError struct {
	Pos      *lexer.Position
	Err      error
	CausedBy *CompilerError
}

type CompilerOpts struct {
	OptimizeLabels     bool
	PrecomputeExprs    bool
	OptimizeJumps      bool
	PropagateVariables bool
	EmitDeviceAliases  bool
	PrecomputeHashes   bool
}

type DefineDec struct {
	Pos    lexer.Position
	Name   string  `Define @Ident`
	Device string  `@Device`
	Value  *Number `| @@`
}

type Expr struct {
	Pos lexer.Position

	Binary  *Binary  ` @@`
	Primary *Primary `| @@`
	Unary   *Unary   `| @@`
}

type FunBody struct {
	Pos lexer.Position

	Locals []*VarDec `(@@ ";")*`
	Stmts  *Stmts    `@@`
}

type FunDec struct {
	Pos lexer.Position

	ReturnType string       `@(Type | "void")`
	Name       string       `@Ident`
	Parameters []*Parameter `"(" ((@@ ("," @@)*) | "void") ")"`
	FunBody    *FunBody     `(";" | "{" @@ "}")`
}

type HashConst struct {
	Pos lexer.Position

	Arg string `"hash" "(" @QuotedStr ")"`
}

type IfStmt struct {
	Pos lexer.Position

	Condition *Expr `"if" "(" @@ ")"`
	Body      *Stmt `@@`
	Else      *Stmt `("else" @@)?`
}

type Number struct {
	Number float64 `@('-'? (Float | Int))`
}

type Parameter struct {
	Pos lexer.Position

	Scalar ScalarDec `@@`
}

type Primary struct {
	Pos lexer.Position

	HashConst         *HashConst         `  @@`
	Device            string             `| @Device`
	BuiltinArity3Func *BuiltinArity3Func `| @@`
	BuiltinArity2Func *BuiltinArity2Func `| @@`
	BuiltinArity1Func *BuiltinArity1Func `| @@`
	BuiltinArity0Func *BuiltinArity0Func `| @@`
	CallFunc          *CallFunc          `| @@`
	Number            *Number            `| @@`
	Ident             string             `| @Ident`
	StringValue       string             "| @QuotedStr"
	SubExpression     *Expr              `| "(" @@ ")" `
}

type Program struct {
	Pos lexer.Position

	TopDec []*TopDec `@@*`
}

type ReturnStmt struct {
	Pos lexer.Position

	Result *Expr `"return" @@?`
}

type ScalarDec struct {
	Pos lexer.Position

	Name string `Type @Ident`
}

type Stmt struct {
	Pos lexer.Position

	IfStmt     *IfStmt     `  @@`
	ReturnStmt *ReturnStmt `| @@`
	WhileStmt  *WhileStmt  `| @@`
	Assignment *Assignment `| @@`
	Expr       *Expr       `| @@`
	Block      *Stmts      `| "{" @@ "}"`
	Empty      bool        `| @";"`
}

type Stmts struct {
	Pos lexer.Position

	Stmts []*Stmt `@@*`
}

type TopDec struct {
	Pos lexer.Position

	FunDec    *FunDec    `  @@`
	DefineDec *DefineDec `| @@`
	VarDec    *VarDec    `| @@ ";"`
}

type Unary struct {
	Pos lexer.Position

	Op  string   `@( "-" | "!" )`
	RHS *Primary `@@`
}

type VarDec struct {
	Pos lexer.Position

	ScalarDec ScalarDec `@@`
}

type WhileStmt struct {
	Pos lexer.Position

	Condition *Expr `"while" "(" @@ ")"`
	Body      *Stmt `@@`
}