@[reducible, inline]

abbrev MLIR.AST.NameMapping : Type

Store the names of the raw SSA variables (as strings). The order in the list should match the order in which they appear in the code.

Equations

• MLIR.AST.NameMapping = List String

def MLIR.AST.NameMapping.lookup (nm : MLIR.AST.NameMapping) (name : String) : Option Nat

Equations

• nm.lookup name = List.indexOf? name nm

def MLIR.AST.NameMapping.add (nm : MLIR.AST.NameMapping) (name : String) : Option MLIR.AST.NameMapping

Add a new name to the mapping, assuming the name is not present in the list yet. If the name is already present, return none

Equations

• nm.add name = match nm.lookup name with | none => some (name :: nm) | some val => none