| //===- IntrinsicsWebAssembly.td - Defines wasm intrinsics --*- tablegen -*-===// |
| // |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| // See https://llvm.org/LICENSE.txt for license information. |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| // |
| //===----------------------------------------------------------------------===// |
| /// |
| /// \file |
| /// This file defines all of the WebAssembly-specific intrinsics. |
| /// |
| //===----------------------------------------------------------------------===// |
| |
| // Type definition for a table in an intrinsic |
| def llvm_table_ty : LLVMQualPointerType<llvm_i8_ty, 1>; |
| |
| let TargetPrefix = "wasm" in { // All intrinsics start with "llvm.wasm.". |
| |
| // Query the current memory size, and increase the current memory size. |
| // Note that memory.size is not IntrNoMem because it must be sequenced with |
| // respect to memory.grow calls. |
| def int_wasm_memory_size : Intrinsic<[llvm_anyint_ty], |
| [llvm_i32_ty], |
| [IntrReadMem]>; |
| def int_wasm_memory_grow : Intrinsic<[llvm_anyint_ty], |
| [llvm_i32_ty, LLVMMatchType<0>], |
| []>; |
| |
| //===----------------------------------------------------------------------===// |
| // ref.null intrinsics |
| //===----------------------------------------------------------------------===// |
| def int_wasm_ref_null_extern : Intrinsic<[llvm_externref_ty], [], [IntrNoMem]>; |
| def int_wasm_ref_null_func : Intrinsic<[llvm_funcref_ty], [], [IntrNoMem]>; |
| |
| //===----------------------------------------------------------------------===// |
| // Table intrinsics |
| //===----------------------------------------------------------------------===// |
| // Query the current table size, and increase the current table size. |
| def int_wasm_table_size : Intrinsic<[llvm_i32_ty], |
| [llvm_table_ty], |
| [IntrReadMem]>; |
| def int_wasm_table_copy : Intrinsic<[], |
| [llvm_table_ty, llvm_table_ty, llvm_i32_ty, llvm_i32_ty, llvm_i32_ty], |
| []>; |
| def int_wasm_table_grow_externref : Intrinsic<[llvm_i32_ty], |
| [llvm_table_ty, llvm_externref_ty, llvm_i32_ty], |
| []>; |
| def int_wasm_table_grow_funcref : Intrinsic<[llvm_i32_ty], |
| [llvm_table_ty, llvm_funcref_ty, llvm_i32_ty], |
| []>; |
| def int_wasm_table_fill_externref : Intrinsic<[], |
| [llvm_table_ty, llvm_i32_ty, llvm_externref_ty, llvm_i32_ty], |
| []>; |
| def int_wasm_table_fill_funcref : Intrinsic<[], |
| [llvm_table_ty, llvm_i32_ty, llvm_funcref_ty, llvm_i32_ty], |
| []>; |
| |
| //===----------------------------------------------------------------------===// |
| // Trapping float-to-int conversions |
| //===----------------------------------------------------------------------===// |
| |
| def int_wasm_trunc_signed : Intrinsic<[llvm_anyint_ty], |
| [llvm_anyfloat_ty], |
| [IntrNoMem]>; |
| def int_wasm_trunc_unsigned : Intrinsic<[llvm_anyint_ty], |
| [llvm_anyfloat_ty], |
| [IntrNoMem]>; |
| |
| //===----------------------------------------------------------------------===// |
| // Saturating float-to-int conversions |
| //===----------------------------------------------------------------------===// |
| |
| def int_wasm_trunc_saturate_signed : Intrinsic<[llvm_anyint_ty], |
| [llvm_anyfloat_ty], |
| [IntrNoMem, IntrSpeculatable]>; |
| def int_wasm_trunc_saturate_unsigned : Intrinsic<[llvm_anyint_ty], |
| [llvm_anyfloat_ty], |
| [IntrNoMem, IntrSpeculatable]>; |
| |
| //===----------------------------------------------------------------------===// |
| // Exception handling intrinsics |
| //===----------------------------------------------------------------------===// |
| |
| // throw / rethrow |
| // The first immediate argument is an index to a tag, which is 0 for C++ |
| // exception. The second argument is the thrown exception pointer. |
| def int_wasm_throw : Intrinsic<[], [llvm_i32_ty, llvm_ptr_ty], |
| [Throws, IntrNoReturn, ImmArg<ArgIndex<0>>]>; |
| def int_wasm_rethrow : Intrinsic<[], [], [Throws, IntrNoReturn]>; |
| |
| // Since wasm does not use landingpad instructions, these instructions return |
| // exception pointer and selector values until we lower them in WasmEHPrepare. |
| def int_wasm_get_exception : Intrinsic<[llvm_ptr_ty], [llvm_token_ty], |
| [IntrHasSideEffects]>; |
| def int_wasm_get_ehselector : Intrinsic<[llvm_i32_ty], [llvm_token_ty], |
| [IntrHasSideEffects]>; |
| |
| // wasm.catch returns the pointer to the exception object caught by wasm 'catch' |
| // instruction. This returns a single pointer, which is the case for C++ |
| // exceptions. The immediate argument is an index to for a tag, which is 0 for |
| // C++ exceptions. |
| def int_wasm_catch : Intrinsic<[llvm_ptr_ty], [llvm_i32_ty], |
| [IntrHasSideEffects, ImmArg<ArgIndex<0>>]>; |
| |
| // WebAssembly EH must maintain the landingpads in the order assigned to them |
| // by WasmEHPrepare pass to generate landingpad table in EHStreamer. This is |
| // used in order to give them the indices in WasmEHPrepare. |
| def int_wasm_landingpad_index: Intrinsic<[], [llvm_token_ty, llvm_i32_ty], |
| [IntrNoMem, ImmArg<ArgIndex<1>>]>; |
| |
| // Returns LSDA address of the current function. |
| def int_wasm_lsda : Intrinsic<[llvm_ptr_ty], [], [IntrNoMem]>; |
| |
| //===----------------------------------------------------------------------===// |
| // Atomic intrinsics |
| //===----------------------------------------------------------------------===// |
| |
| // wait / notify |
| def int_wasm_memory_atomic_wait32 : |
| Intrinsic<[llvm_i32_ty], |
| [LLVMPointerType<llvm_i32_ty>, llvm_i32_ty, llvm_i64_ty], |
| [IntrInaccessibleMemOrArgMemOnly, ReadOnly<ArgIndex<0>>, |
| NoCapture<ArgIndex<0>>, IntrHasSideEffects], |
| "", [SDNPMemOperand]>; |
| def int_wasm_memory_atomic_wait64 : |
| Intrinsic<[llvm_i32_ty], |
| [LLVMPointerType<llvm_i64_ty>, llvm_i64_ty, llvm_i64_ty], |
| [IntrInaccessibleMemOrArgMemOnly, ReadOnly<ArgIndex<0>>, |
| NoCapture<ArgIndex<0>>, IntrHasSideEffects], |
| "", [SDNPMemOperand]>; |
| def int_wasm_memory_atomic_notify: |
| Intrinsic<[llvm_i32_ty], [LLVMPointerType<llvm_i32_ty>, llvm_i32_ty], |
| [IntrInaccessibleMemOnly, NoCapture<ArgIndex<0>>, |
| IntrHasSideEffects], |
| "", [SDNPMemOperand]>; |
| |
| //===----------------------------------------------------------------------===// |
| // SIMD intrinsics |
| //===----------------------------------------------------------------------===// |
| |
| def int_wasm_swizzle : |
| Intrinsic<[llvm_v16i8_ty], |
| [llvm_v16i8_ty, llvm_v16i8_ty], |
| [IntrNoMem, IntrSpeculatable]>; |
| def int_wasm_shuffle : |
| Intrinsic<[llvm_v16i8_ty], |
| [llvm_v16i8_ty, llvm_v16i8_ty, llvm_i32_ty, llvm_i32_ty, |
| llvm_i32_ty, llvm_i32_ty, llvm_i32_ty, llvm_i32_ty, llvm_i32_ty, |
| llvm_i32_ty, llvm_i32_ty, llvm_i32_ty, llvm_i32_ty, llvm_i32_ty, |
| llvm_i32_ty, llvm_i32_ty, llvm_i32_ty, llvm_i32_ty], |
| [IntrNoMem, IntrSpeculatable]>; |
| def int_wasm_sub_sat_signed : |
| Intrinsic<[llvm_anyvector_ty], |
| [LLVMMatchType<0>, LLVMMatchType<0>], |
| [IntrNoMem, IntrSpeculatable]>; |
| def int_wasm_sub_sat_unsigned : |
| Intrinsic<[llvm_anyvector_ty], |
| [LLVMMatchType<0>, LLVMMatchType<0>], |
| [IntrNoMem, IntrSpeculatable]>; |
| def int_wasm_avgr_unsigned : |
| Intrinsic<[llvm_anyvector_ty], |
| [LLVMMatchType<0>, LLVMMatchType<0>], |
| [IntrNoMem, IntrSpeculatable]>; |
| def int_wasm_bitselect : |
| Intrinsic<[llvm_anyvector_ty], |
| [LLVMMatchType<0>, LLVMMatchType<0>, LLVMMatchType<0>], |
| [IntrNoMem, IntrSpeculatable]>; |
| def int_wasm_anytrue : |
| Intrinsic<[llvm_i32_ty], |
| [llvm_anyvector_ty], |
| [IntrNoMem, IntrSpeculatable]>; |
| def int_wasm_alltrue : |
| Intrinsic<[llvm_i32_ty], |
| [llvm_anyvector_ty], |
| [IntrNoMem, IntrSpeculatable]>; |
| def int_wasm_bitmask : |
| Intrinsic<[llvm_i32_ty], |
| [llvm_anyvector_ty], |
| [IntrNoMem, IntrSpeculatable]>; |
| def int_wasm_dot : |
| Intrinsic<[llvm_v4i32_ty], |
| [llvm_v8i16_ty, llvm_v8i16_ty], |
| [IntrNoMem, IntrSpeculatable]>; |
| |
| def int_wasm_narrow_signed : |
| Intrinsic<[llvm_anyvector_ty], |
| [llvm_anyvector_ty, LLVMMatchType<1>], |
| [IntrNoMem, IntrSpeculatable]>; |
| def int_wasm_narrow_unsigned : |
| Intrinsic<[llvm_anyvector_ty], |
| [llvm_anyvector_ty, LLVMMatchType<1>], |
| [IntrNoMem, IntrSpeculatable]>; |
| |
| def int_wasm_q15mulr_sat_signed : |
| Intrinsic<[llvm_v8i16_ty], |
| [llvm_v8i16_ty, llvm_v8i16_ty], |
| [IntrNoMem, IntrSpeculatable]>; |
| |
| def int_wasm_pmin : |
| Intrinsic<[llvm_anyvector_ty], |
| [LLVMMatchType<0>, LLVMMatchType<0>], |
| [IntrNoMem, IntrSpeculatable]>; |
| def int_wasm_pmax : |
| Intrinsic<[llvm_anyvector_ty], |
| [LLVMMatchType<0>, LLVMMatchType<0>], |
| [IntrNoMem, IntrSpeculatable]>; |
| |
| def int_wasm_extadd_pairwise_signed : |
| Intrinsic<[llvm_anyvector_ty], |
| [LLVMSubdivide2VectorType<0>], |
| [IntrNoMem, IntrSpeculatable]>; |
| def int_wasm_extadd_pairwise_unsigned : |
| Intrinsic<[llvm_anyvector_ty], |
| [LLVMSubdivide2VectorType<0>], |
| [IntrNoMem, IntrSpeculatable]>; |
| |
| //===----------------------------------------------------------------------===// |
| // Relaxed SIMD intrinsics (experimental) |
| //===----------------------------------------------------------------------===// |
| |
| def int_wasm_fma : |
| Intrinsic<[llvm_anyvector_ty], |
| [LLVMMatchType<0>, LLVMMatchType<0>, LLVMMatchType<0>], |
| [IntrNoMem, IntrSpeculatable]>; |
| def int_wasm_fms : |
| Intrinsic<[llvm_anyvector_ty], |
| [LLVMMatchType<0>, LLVMMatchType<0>, LLVMMatchType<0>], |
| [IntrNoMem, IntrSpeculatable]>; |
| |
| def int_wasm_laneselect : |
| Intrinsic<[llvm_anyvector_ty], |
| [LLVMMatchType<0>, LLVMMatchType<0>, LLVMMatchType<0>], |
| [IntrNoMem, IntrSpeculatable]>; |
| |
| def int_wasm_relaxed_swizzle : |
| Intrinsic<[llvm_v16i8_ty], |
| [llvm_v16i8_ty, llvm_v16i8_ty], |
| [IntrNoMem, IntrSpeculatable]>; |
| |
| def int_wasm_relaxed_min : |
| Intrinsic<[llvm_anyvector_ty], |
| [LLVMMatchType<0>, LLVMMatchType<0>], |
| [IntrNoMem, IntrSpeculatable]>; |
| def int_wasm_relaxed_max : |
| Intrinsic<[llvm_anyvector_ty], |
| [LLVMMatchType<0>, LLVMMatchType<0>], |
| [IntrNoMem, IntrSpeculatable]>; |
| |
| def int_wasm_relaxed_trunc_signed: |
| Intrinsic<[llvm_v4i32_ty], |
| [llvm_v4f32_ty], |
| [IntrNoMem, IntrSpeculatable]>; |
| |
| def int_wasm_relaxed_trunc_unsigned: |
| Intrinsic<[llvm_v4i32_ty], |
| [llvm_v4f32_ty], |
| [IntrNoMem, IntrSpeculatable]>; |
| |
| def int_wasm_relaxed_trunc_signed_zero: |
| Intrinsic<[llvm_v4i32_ty], |
| [llvm_v2f64_ty], |
| [IntrNoMem, IntrSpeculatable]>; |
| |
| def int_wasm_relaxed_trunc_unsigned_zero: |
| Intrinsic<[llvm_v4i32_ty], |
| [llvm_v2f64_ty], |
| [IntrNoMem, IntrSpeculatable]>; |
| |
| |
| //===----------------------------------------------------------------------===// |
| // Thread-local storage intrinsics |
| //===----------------------------------------------------------------------===// |
| |
| def int_wasm_tls_size : |
| Intrinsic<[llvm_anyint_ty], |
| [], |
| [IntrNoMem, IntrSpeculatable]>; |
| |
| def int_wasm_tls_align : |
| Intrinsic<[llvm_anyint_ty], |
| [], |
| [IntrNoMem, IntrSpeculatable]>; |
| |
| def int_wasm_tls_base : |
| Intrinsic<[llvm_ptr_ty], |
| [], |
| [IntrReadMem]>; |
| |
| } // TargetPrefix = "wasm" |