'use strict';
module.exports = {
arith_dialect : $ => choice(
// operation ::= `arith.constant` attr-dict $value
seq('arith.constant',
field('attributes', optional($.attribute)),
field('value', $._literal_and_type)),
// operation ::= `arith.addi` $lhs `,` $rhs attr-dict `:`
// type($result) operation ::= `arith.subi` $lhs `,` $rhs
// attr-dict `:` type($result) operation ::= `arith.divsi`
// $lhs `,` $rhs attr-dict `:` type($result) operation ::=
// `arith.divui` $lhs `,` $rhs attr-dict `:` type($result)
// operation ::= `arith.ceildivsi` $lhs `,` $rhs attr-dict
// `:` type($result) operation ::= `arith.ceildivui` $lhs
// `,` $rhs attr-dict `:` type($result) operation ::=
// `arith.floordivsi` $lhs `,` $rhs attr-dict `:`
// type($result) operation ::= `arith.remsi` $lhs `,` $rhs
// attr-dict `:` type($result) operation ::= `arith.remui`
// $lhs `,` $rhs attr-dict `:` type($result) operation ::=
// `arith.muli` $lhs `,` $rhs attr-dict `:` type($result)
// operation ::= `arith.mulsi_extended` $lhs `,` $rhs
// attr-dict `:` type($lhs) operation ::=
// `arith.mului_extended` $lhs `,` $rhs attr-dict `:`
// type($lhs) operation ::= `arith.andi` $lhs `,` $rhs
// attr-dict `:` type($result) operation ::= `arith.ori`
// $lhs `,` $rhs attr-dict `:` type($result) operation ::=
// `arith.xori` $lhs `,` $rhs attr-dict `:` type($result)
// operation ::= `arith.maxsi` $lhs `,` $rhs attr-dict `:`
// type($result) operation ::= `arith.maxui` $lhs `,` $rhs
// attr-dict `:` type($result) operation ::= `arith.minsi`
// $lhs `,` $rhs attr-dict `:` type($result) operation ::=
// `arith.minui` $lhs `,` $rhs attr-dict `:` type($result)
// operation ::= `arith.shli` $lhs `,` $rhs attr-dict `:`
// type($result) operation ::= `arith.shrsi` $lhs `,` $rhs
// attr-dict `:` type($result) operation ::= `arith.shrui`
// $lhs `,` $rhs attr-dict `:` type($result)
seq(choice('arith.addi', 'arith.subi', 'arith.divsi',
'arith.divui', 'arith.ceildivsi',
'arith.ceildivui', 'arith.floordivsi',
'arith.remsi', 'arith.remui', 'arith.muli',
'arith.mulsi_extended', 'arith.mului_extended',
'arith.andi', 'arith.ori', 'arith.xori',
'arith.maxsi', 'arith.maxui', 'arith.minsi',
'arith.minui', 'arith.shli', 'arith.shrsi',
'arith.shrui'),
field('lhs', $.value_use), ',',
field('rhs', $.value_use),
field('attributes', optional($.attribute)),
field('return', $._type_annotation)),
// operation ::= `arith.addui_extended` $lhs `,` $rhs
// attr-dict `:` type($sum)
// `,` type($overflow)
seq('arith.addui_extended', field('lhs', $.value_use), ',',
field('rhs', $.value_use),
field('attributes', optional($.attribute)),
field('return', seq(':', $.type, ',', $.type))),
// operation ::= `arith.addf` $lhs `,` $rhs (`fastmath` ``
// $fastmath^)?
// attr-dict `:` type($result)
// operation ::= `arith.divf` $lhs `,` $rhs (`fastmath` ``
// $fastmath^)?
// attr-dict `:` type($result)
// operation ::= `arith.maximumf` $lhs `,` $rhs (`fastmath` ``
// $fastmath^)?
// attr-dict `:` type($result)
// operation ::= `arith.minimumf` $lhs `,` $rhs (`fastmath` ``
// $fastmath^)?
// attr-dict `:` type($result)
// operation ::= `arith.mulf` $lhs `,` $rhs (`fastmath` ``
// $fastmath^)?
// attr-dict `:` type($result)
// operation ::= `arith.remf` $lhs `,` $rhs (`fastmath` ``
// $fastmath^)?
// attr-dict `:` type($result)
// operation ::= `arith.subf` $lhs `,` $rhs (`fastmath` ``
// $fastmath^)?
// attr-dict `:` type($result)
seq(choice('arith.addf', 'arith.divf', 'arith.maximumf',
'arith.minimumf', 'arith.mulf', 'arith.remf',
'arith.subf'),
field('lhs', $.value_use), ',',
field('rhs', $.value_use),
field('fastmath', optional($.fastmath_attr)),
field('attributes', optional($.attribute)),
field('return', $._type_annotation)),
// operation ::= `arith.negf` $operand (`fastmath` ``
// $fastmath^)?
// attr-dict `:` type($result)
seq(choice('arith.negf'), field('operand', $.value_use),
field('fastmath', optional($.fastmath_attr)),
field('attributes', optional($.attribute)),
field('return', $._type_annotation)),
// operation ::= `arith.cmpi` $predicate `,` $lhs `,` $rhs
// attr-dict `:` type($lhs) operation ::= `arith.cmpf`
// $predicate `,` $lhs `,` $rhs attr-dict `:` type($lhs)
seq(choice('arith.cmpi', 'arith.cmpf'),
field('predicate',
choice('eq', 'ne', 'oeq', 'olt', 'ole', 'ogt',
'oge', 'slt', 'sle', 'sgt', 'sge', 'ult',
'ule', 'ugt', 'uge', $.string_literal)),
',', field('lhs', $.value_use), ',',
field('rhs', $.value_use),
field('attributes', optional($.attribute)),
field('return', $._type_annotation)),
// operation ::= `arith.extf` $in attr-dict `:` type($in)
// `to` type($out) operation ::= `arith.extsi` $in attr-dict
// `:` type($in) `to` type($out) operation ::= `arith.extui`
// $in attr-dict `:` type($in) `to` type($out) operation ::=
// `arith.fptosi` $in attr-dict `:` type($in) `to`
// type($out) operation ::= `arith.fptoui` $in attr-dict `:`
// type($in) `to` type($out) operation ::=
// `arith.index_cast` $in attr-dict `:` type($in) `to`
// type($out) operation ::= `arith.index_castui` $in
// attr-dict `:` type($in) `to` type($out) operation ::=
// `arith.sitofp` $in attr-dict `:` type($in) `to`
// type($out) operation ::= `arith.uitofp` $in attr-dict `:`
// type($in) `to` type($out) operation ::= `arith.bitcast`
// $in attr-dict `:` type($in) `to` type($out) operation ::=
// `arith.truncf` $in attr-dict `:` type($in) `to`
// type($out) operation ::= `arith.trunci` $in attr-dict `:`
// type($in) `to` type($out)
seq(choice('arith.extf', 'arith.extsi', 'arith.extui',
'arith.fptosi', 'arith.fptoui',
'arith.index_cast', 'arith.index_castui',
'arith.sitofp', 'arith.uitofp', 'arith.bitcast',
'arith.truncf', 'arith.trunci'),
field('in', $.value_use),
field('attributes', optional($.attribute)),
field('return', $._type_annotation)),
seq('arith.select', field('cond', $.value_use), ',',
field('trueblk', $.value_use), ',',
field('falseblk', $.value_use),
field('return', $._type_annotation)))
}