Pretty syntax for overflow flags

This file defines the MLIR.Pretty.overflow_op syntax category which, just like MLIR.Pretty.uniform_op, is a category of MLIR operations where the arguments and return values are all of the same type. Additionally, overflow_ops may be annotated with overflow flags, which are nsw and nuw. The pretty syntax for these flags is overflow<flags>. It gets translated to <{overflowFlags = #llvm.overflow< flags >}> in the generic syntax.

def Lean.Parser.Category.MLIR.Pretty.overflow_op : Lean.Parser.Category

Equations

• Lean.Parser.Category.MLIR.Pretty.overflow_op = { }

def MLIR.EDSL.MLIR.Pretty.overflow_op.quot : Lean.ParserDescr

Equations

• One or more equations did not get rendered due to their size.

def MLIR.EDSL.overflow_flag : Lean.ParserDescr

Equations

• One or more equations did not get rendered due to their size.

def MLIR.EDSL.«mlir_op_=__Overflow<_>:_» : Lean.ParserDescr

Equations

• One or more equations did not get rendered due to their size.