Skip to main content

Mojo function

Index

Index[T0: Intable, //, *, element_bitwidth: Int = Int(bitwidthof[AnyTrivialRegType,__mlir_type.!kgen.target]()), unsigned: Bool = 0](x: T0) -> IndexList[1, element_bitwidth=$1, unsigned=$2]

Constructs a 1-D Index from the given value.

Parameters:

  • T0 (Intable): The type of the 1st argument.
  • element_bitwidth (Int): The bitwidth of the underlying integer element type.
  • unsigned (Bool): Whether the integer is signed or unsigned.

Args:

  • x (T0): The initial value.

Returns:

The constructed IndexList.

Index[*, element_bitwidth: Int = Int(bitwidthof[AnyTrivialRegType,__mlir_type.!kgen.target]()), unsigned: Bool = 0](x: UInt) -> IndexList[1, element_bitwidth=$0, unsigned=$1]

Constructs a 1-D Index from the given value.

Parameters:

  • element_bitwidth (Int): The bitwidth of the underlying integer element type.
  • unsigned (Bool): Whether the integer is signed or unsigned.

Args:

  • x (UInt): The initial value.

Returns:

The constructed IndexList.

Index[T0: Intable, T1: Intable, //, *, element_bitwidth: Int = Int(bitwidthof[AnyTrivialRegType,__mlir_type.!kgen.target]()), unsigned: Bool = 0](x: T0, y: T1) -> IndexList[2, element_bitwidth=$2, unsigned=$3]

Constructs a 2-D Index from the given values.

Parameters:

  • T0 (Intable): The type of the 1st argument.
  • T1 (Intable): The type of the 2nd argument.
  • element_bitwidth (Int): The bitwidth of the underlying integer element type.
  • unsigned (Bool): Whether the integer is signed or unsigned.

Args:

  • x (T0): The 1st initial value.
  • y (T1): The 2nd initial value.

Returns:

The constructed IndexList.

Index[*, element_bitwidth: Int = Int(bitwidthof[AnyTrivialRegType,__mlir_type.!kgen.target]()), unsigned: Bool = 0](x: UInt, y: UInt) -> IndexList[2, element_bitwidth=$0, unsigned=$1]

Constructs a 2-D Index from the given values.

Parameters:

  • element_bitwidth (Int): The bitwidth of the underlying integer element type.
  • unsigned (Bool): Whether the integer is signed or unsigned.

Args:

  • x (UInt): The 1st initial value.
  • y (UInt): The 2nd initial value.

Returns:

The constructed IndexList.

Index[T0: Intable, T1: Intable, T2: Intable, //, *, element_bitwidth: Int = Int(bitwidthof[AnyTrivialRegType,__mlir_type.!kgen.target]()), unsigned: Bool = 0](x: T0, y: T1, z: T2) -> IndexList[3, element_bitwidth=$3, unsigned=$4]

Constructs a 3-D Index from the given values.

Parameters:

  • T0 (Intable): The type of the 1st argument.
  • T1 (Intable): The type of the 2nd argument.
  • T2 (Intable): The type of the 3rd argument.
  • element_bitwidth (Int): The bitwidth of the underlying integer element type.
  • unsigned (Bool): Whether the integer is signed or unsigned.

Args:

  • x (T0): The 1st initial value.
  • y (T1): The 2nd initial value.
  • z (T2): The 3rd initial value.

Returns:

The constructed IndexList.

Index[T0: Intable, T1: Intable, T2: Intable, T3: Intable, //, *, element_bitwidth: Int = Int(bitwidthof[AnyTrivialRegType,__mlir_type.!kgen.target]()), unsigned: Bool = 0](x: T0, y: T1, z: T2, w: T3) -> IndexList[4, element_bitwidth=$4, unsigned=$5]

Constructs a 4-D Index from the given values.

Parameters:

  • T0 (Intable): The type of the 1st argument.
  • T1 (Intable): The type of the 2nd argument.
  • T2 (Intable): The type of the 3rd argument.
  • T3 (Intable): The type of the 4th argument.
  • element_bitwidth (Int): The bitwidth of the underlying integer element type.
  • unsigned (Bool): Whether the integer is signed or unsigned.

Args:

  • x (T0): The 1st initial value.
  • y (T1): The 2nd initial value.
  • z (T2): The 3rd initial value.
  • w (T3): The 4th initial value.

Returns:

The constructed IndexList.

Index[T0: Intable, T1: Intable, T2: Intable, T3: Intable, T4: Intable, //, *, element_bitwidth: Int = Int(bitwidthof[AnyTrivialRegType,__mlir_type.!kgen.target]()), unsigned: Bool = 0](x: T0, y: T1, z: T2, w: T3, v: T4) -> IndexList[5, element_bitwidth=$5, unsigned=$6]

Constructs a 5-D Index from the given values.

Parameters:

  • T0 (Intable): The type of the 1st argument.
  • T1 (Intable): The type of the 2nd argument.
  • T2 (Intable): The type of the 3rd argument.
  • T3 (Intable): The type of the 4th argument.
  • T4 (Intable): The type of the 5th argument.
  • element_bitwidth (Int): The bitwidth of the underlying integer element type.
  • unsigned (Bool): Whether the integer is signed or unsigned.

Args:

  • x (T0): The 1st initial value.
  • y (T1): The 2nd initial value.
  • z (T2): The 3rd initial value.
  • w (T3): The 4th initial value.
  • v (T4): The 5th initial value.

Returns:

The constructed IndexList.