Return op name llvm.add as a bitstring.

llvm.add

This op has support for result type inference.

Operands

• lhs - Single, anonymous/composite constraint, signless integer or LLVM dialect-compatible vector of signless integer
• rhs - Single, anonymous/composite constraint, signless integer or LLVM dialect-compatible vector of signless integer

Results

• res - Single, anonymous/composite constraint, signless integer or LLVM dialect-compatible vector of signless integer

Return op name llvm.addrspacecast as a bitstring.

llvm.addrspacecast

Operands

• arg - Single, anonymous/composite constraint, LLVM pointer type or LLVM dialect-compatible vector of LLVM pointer type

Results

• res - Single, anonymous/composite constraint, LLVM pointer type or LLVM dialect-compatible vector of LLVM pointer type

Return op name llvm.alloca as a bitstring.

llvm.alloca

Attributes

• alignment - Optional, I64Attr, 64-bit signless integer attribute
• elem_type - Single, TypeAttr, any type attribute
• inalloca - Optional, UnitAttr, unit attribute

Operands

• arraySize - Single, AnySignlessInteger, signless integer

Results

• res - Single, LLVM_AnyPointer, LLVM pointer type

Return op name llvm.and as a bitstring.

llvm.and

This op has support for result type inference.

Operands

• lhs - Single, anonymous/composite constraint, signless integer or LLVM dialect-compatible vector of signless integer
• rhs - Single, anonymous/composite constraint, signless integer or LLVM dialect-compatible vector of signless integer

Results

• res - Single, anonymous/composite constraint, signless integer or LLVM dialect-compatible vector of signless integer

Return op name llvm.ashr as a bitstring.

llvm.ashr

This op has support for result type inference.

Attributes

• isExact - Optional, UnitAttr, unit attribute

Operands

• lhs - Single, anonymous/composite constraint, signless integer or LLVM dialect-compatible vector of signless integer
• rhs - Single, anonymous/composite constraint, signless integer or LLVM dialect-compatible vector of signless integer

Results

• res - Single, anonymous/composite constraint, signless integer or LLVM dialect-compatible vector of signless integer

Return op name llvm.atomicrmw as a bitstring.

llvm.atomicrmw

This op has support for result type inference.

Attributes

• bin_op - Single, AtomicBinOp, llvm.atomicrmw binary operations
• ordering - Single, AtomicOrdering, Atomic ordering for LLVM's memory model
• syncscope - Optional, StrAttr, string attribute
• alignment - Optional, I64Attr, 64-bit signless integer attribute
• volatile_ - Optional, UnitAttr, unit attribute
• access_groups - Optional, LLVM_AccessGroupArrayAttr, LLVM dialect access group metadata array
• alias_scopes - Optional, LLVM_AliasScopeArrayAttr, LLVM dialect alias scope array
• noalias_scopes - Optional, LLVM_AliasScopeArrayAttr, LLVM dialect alias scope array
• tbaa - Optional, LLVM_TBAATagArrayAttr, LLVM dialect TBAA tag metadata array

Operands

• ptr - Single, LLVM_AnyPointer, LLVM pointer type
• val - Single, LLVM_AtomicRMWType, floating point LLVM type or LLVM pointer type or signless integer or LLVM dialect-compatible fixed-length vector type

Results

• res - Single, LLVM_AtomicRMWType, floating point LLVM type or LLVM pointer type or signless integer or LLVM dialect-compatible fixed-length vector type

Return op name llvm.bitcast as a bitstring.

llvm.bitcast

Operands

• arg - Single, LLVM_AnyNonAggregate, LLVM-compatible non-aggregate type

Results

• res - Single, LLVM_AnyNonAggregate, LLVM-compatible non-aggregate type

Return op name llvm.blockaddress as a bitstring.

llvm.blockaddress - Creates a LLVM blockaddress ptr

Attributes

• block_addr - Single, LLVM_BlockAddressAttr,

Results

• res - Single, LLVM_AnyPointer, LLVM pointer type

Description

Creates an SSA value containing a pointer to a basic block. The block address information (function and block) is given by the BlockAddressAttr attribute. This operation assumes an existing llvm.blocktag operation identifying an existing MLIR block within a function. Example:

llvm.mlir.global private @g() : !llvm.ptr {
  %0 = llvm.blockaddress <function = @fn, tag = <id = 0>> : !llvm.ptr
  llvm.return %0 : !llvm.ptr
}

llvm.func @fn() {
  llvm.br ^bb1
^bb1:  // pred: ^bb0
  llvm.blocktag <id = 0>
  llvm.return
}

Return op name llvm.blocktag as a bitstring.

llvm.blocktag

Attributes

• tag - Single, LLVM_BlockTagAttr,

Description

This operation uses a tag to uniquely identify an MLIR block in a function. The same tag is used by llvm.blockaddress in order to compute the target address.

A given function should have at most one llvm.blocktag operation with a given tag. This operation cannot be used as a terminator.

Example:

llvm.func @f() -> !llvm.ptr {
  %addr = llvm.blockaddress <function = @f, tag = <id = 1>> : !llvm.ptr
  llvm.br ^bb1
^bb1:
  llvm.blocktag <id = 1>
  llvm.return %addr : !llvm.ptr
}

Return op name llvm.br as a bitstring.

llvm.br

Attributes

• loop_annotation - Optional, LoopAnnotationAttr,

Operands

• destOperands - Variadic, LLVM_Type, variadic of LLVM dialect-compatible type

Return op name llvm.call as a bitstring.

llvm.call - Call to an LLVM function.

Attributes

• var_callee_type - Optional, anonymous/composite constraint, type attribute of LLVM function type
• callee - Optional, FlatSymbolRefAttr, flat symbol reference attribute
• fastmathFlags - Single, LLVM_FastmathFlagsAttr, LLVM fastmath flags
• CConv - Single, CConv, LLVM Calling Convention specification
• TailCallKind - Single, TailCallKind, LLVM Calling Convention specification
• memory_effects - Optional, LLVM_MemoryEffectsAttr,
• convergent - Optional, UnitAttr, unit attribute
• no_unwind - Optional, UnitAttr, unit attribute
• will_return - Optional, UnitAttr, unit attribute
• noreturn - Optional, UnitAttr, unit attribute
• returns_twice - Optional, UnitAttr, unit attribute
• hot - Optional, UnitAttr, unit attribute
• cold - Optional, UnitAttr, unit attribute
• noduplicate - Optional, UnitAttr, unit attribute
• no_caller_saved_registers - Optional, UnitAttr, unit attribute
• nocallback - Optional, UnitAttr, unit attribute
• modular_format - Optional, StrAttr, string attribute
• nobuiltins - Optional, ArrayAttr, array attribute
• allocsize - Optional, DenseI32ArrayAttr, i32 dense array attribute
• optsize - Optional, UnitAttr, unit attribute
• minsize - Optional, UnitAttr, unit attribute
• builtin - Optional, UnitAttr, unit attribute
• nobuiltin - Optional, UnitAttr, unit attribute
• save_reg_params - Optional, UnitAttr, unit attribute
• zero_call_used_regs - Optional, StrAttr, string attribute
• trap_func_name - Optional, StrAttr, string attribute
• default_func_attrs - Optional, DictionaryAttr, dictionary of named attribute values
• op_bundle_sizes - Single, DenseI32ArrayAttr, i32 dense array attribute
• op_bundle_tags - Optional, ArrayAttr, array attribute
• arg_attrs - Optional, DictArrayAttr, Array of dictionary attributes
• res_attrs - Optional, DictArrayAttr, Array of dictionary attributes
• no_inline - Optional, UnitAttr, unit attribute
• always_inline - Optional, UnitAttr, unit attribute
• inline_hint - Optional, UnitAttr, unit attribute
• access_groups - Optional, LLVM_AccessGroupArrayAttr, LLVM dialect access group metadata array
• alias_scopes - Optional, LLVM_AliasScopeArrayAttr, LLVM dialect alias scope array
• noalias_scopes - Optional, LLVM_AliasScopeArrayAttr, LLVM dialect alias scope array
• tbaa - Optional, LLVM_TBAATagArrayAttr, LLVM dialect TBAA tag metadata array

Operands

• callee_operands - Variadic, LLVM_Type, variadic of LLVM dialect-compatible type
• op_bundle_operands - Variadic, LLVM_Type, variadic of LLVM dialect-compatible type

Results

• result - Optional, LLVM_Type, LLVM dialect-compatible type

Description

In LLVM IR, functions may return either 0 or 1 value. LLVM IR dialect implements this behavior by providing a variadic call operation for 0- and 1-result functions. Even though MLIR supports multi-result functions, LLVM IR dialect disallows them.

The call instruction supports both direct and indirect calls. Direct calls start with a function name (@-prefixed) and indirect calls start with an SSA value (%-prefixed). The direct callee, if present, is stored as a function attribute callee. For indirect calls, the callee is of !llvm.ptr type and is stored as the first value in callee_operands. If and only if the callee is a variadic function, the var_callee_type attribute must carry the variadic LLVM function type. The trailing type list contains the optional indirect callee type and the MLIR function type, which differs from the LLVM function type that uses an explicit void type to model functions that do not return a value.

If this operatin has the no_inline attribute, then this specific function call will never be inlined. The opposite behavior will occur if the call has always_inline attribute. The inline_hint attribute indicates that it is desirable to inline this function call.

Examples:

// Direct call without arguments and with one result.
%0 = llvm.call @foo() : () -> (f32)

// Direct call with arguments and without a result.
llvm.call @bar(%0) : (f32) -> ()

// Indirect call with an argument and without a result.
%1 = llvm.mlir.addressof @foo : !llvm.ptr
llvm.call %1(%0) : !llvm.ptr, (f32) -> ()

// Direct variadic call.
llvm.call @printf(%0, %1) vararg(!llvm.func<i32 (ptr, ...)>) : (!llvm.ptr, i32) -> i32

// Indirect variadic call
llvm.call %1(%0) vararg(!llvm.func<void (...)>) : !llvm.ptr, (i32) -> ()

Return op name llvm.call_intrinsic as a bitstring.

llvm.call_intrinsic - Call to an LLVM intrinsic function.

Attributes

• intrin - Single, StrAttr, string attribute
• fastmathFlags - Single, LLVM_FastmathFlagsAttr, LLVM fastmath flags
• op_bundle_sizes - Single, DenseI32ArrayAttr, i32 dense array attribute
• op_bundle_tags - Optional, ArrayAttr, array attribute
• arg_attrs - Optional, DictArrayAttr, Array of dictionary attributes
• res_attrs - Optional, DictArrayAttr, Array of dictionary attributes

Operands

• args - Variadic, LLVM_Type, variadic of LLVM dialect-compatible type
• op_bundle_operands - Variadic, LLVM_Type, variadic of LLVM dialect-compatible type

Results

• results - Optional, LLVM_Type, LLVM dialect-compatible type

Description

Call the specified llvm intrinsic. If the intrinsic is overloaded, use the MLIR function type of this op to determine which intrinsic to call.

Return op name llvm.cmpxchg as a bitstring.

llvm.cmpxchg

This op has support for result type inference.

Attributes

• success_ordering - Single, AtomicOrdering, Atomic ordering for LLVM's memory model
• failure_ordering - Single, AtomicOrdering, Atomic ordering for LLVM's memory model
• syncscope - Optional, StrAttr, string attribute
• alignment - Optional, I64Attr, 64-bit signless integer attribute
• weak - Optional, UnitAttr, unit attribute
• volatile_ - Optional, UnitAttr, unit attribute
• access_groups - Optional, LLVM_AccessGroupArrayAttr, LLVM dialect access group metadata array
• alias_scopes - Optional, LLVM_AliasScopeArrayAttr, LLVM dialect alias scope array
• noalias_scopes - Optional, LLVM_AliasScopeArrayAttr, LLVM dialect alias scope array
• tbaa - Optional, LLVM_TBAATagArrayAttr, LLVM dialect TBAA tag metadata array

Operands

• ptr - Single, LLVM_AnyPointer, LLVM pointer type
• cmp - Single, LLVM_AtomicCmpXchgType, signless integer or LLVM pointer type
• val - Single, LLVM_AtomicCmpXchgType, signless integer or LLVM pointer type

Results

• res - Single, LLVM_AnyStruct, LLVM structure type

Return op name llvm.comdat as a bitstring.

llvm.comdat - LLVM dialect comdat region

Attributes

• sym_name - Single, SymbolNameAttr, string attribute

Description

Provides access to object file COMDAT section/group functionality.

Examples:

llvm.comdat @__llvm_comdat {
  llvm.comdat_selector @any any
}
llvm.mlir.global internal constant @has_any_comdat(1 : i64) comdat(@__llvm_comdat::@any) : i64

Return op name llvm.comdat_selector as a bitstring.

llvm.comdat_selector - LLVM dialect comdat selector declaration

Attributes

• sym_name - Single, SymbolNameAttr, string attribute
• comdat - Single, Comdat, LLVM Comdat Types

Description

Provides access to object file COMDAT section/group functionality.

Examples:

llvm.comdat @__llvm_comdat {
  llvm.comdat_selector @any any
}
llvm.mlir.global internal constant @has_any_comdat(1 : i64) comdat(@__llvm_comdat::@any) : i64

Return op name llvm.cond_br as a bitstring.

llvm.cond_br

Attributes

• branch_weights - Optional, DenseI32ArrayAttr, i32 dense array attribute
• loop_annotation - Optional, LoopAnnotationAttr,

Operands

• condition - Single, I1, 1-bit signless integer
• trueDestOperands - Variadic, LLVM_Type, variadic of LLVM dialect-compatible type
• falseDestOperands - Variadic, LLVM_Type, variadic of LLVM dialect-compatible type

Return op name llvm.dso_local_equivalent as a bitstring.

llvm.dso_local_equivalent - Creates a LLVM dso_local_equivalent ptr

Attributes

• function_name - Single, FlatSymbolRefAttr, flat symbol reference attribute

Results

• res - Single, LLVM_AnyPointer, LLVM pointer type

Description

Creates an SSA value containing a pointer to a global value (function or alias to function). It represents a function which is functionally equivalent to a given function, but is always defined in the current linkage unit. The target function may not have extern_weak linkage.

Examples:

llvm.mlir.global external constant @const() : i64 {
  %0 = llvm.mlir.addressof @const : !llvm.ptr
  %1 = llvm.ptrtoint %0 : !llvm.ptr to i64
  %2 = llvm.dso_local_equivalent @func : !llvm.ptr
  %4 = llvm.ptrtoint %2 : !llvm.ptr to i64
  llvm.return %4 : i64
}

Return op name llvm.extractelement as a bitstring.

llvm.extractelement - Extract an element from an LLVM vector.

This op has support for result type inference.

Operands

• vector - Single, LLVM_AnyVector, LLVM dialect-compatible vector type
• position - Single, AnySignlessInteger, signless integer

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.extractvalue as a bitstring.

llvm.extractvalue - Extract a value from an LLVM struct.

Attributes

• position - Single, DenseI64ArrayAttr, i64 dense array attribute

Operands

• container - Single, LLVM_AnyAggregate, LLVM aggregate type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.fadd as a bitstring.

llvm.fadd

This op has support for result type inference.

Attributes

• fastmathFlags - Single, LLVM_FastmathFlagsAttr, LLVM fastmath flags

Operands

• lhs - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type
• rhs - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Results

• res - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Return op name llvm.fcmp as a bitstring.

llvm.fcmp

This op has support for result type inference.

Attributes

• predicate - Single, FCmpPredicate, llvm.fcmp comparison predicate
• fastmathFlags - Single, LLVM_FastmathFlagsAttr, LLVM fastmath flags

Operands

• lhs - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type
• rhs - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Results

• res - Single, anonymous/composite constraint, 1-bit signless integer or LLVM dialect-compatible vector of 1-bit signless integer

Return op name llvm.fdiv as a bitstring.

llvm.fdiv

This op has support for result type inference.

Attributes

• fastmathFlags - Single, LLVM_FastmathFlagsAttr, LLVM fastmath flags

Operands

• lhs - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type
• rhs - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Results

• res - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Return op name llvm.fence as a bitstring.

llvm.fence

Attributes

• ordering - Single, AtomicOrdering, Atomic ordering for LLVM's memory model
• syncscope - Optional, StrAttr, string attribute

Return op name llvm.fmul as a bitstring.

llvm.fmul

This op has support for result type inference.

Attributes

• fastmathFlags - Single, LLVM_FastmathFlagsAttr, LLVM fastmath flags

Operands

• lhs - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type
• rhs - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Results

• res - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Return op name llvm.fneg as a bitstring.

llvm.fneg

This op has support for result type inference.

Attributes

• fastmathFlags - Single, LLVM_FastmathFlagsAttr, LLVM fastmath flags

Operands

• operand - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Results

• res - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Return op name llvm.fpext as a bitstring.

llvm.fpext

Attributes

• fastmathFlags - Single, LLVM_FastmathFlagsAttr, LLVM fastmath flags

Operands

• arg - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Results

• res - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Return op name llvm.fptosi as a bitstring.

llvm.fptosi

Operands

• arg - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Results

• res - Single, anonymous/composite constraint, signless integer or LLVM dialect-compatible vector of signless integer

Return op name llvm.fptoui as a bitstring.

llvm.fptoui

Operands

• arg - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Results

• res - Single, anonymous/composite constraint, signless integer or LLVM dialect-compatible vector of signless integer

Return op name llvm.fptrunc as a bitstring.

llvm.fptrunc

Attributes

• fastmathFlags - Single, LLVM_FastmathFlagsAttr, LLVM fastmath flags

Operands

• arg - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Results

• res - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Return op name llvm.freeze as a bitstring.

llvm.freeze

This op has support for result type inference.

Operands

• val - Single, LLVM_Type, LLVM dialect-compatible type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.frem as a bitstring.

llvm.frem

This op has support for result type inference.

Attributes

• fastmathFlags - Single, LLVM_FastmathFlagsAttr, LLVM fastmath flags

Operands

• lhs - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type
• rhs - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Results

• res - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Return op name llvm.fsub as a bitstring.

llvm.fsub

This op has support for result type inference.

Attributes

• fastmathFlags - Single, LLVM_FastmathFlagsAttr, LLVM fastmath flags

Operands

• lhs - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type
• rhs - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Results

• res - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Return op name llvm.func as a bitstring.

llvm.func - LLVM dialect function.

Attributes

• sym_name - Single, StrAttr, string attribute
• sym_visibility - Optional, StrAttr, string attribute
• function_type - Single, anonymous/composite constraint, type attribute of LLVM function type
• linkage - Single, Linkage, LLVM Linkage specification
• dso_local - Optional, UnitAttr, unit attribute
• CConv - Single, CConv, LLVM Calling Convention specification
• comdat - Optional, SymbolRefAttr, symbol reference attribute
• convergent - Optional, UnitAttr, unit attribute
• personality - Optional, FlatSymbolRefAttr, flat symbol reference attribute
• garbageCollector - Optional, StrAttr, string attribute
• passthrough - Optional, ArrayAttr, array attribute
• arg_attrs - Optional, DictArrayAttr, Array of dictionary attributes
• res_attrs - Optional, DictArrayAttr, Array of dictionary attributes
• function_entry_count - Optional, LLVM_FunctionEntryCountAttr, LLVM function entry count profile metadata
• memory_effects - Optional, LLVM_MemoryEffectsAttr,
• visibility_ - Single, Visibility, LLVM GlobalValue Visibility
• arm_streaming - Optional, UnitAttr, unit attribute
• arm_locally_streaming - Optional, UnitAttr, unit attribute
• arm_streaming_compatible - Optional, UnitAttr, unit attribute
• arm_new_za - Optional, UnitAttr, unit attribute
• arm_in_za - Optional, UnitAttr, unit attribute
• arm_out_za - Optional, UnitAttr, unit attribute
• arm_inout_za - Optional, UnitAttr, unit attribute
• arm_preserves_za - Optional, UnitAttr, unit attribute
• section - Optional, StrAttr, string attribute
• unnamed_addr - Optional, UnnamedAddr, LLVM GlobalValue UnnamedAddr
• alignment - Optional, I64Attr, 64-bit signless integer attribute
• vscale_range - Optional, LLVM_VScaleRangeAttr,
• frame_pointer - Optional, FramePointerKindAttr,
• target_cpu - Optional, StrAttr, string attribute
• tune_cpu - Optional, StrAttr, string attribute
• reciprocal_estimates - Optional, StrAttr, string attribute
• prefer_vector_width - Optional, StrAttr, string attribute
• target_features - Optional, LLVM_TargetFeaturesAttr, LLVM target features attribute
• no_signed_zeros_fp_math - Optional, BoolAttr, bool attribute
• denormal_fpenv - Optional, LLVM_DenormalFPEnvAttr,
• fp_contract - Optional, StrAttr, string attribute
• instrument_function_entry - Optional, StrAttr, string attribute
• instrument_function_exit - Optional, StrAttr, string attribute
• no_inline - Optional, UnitAttr, unit attribute
• always_inline - Optional, UnitAttr, unit attribute
• inline_hint - Optional, UnitAttr, unit attribute
• no_unwind - Optional, UnitAttr, unit attribute
• will_return - Optional, UnitAttr, unit attribute
• noreturn - Optional, UnitAttr, unit attribute
• optimize_none - Optional, UnitAttr, unit attribute
• returns_twice - Optional, UnitAttr, unit attribute
• hot - Optional, UnitAttr, unit attribute
• cold - Optional, UnitAttr, unit attribute
• noduplicate - Optional, UnitAttr, unit attribute
• no_caller_saved_registers - Optional, UnitAttr, unit attribute
• nocallback - Optional, UnitAttr, unit attribute
• modular_format - Optional, StrAttr, string attribute
• nobuiltins - Optional, ArrayAttr, array attribute
• allocsize - Optional, DenseI32ArrayAttr, i32 dense array attribute
• optsize - Optional, UnitAttr, unit attribute
• minsize - Optional, UnitAttr, unit attribute
• save_reg_params - Optional, UnitAttr, unit attribute
• zero_call_used_regs - Optional, StrAttr, string attribute
• default_func_attrs - Optional, DictionaryAttr, dictionary of named attribute values
• vec_type_hint - Optional, LLVM_VecTypeHintAttr, Explicit vectorization compiler hint
• work_group_size_hint - Optional, DenseI32ArrayAttr, i32 dense array attribute
• reqd_work_group_size - Optional, DenseI32ArrayAttr, i32 dense array attribute
• intel_reqd_sub_group_size - Optional, I32Attr, 32-bit signless integer attribute
• uwtable_kind - Optional, UWTableKindAttr,
• use_sample_profile - Optional, BoolAttr, bool attribute

Description

MLIR functions are defined by an operation that is not built into the IR itself. The LLVM dialect provides an llvm.func operation to define functions compatible with LLVM IR. These functions have LLVM dialect function type but use MLIR syntax to express it. They are required to have exactly one result type. LLVM function operation is intended to capture additional properties of LLVM functions, such as linkage and calling convention, that may be modeled differently by the built-in MLIR function.

// The type of @bar is !llvm<"i64 (i64)">
llvm.func @bar(%arg0: i64) -> i64 {
  llvm.return %arg0 : i64
}

// Type type of @foo is !llvm<"void (i64)">
// !llvm.void type is omitted
llvm.func @foo(%arg0: i64) {
  llvm.return
}

// A function with `internal` linkage.
llvm.func internal @internal_func() {
  llvm.return
}

The function_entry_count attribute models function-level !prof entry-count metadata. It stores the entry count, whether the count is real or synthetic, and any trailing import GUID operands in a single #llvm.function_entry_count attribute.

Return op name llvm.getelementptr as a bitstring.

llvm.getelementptr

Attributes

• rawConstantIndices - Single, DenseI32ArrayAttr, i32 dense array attribute
• elem_type - Single, TypeAttr, any type attribute

Operands

• base - Single, anonymous/composite constraint, LLVM pointer type or LLVM dialect-compatible vector of LLVM pointer type
• dynamicIndices - Variadic, anonymous/composite constraint, variadic of signless integer or LLVM dialect-compatible vector of signless integer

Results

• res - Single, anonymous/composite constraint, LLVM pointer type or LLVM dialect-compatible vector of LLVM pointer type

Description

This operation mirrors LLVM IRs 'getelementptr' operation that is used to perform pointer arithmetic.

Like in LLVM IR, it is possible to use both constants as well as SSA values as indices. In the case of indexing within a structure, it is required to either use constant indices directly, or supply a constant SSA value.

The no-wrap flags can be used to specify the low-level pointer arithmetic overflow behavior that LLVM uses after lowering the operation to LLVM IR. Valid options include 'inbounds' (pointer arithmetic must be within object bounds), 'nusw' (no unsigned signed wrap), and 'nuw' (no unsigned wrap). Note that 'inbounds' implies 'nusw' which is ensured by the enum definition. The flags can be set individually or in combination.

Examples:

// GEP with an SSA value offset
%0 = llvm.getelementptr %1[%2] : (!llvm.ptr, i64) -> !llvm.ptr, f32

// GEP with a constant offset and the inbounds attribute set
%0 = llvm.getelementptr inbounds %1[3] : (!llvm.ptr) -> !llvm.ptr, f32

// GEP with constant offsets into a structure
%0 = llvm.getelementptr %1[0, 1]
   : (!llvm.ptr) -> !llvm.ptr, !llvm.struct<(i32, f32)>

Return op name llvm.icmp as a bitstring.

llvm.icmp

This op has support for result type inference.

Attributes

• predicate - Single, ICmpPredicate, llvm.icmp comparison predicate

Operands

• lhs - Single, anonymous/composite constraint, signless integer or LLVM dialect-compatible vector of signless integer or LLVM pointer type or LLVM dialect-compatible vector of LLVM pointer type
• rhs - Single, anonymous/composite constraint, signless integer or LLVM dialect-compatible vector of signless integer or LLVM pointer type or LLVM dialect-compatible vector of LLVM pointer type

Results

• res - Single, anonymous/composite constraint, 1-bit signless integer or LLVM dialect-compatible vector of 1-bit signless integer

Return op name llvm.indirectbr as a bitstring.

llvm.indirectbr

Attributes

• indbr_operand_segments - Single, DenseI32ArrayAttr, i32 dense array attribute

Operands

• addr - Single, LLVM_AnyPointer, LLVM pointer type
• succOperands - Variadic, AnyType, variadic of any non-token type

Description

Transfer control flow to address in $addr. A list of possible target blocks in $successors can be provided and maybe used as a hint in LLVM:

...
llvm.func @g(...
  %dest = llvm.blockaddress <function = @g, tag = <id = 0>> : !llvm.ptr
  llvm.indirectbr %dest : !llvm.ptr, [
    ^head
  ]
^head:
  llvm.blocktag <id = 0>
  llvm.return %arg0 : i32
  ...

It also supports a list of operands that can be passed to a target block:

  llvm.indirectbr %dest : !llvm.ptr, [
    ^head(%arg0 : i32),
    ^tail(%arg1, %arg0 : i32, i32)
  ]
^head(%r0 : i32):
  llvm.return %r0 : i32
^tail(%r1 : i32, %r2 : i32):
  ...

Return op name llvm.inline_asm as a bitstring.

llvm.inline_asm

Attributes

• asm_string - Single, StrAttr, string attribute
• constraints - Single, StrAttr, string attribute
• has_side_effects - Optional, UnitAttr, unit attribute
• is_align_stack - Optional, UnitAttr, unit attribute
• tail_call_kind - Single, TailCallKind, LLVM Calling Convention specification
• asm_dialect - Optional, AsmATTOrIntel, ATT (0) or Intel (1) asm dialect
• operand_attrs - Optional, ArrayAttr, array attribute

Operands

• operands - Variadic, LLVM_Type, variadic of LLVM dialect-compatible type

Results

• res - Optional, LLVM_Type, LLVM dialect-compatible type

Description

The InlineAsmOp mirrors the underlying LLVM semantics with a notable exception: the embedded asm_string is not allowed to define or reference any symbol or any global variable: only the operands of the op may be read, written, or referenced. Attempting to define or reference any symbol or any global behavior is considered undefined behavior at this time. If tail_call_kind is used, the operation behaves like the specified tail call kind. The musttail kind it's not available for this operation, since it isn't supported by LLVM's inline asm.

Return op name llvm.insertelement as a bitstring.

llvm.insertelement - Insert an element into an LLVM vector.

This op has support for result type inference.

Operands

• vector - Single, LLVM_AnyVector, LLVM dialect-compatible vector type
• value - Single, LLVM_PrimitiveType, primitive LLVM type
• position - Single, AnySignlessInteger, signless integer

Results

• res - Single, LLVM_AnyVector, LLVM dialect-compatible vector type

Return op name llvm.insertvalue as a bitstring.

llvm.insertvalue - Insert a value into an LLVM struct.

This op has support for result type inference.

Attributes

• position - Single, DenseI64ArrayAttr, i64 dense array attribute

Operands

• container - Single, LLVM_AnyAggregate, LLVM aggregate type
• value - Single, LLVM_PrimitiveType, primitive LLVM type

Results

• res - Single, LLVM_AnyAggregate, LLVM aggregate type

Return op name llvm.intr.abs as a bitstring.

llvm.intr.abs

Attributes

• is_int_min_poison - Single, I1Attr, 1-bit signless integer attribute

Operands

• in - Single, anonymous/composite constraint, signless integer or LLVM dialect-compatible vector of signless integer

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.acos as a bitstring.

llvm.intr.acos

This op has support for result type inference.

Attributes

• fastmathFlags - Single, LLVM_FastmathFlagsAttr, LLVM fastmath flags

Operands

• in - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.annotation as a bitstring.

llvm.intr.annotation

This op has support for result type inference.

Operands

• integer - Single, AnySignlessInteger, signless integer
• annotation - Single, LLVM_AnyPointer, LLVM pointer type
• fileName - Single, LLVM_AnyPointer, LLVM pointer type
• line - Single, I32, 32-bit signless integer

Results

• res - Single, AnySignlessInteger, signless integer

Return op name llvm.intr.arithmetic.fence as a bitstring.

llvm.intr.arithmetic.fence

This op has support for result type inference.

Operands

• in - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.asin as a bitstring.

llvm.intr.asin

This op has support for result type inference.

Attributes

• fastmathFlags - Single, LLVM_FastmathFlagsAttr, LLVM fastmath flags

Operands

• in - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.assume as a bitstring.

llvm.intr.assume

Attributes

• op_bundle_sizes - Single, DenseI32ArrayAttr, i32 dense array attribute
• op_bundle_tags - Optional, ArrayAttr, array attribute

Operands

• cond - Single, I1, 1-bit signless integer
• op_bundle_operands - Variadic, LLVM_Type, variadic of LLVM dialect-compatible type

Return op name llvm.intr.atan2 as a bitstring.

llvm.intr.atan2

This op has support for result type inference.

Attributes

• fastmathFlags - Single, LLVM_FastmathFlagsAttr, LLVM fastmath flags

Operands

• a - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type
• b - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.atan as a bitstring.

llvm.intr.atan

This op has support for result type inference.

Attributes

• fastmathFlags - Single, LLVM_FastmathFlagsAttr, LLVM fastmath flags

Operands

• in - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.bitreverse as a bitstring.

llvm.intr.bitreverse

This op has support for result type inference.

Operands

• in - Single, anonymous/composite constraint, signless integer or LLVM dialect-compatible vector of signless integer

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.bswap as a bitstring.

llvm.intr.bswap

This op has support for result type inference.

Operands

• in - Single, anonymous/composite constraint, signless integer or LLVM dialect-compatible vector of signless integer

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.ceil as a bitstring.

llvm.intr.ceil

This op has support for result type inference.

Attributes

• fastmathFlags - Single, LLVM_FastmathFlagsAttr, LLVM fastmath flags

Operands

• in - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.copysign as a bitstring.

llvm.intr.copysign

This op has support for result type inference.

Attributes

• fastmathFlags - Single, LLVM_FastmathFlagsAttr, LLVM fastmath flags

Operands

• a - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type
• b - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.coro.align as a bitstring.

llvm.intr.coro.align

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.coro.begin as a bitstring.

llvm.intr.coro.begin

Operands

• token - Single, Token, token
• mem - Single, LLVM_AnyPointer, LLVM pointer type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.coro.end as a bitstring.

llvm.intr.coro.end

Operands

• handle - Single, LLVM_AnyPointer, LLVM pointer type
• unwind - Single, I1, 1-bit signless integer
• retvals - Single, Token, token

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.coro.free as a bitstring.

llvm.intr.coro.free

Operands

• id - Single, Token, token
• handle - Single, LLVM_AnyPointer, LLVM pointer type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.coro.id as a bitstring.

llvm.intr.coro.id

Operands

• align - Single, I32, 32-bit signless integer
• promise - Single, LLVM_AnyPointer, LLVM pointer type
• coroaddr - Single, LLVM_AnyPointer, LLVM pointer type
• fnaddrs - Single, LLVM_AnyPointer, LLVM pointer type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.coro.promise as a bitstring.

llvm.intr.coro.promise

Operands

• handle - Single, LLVM_AnyPointer, LLVM pointer type
• align - Single, I32, 32-bit signless integer
• from - Single, I1, 1-bit signless integer

Results

• res - Single, LLVM_AnyPointer, LLVM pointer type

Return op name llvm.intr.coro.resume as a bitstring.

llvm.intr.coro.resume

Operands

• handle - Single, LLVM_AnyPointer, LLVM pointer type

Return op name llvm.intr.coro.save as a bitstring.

llvm.intr.coro.save

Operands

• handle - Single, LLVM_AnyPointer, LLVM pointer type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.coro.size as a bitstring.

llvm.intr.coro.size

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.coro.suspend as a bitstring.

llvm.intr.coro.suspend

Operands

• save - Single, Token, token
• final - Single, I1, 1-bit signless integer

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.cos as a bitstring.

llvm.intr.cos

This op has support for result type inference.

Attributes

• fastmathFlags - Single, LLVM_FastmathFlagsAttr, LLVM fastmath flags

Operands

• in - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.cosh as a bitstring.

llvm.intr.cosh

This op has support for result type inference.

Attributes

• fastmathFlags - Single, LLVM_FastmathFlagsAttr, LLVM fastmath flags

Operands

• in - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.ctlz as a bitstring.

llvm.intr.ctlz

This op has support for result type inference.

Attributes

• is_zero_poison - Single, I1Attr, 1-bit signless integer attribute

Operands

• in - Single, anonymous/composite constraint, signless integer or LLVM dialect-compatible vector of signless integer

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.ctpop as a bitstring.

llvm.intr.ctpop

This op has support for result type inference.

Operands

• in - Single, anonymous/composite constraint, signless integer or LLVM dialect-compatible vector of signless integer

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.cttz as a bitstring.

llvm.intr.cttz

This op has support for result type inference.

Attributes

• is_zero_poison - Single, I1Attr, 1-bit signless integer attribute

Operands

• in - Single, anonymous/composite constraint, signless integer or LLVM dialect-compatible vector of signless integer

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.dbg.declare as a bitstring.

llvm.intr.dbg.declare - Describes how the address relates to a source language variable.

Attributes

• varInfo - Single, LLVM_DILocalVariableAttr,
• locationExpr - Single, LLVM_DIExpressionAttr,

Operands

• addr - Single, LLVM_AnyPointer, LLVM pointer type

Return op name llvm.intr.dbg.label as a bitstring.

llvm.intr.dbg.label - Relates the program to a debug information label.

Attributes

• label - Single, LLVM_DILabelAttr,

Return op name llvm.intr.dbg.value as a bitstring.

llvm.intr.dbg.value - Describes how the value relates to a source language variable.

Attributes

• varInfo - Single, LLVM_DILocalVariableAttr,
• locationExpr - Single, LLVM_DIExpressionAttr,

Operands

• value - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.debugtrap as a bitstring.

llvm.intr.debugtrap

Return op name llvm.intr.eh.typeid.for as a bitstring.

llvm.intr.eh.typeid.for

Operands

• type_info - Single, LLVM_AnyPointer, LLVM pointer type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.exp2 as a bitstring.

llvm.intr.exp2

This op has support for result type inference.

Attributes

• fastmathFlags - Single, LLVM_FastmathFlagsAttr, LLVM fastmath flags

Operands

• in - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.exp10 as a bitstring.

llvm.intr.exp10

This op has support for result type inference.

Attributes

• fastmathFlags - Single, LLVM_FastmathFlagsAttr, LLVM fastmath flags

Operands

• in - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.exp as a bitstring.

llvm.intr.exp

This op has support for result type inference.

Attributes

• fastmathFlags - Single, LLVM_FastmathFlagsAttr, LLVM fastmath flags

Operands

• in - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.expect as a bitstring.

llvm.intr.expect

This op has support for result type inference.

Operands

• val - Single, AnySignlessInteger, signless integer
• expected - Single, AnySignlessInteger, signless integer

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.expect.with.probability as a bitstring.

llvm.intr.expect.with.probability

This op has support for result type inference.

Attributes

• prob - Single, F64Attr, 64-bit float attribute

Operands

• val - Single, AnySignlessInteger, signless integer
• expected - Single, AnySignlessInteger, signless integer

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.experimental.constrained.fadd as a bitstring.

llvm.intr.experimental.constrained.fadd

This op has support for result type inference.

Attributes

• roundingmode - Single, ValidRoundingModeAttr, LLVM Rounding Mode whose minimum value is 0
• fpExceptionBehavior - Single, FPExceptionBehaviorAttr, LLVM Exception Behavior

Operands

• arg_0 - Single, LLVM_Type, LLVM dialect-compatible type
• arg_1 - Single, LLVM_Type, LLVM dialect-compatible type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.experimental.constrained.fdiv as a bitstring.

llvm.intr.experimental.constrained.fdiv

This op has support for result type inference.

Attributes

• roundingmode - Single, ValidRoundingModeAttr, LLVM Rounding Mode whose minimum value is 0
• fpExceptionBehavior - Single, FPExceptionBehaviorAttr, LLVM Exception Behavior

Operands

• arg_0 - Single, LLVM_Type, LLVM dialect-compatible type
• arg_1 - Single, LLVM_Type, LLVM dialect-compatible type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.experimental.constrained.fma as a bitstring.

llvm.intr.experimental.constrained.fma

This op has support for result type inference.

Attributes

• roundingmode - Single, ValidRoundingModeAttr, LLVM Rounding Mode whose minimum value is 0
• fpExceptionBehavior - Single, FPExceptionBehaviorAttr, LLVM Exception Behavior

Operands

• arg_0 - Single, LLVM_Type, LLVM dialect-compatible type
• arg_1 - Single, LLVM_Type, LLVM dialect-compatible type
• arg_2 - Single, LLVM_Type, LLVM dialect-compatible type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.experimental.constrained.fmul as a bitstring.

llvm.intr.experimental.constrained.fmul

This op has support for result type inference.

Attributes

• roundingmode - Single, ValidRoundingModeAttr, LLVM Rounding Mode whose minimum value is 0
• fpExceptionBehavior - Single, FPExceptionBehaviorAttr, LLVM Exception Behavior

Operands

• arg_0 - Single, LLVM_Type, LLVM dialect-compatible type
• arg_1 - Single, LLVM_Type, LLVM dialect-compatible type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.experimental.constrained.fmuladd as a bitstring.

llvm.intr.experimental.constrained.fmuladd

This op has support for result type inference.

Attributes

• roundingmode - Single, ValidRoundingModeAttr, LLVM Rounding Mode whose minimum value is 0
• fpExceptionBehavior - Single, FPExceptionBehaviorAttr, LLVM Exception Behavior

Operands

• arg_0 - Single, LLVM_Type, LLVM dialect-compatible type
• arg_1 - Single, LLVM_Type, LLVM dialect-compatible type
• arg_2 - Single, LLVM_Type, LLVM dialect-compatible type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.experimental.constrained.fpext as a bitstring.

llvm.intr.experimental.constrained.fpext

Attributes

• fpExceptionBehavior - Single, FPExceptionBehaviorAttr, LLVM Exception Behavior

Operands

• arg_0 - Single, LLVM_Type, LLVM dialect-compatible type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.experimental.constrained.fptrunc as a bitstring.

llvm.intr.experimental.constrained.fptrunc

Attributes

• roundingmode - Single, ValidRoundingModeAttr, LLVM Rounding Mode whose minimum value is 0
• fpExceptionBehavior - Single, FPExceptionBehaviorAttr, LLVM Exception Behavior

Operands

• arg_0 - Single, LLVM_Type, LLVM dialect-compatible type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.experimental.constrained.frem as a bitstring.

llvm.intr.experimental.constrained.frem

This op has support for result type inference.

Attributes

• roundingmode - Single, ValidRoundingModeAttr, LLVM Rounding Mode whose minimum value is 0
• fpExceptionBehavior - Single, FPExceptionBehaviorAttr, LLVM Exception Behavior

Operands

• arg_0 - Single, LLVM_Type, LLVM dialect-compatible type
• arg_1 - Single, LLVM_Type, LLVM dialect-compatible type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.experimental.constrained.fsub as a bitstring.

llvm.intr.experimental.constrained.fsub

This op has support for result type inference.

Attributes

• roundingmode - Single, ValidRoundingModeAttr, LLVM Rounding Mode whose minimum value is 0
• fpExceptionBehavior - Single, FPExceptionBehaviorAttr, LLVM Exception Behavior

Operands

• arg_0 - Single, LLVM_Type, LLVM dialect-compatible type
• arg_1 - Single, LLVM_Type, LLVM dialect-compatible type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.experimental.constrained.sitofp as a bitstring.

llvm.intr.experimental.constrained.sitofp

Attributes

• roundingmode - Single, ValidRoundingModeAttr, LLVM Rounding Mode whose minimum value is 0
• fpExceptionBehavior - Single, FPExceptionBehaviorAttr, LLVM Exception Behavior

Operands

• arg_0 - Single, LLVM_Type, LLVM dialect-compatible type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.experimental.constrained.uitofp as a bitstring.

llvm.intr.experimental.constrained.uitofp

Attributes

• roundingmode - Single, ValidRoundingModeAttr, LLVM Rounding Mode whose minimum value is 0
• fpExceptionBehavior - Single, FPExceptionBehaviorAttr, LLVM Exception Behavior

Operands

• arg_0 - Single, LLVM_Type, LLVM dialect-compatible type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.experimental.noalias.scope.decl as a bitstring.

llvm.intr.experimental.noalias.scope.decl

Attributes

• scope - Single, LLVM_AliasScopeAttr, LLVM dialect alias scope

Return op name llvm.intr.experimental.vp.strided.load as a bitstring.

llvm.intr.experimental.vp.strided.load

Operands

• ptr - Single, LLVM_AnyPointer, LLVM pointer type
• stride - Single, AnySignlessInteger, signless integer
• mask - Single, anonymous/composite constraint, LLVM dialect-compatible vector of 1-bit signless integer
• evl - Single, I32, 32-bit signless integer

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.experimental.vp.strided.store as a bitstring.

llvm.intr.experimental.vp.strided.store

Operands

• val - Single, LLVM_AnyVector, LLVM dialect-compatible vector type
• ptr - Single, LLVM_AnyPointer, LLVM pointer type
• stride - Single, AnySignlessInteger, signless integer
• mask - Single, anonymous/composite constraint, LLVM dialect-compatible vector of 1-bit signless integer
• evl - Single, I32, 32-bit signless integer

Return op name llvm.intr.fabs as a bitstring.

llvm.intr.fabs

This op has support for result type inference.

Attributes

• fastmathFlags - Single, LLVM_FastmathFlagsAttr, LLVM fastmath flags

Operands

• in - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.fake.use as a bitstring.

llvm.intr.fake.use

Operands

• args - Variadic, LLVM_Type, variadic of LLVM dialect-compatible type

Return op name llvm.intr.floor as a bitstring.

llvm.intr.floor

This op has support for result type inference.

Attributes

• fastmathFlags - Single, LLVM_FastmathFlagsAttr, LLVM fastmath flags

Operands

• in - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.fma as a bitstring.

llvm.intr.fma

This op has support for result type inference.

Attributes

• fastmathFlags - Single, LLVM_FastmathFlagsAttr, LLVM fastmath flags

Operands

• a - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type
• b - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type
• c - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.fmuladd as a bitstring.

llvm.intr.fmuladd

This op has support for result type inference.

Attributes

• fastmathFlags - Single, LLVM_FastmathFlagsAttr, LLVM fastmath flags

Operands

• a - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type
• b - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type
• c - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.frexp as a bitstring.

llvm.intr.frexp

Attributes

• fastmathFlags - Single, LLVM_FastmathFlagsAttr, LLVM fastmath flags

Operands

• val - Single, anonymous/composite constraint, floating point LLVM type or LLVM dialect-compatible vector of floating point LLVM type

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.fshl as a bitstring.

llvm.intr.fshl

This op has support for result type inference.

Operands

• a - Single, anonymous/composite constraint, signless integer or LLVM dialect-compatible vector of signless integer
• b - Single, anonymous/composite constraint, signless integer or LLVM dialect-compatible vector of signless integer
• c - Single, anonymous/composite constraint, signless integer or LLVM dialect-compatible vector of signless integer

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.fshr as a bitstring.

llvm.intr.fshr

This op has support for result type inference.

Operands

• a - Single, anonymous/composite constraint, signless integer or LLVM dialect-compatible vector of signless integer
• b - Single, anonymous/composite constraint, signless integer or LLVM dialect-compatible vector of signless integer
• c - Single, anonymous/composite constraint, signless integer or LLVM dialect-compatible vector of signless integer

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type

Return op name llvm.intr.get.active.lane.mask as a bitstring.

llvm.intr.get.active.lane.mask

Operands

• base - Single, AnySignlessInteger, signless integer
• n - Single, AnySignlessInteger, signless integer

Results

• res - Single, LLVM_Type, LLVM dialect-compatible type